| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hitoshi Furusawa, Yasuo Kawahara, Michael Winter |
Dedekind categories with cutoff operators.  |
Fuzzy Sets and Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial). |
RAMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahar Aameri, Michael Winter |
A First-Order Calculus for Allegories. |
RAMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prathap Siddavaatam, Michael Winter |
Splitting Atoms in Relational Algebras. |
RAMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Michael Winter |
Cardinality functions in allegories. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Michael Winter |
Embedding mappings and splittings with applications. |
Acta Inf. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Oliver, Trevor Page, Chris J. Hodgson, A. Louise Heathwaite, Dave R. Chadwick, Rob D. Fish, Michael Winter |
Development and testing of a risk indexing framework to determine field-scale critical source areas of faecal bacteria on grassland. |
Environmental Modelling and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Arrow categories. |
Fuzzy Sets and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Hahmann, Michael Winter, Michael Gruninger |
Stonian p-ortholattices: A new approach to the mereotopology RT0. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Michael Winter |
Timed Contact Algebras. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter, Torsten Hahmann, Michael Gruninger |
On the Skeleton of Stonian p-Ortholattices. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Michael Winter |
Cardinal Addition in Distributive Allegories. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Complements in Distributive Allegories. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter |
Distributive contact lattices: Topological representations. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Products in categories of relations. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
A Relation-Algebraic Theory of Bisimulations. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ivo Düntsch, Michael Winter |
Moving Spaces. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Michael Winter |
Cardinality in Allegories. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Michael Winter |
The Lattice of Contact Relations on a Boolean Algebra. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
An Ordered Category of Processes. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Michael Winter |
Rough Relation Algebras Revisited. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Winter |
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.) |
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 |
RelMiCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter |
Topological Representation of Contact Lattices. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Weak Relational Products. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Michael Winter |
A representation theorem for Boolean contact algebras. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Time-Dependent Contact Structures in Goguen Categories. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Michael Winter |
Weak Contact Structures. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Michael Winter |
Construction of Boolean contact algebras. |
AI Commun. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Winter |
Representation theory of Goguen categories. |
Fuzzy Sets and Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Decomposing Relations into Orderings. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
field devices, embedded systems, component based software development |
| 1 | Ivo Düntsch, Gunther Schmidt, Michael Winter |
A Necessary Relation Algebra for Mereotopology. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
A new algebraic approach to L-fuzzy relations convenient to study crispness. |
Inf. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Generating Processes from Specifications using the Relation Manipulation System RelView. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
Relational Constructions in Goguen Categories. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
An Algebraic Formalisation of L-Fuzzy Relations. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Winter |
A Relation Algebraic Approach to Interaction Categories. |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winter |
MVS / ESA JCL - Einführung in die Praxis (3. Aufl.). |
|
1999 |
RDF |
|
| 1 | Michael Winter |
Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen. |
|
1998 |
RDF |
|
| 1 | Michael Winter, Peter Kempf |
Processes and relations. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael Winter |
A Relation Algebraic Approach to Interaction Categories. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")