| Publication | Date of Publication | Type |
|---|
| A general method for representing sets of relations by vectors | 2023-08-17 | Paper |
| Relational computation of sets of relations | 2023-03-30 | Paper |
| Experimental investigation of sufficient criteria for relations to have kernels | 2023-03-30 | Paper |
| A Relation-Algebraic Treatment of the Dedekind Recursion Theorem | 2022-08-30 | Paper |
| Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means | 2021-05-20 | Paper |
| Algorithmic counting of zero-dimensional finite topological spaces with respect to the covering dimension | 2021-03-30 | Paper |
| Relational characterisations of paths | 2020-11-09 | Paper |
| Mathematik für die Informatik | 2020-04-03 | Paper |
| Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces | 2019-09-19 | Paper |
| Cryptomorphic topological structures: a computational, relation-algebraic approach | 2018-12-19 | Paper |
| Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces | 2017-07-21 | Paper |
| Using relation-algebraic means and tool support for investigating and computing bipartitions | 2017-07-04 | Paper |
| Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool | 2017-03-20 | Paper |
| An algebraic approach to multirelations and their properties | 2017-03-20 | Paper |
| Solving hard control problems in voting systems via integer programming | 2016-10-07 | Paper |
| Control of Condorcet voting: complexity and a relation-algebraic approach | 2016-10-06 | Paper |
| Cardinality of relations with applications | 2016-08-16 | Paper |
| Computing kernels in directed bichromatic graphs | 2016-05-26 | Paper |
| Cardinality of relations and relational approximation algorithms | 2016-03-04 | Paper |
| Closure, Properties and Closure Properties of Multirelations | 2016-01-08 | Paper |
| Investigating and Computing Bipartitions with Algebraic Means | 2016-01-08 | Paper |
| Tool-Based Verification of a Relational Vertex Coloring Program | 2016-01-08 | Paper |
| A Relation-Algebraic Approach to Multirelations and Predicate Transformers | 2015-08-27 | Paper |
| Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets | 2015-08-27 | Paper |
| Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures | 2015-06-10 | Paper |
| Computing minimal extending sets by relation-algebraic modeling and development | 2014-09-08 | Paper |
| Spatial voting games, relation algebra and RelView | 2014-09-08 | Paper |
| Gunther Schmidt's life as a mathematician and computer scientist | 2014-09-08 | Paper |
| Relation Algebra, RelView, and Plurality Voting | 2014-09-08 | Paper |
| Mathematik für Informatiker | 2014-08-28 | Paper |
| Computing tournament solutions using relation algebra and RelView | 2014-07-27 | Paper |
| Automated Verification of Relational While-Programs | 2014-04-16 | Paper |
| Relation Algebra and RelView Applied to Approval Voting | 2014-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5747088 | 2014-02-11 | Paper |
| Orders and lattices. Basics, approaches and applications | 2014-02-10 | Paper |
| Implementing Relational Specifications in a Constraint Functional Logic Language | 2014-01-24 | Paper |
| Computing and visualizing Banks sets of dominance relations using relation algebra and RelView | 2013-12-06 | Paper |
| Relation-algebraic modeling and solution of chessboard independence and domination problems | 2013-01-16 | Paper |
| On the use of binary decision diagrams for solving problems on simple games | 2012-12-29 | Paper |
| Ordnungen, Verbände und Relationen mit Anwendungen | 2012-12-17 | Paper |
| Convergence of set-based multi-objective optimization, indicators and deteriorative cycles | 2012-10-11 | Paper |
| Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures | 2012-09-21 | Paper |
| Computations on Simple Games Using RelView | 2011-09-02 | Paper |
| Contact, closure, topology, and the linking of row and column types of relations | 2011-07-18 | Paper |
| Social Networks: Prestige, Centrality, and Influence | 2011-06-17 | Paper |
| Relational Modelling and Solution of Chessboard Problems | 2011-06-17 | Paper |
| A Functional, Successor List Based Version of Warshall’s Algorithm with Applications | 2011-06-17 | Paper |
| Relational Construction of Specific Timetables | 2011-04-07 | Paper |
| A relation-algebraic approach to simple games | 2011-03-22 | Paper |
| A Generic Program for Minimal Subsets with Applications | 2011-03-04 | Paper |
| Relation-algebraic specification and solution of special university timetabling problems | 2010-11-11 | Paper |
| On Automated Program Construction and Verification | 2010-07-26 | Paper |
| Embedding mappings and splittings with applications | 2010-05-05 | Paper |
| Computational Social Choice Using Relation Algebra and RelView | 2009-12-11 | Paper |
| A Relation-Algebraic Approach to Liveness of Place/Transition Nets | 2009-12-11 | Paper |
| Contact Relations with Applications | 2009-12-11 | Paper |
| Applying relation algebra and RelView to measures in a social network | 2009-11-17 | Paper |
| Computing and Visualizing Closure Objects Using Relation Algebra and RelView | 2009-11-10 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Social Software for Coalition Formation | 2009-01-20 | Paper |
| Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView | 2009-01-20 | Paper |
| An interdisciplinary approach to coalition formation | 2009-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3518423 | 2008-08-07 | Paper |
| Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView | 2008-07-04 | Paper |
| Algebraic Visualization of Relations Using RelView | 2008-07-01 | Paper |
| Relational measures and integration in preference modeling | 2008-06-19 | Paper |
| Applying relation algebra and RelView to solve problems on orders and lattices | 2008-06-17 | Paper |
| Relation Algebra and RelView in Practical Use: Construction of Special University Timetables | 2008-05-15 | Paper |
| Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView | 2008-04-24 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Relational Methods in Computer Science | 2007-05-02 | Paper |
| Applying relational algebra and REL VIEW to coalition formation | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480635 | 2006-08-03 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| Relation-algebraic computation of fixed points with applications | 2006-03-16 | Paper |
| Logic Based Program Synthesis and Transformation | 2005-12-27 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| A linear approximation algorithm for bin packing with absolute approximation factor \(\frac {3}{2}\) | 2003-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415085 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415086 | 2003-07-28 | Paper |
| Relational depth-first-search with applications | 2002-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709803 | 2001-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513575 | 2001-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934525 | 2000-09-26 | Paper |
| Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem | 2000-09-14 | Paper |
| Combining relational calculus and the Dijkstra-Gries method for deriving relational programs | 2000-01-30 | Paper |
| A relational model for temporal logic | 1999-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4213376 | 1998-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362882 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362883 | 1997-11-13 | Paper |
| Formalizing Dijkstra's predicate transformer wp in weak second-order logic | 1997-02-28 | Paper |
| A relation algebraic model of robust correctness | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687234 | 1996-12-11 | Paper |
| Towards a design calculus for CSP | 1996-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4291433 | 1994-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273429 | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035699 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011708 | 1992-09-27 | Paper |
| Symmetric quotients and domain constructions | 1989-01-01 | Paper |
| Describing semantic domains with sprouts | 1989-01-01 | Paper |
| Towards an algebraic specification of code generation | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815518 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753467 | 1987-01-01 | Paper |
| Relational algebraic semantics of deterministic and nondeterministic programs | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700813 | 1984-01-01 | Paper |
| Discrete ordering relations | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3323249 | 1982-01-01 | Paper |
