| Publication | Date of Publication | Type |
|---|
A general method for representing sets of relations by vectors
Relational and Algebraic Methods in Computer Science | 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
Relational and Algebraic Methods in Computer Science | 2022-08-30 | 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 |
Relational characterisations of paths
Journal of Logical and Algebraic Methods in Programming | 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
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 |
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
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 |
An algebraic approach to multirelations and their properties
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Solving hard control problems in voting systems via integer programming
European Journal of Operational Research | 2016-10-07 | Paper |
Control of Condorcet voting: complexity and a relation-algebraic approach
European Journal of Operational Research | 2016-10-06 | Paper |
Cardinality of relations with applications
Discrete Mathematics | 2016-08-16 | Paper |
Computing kernels in directed bichromatic graphs
Information Processing Letters | 2016-05-26 | Paper |
Cardinality of relations and relational approximation algorithms
Journal of Logical and Algebraic Methods in Programming | 2016-03-04 | Paper |
Closure, properties and closure properties of multirelations
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
Tool-Based Verification of a Relational Vertex Coloring Program
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 |
A relation-algebraic approach to multirelations and predicate transformers
Lecture Notes in Computer Science | 2015-08-27 | Paper |
Column-wise extendible vector expressions and the relational computation of sets of sets
Lecture Notes in Computer Science | 2015-08-27 | Paper |
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
Relation algebra, RelView, and plurality voting
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Computing minimal extending sets by relation-algebraic modeling and development
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Spatial voting games, relation algebra and RelView
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 |
| Mathematics for computer scientists. Basic concepts and structures | 2014-08-28 | Paper |
Computing tournament solutions using relation algebra and RelView
European Journal of Operational Research | 2014-07-27 | Paper |
Automated verification of relational while-programs
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Relation Algebra and RelView Applied to Approval Voting
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 |
Orders and lattices. Basics, approaches and applications
Springer-Lehrbuch | 2014-02-10 | Paper |
Implementing relational specifications in a constraint functional logic language
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
The Journal of Logic and Algebraic Programming | 2013-12-06 | Paper |
Relation-algebraic modeling and solution of chessboard independence and domination problems
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
On the use of binary decision diagrams for solving problems on simple games
European Journal of Operational Research | 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
Theoretical Computer Science | 2012-10-11 | Paper |
Simple rectangle-based functional programs for computing reflexive-transitive closures
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Computations on simple games using \texttt{RelView}
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Contact, closure, topology, and the linking of row and column types of relations
The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
Social networks: prestige, centrality, and influence (invited paper)
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
A functional, successor list based version of Warshall's algorithm with applications
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Relational Modelling and Solution of Chessboard Problems
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
Relational construction of specific timetables
Operations Research Proceedings | 2011-04-07 | Paper |
A relation-algebraic approach to simple games
European Journal of Operational Research | 2011-03-22 | Paper |
A Generic Program for Minimal Subsets with Applications
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Relation-algebraic specification and solution of special university timetabling problems
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
On automated program construction and verification
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Embedding mappings and splittings with applications
Acta Informatica | 2010-05-05 | Paper |
Computational social choice using relation algebra and RelView
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
A relation-algebraic approach to liveness of place/transition nets
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Contact relations with applications
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Applying relation algebra and RelView to measures in a social network
European Journal of Operational Research | 2009-11-17 | Paper |
Computing and Visualizing Closure Objects Using Relation Algebra and RelView
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Social Software for Coalition Formation
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
An interdisciplinary approach to coalition formation
European Journal of Operational Research | 2009-01-08 | Paper |
| Orders, lattices and relations with applications | 2008-08-07 | Paper |
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
Computer Algebra in Scientific Computing | 2008-07-04 | Paper |
Algebraic Visualization of Relations Using RelView
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
Relational measures and integration in preference modeling
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
Applying relation algebra and RelView to solve problems on orders and lattices
Acta Informatica | 2008-06-17 | Paper |
Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
Relations and Kleene Algebra in Computer Science | 2008-04-24 | 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 |
Applying relational algebra and REL VIEW to coalition formation
European Journal of Operational Research | 2007-01-22 | Paper |
| Exact computation of minimum feedback vertex sets with relational algebra | 2006-08-03 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Relation-algebraic computation of fixed points with applications
The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
A linear approximation algorithm for bin packing with absolute approximation factor \(\frac {3}{2}\)
Science of Computer Programming | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1953899 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1953900 (Why is no real title available?) | 2003-07-28 | Paper |
Relational depth-first-search with applications
Information Sciences | 2002-06-23 | Paper |
Modeling sequences within the RelView system
Journal of Universal Computer Science | 2001-08-13 | Paper |
| scientific article; zbMATH DE number 1531358 (Why is no real title available?) | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1390243 (Why is no real title available?) | 2000-09-26 | Paper |
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
Science of Computer Programming | 2000-09-14 | Paper |
Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
Information Sciences | 2000-01-30 | Paper |
A relational model for temporal logic
Logic Journal of the IGPL | 1999-02-04 | Paper |
| scientific article; zbMATH DE number 1210360 (Why is no real title available?) | 1998-12-09 | Paper |
| scientific article; zbMATH DE number 1086633 (Why is no real title available?) | 1997-11-13 | Paper |
| scientific article; zbMATH DE number 1086634 (Why is no real title available?) | 1997-11-13 | Paper |
Formalizing Dijkstra's predicate transformer wp in weak second-order logic
Theoretical Computer Science | 1997-02-28 | Paper |
A relation algebraic model of robust correctness
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 956827 (Why is no real title available?) | 1996-12-11 | Paper |
Towards a design calculus for CSP
Science of Computer Programming | 1996-09-11 | Paper |
| scientific article; zbMATH DE number 566082 (Why is no real title available?) | 1994-05-09 | Paper |
| scientific article; zbMATH DE number 475192 (Why is no real title available?) | 1994-01-13 | Paper |
| scientific article; zbMATH DE number 176533 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 67020 (Why is no real title available?) | 1992-09-27 | Paper |
Describing semantic domains with sprouts
Acta Informatica | 1989-01-01 | Paper |
Symmetric quotients and domain constructions
Information Processing Letters | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4086991 (Why is no real title available?) | 1988-01-01 | Paper |
Towards an algebraic specification of code generation
Science of Computer Programming | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3990843 (Why is no real title available?) | 1987-01-01 | Paper |
Relational algebraic semantics of deterministic and nondeterministic programs
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3926221 (Why is no real title available?) | 1984-01-01 | Paper |
Discrete ordering relations
Discrete Mathematics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3854395 (Why is no real title available?) | 1982-01-01 | Paper |
