Harrie C. M. de Swart Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart: Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings Springer 2011
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Computations on Simple Games Using RelView. CASC 2011: 49-60
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgnieszka Rusinowska, Rudolf Berghammer, Harrie C. M. de Swart, Michel Grabisch: Social Networks: Prestige, Centrality, and Influence - (Invited Paper). RAMICS 2011: 22-39
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf 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)
2010
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf 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)
2009
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska: Computational Social Choice Using Relation Algebra and RelView. RelMiCS 2009: 13-28
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: An interdisciplinary approach to coalition formation. European Journal of Operational Research 195(2): 487-496 (2009)
2008
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart: A consensus model of political decision-making. Annals OR 158(1): 5-20 (2008)
2007
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrik Eklund, Agnieszka Rusinowska, Harrie C. M. de Swart: Consensus reaching in committees. European Journal of Operational Research 178(1): 185-193 (2007)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart: Applying relational algebra and Rel. European Journal of Operational Research 178(2): 530-542 (2007)
2006
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Springer 2006
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgnieszka 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgnieszka 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEliora 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)
2005
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgnieszka 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)
2003
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens: Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers Springer 2003
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie 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
2002
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart: 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 Springer 2002
2001
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Jurjus, Harrie C. M. de Swart: Implication with Possible Exceptions. J. Symb. Log. 66(2): 517-535 (2001)
2000
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNerman Jurrjus, Harrie C. M. de Swart: Implication-with-possible-exceptions. RelMiCS 2000: 157-163
1999
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon 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)
1998
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings Springer 1998
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon Seljée, Harrie C. M. de Swart: Three types of redundancy in integrity checking: An optimal solution. RelMiCS 1998: 188-191
1994
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart, W. M. J. Ophelders: Tableaux, resolution, and complexity of formulas. Meth. of Logic in CS 1(2): 241-260 (1994)
1993
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. M. J. Ophelders, Harrie C. M. de Swart: Tableaux Versus Resolution a Comparison. Fundam. Inform. 18: 109-127 (1993)
1989
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart: Improving tablog. Bulletin of the EATCS 38: 211-218 (1989)
1988
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie 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)
1983
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie 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)
1981
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Gielen, Harrie C. M. de Swart, Wim Veldman: The Continuum Hypothesis in Intuitionism. J. Symb. Log. 46(1): 121-136 (1981)
1978
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart: First Steps in Intuitionistic Model Theory. J. Symb. Log. 43(1): 3-12 (1978)
1977
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart: An Intuitionistically Plausible Interpretation of Intuitionistic Logic. J. Symb. Log. 42(4): 564-578 (1977)
1976
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarrie C. M. de Swart: Another Intuitionistic Completeness Proof. J. Symb. Log. 41(3): 644-662 (1976)

Coauthor Index

1Rudolf Berghammer [23] [25] [28] [29] [30] [31] [32] [33]
2Stefan Bolus [31]
3Ad van Deemen [16]
4Patrik Eklund [23] [26] [27]
5W. Gielen [4]
6Michel Grabisch [32]
7Eliora van der Hout [16] [19]
8Herman Jurjus [14]
9Nerman Jurrjus [13]
10Peter Kop [16]
11W. M. J. Ophelders [6] [8] [9]
12Ewa Orlowska [17] [24]
13Jan-Willem van der Rijt [18] [23]
14Marc Roubens [17] [21] [23] [24]
15Agnieszka Rusinowska [18] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [32] [33]
16Gunther Schmidt [17] [24]
17Ron Seljée [10] [12]
18Annemarie ter Veer [19]
19Wim Veldman [4]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page