Harrie C. M. de Swart

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Computing tournament solutions using relation algebra and RelView. European Journal of Operational Research 226(3): 636-645 (2013)

Harrie C. M. de Swart: Relational and algebraic methods in computer science. J. Log. Algebr. Program. 81(6): 623-624 (2012)

Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie C. M. de Swart: A relation-algebraic approach to simple games. European Journal of Operational Research 210(1): 68-80 (2011)

Agnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch: Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMICS 2011: 22-39

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Computations on Simple Games Using RelView. CASC 2011: 49-60

Harrie C. M. de Swart (Ed.): Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings. Lecture Notes in Computer Science 6663, Springer 2011, isbn 978-3-642-21069-3

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Applying relation algebra and RelView to measures in a social network. European Journal of Operational Research 202(1): 182-195 (2010)

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: An interdisciplinary approach to coalition formation. European Journal of Operational Research 195(2): 487-496 (2009)

Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska: Computational Social Choice Using Relation Algebra and RelView. RelMiCS 2009: 13-28

Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart: A consensus model of political decision-making. Annals OR 158(1): 5-20 (2008)

Patrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart: Consensus reaching in committees. European Journal of Operational Research 178(1): 185-193 (2007)

Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Applying relational algebra and Rel. European Journal of Operational Research 178(2): 530-542 (2007)

Marc Roubens, Agnieszka Rusinowska, Harrie C. M. de Swart: Using MACBETH to determine utilities of governments to parties in coalition formation. European Journal of Operational Research 172(2): 588-603 (2006)

Harrie C. M. de Swart: A Modern Perspective on Type Theory From its Origins until Today. Journal of Logic, Language and Information 15(3): 297-302 (2006)

Eliora van der Hout, Harrie C. M. de Swart, Annemarie ter Veer: Characteristic properties of list proportional representation systems. Social Choice and Welfare 27(3): 459-475 (2006)

Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart: Social Software for Coalition Formation. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 1-30

Agnieszka Rusinowska, Harrie C. M. de Swart: Generalizing and Modifying the Hoede-Bakker Index. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 60-88

Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens (Eds.): Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Lecture Notes in Computer Science 4342, Springer 2006, isbn 3-540-69223-1

Agnieszka Rusinowska, Harrie C. M. de Swart, Jan-Willem van der Rijt: A new model of coalition formation. Social Choice and Welfare 24(1): 129-154 (2005)

Harrie C. M. de Swart, Ad van Deemen, Eliora van der Hout, Peter Kop: Categoric and Ordinal Voting: An Overview. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 147-195

Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens (Eds.): Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers. Lecture Notes in Computer Science 2929, Springer 2003, isbn 3-540-20780-5

Harrie C. M. de Swart (Ed.): Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers. Lecture Notes in Computer Science 2561, Springer 2002, isbn 3-540-00315-0

Herman Jurjus, Harrie C. M. de Swart: Implication with Possible Exceptions. J. Symb. Log. 66(2): 517-535 (2001)

Nerman Jurrjus, Harrie C. M. de Swart: Implication-with-possible-exceptions. RelMiCS 2000: 157-163

Ron Seljée, Harrie C. M. de Swart: Three Types of Redundancy in Integrity Checking: An Optimal Solution. Data Knowl. Eng. 30(2): 135-151 (1999)

Ron Seljée, Harrie C. M. de Swart: Three types of redundancy in integrity checking: An optimal solution. RelMiCS 1998: 188-191

Harrie C. M. de Swart (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Lecture Notes in Computer Science 1397, Springer 1998, isbn 3-540-64406-7

Harrie C. M. de Swart, W. M. J. Ophelders: Tableaux, resolution, and complexity of formulas. Meth. of Logic in CS 1(2): 241-260 (1994)

W. M. J. Ophelders, Harrie C. M. de Swart: Tableaux Versus Resolution a Comparison. Fundam. Inform. 18: 109-127 (1993)

Harrie C. M. de Swart: Improving tablog. Bulletin of the EATCS 38: 211-218 (1989)

Harrie C. M. de Swart, W. M. J. Ophelders: Another tableau based automated theorem prover for classical logic. Bulletin of the EATCS 35: 185-197 (1988)

Harrie C. M. de Swart: A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS. J. Symb. Log. 48(1): 1-20 (1983)

W. Gielen, Harrie C. M. de Swart, Wim Veldman: The Continuum Hypothesis in Intuitionism. J. Symb. Log. 46(1): 121-136 (1981)

Harrie C. M. de Swart: First Steps in Intuitionistic Model Theory. J. Symb. Log. 43(1): 3-12 (1978)

Harrie C. M. de Swart: An Intuitionistically Plausible Interpretation of Intuitionistic Logic. J. Symb. Log. 42(4): 564-578 (1977)

Harrie C. M. de Swart: Another Intuitionistic Completeness Proof. J. Symb. Log. 41(3): 644-662 (1976)