| 2008 |
|---|
| 28 | EE | Yasuo Kawahara,
Michael Winter:
Cardinality in Allegories.
RelMiCS 2008: 274-288 |
| 27 | EE | Michael Winter:
An Ordered Category of Processes.
RelMiCS 2008: 367-381 |
| 26 | EE | Ivo Düntsch,
Michael Winter:
The Lattice of Contact Relations on a Boolean Algebra.
RelMiCS 2008: 99-109 |
| 25 | EE | Ivo Düntsch,
Michael Winter:
Moving Spaces.
TIME 2008: 59-63 |
| 24 | EE | Michael Winter:
A Relation-Algebraic Theory of Bisimulations.
Fundam. Inform. 83(4): 429-449 (2008) |
| 23 | EE | Michael Winter:
Products in categories of relations.
J. Log. Algebr. Program. 76(1): 145-159 (2008) |
| 22 | EE | 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 | EE | Ivo Düntsch,
Wendy MacCaull,
Dimiter Vakarelov,
Michael Winter:
Topological Representation of Contact Lattices.
RelMiCS 2006: 135-147 |
| 19 | EE | Michael Winter:
Weak Relational Products.
RelMiCS 2006: 417-431 |
| 18 | EE | Michael Winter:
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching.
Fundam. Inform. 71(4): 477-491 (2006) |
| 17 | EE | Ivo Düntsch,
Michael Winter:
Rough Relation Algebras Revisited.
Fundam. Inform. 74(2-3): 283-300 (2006) |
| 2005 |
|---|
| 16 | EE | Michael Winter:
Time-Dependent Contact Structures in Goguen Categories.
RelMiCS 2005: 249-262 |
| 15 | EE | Ivo Düntsch,
Michael Winter:
Weak Contact Structures.
RelMiCS 2005: 73-82 |
| 14 | EE | Ivo Düntsch,
Michael Winter:
A representation theorem for Boolean contact algebras.
Theor. Comput. Sci. 347(3): 498-512 (2005) |
| 2004 |
|---|
| 13 | EE | Ivo Düntsch,
Michael Winter:
Construction of Boolean contact algebras.
AI Commun. 17(4): 235-246 (2004) |
| 2003 |
|---|
| 12 | EE | Michael Winter:
Decomposing Relations into Orderings.
RelMiCS 2003: 265-277 |
| 11 | EE | 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 | EE | Michael Winter:
Representation theory of Goguen categories.
Fuzzy Sets and Systems 138(1): 85-126 (2003) |
| 2002 |
|---|
| 9 | EE | 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 | EE | Michael Winter:
Relational Constructions in Goguen Categories.
RelMiCS 2001: 212-227 |
| 7 | EE | 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 |
