Michael Winter

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 19

Top Topics

Relation Algebra

Fuzzy Controller

Relational Models

Top Venues

J. Log. Algebraic Methods Program.

Fuzzy Sets Syst.

Publications

Michael Winter
A relation algebraic approach to universal integrals. Fuzzy Sets Syst. 487 (2024)
Rudolf Berghammer, Michael Winter
A General Method for Representing Sets of Relations by Vectors. RAMiCS (2023)
George Addison, Anahita Izadpanahi, Sajal Saha, Michael Winter
-fuzzy concept analysis using fuzzy categories. Fuzzy Sets Syst. 460 (2023)
Michael Winter
Relational Algebraic Approach to the Real Numbers the Additive Group. RAMiCS (2023)
Rudolf Berghammer, Steffen Börm, Michael Winter
Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. Appl. Math. Comput. 389 (2021)
Rudolf Berghammer, Steffen Börm, Michael Winter
Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension. CoRR (2020)
Michael Winter
Sharpness in the Fuzzy World. RAMiCS (2020)
Rudolf Berghammer, Henning Schnoor, Michael Winter
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. Fundam. Informaticae 177 (2) (2020)
Rudolf Berghammer, Gunther Schmidt, Michael Winter
Cryptomorphic topological structures: A computational, relation-algebraic approach. J. Log. Algebraic Methods Program. 102 (2019)
Milene Santos Teixeira, Vinícius Maran, José Palazzo Moreira de Oliveira, Michael Winter, Alencar Machado
Situation-aware model for multi-objective decision making in ambient intelligence. Appl. Soft Comput. 81 (2019)
Michael Winter
T-Norm Based Operations in Arrow Categories. RAMiCS (2018)
Pranab Kumar Ghosh, Michael Winter
A Modal and Relevance Logic for Qualitative Spatial Reasoning. RAMiCS (2018)
Dylan Killingbeck, Milene Santos Teixeira, Michael Winter
Relations in linear algebra. J. Log. Algebraic Methods Program. 91 (2017)
Michael Winter
Type-n Arrow Categories. RAMiCS (2017)
Rudolf Berghammer, Michael Winter
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. J. Log. Algebraic Methods Program. 88 (2017)
Rudolf Berghammer, Insa Stucke, Michael Winter
Using relation-algebraic means and tool support for investigating and computing bipartitions. J. Log. Algebraic Methods Program. 90 (2017)
Ethan C. Jackson, James Alexander Hughes, Mark Daley, Michael Winter
An algebraic generalization for graph and tensor-based neural networks. CIBCB (2017)
Michael Winter, Ethan C. Jackson
Categories of relations for variable-basis fuzziness. Fuzzy Sets Syst. 298 (2016)
Michael Winter
Dependencies in relational models of databases. J. Log. Algebraic Methods Program. 85 (5) (2016)
Rudolf Berghammer, Insa Stucke, Michael Winter
Investigating and Computing Bipartitions with Algebraic Means. RAMiCS (2015)
Evans Adjei, Wazed Chowdhury, Michael Winter
L-Fuzzy Databases in Arrow Categories. RAMiCS (2015)
Michael Winter
Membership values in arrow categories. Fuzzy Sets Syst. 267 (2015)
Dylan Killingbeck, Milene Santos Teixeira, Michael Winter
Relations among Matrices over a Semiring. RAMiCS (2015)
Rudolf Berghammer, Bernhard Möller, Michael Winter
Preface. J. Log. Algebraic Methods Program. 83 (2) (2014)
Manas Ghosh, Michael Winter
Refinements of the RCC25 Composition Table. RAMiCS (2014)
Michael Winter, Peter Kempf
Relational properties of sequential composition of coalgebras. J. Log. Algebraic Methods Program. 83 (2) (2014)
Rudolf Berghammer, Michael Winter
Gunther Schmidt's life as a mathematician and computer scientist. J. Log. Algebraic Methods Program. 83 (2) (2014)
Gunther Schmidt, Michael Winter
Relational Mathematics Continued. CoRR (2014)
Michael Winter, Ethan C. Jackson, Yuki Fujiwara
Type-2 Fuzzy Controllers in Arrow Categories. RAMiCS (2014)
Michael Winter
Higher-Order Arrow Categories. RAMiCS (2014)
Rudolf Berghammer, Michael Winter
Decomposition of Relations and Concept Lattices. Fundam. Informaticae 126 (1) (2013)
Michael Winter, Torsten Hahmann, Michael Grüninger
On the algebra of regular sets - Properties of representable Stonian p-ortholattices. Ann. Math. Artif. Intell. 65 (1) (2012)
Francis Atampore, Michael Winter
Relation Algebras, Matrices, and Multi-valued Decision Diagrams. RAMiCS (2012)
Bahar Aameri, Michael Winter
A First-Order Calculus for Allegories. RAMiCS (2011)
Hitoshi Furusawa, Yasuo Kawahara, Michael Winter
Dedekind categories with cutoff operators. Fuzzy Sets Syst. 173 (1) (2011)
Michael Winter
Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). RAMiCS (2011)
Prathap Siddavaatam, Michael Winter
Splitting Atoms in Relational Algebras. RAMiCS (2011)
Rudolf Berghammer, Michael Winter
Embedding mappings and splittings with applications. Acta Informatica 47 (2) (2010)
Yasuo Kawahara, Michael Winter
Cardinality functions in allegories. J. Log. Algebraic Methods Program. 79 (8) (2010)
Yasuo Kawahara, Michael Winter
Cardinal Addition in Distributive Allegories. RelMiCS (2009)
Michael Winter, Torsten Hahmann, Michael Gruninger
On the Skeleton of Stonian p-Ortholattices. RelMiCS (2009)
Michael Winter
Complements in Distributive Allegories. RelMiCS (2009)
Torsten Hahmann, Michael Winter, Michael Gruninger
. Artif. Intell. 173 (15) (2009)
Ivo Düntsch, Michael Winter
Timed Contact Algebras. TIME (2009)
Michael Winter
Arrow categories. Fuzzy Sets Syst. 160 (20) (2009)
Michael Winter
A Relation-Algebraic Theory of Bisimulations. Fundam. Informaticae 83 (4) (2008)
Michael Winter
Products in categories of relations. J. Log. Algebraic Methods Program. 76 (1) (2008)
Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
Distributive contact lattices: Topological representations. J. Log. Algebraic Methods Program. 76 (1) (2008)
Yasuo Kawahara, Michael Winter
Cardinality in Allegories. RelMiCS (2008)
Ivo Düntsch, Michael Winter
The Lattice of Contact Relations on a Boolean Algebra. RelMiCS (2008)
Ivo Düntsch, Michael Winter
Moving Spaces. TIME (2008)
Michael Winter
An Ordered Category of Processes. RelMiCS (2008)
Ivo Düntsch, Michael Winter
Rough Relation Algebras Revisited. Fundam. Informaticae 74 (2-3) (2006)
Michael Winter
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching. Fundam. Informaticae 71 (4) (2006)
Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
Topological Representation of Contact Lattices. RelMiCS (2006)
Michael Winter
Weak Relational Products. RelMiCS (2006)
Michael Winter
Time-Dependent Contact Structures in Goguen Categories. RelMiCS (2005)
Ivo Düntsch, Michael Winter
Weak Contact Structures. RelMiCS (2005)
Ivo Düntsch, Michael Winter
A representation theorem for Boolean contact algebras. Theor. Comput. Sci. 347 (3) (2005)
Ivo Düntsch, Michael Winter
Construction of Boolean contact algebras. AI Commun. 17 (4) (2004)
Michael Winter
Representation theory of Goguen categories. Fuzzy Sets Syst. 138 (1) (2003)
Michael Winter
Decomposing Relations into Orderings. RelMiCS (2003)
Michael Winter
A new algebraic approach to L-fuzzy relations convenient to study crispness. Inf. Sci. 139 (3-4) (2001)
Ivo Düntsch, Gunther Schmidt, Michael Winter
A Necessary Relation Algebra for Mereotopology. Stud Logica 69 (3) (2001)
Michael Winter
Generating Processes from Specifications using the Relation Manipulation System RelView. Electron. Notes Theor. Comput. Sci. 44 (3) (2001)
Michael Winter
Relational Constructions in Goguen Categories. RelMiCS (2001)
Michael Winter
An Algebraic Formalisation of L-Fuzzy Relations. RelMiCS (2000)
Michael Winter
A Relation Algebraic Approach to Interaction Categories. Inf. Sci. 119 (3-4) (1999)
Michael Winter, Peter Kempf
Processes and relations. RelMiCS (1998)
Michael Winter
A Relation Algebraic Approach to Interaction Categories. RelMiCS (1997)