Michael Winter

According to our database1, Michael Winter
  • authored at least 70 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Relations in linear algebra.
J. Log. Algebr. Meth. Program., 2017

Solving computational tasks on finite topologies by means of relation algebra and the RelView tool.
J. Log. Algebr. Meth. Program., 2017

Using relation-algebraic means and tool support for investigating and computing bipartitions.
J. Log. Algebr. Meth. Program., 2017

An algebraic generalization for graph and tensor-based neural networks.
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2017

Type-n Arrow Categories.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016
Dependencies in relational models of databases.
J. Log. Algebr. Meth. Program., 2016

Categories of relations for variable-basis fuzziness.
Fuzzy Sets and Systems, 2016

Using the Viable System Model to control a system of distributed DC/DC converters.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Applications of the Viable System Model in automotive and battery storage systems.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

eCARus - Analysis of an established student hands-on project.
Proceedings of the 2016 IEEE Global Engineering Education Conference, 2016

2015
Membership values in arrow categories.
Fuzzy Sets and Systems, 2015

A cybernetic multi-agent approach for a micro grid in rural areas.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Relations among Matrices over a Semiring.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Investigating and Computing Bipartitions with Algebraic Means.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

L-Fuzzy Databases in Arrow Categories.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014
Relational properties of sequential composition of coalgebras.
J. Log. Algebr. Meth. Program., 2014

Gunther Schmidt's life as a mathematician and computer scientist.
J. Log. Algebr. Meth. Program., 2014

Preface.
J. Log. Algebr. Meth. Program., 2014

Relational Mathematics Continued.
CoRR, 2014

Type-2 Fuzzy Controllers in Arrow Categories.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Higher-Order Arrow Categories.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Refinements of the RCC25 Composition Table.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013
Decomposition of Relations and Concept Lattices.
Fundam. Inform., 2013

2012
Valuing local knowledge as a source of expert data: Farmer engagement and the design of decision support systems.
Environmental Modelling and Software, 2012

On the algebra of regular sets - Properties of representable Stonian p-ortholattices.
Ann. Math. Artif. Intell., 2012

Relation Algebras, Matrices, and Multi-valued Decision Diagrams.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Dedekind categories with cutoff operators.
Fuzzy Sets and Systems, 2011

Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial).
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Splitting Atoms in Relational Algebras.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

A First-Order Calculus for Allegories.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010
Cardinality functions in allegories.
J. Log. Algebr. Program., 2010

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

Embedding mappings and splittings with applications.
Acta Inf., 2010

2009
Arrow categories.
Fuzzy Sets and Systems, 2009

Stonian p-ortholattices: A new approach to the mereotopology RT0.
Artif. Intell., 2009

Timed Contact Algebras.
Proceedings of the TIME 2009, 2009

On the Skeleton of Stonian p-Ortholattices.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Complements in Distributive Allegories.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Cardinal Addition in Distributive Allegories.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Products in categories of relations.
J. Log. Algebr. Program., 2008

Distributive contact lattices: Topological representations.
J. Log. Algebr. Program., 2008

A Relation-Algebraic Theory of Bisimulations.
Fundam. Inform., 2008

Moving Spaces.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

An Ordered Category of Processes.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Cardinality in Allegories.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

The Lattice of Contact Relations on a Boolean Algebra.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
Automatic Notation Generators.
Proceedings of the Seventh International Conference on New Interfaces for Musical Expression, 2007

Automatic Notation Generators.
Proceedings of the 2007 International Computer Music Conference, 2007

2006
On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching.
Fundam. Inform., 2006

Rough Relation Algebras Revisited.
Fundam. Inform., 2006

Weak Relational Products.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Topological Representation of Contact Lattices.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
A representation theorem for Boolean contact algebras.
Theor. Comput. Sci., 2005

Time-Dependent Contact Structures in Goguen Categories.
Proceedings of the Relational Methods in Computer Science, 2005

Weak Contact Structures.
Proceedings of the Relational Methods in Computer Science, 2005

2004
Construction of Boolean contact algebras.
AI Commun., 2004

2003
Representation theory of Goguen categories.
Fuzzy Sets and Systems, 2003

Decomposing Relations into Orderings.
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

RelView and Rath - Two Systems for Dealing with Relations.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2002
Components for embedded software: the PECOS approach.
Proceedings of the International Conference on Compilers, 2002

2001
A Necessary Relation Algebra for Mereotopology.
Studia Logica, 2001

A new algebraic approach to L-fuzzy relations convenient to study crispness.
Inf. Sci., 2001

Generating Processes from Specifications using the Relation Manipulation System RelView.
Electr. Notes Theor. Comput. Sci., 2001

Relational Constructions in Goguen Categories.
Proceedings of the Relational Methods in Computer Science, 2001

2000
An Algebraic Formalisation of L-Fuzzy Relations.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999
A Relation Algebraic Approach to Interaction Categories.
Inf. Sci., 1999

MVS / ESA JCL - Einführung in die Praxis (3. Aufl.).
Oldenbourg, ISBN: 978-3-486-25058-9, 1999

1998
Processes and relations.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen.
Diss.-Verl. NG Kopierladen, ISBN: 978-3-933214-11-9, 1998

1997
A Relation Algebraic Approach to Interaction Categories.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997


  Loading...