We stand with Ukraine

We stand with Ukraine

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 database¹, Michael Winter authored at least 75 papers between 1997 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org
on cosc.brocku.ca

On csauthors.net:

Bibliography

2024

A relation algebraic approach to universal integrals.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2024

2023

<i>L</i>-fuzzy concept analysis using fuzzy categories.

[BibT_eX]

[DOI]

,

Anahita Izadpanahi

,

,

Fuzzy Sets Syst., 2023

Relational Algebraic Approach to the Real Numbers the Additive Group.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

A General Method for Representing Sets of Relations by Vectors.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

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.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Digit. Humanit. Q., 2021

Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

,

Appl. Math. Comput., 2021

Change of Base Using Arrow Categories.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Relational Sums and Splittings in Categories of L-fuzzy Relations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Henning Schnoor

,

Fundam. Informaticae, 2020

Sharpness in the Fuzzy World.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Cryptomorphic topological structures: A computational, relation-algebraic approach.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Gunther Schmidt

,

J. Log. Algebraic Methods Program., 2019

Situation-aware model for multi-objective decision making in ambient intelligence.

[BibT_eX]

[DOI]

Milene Santos Teixeira

,

Vinícius Maran

,

José Palazzo Moreira de Oliveira

,

,

Alencar Machado

Appl. Soft Comput., 2019

2018

T-Norm Based Operations in Arrow Categories.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

A Modal and Relevance Logic for Qualitative Spatial Reasoning.

[BibT_eX]

[DOI]

Pranab Kumar Ghosh

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

Relational Topology.

[BibT_eX]

[DOI]

Gunther Schmidt

,

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

2017

Relations in linear algebra.

[BibT_eX]

[DOI]

Dylan Killingbeck

,

Milene Santos Teixeira

,

J. Log. Algebraic Methods Program., 2017

Solving computational tasks on finite topologies by means of relation algebra and the RelView tool.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

J. Log. Algebraic Methods Program., 2017

Using relation-algebraic means and tool support for investigating and computing bipartitions.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

,

J. Log. Algebraic Methods Program., 2017

An algebraic generalization for graph and tensor-based neural networks.

[BibT_eX]

[DOI]

Ethan C. Jackson

,

James Alexander Hughes

,

,

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2017

Type-n Arrow Categories.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Dependencies in relational models of databases.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Categories of relations for variable-basis fuzziness.

[BibT_eX]

[DOI]

,

Ethan C. Jackson

Fuzzy Sets Syst., 2016

2015

Membership values in arrow categories.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2015

Relations among Matrices over a Semiring.

[BibT_eX]

[DOI]

Dylan Killingbeck

,

Milene Santos Teixeira

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Investigating and Computing Bipartitions with Algebraic Means.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

L-Fuzzy Databases in Arrow Categories.

[BibT_eX]

[DOI]

,

Wazed Chowdhury

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Relational properties of sequential composition of coalgebras.

[BibT_eX]

[DOI]

,

J. Log. Algebraic Methods Program., 2014

Gunther Schmidt's life as a mathematician and computer scientist.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

J. Log. Algebraic Methods Program., 2014

Preface.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Bernhard Möller

,

J. Log. Algebraic Methods Program., 2014

Relational Mathematics Continued.

[BibT_eX]

[DOI]

Gunther Schmidt

,

CoRR, 2014

Type-2 Fuzzy Controllers in Arrow Categories.

[BibT_eX]

[DOI]

,

Ethan C. Jackson

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Higher-Order Arrow Categories.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Refinements of the RCC25 Composition Table.

[BibT_eX]

[DOI]

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Decomposition of Relations and Concept Lattices.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Fundam. Informaticae, 2013

2012

On the algebra of regular sets - Properties of representable Stonian p-ortholattices.

[BibT_eX]

[DOI]

,

Torsten Hahmann

,

Michael Grüninger

Ann. Math. Artif. Intell., 2012

