dblp.uni-trier.dewww.uni-trier.de

Krzysztof R. Apt Vis

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

*2009
139EEKrzysztof R. Apt, Evangelos Markakis: Optimal strategies in sequential bidding. AAMAS (2) 2009: 1189-1190
138EEAndreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper: Strategy Elimination in Games with Interaction Structures. LORI 2009: 302-315
137EEKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21
136EEKrzysztof R. Apt, Arantza Estévez-Fernández: Sequential Pivotal Mechanisms for Public Project Problems. SAGT 2009: 85-96
135EEKrzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper: Common knowledge in interaction structures. TARK 2009: 4-13
134EEKrzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper: Common Knowledge in Interaction Structures CoRR abs/0907.0403: (2009)
133EEKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs CoRR abs/0907.4316: (2009)
132EEAndreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper: Strategy elimination in games with interaction structures CoRR abs/0908.2399: (2009)
2008
131EEKrzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis: Welfare Undominated Groves Mechanisms. WINE 2008: 426-437
130EEKrzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: Comparing the notions of optimality in CP-nets, strategic games and soft constraints. Ann. Math. Artif. Intell. 52(1): 25-54 (2008)
129EEKrzysztof R. Apt, Arantza Estévez-Fernández: Sequential pivotal mechanisms for public project problems CoRR abs/0810.1383: (2008)
128EEKrzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: A comparison of the notions of optimality in soft constraints and graphical games CoRR abs/0810.2861: (2008)
127EEKrzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis: Welfare Undominated Groves Mechanisms CoRR abs/0810.2865: (2008)
126EEKrzysztof R. Apt, Vangelis Markakis: Optimal Strategies in Sequential Bidding CoRR abs/0810.3182: (2008)
125EEKrzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design CoRR abs/0810.3199: (2008)
2007
124EEKrzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. CSCLP 2007: 1-16
123EEKrzysztof R. Apt: Epistemic analysis of strategic games with arbitrary strategy sets. TARK 2007: 25-32
122EEKrzysztof R. Apt, Arantza Estévez-Fernández: Sequential mechanism design CoRR abs/0705.2170: (2007)
121EEKrzysztof R. Apt: Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets CoRR abs/0706.1001: (2007)
120EEKrzysztof R. Apt: Relative Strength of Strategy Elimination Procedures CoRR abs/0706.1617: (2007)
119EEKrzysztof R. Apt, Andreas Witzel: A Generic Approach to Coalition Formation CoRR abs/0709.0435: (2007)
118EEKrzysztof R. Apt, Jonathan A. Zvesper: Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets CoRR abs/0710.3536: (2007)
117EEKrzysztof R. Apt, Farhad Arbab, Huiye Ma: A System for Distributed Mechanisms: Design, Implementation and Applications CoRR abs/0711.2618: (2007)
116EEKrzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: Comparing the notions of optimality in CP-nets, strategic games and soft constraints CoRR abs/0711.2909: (2007)
115EEKrzysztof R. Apt, Peter Zoeteweij: An Analysis of Arithmetic Constraints on Integer Intervals. Constraints 12(4): 429-468 (2007)
2006
114EEKrzysztof R. Apt, Sebastian Brand: Infinite Qualitative Simulations by Means of Constraint Programming. CP 2006: 29-43
113EEKrzysztof R. Apt: Explaining Constraint Programming CoRR abs/cs/0602027: (2006)
112EEKrzysztof R. Apt, Tadeusz Radzik: Stable partitions in coalitional games CoRR abs/cs/0605132: (2006)
111EEKrzysztof R. Apt, Peter Zoeteweij: An Analysis of Arithmetic Constraints on Integer Intervals CoRR abs/cs/0607016: (2006)
110EEKrzysztof R. Apt: The Many Faces of Rationalizability CoRR abs/cs/0608011: (2006)
109EEKrzysztof R. Apt, Sebastian Brand: Infinite Qualitative Simulations by Means of Constraint Programming CoRR abs/cs/0608017: (2006)
2005
108EEKrzysztof R. Apt: Explaining Constraint Programming. Processes, Terms and Cycles 2005: 55-69
107EEKrzysztof R. Apt: Order independence and rationalizability. TARK 2005: 22-38
106EEKrzysztof R. Apt, Sebastian Brand: Constraint-Based Qualitative Simulation. TIME 2005: 26-34
105EEKrzysztof R. Apt: Editorial. ACM Trans. Comput. Log. 6(4): 673 (2005)
104EEKrzysztof R. Apt, Sebastian Brand: Constraint-Based Qualitative Simulation CoRR abs/cs/0504024: (2005)
103EEKrzysztof R. Apt: Order Independence and Rationalizability CoRR abs/cs/0509063: (2005)
102EEKrzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: CP-nets and Nash equilibria CoRR abs/cs/0509071: (2005)
2004
101 Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers Springer 2004
100EESebastian Brand, Krzysztof R. Apt: Schedulers and Redundancy for a Class of Constraint Propagation Rules CoRR cs.DS/0403037: (2004)
99EEKrzysztof R. Apt: Uniform Proofs of Order Independence for Various Strategy Elimination Procedures CoRR cs.GT/0403024: (2004)
98EEKrzysztof R. Apt, Peter Zoeteweij: A Comparative Study of Arithmetic Constraints on Integer Intervals CoRR cs.PL/0403016: (2004)
2003
97EEKrzysztof R. Apt, Peter Zoeteweij: A Comparative Study of Arithmetic Constraints on Integer Intervals. CSCLP 2003: 1-24
96 Krzysztof R. Apt, Sebastian Brand: Schedulers for Rule-Based Constraint Programming. SAC 2003: 14-21
2002
95EEKrzysztof R. Apt, C. F. M. Vermeulen: First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35
94EEKrzysztof R. Apt, Sebastian Brand: Schedulers for Rule-based Constraint Programming CoRR cs.DS/0211019: (2002)
93EEKrzysztof R. Apt: Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius CoRR cs.GL/0210001: (2002)
92EEKrzysztof R. Apt, C. F. M. Vermeulen: First-order Logic as a Constraint Programming Language CoRR cs.LO/0208032: (2002)
91EEKrzysztof R. Apt: Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. Formal Asp. Comput. 14(2): 92-98 (2002)
90 Krzysztof R. Apt: Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7. TPLP 2(1): 123-124 (2002)
2001
89EEKrzysztof R. Apt, Antonis C. Kakas, Fariba Sadri: Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001)
88EEKrzysztof R. Apt: One More Revolution to Make: Free Scientific Publishing CoRR cs.GL/0106022: (2001)
87EEKrzysztof R. Apt: The Logic Programming Paradigm and Prolog CoRR cs.PL/0107013: (2001)
86EEKrzysztof R. Apt, Roman Barták, Eric Monfroy, Francesca Rossi, Sebastian Brand: Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints CoRR cs.PL/0110012: (2001)
85EEKrzysztof R. Apt: Viewpoint: One more revolution to make: free scientific publishing. Commun. ACM 44(5): 25-28 (2001)
84 Krzysztof R. Apt, Eric Monfroy: Constraint programming viewed as rule-based programming. TPLP 1(6): 713-750 (2001)
2000
83 Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy, Francesca Rossi: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers Springer 2000
82EEKrzysztof R. Apt: A Denotational Semantics for First-Order Logic. Computational Logic 2000: 53-69
81EEKrzysztof R. Apt: The role of commutativity in constraint propagation algorithms. ACM Trans. Program. Lang. Syst. 22(6): 1002-1036 (2000)
80EEKrzysztof R. Apt, Eric Monfroy: Constraint Programming viewed as Rule-based Programming CoRR cs.AI/0003076: (2000)
79EEKrzysztof R. Apt: Some Remarks on Boolean Constraint Propagation CoRR cs.AI/0003080: (2000)
78EEKrzysztof R. Apt, Andrea Schaerf: Programming in Alma-0, or Imperative and Declarative Programming Reconciled CoRR cs.LO/0004002: (2000)
77EEKrzysztof R. Apt: The Role of Commutativity in Constraint Propagation Algorithms CoRR cs.PF/0012010: (2000)
76EEKrzysztof R. Apt: A Denotational Semantics for First-Order Logic CoRR cs.PL/0005008: (2000)
1999
75 Krzysztof R. Apt: The Rough Guide to Constraint Propagation. CP 1999: 1-23
74 Krzysztof R. Apt, Eric Monfroy: Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CP 1999: 58-72
73EEKrzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. Correct System Design 1999: 89-113
72EEKrzysztof R. Apt: Some Remarks on Boolean Constraint Propagation. New Trends in Constraints 1999: 91-107
71EEKrzysztof R. Apt: The Rough Guide to Constraint Propagation CoRR cs.AI/9909009: (1999)
70EEKrzysztof R. Apt, Eric Monfroy: Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains CoRR cs.AI/9909010: (1999)
69EEKrzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming CoRR cs.LO/9907027: (1999)
68EEKrzysztof R. Apt: The Essence of Constraint Propagation. Theor. Comput. Sci. 221(1-2): 179-210 (1999)
1998
67EEKrzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf: Alma-O: An Imperative Language That Supports Declarative Programming. ACM Trans. Program. Lang. Syst. 20(5): 1014-1066 (1998)
66EEKrzysztof R. Apt: A Proof Theoretic View of Constraint Programming CoRR cs.AI/9810018: (1998)
65EEKrzysztof R. Apt: The Essence of Constraint Propagation CoRR cs.AI/9811024: (1998)
64EEKrzysztof R. Apt, Marc Bezem: Formulas as Programs CoRR cs.LO/9811017: (1998)
63 Krzysztof R. Apt: A Proof Theoretic View of Constraint Programming. Fundam. Inform. 34(3): 295-321 (1998)
1997
62EEKrzysztof R. Apt: From Chaotic Iteration to Constraint Propagation. ICALP 1997: 36-55
61EEKrzysztof R. Apt, Andrea Schaerf: Search and Imperative Programming. POPL 1997: 67-79
1996
60 Krzysztof R. Apt, Rachel Ben-Eliyahu: Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. Fundam. Inform. 28(1-2): 23-36 (1996)
59 Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi: A Closer Look at Declarative Interpretations. J. Log. Program. 28(2): 147-180 (1996)
58 Krzysztof R. Apt: Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming. Sci. Comput. Program. 26(1-3): 133-148 (1996)
1995
57 Krzysztof R. Apt, Ingrid Luitjes: Verification of Logic Programs with Delay Declarations. AMAST 1995: 66-90
56 Krzysztof R. Apt: Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. GULP-PRODE 1995: 19-36
55 Krzysztof R. Apt: Towards Automatic Parallelization of Logic Programs (Abstract). MPC 1995: 1
1994
54 Krzysztof R. Apt, Maurizio Gabbrielli: Declarative Interpretations Reconsidered. ICLP 1994: 74-89
53EEKrzysztof R. Apt, Alessandro Pellegrini: On the Occur-Check-Free Prolog Programs. ACM Trans. Program. Lang. Syst. 16(3): 687-726 (1994)
52 Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi: A Declarative Approach for First-Order Built-in's of Prolog. Appl. Algebra Eng. Commun. Comput. 5: 159-191 (1994)
51 Krzysztof R. Apt, Elena Marchiori: Reasoning About Prolog Programs: From Modes Through Types to Assertions. Formal Asp. Comput. 6(6A): 743-765 (1994)
50 Krzysztof R. Apt, Kees Doets: A New Definition of SNDNF-Resolution. J. Log. Program. 18(2): 177-190 (1994)
49 Krzysztof R. Apt, Roland N. Bol: Logic Programming and Negation: A Survey. J. Log. Program. 19/20: 9-71 (1994)
48 Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling: The STO-Problem is NP-Hard. J. Symb. Comput. 18(5): 489-495 (1994)
1993
47 Krzysztof R. Apt: Declarative Programming in Prolog. ILPS 1993: 12-35
46EEKrzysztof R. Apt, Sandro Etalle: On the Unification Free Prolog Programs. MFCS 1993: 1-19
45 Krzysztof R. Apt, Dino Pedreschi: Reasoning about Termination of Pure Prolog Programs Inf. Comput. 106(1): 109-157 (1993)
44 Krzysztof R. Apt, Masami Hagiya: Foreword: Selected Papers of TACS 1991. Sci. Comput. Program. 21(2): 91-92 (1993)
1992
43EEKrzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi: A Theory of First-Order Built-in's of Prolog. ALP 1992: 69-83
42EEKrzysztof R. Apt, Alessandro Pellegrini: Why the Occur-Check is Not a Problem. PLILP 1992: 69-86
1991
41 Krzysztof R. Apt, Dino Pedreschi: Proving Termination of General Prolog Programs. TACS 1991: 265-289
40 Krzysztof R. Apt, Howard A. Blair: Arithmetic classification of perfect models of stratified programs. Fundam. Inform. 14(3): 339-343 (1991)
39 Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider: Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. Inf. Process. Lett. 40(3): 141-142 (1991)
38 Krzysztof R. Apt, Marc Bezem: Acyclic Programs. New Generation Comput. 9(3/4): 335-364 (1991)
37 Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop: An Analysis of Loop Checking Mechanisms for Logic Programs. Theor. Comput. Sci. 86(1): 35-79 (1991)
1990
36EERoland N. Bol, Krzysztof R. Apt, Jan Willem Klop: On the Power of Subsumption and Context Checks. DISCO 1990: 131-140
35 Krzysztof R. Apt, Marc Bezem: Acyclic Programs. ICLP 1990: 617-633
34 Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574
1989
33EEErnst-Rüdiger Olderog, Krzysztof R. Apt: Using Transformation to Verify Parallel Programs. Algebraic Methods 1989: 55-81
32 Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop: On the Safe Termination of PROLOG Programs. ICLP 1989: 353-368
1988
31 Krzysztof R. Apt, Howard A. Blair: Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP 1988: 765-779
30 Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148
29EEErnst-Rüdiger Olderog, Krzysztof R. Apt: Fairness in Parallel Programs: The Transformational Approach. ACM Trans. Program. Lang. Syst. 10(3): 420-455 (1988)
28 Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. Distributed Computing 2(4): 226-241 (1988)
1987
27EEKrzysztof R. Apt, Jean-Marc Pugin: Maintenance of Stratified Databases Viewed as a Belief Revision System. PODS 1987: 136-145
26 Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. POPL 1987: 189-198
25 Krzysztof R. Apt, Luc Bougé, Ph. Clermont: Two Normal Form Theorems for CSP Programs. Inf. Process. Lett. 26(4): 165-171 (1987)
1986
24EEKrzysztof R. Apt: Correctness Proofs of Distributed Termination Algorithms. ACM Trans. Program. Lang. Syst. 8(3): 388-405 (1986)
23 Krzysztof R. Apt, Dexter Kozen: Limits for Automatic Verification of Finite-State Concurrent Systems. Inf. Process. Lett. 22(6): 307-309 (1986)
22 Krzysztof R. Apt, Carole Delporte-Gallet: Syntax Directed Analysis of Liveness Properties Information and Control 68(1-3): 223-253 (1986)
21EEKrzysztof R. Apt, Gordon D. Plotkin: Countable nondeterminism and random assignment. J. ACM 33(4): 724-767 (1986)
1985
20 Krzysztof R. Apt: Review of Foundations of Logic Programs. J. Log. Program. 2(3): 233-234 (1985)
1984
19EEKrzysztof R. Apt, Ernst-Rüdiger Olderog: Transformations Realizing Fairness Assumptions for Parallel Programs. STACS 1984: 26-42
18EEKrzysztof R. Apt, Nissim Francez: Modeling the Distributed Termination Convention of CSP. ACM Trans. Program. Lang. Syst. 6(3): 370-379 (1984)
17 Krzysztof R. Apt: Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism. Theor. Comput. Sci. 28: 83-109 (1984)
16 Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi: Fair Termination Revisited-With Delay. Theor. Comput. Sci. 33: 65-84 (1984)
1983
15EEKrzysztof R. Apt, Carole Delporte: An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). ICALP 1983: 15-27
14 Krzysztof R. Apt: A Static Analysis of CSP Programs. Logic of Programs 1983: 1-17
13EEKrzysztof R. Apt: Formal Justification of a Proof System for Communicating Sequential Processes J. ACM 30(1): 197-216 (1983)
12 Krzysztof R. Apt, Ernst-Rüdiger Olderog: Proof Rules and Transformations Dealing with Fairness. Sci. Comput. Program. 3(1): 65-100 (1983)
1982
11EEKrzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862 (1982)
1981
10EEKrzysztof R. Apt, Gordon D. Plotkin: A Cook's Tour of Countable Nondeterminism. ICALP 1981: 479-494
9 Krzysztof R. Apt, Ernst-Rüdiger Olderog: Proof Rules Dealing with Fairness. Logic of Programs 1981: 1-8
8EEKrzysztof R. Apt: Ten Years of Hoare's Logic: A Survey - Part 1. ACM Trans. Program. Lang. Syst. 3(4): 431-483 (1981)
7 Krzysztof R. Apt: Recursive Assertions and Parallel Programs. Acta Inf. 15: 219-232 (1981)
1980
6EEKrzysztof R. Apt, Nissim Francez, Willem P. de Roever: A Proof System for Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 2(3): 359-385 (1980)
5 Krzysztof R. Apt, Lambert G. L. T. Meertens: Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes. SIAM J. Comput. 9(4): 665-671 (1980)
1979
4 Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens: Recursive Assertions are not enough - or are they? Theor. Comput. Sci. 8: 73-87 (1979)
1977
3EEKrzysztof R. Apt, J. W. de Bakker: Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44
1976
2EEKrzysztof R. Apt, J. W. de Bakker: Exercises in Denotational Semantics. MFCS 1976: 1-11
1 Krzysztof R. Apt: Semantics of the Infinitistic Rules of Proof. J. Symb. Log. 41(1): 121-138 (1976)

