Koppelberg S., Düntsch I., Winter M.
Remarks on contact relations on Boolean algebras
Algebra Universalis
accepted May 02, 2012
Furusawa H., Kawahara Y., Winter M.
Dedekind Categories with Cutoff Operators
Fuzzy Sets and Systems
2011
173
1-24
Kawahara Y., Winter M.
Cardinality Functions in Allegories
Journal of Logic and Algebraic Programming
2010
79(8)
830-844
Berghammer, R., Winter, M.
Embedding mappings and splittings with applications
Acta Informatica
2010
47(2)
77-110
Hahmann T., Winter M., Gruninger M.
Stone Ortholattices: A new approach to the mereotopology RT0
Artificial Intelligence
2009
173(15)
1424-1440
Winter, M.
Arrow Categories
Fuzzy Sets and Systems
2009
160
2893-2909
Winter, M.
A Relation Algebraic Theory of Bisimulations
Fundamenta Informaticae
2008
83(4)
429-449
Winter, M.
Products in Categories of Relations
Journal of Logic and Algebraic Programming
2008
76(1)
145-159
Düntsch, I., MacCaull W., Vakarelov, D. Winter, M.
Distributive Contact Lattices: Topological Representations
Journal of Logic and Algebraic Programming
2008
76(1)
18-34
Düntsch, I., Winter, M.
Rough relation algebras revisited
Fundamenta Informaticae
2006
74
2-3
283-300
Winter, M.
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching
Fundamenta Informaticae
2006
71
4
477-491
Düntsch, I., Winter, M.
A Representation Theorem for Boolean Contact Algebras
Theoretical Computer Science
2005
347
3
498-512
Winter, M.
Goguen Categories
JoRMiCS
2005
1
339-357
Düntsch I., Winter M.
Algebraization and representation of mereotopological structures
JoRMiCS
2005
1
161-180
Düntsch, I., Winter, M.
Construction of Boolean contact algebras
AI Communications
2004
17
4
235-246
Winter, M.
Representation Theory of Goguen Categories
Fuzzy Sets and Systems
2003
38
1
85-126
Winter, M.
Derived Operations in Goguen Categories
TAC Theory and Applications of Categories
2002
10
11
220-247
Winter, M.
A new Algebraic Approach to L-Fuzzy Relations convenient to study crispness
INS Information Science
2001
139
3-4
233-252
Düntsch, I., Schmidt, G., Winter, M.
A necessary relation algebra for mereotopology
Studia Logica
2001
69
381-409
Winter, M.
A Pseudo Representation Theorem for various Categories of Relations
TAC Theory and Applications of Categories
2000
7
2
23-37
Winter, M.
A Relation Algebraic Approach To Interaction Categories
INS Information Sciences
1999
119
3-4
301-314
Winter, M.
Goguen Categories - A Categorical Approach to L-Fuzzy Relations
Springer
2007
Trends in Logic
25
978-1-4020-6163-9
MacCaull, W., Winter, M. and Düntsch, I.
Relational Methods in Computer Science - RelMiCS 2005
Springer
2006
Lecture Notes in Computer Science
3929
3-540-33339-8
Winter, M.
Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen
Dissertationsverlag NG Kopierladen GmbH, München
1998
3-933214-11-4
Düntsch I., Winter, M.
Boolean Contact Algebras
Handbook of Mereology
Philosophia Verlag
expected October 2009
Burkhardt, H., Seibt, J., Imaguir, G.
Berghammer, R., Schmidt, G., Winter, M.
Relview and Rath - Two Systems for Dealing with Relations
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI
Springer
2003
de Swart, H., Orlowska, E., Schmidt, G., Roubens, M
Lecture Notes in Computer Science
2929
1-16
Winter, M., Kempf, P.
Processes as Relations
Relational Methods for Computer Science Applications
Physica Verlag Heidelberg
2001
Orlowska, E., Szalas, A.
Studies in Fuzzyness and Soft Computing
59-73
Winter, M.
Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen
Dissertationspreise GI, Ausgezeichnete Informatikdissertationen 1998
B.G. Teubner Stuttgart, Leipzig
1999
Fiedler, H., Gorny, P., Grass, W., Hölldobler, S., Hotz, G., Reischuk, R.
218-229
Schmidt, G., Hattensperger, C., Winter, M.
Heterogeneous Relation Algebras
Relational Methods in Computer Science
Springer
1997
Brink, C., Kahl, W., Schmidt, G.
Advances in Computer Science
39-53
Winter M.
Relation Algebraic Approaches to Fuzzy Relations
Relational and Algebraic Methods in Computer Science (RAMiCS 12)
2011
de Swart, H.
Lecture Notes in Computer Science
6663
70-73
Siddavaatam P., Winter M.
Splitting Atoms in Relational Algebras
Relational and Algebraic Methods in Computer Science (RAMiCS 12)
2011
de Swart, H.
Lecture Notes in Computer Science
6663
331-346
Aameri B., Winter M.
A First-Order Calculus for Allegories
Relational and Algebraic Methods in Computer Science (RAMiCS 12)
2011
de Swart, H.
Lecture Notes in Computer Science
6663
74-91
Kawahara Y., Winter M.
Cardinal Addition in Distributive Allegories
Relations and Kleene Algebra in Computer Science RelMiCS / AKA 2009
2009
Berghammer, R., Jaoua, A., Möller, B.
Lecture Notes in Computer Science
5827
227-241
Winter M.
Complements in Distributive Allegories
Relations and Kleene Algebra in Computer Science RelMiCS / AKA 2009
2009
Berghammer, R., Jaoua, A., Möller, B.
Lecture Notes in Computer Science
5827
337-350
Winter M., Hahmann T., Gruninger M.
On the Skeleton of Stonian p-Ortholattices
Relations and Kleene Algebra in Computer Science RelMiCS / AKA 2009
2009
Berghammer, R., Jaoua, A., Möller, B.
Lecture Notes in Computer Science
5827
351-365
Düntsch, I., Winter, M.
Timed Contact Algebras.
16th International Symposium on Temporal Representation and Reasoning TIME 2009
2009
Lutz, C., Raskin, J.F.
IEEE
133-138
Düntsch, I., Winter, M.
Moving Spaces
15th International Symposium on Temporal Representation and Reasoning TIME 2008
2008
Demri, S., Jensen, C.S.
IEEE
59-63
Düntsch, I., Winter, M.
The lattice of Contact Relations on a Boolean Algebra
Relations and Kleene Algebra in Computer Science RelMiCS / AKA 2008
2008
Berghammer, R., Möller, B., Struth, G.
Lecture Notes in Computer Science
4988
98-109
Kawahara Y., Winter, M.
Cardinality in Allegories
Relations and Kleene Algebra in Computer Science RelMiCS / AKA 2008
2008
Berghammer, R., Möller, B., Struth, G.
Lecture Notes in Computer Science
4988
275-290
Winter, M.
An Ordered Category of Processes
Relations and Kleene Algebra in Computer Science RelMiCS / AKA 2008
2008
Berghammer, R., Möller, B., Struth, G.
Lecture Notes in Computer Science
4988
367-381
Winter, M.
Weak relational products
Relational Methods in Computer Science RelMiCS / AKA 2006
2006
Schmidt, R.A.
Lecture Notes in Computer Science
4136
417-431
Düntsch, I., MacCaull W., Vakarelov, D. Winter, M.
Topological Representation of Contact Lattices
Relational Methods in Computer Science RelMiCS / AKA 2006
2006
Schmidt, R.A.
Lecture Notes in Computer Science
4136
135-147
Winter, M.
Time-Dependent Contact Structures in Goguen Categories
Relational Methods in Computer Science RelMiCS 2005
2006
MacCaull, W., Winter, M. and Düntsch, I.
Lecture Notes in Computer Science
3929
249-262
Düntsch, I., Winter, M.
Weak Contact Structures
Relational Methods in Computer Science RelMiCS 2005
2006
MacCaull, W., Winter, M. and Düntsch, I.
Lecture Notes in Computer Science
3929
73-82
Winter, M.
Decomposing relations into orderings
Relational and Kleene-Algebraic Methods in Computer Science
2004
Berghammer, R., Möller, B., Struth, G.
Lecture Notes in Computer Science
3051
265-277
Winter, M.
Generating Processes from Specifications using the Relation Manipulation System RELVIEW
Proceedings of Relational Methods in Software RelMiS 2001
2003
Kahl, W., Parnas, D.L., Schmidt, G.
Electronic Lecture Notes in Computer Science
44
3
194-220
Winter, M.
Relational Constructions in Goguen Categories
Relational Methods in Computer Science, 6th Int. Conf. RelMiCS
2002
de Swart, H.
Lecture Notes in Computer Science
2561
212-227
Atampore, F., Winter, M.
Relation Algebras, Matrices, and Multi-Valued Decision Diagrams
Brock University
2012
CS-12-03
Winter M.
Mereotopological Aspects of Stonian p-Ortholattices
Abstract of Talks, The 2nd International Conference on Order, Algebra, and Logics OAL2.0
University of Kraków
2011
Siddavaatam P., Winter M.
Splitting Atoms in Relational Algebras
Brock University
2010
CS-10-03
Aameri B., Winter M.
A First-Order Calculus for Allegories
Brock University
2010
CS-10-04
Winter M.
A First-Order Characterization of Allen's Interval Algebra
Brock University
2010
CS-10-05
Zhang S., Winter M.
Three structures for generating finite integral relation algebras
Proceedings of the PhD Program of RelMiCS/AKA 2009
2009
Berghammer R., Jaoua A., Möller B.
Qatar University
28-32
Winter M., Hahmann T., Gruninger M.
On the Skeleton of Stonian p-Ortholattices
Brock University
2009
CS-09-07
Winter M.
Complements in Distributive Allegories
Brock University
2009
CS-09-06
Kawahara Y., Winter M.
Cardinal Addition in Distributive Allegories
Brock University
2009
CS-09-04
Düntsch, I., Winter, M.
Time Contact Algebras
Brock University
2009
CS-09-03
Hahmann T. Gruninger M., Winter M.
Stone Ortholattices: A new approach to the mereotopology RT0
Brock University
2009
CS-09-02
Düntsch, I., Winter, M.
The lattice of contact relations on a Boolean algebra
Brock University
2008
CS-08-01
Kawahara Y., Winter M.
Cardinality in Allegories
Brock University
2007
CS-07-06
Winter, M.
An Ordered Category of Processes
Brock University
2007
CS-07-05
Winter, M.
Arrow Categories
Brock University
2007
CS-07-02
Glanfield, J., Winter, M.
RelAPS: A Proof System for Relational Categories
Relations and Kleene Algebra in Computer Science
2006
Schmidt, R.A., Struth, G.
University of Sheffield
CS-06-09
50-54
Winter, M.
A Relation Algebraic Theory of Bisimulations
Brock University
2006
CS-06-04
Winter, M.
Weak relational products
Brock University
2006
CS-06-03
Düntsch, I., Winter, M.
Remarks on lattices of contact relations
Brock University
2006
CS-06-01
Düntsch, I., Winter, M.
Rough relation algebras revisited
Brock University
2005
CS-05-11
Düntsch, I., Winter, M.
Weak Contact Structures
Brock University
2005
CS-05-06
Winter, M.
Time-Dependent Contact Structures in Goguen Categories
Brock University
2005
CS-05-05
Winter, M.
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching
Brock University
2005
CS-05-04
Düntsch, I., Winter, M.
Finite Contact Structures
Participants Proceeding of the 8th Internatiuonal Conference on Relational Methods in Computer Science (RelMiCS 8)
2005
Düntsch, I., Winter, M.
Brock University
37-39
Winter, M.
Time-dependent Contact Structures in Goguen Categories
Participants Proceeding of the 8th Internatiuonal Conference on Relational Methods in Computer Science (RelMiCS 8)
2005
Düntsch, I., Winter, M.
Brock University
273-280
Düntsch, I., Winter, M.
Construction of Boolean contact algebras
Brock University
2004
CS-04-01
Kempf, p., Winter, M.
Relational unsharpness and processes
Brock University
2003
CS-03-11
Düntsch, I., Winter, M.
Representation Theorem for Boolean Contact Algebras
Brock University
2003
CS-03-08
Kempf, P., Winter, M.
Relational unsharpness and processes
Participants Proceedings of the 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7)
2003
Berghammer, R, and Möller, B
Christian-Albrechts-Universität zu Kiel
270-276
Winter, M.
Decomposing relations into orderings
Participants Proceedings of the 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7)
2003
Berghammer, R, and Möller, B
Christian-Albrechts-Universität zu Kiel
190-196
Winter, M.
Relational Constructions in Goguen Categories
Participants Proceedings of the 6th International Seminar on Relational Methods in Computer Science (RelMiCS 6)
2001
de Swart, H.
Katholieke Universiteit Brabant
222-236
Winter, M.
Generating Processes from Specifications using RELVIEW
Participants Proceedings of RelMiS 2001 - Relational Methods in Software
2001
Kahl, W., Parnas, D.L., Schmidt, G.
Universität der Bundeswehr München
Report Nr. 2001-01
81-98
Winter, M.
An algebraic formalisation of L-fuzzy relations
Participants Proceedings of the 5th International Seminar on Relational Methods in Computer Science (RelMiCS 5)
2000
Desharnais, J.
Universite Laval
233-242
Winter, M.
Crispness of L-fuzzy relations
Programmiersprachen und Grundlagen der Programmierung
2000
Poetzsch-Heffter, A., Meyer, J.
Fern-Universität Hagen
Report Nr. 263-1/2000
1-8
Winter, M.
Theory of Heterogeneous Relation Algebras with Application to Nondeterminism in Programming Languages (Abstract)
Bulletin of the EATCS
1998
66
288-289
Winter, M., Kempf, P.
Processes as Relations
Participants Proceedings of the 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science (RelMiCS 4)
1998
Orlowskak E., Szalas, A.
University of Warsaw
206-209
Winter, M.
Relation Algebras are Matrix Algebras over a suitable Basis
Universität der Bundeswehr München
1998
Report Nr. 1998-05
Kempf, P., Schmidt, G., Winter, M.
Konstruktion induktiv geordneter aus algebraischen Spezifikationen
Universität der Bundeswehr München
1998
Report Nr. 1998-04
Kempf, P., Winter, M.
Relational Semantics for Processes
Universität der Bundeswehr München
1998
Report Nr. 1998-01
Winter, M.
A Relation Algebraic Approach To Interaction Categories
Participants Proceedings of the 3rd International Seminar on Relational Methods in Computer Science (RelMiCS 3)
1997
Jaoua, A.
University of Science Technology and Medicine of Tunis
11-18
Winter, M.
Heterogeneous Relation Algebras As Models Of Linear Logic
Programming Languages and Fundamentals of Programming
1997
Berghammer, R., Simon, F.
Christian-Albrechts-Universität zu Kiel
Report Nr. 9717
23-30
Winter, M.
Inconsistencies in ccc's
The Higher Object Programming System HOPS
1996
Bayer, A., Grobauer, B., Kahl, W., Schmalhofer, F., Schmidt, G., Winter, M.
Universität der Bundeswehr München
145-148
Winter, M.
Generic Isomorphisms
Kolloquium Programmiersprachen und Grundlagen der Programmierung
1995
Margaria, T.
Passau University
Report MIP-9519
110-116