Relation Algebras, Matrices, and Multi-valued Decision Diagrams.

[BibT_eX]

[DOI]

Francis Atampore

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Dedekind categories with cutoff operators.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

,

Fuzzy Sets Syst., 2011

Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial).

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Splitting Atoms in Relational Algebras.

[BibT_eX]

[DOI]

Prathap Siddavaatam

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

A First-Order Calculus for Allegories.

[BibT_eX]

[DOI]

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Cardinality functions in allegories.

[BibT_eX]

[DOI]

,

J. Log. Algebraic Methods Program., 2010

Embedding mappings and splittings with applications.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Acta Informatica, 2010

2009

Arrow categories.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2009

Stonian p-ortholattices: A new approach to the mereotopology RT<sub>0</sub>.

[BibT_eX]

[DOI]

Torsten Hahmann

,

,

Michael Gruninger

Artif. Intell., 2009

Timed Contact Algebras.

[BibT_eX]

[DOI]

,

Proceedings of the TIME 2009, 2009

On the Skeleton of Stonian p-Ortholattices.

[BibT_eX]

[DOI]

,

Torsten Hahmann

,

Michael Gruninger

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Complements in Distributive Allegories.

[BibT_eX]

[DOI]

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Cardinal Addition in Distributive Allegories.

[BibT_eX]

[DOI]

,

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Products in categories of relations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Distributive contact lattices: Topological representations.

[BibT_eX]

[DOI]

,

,

Dimiter Vakarelov

,

J. Log. Algebraic Methods Program., 2008

A Relation-Algebraic Theory of Bisimulations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Moving Spaces.

[BibT_eX]

[DOI]

,

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

An Ordered Category of Processes.

[BibT_eX]

[DOI]

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

Cardinality in Allegories.

[BibT_eX]

[DOI]

,

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

The Lattice of Contact Relations on a Boolean Algebra.

[BibT_eX]

[DOI]

,

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

2006

On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Rough Relation Algebras Revisited.

[BibT_eX]

[DOI]

,

Fundam. Informaticae, 2006

Weak Relational Products.

[BibT_eX]

[DOI]

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Topological Representation of Contact Lattices.

[BibT_eX]

[DOI]

,

,

Dimiter Vakarelov

,

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

A representation theorem for Boolean contact algebras.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 2005

Time-Dependent Contact Structures in Goguen Categories.

[BibT_eX]

[DOI]

Proceedings of the Relational Methods in Computer Science, 2005

Weak Contact Structures.

[BibT_eX]

[DOI]

,

Proceedings of the Relational Methods in Computer Science, 2005

2004

Construction of Boolean contact algebras.

[BibT_eX]

[DOI]

,

AI Commun., 2004

2003

Representation theory of Goguen categories.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2003

Decomposing Relations into Orderings.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Gunther Schmidt

,

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2001

A Necessary Relation Algebra for Mereotopology.

[BibT_eX]

[DOI]

,

Gunther Schmidt

,

Stud Logica, 2001

A new algebraic approach to L-fuzzy relations convenient to study crispness.

[BibT_eX]

[DOI]

Inf. Sci., 2001

Generating Processes from Specifications using the Relation Manipulation System RelView.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Relational Constructions in Goguen Categories.

[BibT_eX]

[DOI]

Proceedings of the Relational Methods in Computer Science, 2001

2000

An Algebraic Formalisation of L-Fuzzy Relations.

[BibT_eX]

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

A Relation Algebraic Approach to Interaction Categories.

[BibT_eX]

[DOI]

Inf. Sci., 1999

1998

Processes and relations.

[BibT_eX]

,

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen.

[BibT_eX]

[DOI]

Diss.-Verl. NG Kopierladen, ISBN: 978-3-933214-11-9, 1998

1997

Heterogeneous Relation Algebra.

[BibT_eX]

[DOI]

Gunther Schmidt

,

Claudia Hattensperger

,

Proceedings of the Relational Methods in Computer Science., 1997

Loading...