Coauthor Index

1Martín Abadi [39]
2Bowen Alpern [39]
3Farhad Arbab [117] [125]
4J. W. de Bakker (Jaco de Bakker) [2] [3]
5Roman Barták [86]
6Rachel Ben-Eliyahu-Zohary (Rachel Ben-Eliyahu) [60]
7Jan A. Bergstra [4]
8Marc Bezem [35] [38] [64]
9Howard A. Blair [30] [31] [40]
10Peter van Emde Boas [48]
11Frank S. de Boer [133] [137]
12Roland N. Bol [32] [36] [37] [49]
13Luc Bougé [25]
14Sebastian Brand [86] [94] [96] [100] [104] [106] [109] [114]
15Jacob Brunekreef [67]
16Ph. Clermont [25]
17Vincent Conitzer [127] [131]
18Carole Delporte-Gallet (Carole Delporte) [15] [22]
19Kees Doets [50]
20Maarten H. van Emden [11]
21Arantza Estévez-Fernández [122] [129] [136]
22Sandro Etalle [46]
23François Fages [101]
24Nissim Francez [6] [18] [26] [28] [39]
25Maurizio Gabbrielli [54] [59]
26Mingyu Guo [127] [131]
27Masami Hagiya [44]
28Antonis C. Kakas [83] [89]
29Shmuel Katz [26] [28] [39]
30Jan Willem Klop [32] [36] [37]
31Dexter Kozen [23]
32Leslie Lamport [39]
33Ingrid Luitjes [57]
34Huiye Ma [117] [125]
35Elena Marchiori [43] [51] [52]
36Evangelos Markakis (Vangelis Markakis) [126] [127] [131] [139]
37Lambert G. L. T. Meertens [4] [5]
38Eric Monfroy [70] [74] [80] [83] [84] [86]
39Ernst-Rüdiger Olderog [9] [12] [19] [29] [33] [133] [137]
40Catuscia Palamidessi [43] [52]
41Vincent Partington [67]
42Dino Pedreschi [41] [45] [59]
43Alessandro Pellegrini [42] [53]
44Gordon D. Plotkin [10] [21]
45Amir Pnueli [16]
46Jean-Marc Pugin [27]
47Tadeusz Radzik [112]
48Willem P. de Roever [6]
49Francesca Rossi [83] [86] [101] [102] [116] [124] [128] [130]
50Fariba Sadri [89]
51Andrea Schaerf [61] [67] [69] [73] [78]
52Fred B. Schneider [39]
53Jonathan Stavi [16]
54Péter Szeredi [101]
55József Váncza [101]
56Kristen Brent Venable (Kristen B. Venable) [102] [116] [124] [128] [130]
57C. F. M. Vermeulen [92] [95]
58Adrian Walker [30]
59Angelo Welling [48]
60Andreas Witzel [119] [132] [134] [135] [138]
61Peter Zoeteweij [97] [98] [111] [115]
62Jonathan A. Zvesper [118] [132] [134] [135] [138]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)