Michael Winter

83 papers C 25Journal 37Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Counting Specific Classes of Relations Regarding Fixed Points and Reflexive Points. CoRR Rudolf Berghammer, Jules Desharnais, Michael Winter
2024	J	`jnl`	A relation algebraic approach to universal integrals. Fuzzy Sets Syst. Michael Winter
2024	J	`jnl`	Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property. Fundam. Informaticae Michael Winter
2023	C	`conf`	A General Method for Representing Sets of Relations by Vectors. RAMiCS Rudolf Berghammer, Michael Winter
2023	C	`conf`	Relational Algebraic Approach to the Real Numbers the Additive Group. RAMiCS Michael Winter
2023	C	`ed.`	Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings RAMiCS Roland Glück, Luigi Santocanale, Michael Winter
2021	J	`jnl`	Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. Appl. Math. Comput. Rudolf Berghammer, Steffen Börm, Michael Winter
2021	J	`jnl`	Annotating our Environs with the Sound and Sight of Numbers: The DataScapes Project. Digit. Humanit. Q. John Bonnett, Joe Bolton, William Ralph, Amy Legault, Erin MacAfee, Michael Winter, Chris Jaques, Mark Anderson
2021	C	`conf`	Change of Base Using Arrow Categories. RAMiCS Michael Winter
2021	C	`conf`	Relational Sums and Splittings in Categories of L-fuzzy Relations. RAMiCS Michael Winter
2021	C	`ed.`	Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings RAMiCS Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
2020	J	`jnl`	Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. CoRR Rudolf Berghammer, Steffen Börm, Michael Winter
2020	J	`jnl`	Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. Fundam. Informaticae Rudolf Berghammer, Henning Schnoor, Michael Winter
2020	C	`ed.`	Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. RAMiCS Uli Fahrenberg, Peter Jipsen, Michael Winter
2020	C	`conf`	Sharpness in the Fuzzy World. RAMiCS Michael Winter
2019	J	`jnl`	Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. Rudolf Berghammer, Gunther Schmidt, Michael Winter
2019	J	`jnl`	Situation-aware model for multi-objective decision making in ambient intelligence. Appl. Soft Comput. Milene Santos Teixeira, Vinícius Maran, José Palazzo Moreira de Oliveira, Michael Winter, Alencar Machado
2018	C	`conf`	A Modal and Relevance Logic for Qualitative Spatial Reasoning. RAMiCS Pranab Kumar Ghosh, Michael Winter
2018	—	`book`	Relational Topology. Gunther Schmidt, Michael Winter
2018	C	`conf`	T-Norm Based Operations in Arrow Categories. RAMiCS Michael Winter
2017	C	`conf`	An algebraic generalization for graph and tensor-based neural networks. CIBCB Ethan C. Jackson, James Alexander Hughes, Mark Daley, Michael Winter
2017	J	`jnl`	Relations in linear algebra. J. Log. Algebraic Methods Program. Dylan Killingbeck, Milene Santos Teixeira, Michael Winter
2017	J	`jnl`	Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. J. Log. Algebraic Methods Program. Rudolf Berghammer, Michael Winter
2017	C	`conf`	Type-n Arrow Categories. RAMiCS Michael Winter
2017	J	`jnl`	Using relation-algebraic means and tool support for investigating and computing bipartitions. J. Log. Algebraic Methods Program. Rudolf Berghammer, Insa Stucke, Michael Winter
2016	J	`jnl`	Categories of relations for variable-basis fuzziness. Fuzzy Sets Syst. Michael Winter, Ethan C. Jackson
2016	J	`jnl`	Dependencies in relational models of databases. J. Log. Algebraic Methods Program. Michael Winter
2015	C	`conf`	Investigating and Computing Bipartitions with Algebraic Means. RAMiCS Rudolf Berghammer, Insa Stucke, Michael Winter
2015	C	`conf`	L-Fuzzy Databases in Arrow Categories. RAMiCS Evans Adjei, Wazed Chowdhury, Michael Winter
2015	J	`jnl`	Membership values in arrow categories. Fuzzy Sets Syst. Michael Winter
2015	C	`ed.`	Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings RAMiCS Wolfram Kahl, Michael Winter, José Nuno Oliveira
2015	C	`conf`	Relations among Matrices over a Semiring. RAMiCS Dylan Killingbeck, Milene Santos Teixeira, Michael Winter
2014	J	`jnl`	Gunther Schmidt's life as a mathematician and computer scientist. J. Log. Algebraic Methods Program. Rudolf Berghammer, Michael Winter
2014	C	`conf`	Higher-Order Arrow Categories. RAMiCS Michael Winter
2014	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Rudolf Berghammer, Bernhard Möller, Michael Winter
2014	C	`conf`	Refinements of the RCC25 Composition Table. RAMiCS Manas Ghosh, Michael Winter
2014	J	`jnl`	Relational Mathematics Continued. CoRR Gunther Schmidt, Michael Winter
2014	J	`jnl`	Relational properties of sequential composition of coalgebras. J. Log. Algebraic Methods Program. Michael Winter, Peter Kempf
2014	C	`conf`	Type-2 Fuzzy Controllers in Arrow Categories. RAMiCS Michael Winter, Ethan C. Jackson, Yuki Fujiwara
2013	J	`jnl`	Decomposition of Relations and Concept Lattices. Fundam. Informaticae Rudolf Berghammer, Michael Winter
2012	J	`jnl`	On the algebra of regular sets - Properties of representable Stonian p-ortholattices. Ann. Math. Artif. Intell. Michael Winter, Torsten Hahmann, Michael Grüninger
2012	C	`conf`	Relation Algebras, Matrices, and Multi-valued Decision Diagrams. RAMiCS Francis Atampore, Michael Winter
2011	C	`conf`	A First-Order Calculus for Allegories. RAMiCS Bahar Aameri, Michael Winter
2011	J	`jnl`	Dedekind categories with cutoff operators. Fuzzy Sets Syst. Hitoshi Furusawa, Yasuo Kawahara, Michael Winter
2011	C	`conf`	Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). RAMiCS Michael Winter
2011	C	`conf`	Splitting Atoms in Relational Algebras. RAMiCS Prathap Siddavaatam, Michael Winter
2010	J	`jnl`	Cardinality functions in allegories. J. Log. Algebraic Methods Program. Yasuo Kawahara, Michael Winter
2010	J	`jnl`	Embedding mappings and splittings with applications. Acta Informatica Rudolf Berghammer, Michael Winter
2009	J	`jnl`	Arrow categories. Fuzzy Sets Syst. Michael Winter
2009	—	`conf`	Cardinal Addition in Distributive Allegories. RelMiCS Yasuo Kawahara, Michael Winter
2009	—	`conf`	Complements in Distributive Allegories. RelMiCS Michael Winter
2009	—	`conf`	On the Skeleton of Stonian p-Ortholattices. RelMiCS Michael Winter, Torsten Hahmann, Michael Gruninger
2009	J	`jnl`	Stonian p-ortholattices: A new approach to the mereotopology RT Artif. Intell. Torsten Hahmann, Michael Winter, Michael Gruninger
2009	C	`conf`	Timed Contact Algebras. TIME Ivo Düntsch, Michael Winter
2008	J	`jnl`	A Relation-Algebraic Theory of Bisimulations. Fundam. Informaticae Michael Winter
2008	—	`conf`	An Ordered Category of Processes. RelMiCS Michael Winter
2008	—	`conf`	Cardinality in Allegories. RelMiCS Yasuo Kawahara, Michael Winter
2008	J	`jnl`	Distributive contact lattices: Topological representations. J. Log. Algebraic Methods Program. Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
2008	C	`conf`	Moving Spaces. TIME Ivo Düntsch, Michael Winter
2008	J	`jnl`	Products in categories of relations. J. Log. Algebraic Methods Program. Michael Winter
2008	—	`conf`	The Lattice of Contact Relations on a Boolean Algebra. RelMiCS Ivo Düntsch, Michael Winter
2006	J	`jnl`	On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching. Fundam. Informaticae Michael Winter
2006	—	`ed.`	Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers RelMiCS Wendy MacCaull, Michael Winter, Ivo Düntsch
2006	J	`jnl`	Rough Relation Algebras Revisited. Fundam. Informaticae Ivo Düntsch, Michael Winter
2006	—	`conf`	Topological Representation of Contact Lattices. RelMiCS Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
2006	—	`conf`	Weak Relational Products. RelMiCS Michael Winter
2005	J	`jnl`	A representation theorem for Boolean contact algebras. Theor. Comput. Sci. Ivo Düntsch, Michael Winter
2005	—	`conf`	Time-Dependent Contact Structures in Goguen Categories. RelMiCS Michael Winter
2005	—	`conf`	Weak Contact Structures. RelMiCS Ivo Düntsch, Michael Winter
2004	J	`jnl`	Construction of Boolean contact algebras. AI Commun. Ivo Düntsch, Michael Winter
2003	—	`conf`	Decomposing Relations into Orderings. RelMiCS Michael Winter
2003	—	`ch.`	RelView and Rath - Two Systems for Dealing with Relations. Theory and Applications of Relational Structures as Knowledge Instruments Rudolf Berghammer, Gunther Schmidt, Michael Winter
2003	J	`jnl`	Representation theory of Goguen categories. Fuzzy Sets Syst. Michael Winter
2001	J	`jnl`	A Necessary Relation Algebra for Mereotopology. Stud Logica Ivo Düntsch, Gunther Schmidt, Michael Winter
2001	J	`jnl`	A new algebraic approach to L-fuzzy relations convenient to study crispness. Inf. Sci. Michael Winter
2001	—	`conf`	Generating Processes from Specifications using the Relation Manipulation System RelView. RelMiS Michael Winter
2001	—	`conf`	Relational Constructions in Goguen Categories. RelMiCS Michael Winter
2000	—	`conf`	An Algebraic Formalisation of L-Fuzzy Relations. RelMiCS Michael Winter
1999	J	`jnl`	A Relation Algebraic Approach to Interaction Categories. Inf. Sci. Michael Winter
1998	—	`conf`	Processes and relations. RelMiCS Michael Winter, Peter Kempf
1998	—	`book`	Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen. Michael Winter
1997	—	`conf`	A Relation Algebraic Approach to Interaction Categories. RelMiCS Michael Winter
1997	—	`ch.`	Heterogeneous Relation Algebra. Relational Methods in Computer Science Gunther Schmidt, Claudia Hattensperger, Michael Winter