 | 2009 |
|---|
| 33 |       | Yasuo Kawahara,
Michael Winter:
Cardinal Addition in Distributive Allegories.
RelMiCS 2009: 227-241 |
| 32 | | Michael Winter:
Complements in Distributive Allegories.
RelMiCS 2009: 337-350 |
| 31 | | Michael Winter,
Torsten Hahmann,
Michael Gruninger:
On the Skeleton of Stonian p-Ortholattices.
RelMiCS 2009: 351-365 |
| 30 | | Torsten Hahmann,
Michael Winter,
Michael Gruninger:
Stonian p-ortholattices: A new approach to the mereotopology RT0.
Artif. Intell. 173(15): 1424-1440 (2009) |
| 29 | | Michael Winter:
Arrow categories.
Fuzzy Sets and Systems 160(20): 2893-2909 (2009) |
| 2008 |
|---|
| 28 | | Yasuo Kawahara,
Michael Winter:
Cardinality in Allegories.
RelMiCS 2008: 274-288 |
| 27 | | Michael Winter:
An Ordered Category of Processes.
RelMiCS 2008: 367-381 |
| 26 | | Ivo Düntsch,
Michael Winter:
The Lattice of Contact Relations on a Boolean Algebra.
RelMiCS 2008: 99-109 |
| 25 | | Ivo Düntsch,
Michael Winter:
Moving Spaces.
TIME 2008: 59-63 |
| 24 | | Michael Winter:
A Relation-Algebraic Theory of Bisimulations.
Fundam. Inform. 83(4): 429-449 (2008) |
| 23 | | Michael Winter:
Products in categories of relations.
J. Log. Algebr. Program. 76(1): 145-159 (2008) |
| 22 | | Ivo Düntsch,
Wendy MacCaull,
Dimiter Vakarelov,
Michael Winter:
Distributive contact lattices: Topological representations.
J. Log. Algebr. Program. 76(1): 18-34 (2008) |
| 2006 |
|---|
| 21 |  | Wendy MacCaull,
Michael Winter,
Ivo Düntsch:
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
Springer 2006 |
| 20 | | Ivo Düntsch,
Wendy MacCaull,
Dimiter Vakarelov,
Michael Winter:
Topological Representation of Contact Lattices.
RelMiCS 2006: 135-147 |
| 19 | | Michael Winter:
Weak Relational Products.
RelMiCS 2006: 417-431 |
| 18 | | Michael Winter:
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching.
Fundam. Inform. 71(4): 477-491 (2006) |
| 17 | | Ivo Düntsch,
Michael Winter:
Rough Relation Algebras Revisited.
Fundam. Inform. 74(2-3): 283-300 (2006) |
| 2005 |
|---|
| 16 | | Michael Winter:
Time-Dependent Contact Structures in Goguen Categories.
RelMiCS 2005: 249-262 |
| 15 | | Ivo Düntsch,
Michael Winter:
Weak Contact Structures.
RelMiCS 2005: 73-82 |
| 14 | | Ivo Düntsch,
Michael Winter:
A representation theorem for Boolean contact algebras.
Theor. Comput. Sci. 347(3): 498-512 (2005) |
| 2004 |
|---|
| 13 | | Ivo Düntsch,
Michael Winter:
Construction of Boolean contact algebras.
AI Commun. 17(4): 235-246 (2004) |
| 2003 |
|---|
| 12 | | Michael Winter:
Decomposing Relations into Orderings.
RelMiCS 2003: 265-277 |
| 11 | | Rudolf Berghammer,
Gunther Schmidt,
Michael Winter:
RelView and Rath - Two Systems for Dealing with Relations.
Theory and Applications of Relational Structures as Knowledge Instruments 2003: 1-16 |
| 10 | | Michael Winter:
Representation theory of Goguen categories.
Fuzzy Sets and Systems 138(1): 85-126 (2003) |
| 2002 |
|---|
| 9 | | 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.
CASES 2002: 19-26 |
| 2001 |
|---|
| 8 | | Michael Winter:
Relational Constructions in Goguen Categories.
RelMiCS 2001: 212-227 |
| 7 | | Michael Winter:
Generating Processes from Specifications using the Relation Manipulation System RelView.
Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 6 | | Michael Winter:
A new algebraic approach to L-fuzzy relations convenient to study crispness.
Inf. Sci. 139(3-4): 233-252 (2001) |
| 5 | | Ivo Düntsch,
Gunther Schmidt,
Michael Winter:
A Necessary Relation Algebra for Mereotopology.
Studia Logica 69(3): 381-409 (2001) |
| 2000 |
|---|
| 4 | | Michael Winter:
An Algebraic Formalisation of L-Fuzzy Relations.
RelMiCS 2000: 233-242 |
| 1999 |
|---|
| 3 | | Michael Winter:
A Relation Algebraic Approach to Interaction Categories.
Inf. Sci. 119(3-4): 301-314 (1999) |
| 1998 |
|---|
| 2 | | Michael Winter,
Peter Kempf:
Processes and relations.
RelMiCS 1998: 206-209 |
| 1997 |
|---|
| 1 | | Michael Winter:
A Relation Algebraic Approach to Interaction Categories.
RelMiCS 1997: 11-18 |
