Search the dblp DataBase
Michael Winter :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Rudolf Berghammer , Gunther Schmidt , Michael Winter RelView and Rath - Two Systems for Dealing with Relations. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:1-16 [Conf ] Michael Winter An Algebraic Formalisation of L-Fuzzy Relations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2000, pp:233-242 [Conf ] Michael Winter Relational Constructions in Goguen Categories. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2001, pp:212-227 [Conf ] Michael Winter Decomposing Relations into Orderings. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:265-277 [Conf ] Michael Winter A Relation Algebraic Approach to Interaction Categories. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:11-18 [Conf ] Michael Winter , Peter Kempf Processes and relations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:206-209 [Conf ] Ivo Düntsch , Wendy MacCaull , Dimiter Vakarelov , Michael Winter Topological Representation of Contact Lattices. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2006, pp:135-147 [Conf ] Michael Winter Weak Relational Products. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2006, pp:417-431 [Conf ] Ivo Düntsch , Michael Winter Weak Contact Structures. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:73-82 [Conf ] Michael Winter Time-Dependent Contact Structures in Goguen Categories. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:249-262 [Conf ] Thomas Genssler , Alexander Christoph , Michael Winter , Oscar Nierstrasz , Stéphane Ducasse , Roel Wuyts , Gabriela Arévalo , Bastiaan Schönhage , Peter O. Müller , Christian Stich Components for embedded software: the PECOS approach. [Citation Graph (0, 0)][DBLP ] CASES, 2002, pp:19-26 [Conf ] Ivo Düntsch , Michael Winter Construction of Boolean contact algebras. [Citation Graph (0, 0)][DBLP ] AI Commun., 2004, v:17, n:4, pp:235-246 [Journal ] Michael Winter Generating Processes from Specifications using the Relation Manipulation System RelView. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal ] Michael Winter Representation theory of Goguen categories. [Citation Graph (0, 0)][DBLP ] Fuzzy Sets and Systems, 2003, v:138, n:1, pp:85-126 [Journal ] Michael Winter On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:71, n:4, pp:477-491 [Journal ] Ivo Düntsch , Michael Winter Rough Relation Algebras Revisited. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:74, n:2-3, pp:283-300 [Journal ] Michael Winter A new algebraic approach to L-fuzzy relations convenient to study crispness. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2001, v:139, n:3-4, pp:233-252 [Journal ] Michael Winter A Relation Algebraic Approach to Interaction Categories. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1999, v:119, n:3-4, pp:301-314 [Journal ] Ivo Düntsch , Gunther Schmidt , Michael Winter A Necessary Relation Algebra for Mereotopology. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2001, v:69, n:3, pp:381-409 [Journal ] Ivo Düntsch , Michael Winter A representation theorem for Boolean contact algebras. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:347, n:3, pp:498-512 [Journal ] Cardinality in Allegories. [Citation Graph (, )][DBLP ] An Ordered Category of Processes. [Citation Graph (, )][DBLP ] On the Skeleton of Stonian p-Ortholattices. [Citation Graph (, )][DBLP ] Cardinal Addition in Distributive Allegories. [Citation Graph (, )][DBLP ] The Lattice of Contact Relations on a Boolean Algebra. [Citation Graph (, )][DBLP ] Complements in Distributive Allegories. [Citation Graph (, )][DBLP ] Timed Contact Algebras. [Citation Graph (, )][DBLP ] Moving Spaces. [Citation Graph (, )][DBLP ] Embedding mappings and splittings with applications. [Citation Graph (, )][DBLP ] Stonian p-ortholattices: A new approach to the mereotopology RT0 . [Citation Graph (, )][DBLP ] Search in 0.030secs, Finished in 0.032secs