| Publication | Date of Publication | Type |
|---|
\(L\)-fuzzy concept analysis using fuzzy categories
Fuzzy Sets and Systems | 2024-08-19 | Paper |
A general method for representing sets of relations by vectors
Relational and Algebraic Methods in Computer Science | 2023-08-17 | Paper |
Efficient computation of the large inductive dimension using order- and graph-theoretic means
Fundamenta Informaticae | 2021-05-20 | Paper |
Algorithmic counting of zero-dimensional finite topological spaces with respect to the covering dimension
Applied Mathematics and Computation | 2021-03-30 | Paper |
Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
Monatshefte für Mathematik | 2019-09-19 | Paper |
Cryptomorphic topological structures: a computational, relation-algebraic approach
Journal of Logical and Algebraic Methods in Programming | 2018-12-19 | Paper |
Relational topology
Lecture Notes in Mathematics | 2018-03-09 | Paper |
Categories of relations for variable-basis fuzziness
Fuzzy Sets and Systems | 2017-11-14 | Paper |
Relations in linear algebra
Journal of Logical and Algebraic Methods in Programming | 2017-08-31 | Paper |
Type-n Arrow Categories
Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
Using relation-algebraic means and tool support for investigating and computing bipartitions
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Dependencies in relational models of databases
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Relations among matrices over a semiring
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
Investigating and computing bipartitions with algebraic means
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
\(L\)-fuzzy databases in arrow categories
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
Relational properties of sequential composition of coalgebras
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Gunther Schmidt's life as a mathematician and computer scientist
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Higher-order arrow categories
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Type-2 fuzzy controllers in arrow categories
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Refinements of the RCC25 composition table
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| scientific article; zbMATH DE number 6257032 (Why is no real title available?) | 2014-02-11 | Paper |
Remarks on contact relations on Boolean algebras
Algebra Universalis | 2013-01-30 | Paper |
On the algebra of regular sets
Annals of Mathematics and Artificial Intelligence | 2012-12-28 | Paper |
Relation Algebras, Matrices, and Multi-valued Decision Diagrams
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Dedekind categories with cutoff operators
Fuzzy Sets and Systems | 2011-07-15 | Paper |
Relation Algebraic Approaches to Fuzzy Relations
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
A first-order calculus for allegories
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Splitting atoms in relational algebras
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Cardinality functions in allegories
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
Embedding mappings and splittings with applications
Acta Informatica | 2010-05-05 | Paper |
Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
Artificial Intelligence | 2009-12-21 | Paper |
On the skeleton of Stonian p-ortholattices
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Complements in distributive allegories
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Cardinal addition in distributive allegories
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Arrow categories
Fuzzy Sets and Systems | 2009-12-07 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
| A relation-algebraic theory of bisimulations | 2008-06-20 | Paper |
Distributive contact lattices: topological representations
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
Products in categories of relations
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
The Lattice of Contact Relations on a Boolean Algebra
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
An Ordered Category of Processes
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Cardinality in Allegories
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Topological Representation of Contact Lattices
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Weak Relational Products
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Goguen categories. A categorical approach to \(L\)-fuzzy relations
Trends in Logic -- Studia Logica Library | 2008-03-05 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Rough relation algebras revisited | 2007-01-19 | Paper |
| On problems in polymorphic object-oriented languages with self types and matching | 2006-08-28 | Paper |
A representation theorem for Boolean contact algebras
Theoretical Computer Science | 2006-01-10 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2202279 (Why is no real title available?) | 2005-09-05 | Paper |
Representation theory of Goguen categories.
Fuzzy Sets and Systems | 2003-09-07 | Paper |
| scientific article; zbMATH DE number 1953897 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1770054 (Why is no real title available?) | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1770054 (Why is no real title available?) | 2002-07-25 | Paper |
A new algebraic approach to L-fuzzy relations convenient to study crispness
Information Sciences | 2002-06-23 | Paper |
| scientific article; zbMATH DE number 1735902 (Why is no real title available?) | 2002-05-15 | Paper |
A necessary relation algebra for mereotopology
Studia Logica | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1086628 (Why is no real title available?) | 2001-06-05 | Paper |
A relation algebraic approach to interaction categories
Information Sciences | 2000-06-21 | Paper |
| scientific article; zbMATH DE number 1409121 (Why is no real title available?) | 2000-03-01 | Paper |
| scientific article; zbMATH DE number 1409121 (Why is no real title available?) | 2000-03-01 | Paper |
Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
(available as arXiv preprint) | N/A | Paper |
