Michael Winter

Orcid: 0000-0003-0847-0448

Affiliations:
  • Brock University, Saint Catharines, Canada (since 2003)
  • University of the Federal Armed Forces, Munich, Germany (PhD 1998)


According to our database1, Michael Winter authored at least 75 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A relation algebraic approach to universal integrals.
Fuzzy Sets Syst., 2024

2023
<i>L</i>-fuzzy concept analysis using fuzzy categories.
Fuzzy Sets Syst., 2023

Relational Algebraic Approach to the Real Numbers the Additive Group.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

A General Method for Representing Sets of Relations by Vectors.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2021
Annotating our Environs with the Sound and Sight of Numbers: The DataScapes Project.
Digit. Humanit. Q., 2021

Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension.
Appl. Math. Comput., 2021

Change of Base Using Arrow Categories.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Relational Sums and Splittings in Categories of L-fuzzy Relations.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means.
Fundam. Informaticae, 2020

Sharpness in the Fuzzy World.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019
Cryptomorphic topological structures: A computational, relation-algebraic approach.
J. Log. Algebraic Methods Program., 2019

Situation-aware model for multi-objective decision making in ambient intelligence.
Appl. Soft Comput., 2019

2018
T-Norm Based Operations in Arrow Categories.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

A Modal and Relevance Logic for Qualitative Spatial Reasoning.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

Relational Topology.
Lecture Notes in Mathematics, Springer, ISBN: 978-3-319-74451-3, 2018

2017
Relations in linear algebra.
J. Log. Algebraic Methods Program., 2017

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

Using relation-algebraic means and tool support for investigating and computing bipartitions.
J. Log. Algebraic Methods 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. Algebraic Methods Program., 2016

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

2015
Membership values in arrow categories.
Fuzzy Sets Syst., 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. Algebraic Methods Program., 2014

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

Preface.
J. Log. Algebraic Methods 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. Informaticae, 2013

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 Syst., 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. Algebraic Methods Program., 2010

Embedding mappings and splittings with applications.
Acta Informatica, 2010

2009
Arrow categories.
Fuzzy Sets Syst., 2009

Stonian p-ortholattices: A new approach to the mereotopology RT<sub>0</sub>.
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. Algebraic Methods Program., 2008

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

A Relation-Algebraic Theory of Bisimulations.
Fundam. Informaticae, 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

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

Rough Relation Algebras Revisited.
Fundam. Informaticae, 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 Syst., 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

2001
A Necessary Relation Algebra for Mereotopology.
Stud 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.
Proceedings of the First International Workshop on Relational Methods in Software, 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

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
Heterogeneous Relation Algebra.
Proceedings of the Relational Methods in Computer Science., 1997


  Loading...