| Publication | Date of Publication | Type |
|---|
| Set Matrix Theory as a Physically Motivated Generalization of Zermelo-Fraenkel Set Theory | 2015-02-24 | Paper |
| Spatial voting games, relation algebra and RelView | 2014-09-08 | Paper |
| Computing tournament solutions using relation algebra and RelView | 2014-07-27 | Paper |
| On the power distribution in the EU | 2012-06-06 | Paper |
| Computations on Simple Games Using RelView | 2011-09-02 | Paper |
| Social Networks: Prestige, Centrality, and Influence | 2011-06-17 | Paper |
| A relation-algebraic approach to simple games | 2011-03-22 | Paper |
| Characteristic properties of FPTP systems | 2010-03-15 | Paper |
| Computational Social Choice Using Relation Algebra and RelView | 2009-12-11 | Paper |
| Applying relation algebra and RelView to measures in a social network | 2009-11-17 | Paper |
| Theory and Applications of Relational Structures as Knowledge Instruments | 2009-06-09 | Paper |
| Social Software for Coalition Formation | 2009-01-20 | Paper |
| Generalizing and Modifying the Hoede-Bakker Index | 2009-01-20 | Paper |
| An interdisciplinary approach to coalition formation | 2009-01-08 | Paper |
| A consensus model of political decision-making | 2008-05-27 | Paper |
| On Some Properties of the Hoede-Bakker Index | 2008-01-18 | Paper |
| Applying relational algebra and REL VIEW to coalition formation | 2007-01-22 | Paper |
| Characteristic properties of list proportional representation systems | 2007-01-05 | Paper |
| Consensus reaching in committees | 2006-12-14 | Paper |
| Using MACBETH to determine utilities of governments to parties in coalition formation | 2006-04-28 | Paper |
| A new model of coalition formation | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021910 | 2005-06-21 | Paper |
| Three types of redundancy in integrity checking: An optimal solution | 2002-07-29 | Paper |
| Implication with possible exceptions | 2002-07-25 | Paper |
| Hintikka's ``The principles of mathematics revisited | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250058 | 2000-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888315 | 1997-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867028 | 1996-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4301238 | 1994-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296948 | 1994-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4278024 | 1994-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142015 | 1993-12-06 | Paper |
| Towards an axiomatization of orderings | 1993-10-17 | Paper |
| Spreads or choice sequences? | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4730752 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829087 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3762280 | 1985-01-01 | Paper |
| A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS | 1983-01-01 | Paper |
| Validity and quantification in intuitionism | 1981-01-01 | Paper |
| The continuum hypothesis in intuitionism | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3901494 | 1980-01-01 | Paper |
| An intuitionistically plausible interpretation of intuitionistic logic | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193455 | 1978-01-01 | Paper |
| First steps in intuitionistic model theory | 1978-01-01 | Paper |
| Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces | 1976-01-01 | Paper |
| Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem | 1976-01-01 | Paper |
| Another intuitionistic completeness proof | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091903 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128571 | 1975-01-01 | Paper |
