Krzysztof R. Apt

	2012
164		Krzysztof R. Apt: Two Three Pages Papers. Logic and Program Semantics 2012: 322
163		Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper: Distributed iterated elimination of strictly dominated strategies. Autonomous Agents and Multi-Agent Systems 25(2): 395-418 (2012)
162		Sunil Simon, Krzysztof R. Apt: Choosing Products in Social Networks CoRR abs/1202.2209: (2012)
161		Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer: Undominated Groves Mechanisms CoRR abs/1203.1809: (2012)
160		Krzysztof R. Apt, Evangelos Markakis: Social Networks with Competing Products CoRR abs/1204.5636: (2012)
159		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw: Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. 78(3): 823-852 (2012)
	2011
158		Krzysztof R. Apt: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 ACM 2011
157		Krzysztof R. Apt, Evangelos Markakis: Diffusion in Social Networks with Competing Products. SAGT 2011: 212-223
156		Krzysztof R. Apt: A Primer on Strategic Games CoRR abs/1102.0203: (2011)
155		Krzysztof R. Apt, Guido Schaefer: Selfishness Level of Strategic Games CoRR abs/1105.2432: (2011)
154		Krzysztof R. Apt, Evangelos Markakis: Diffusion in Social Networks with Competing Products CoRR abs/1105.2434: (2011)
153		Floor Sietsma, Krzysztof R. Apt: Common Knowledge in Email Exchanges CoRR abs/1109.3322: (2011)
	2010
152		Jonathan A. Zvesper, Krzysztof R. Apt: Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CLIMA 2010: 186-199
151		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Verification of Object-Oriented Programs: a Transformational Approach CoRR abs/1004.4656: (2010)
150		Krzysztof R. Apt: Direct Proofs of Order Independence CoRR abs/1004.4727: (2010)
149		Jonathan A. Zvesper, Krzysztof R. Apt: Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets CoRR abs/1006.4926: (2010)
148		Krzysztof R. Apt, Jonathan A. Zvesper: The Role of Monotonicity in the Epistemic Analysis of Strategic Games CoRR abs/1010.5595: (2010)
147		Krzysztof R. Apt, Jonathan A. Zvesper: Public Announcements in Strategic Games with Arbitrary Strategy Sets CoRR abs/1012.5173: (2010)
146		Krzysztof R. Apt, Jonathan A. Zvesper: The Role of Monotonicity in the Epistemic Analysis of Strategic Games. Games 1(4): 381-394 (2010)
	2009
145		Krzysztof R. Apt, Evangelos Markakis: Optimal strategies in sequential bidding. AAMAS (2) 2009: 1189-1190
144		Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper: Strategy Elimination in Games with Interaction Structures. LORI 2009: 302-315
143		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21
142		Krzysztof R. Apt, Arantza Estévez-Fernández: Sequential Pivotal Mechanisms for Public Project Problems. SAGT 2009: 85-96
141		Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper: Common knowledge in interaction structures. TARK 2009: 4-13
140		Krzysztof R. Apt, Evangelos Markakis: Sequential Bidding in the Bailey-Cavallo Mechanism. WINE 2009: 483-490
139		Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper: Common Knowledge in Interaction Structures CoRR abs/0907.0403: (2009)
138		Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs CoRR abs/0907.4316: (2009)
137		Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper: Strategy elimination in games with interaction structures CoRR abs/0908.2399: (2009)
136		Krzysztof R. Apt, Andreas Witzel: A Generic Approach to Coalition Formation. IGTR 11(3): 347-367 (2009)
	2008
135		Krzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design. CIMCA/IAWTIC/ISE 2008: 767-772
134		Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis: Welfare Undominated Groves Mechanisms. WINE 2008: 426-437
133		Krzysztof 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)
132		Krzysztof R. Apt, Arantza Estévez-Fernández: Sequential pivotal mechanisms for public project problems CoRR abs/0810.1383: (2008)
131		Krzysztof 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)
130		Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis: Welfare Undominated Groves Mechanisms CoRR abs/0810.2865: (2008)
129		Krzysztof R. Apt, Vangelis Markakis: Optimal Strategies in Sequential Bidding CoRR abs/0810.3182: (2008)
128		Krzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design CoRR abs/0810.3199: (2008)
	2007
127		Krzysztof R. Apt, Mark Wallace: Constraint logic programming using Eclipse. Cambridge University Press 2007: I-XV, 1-329
126		Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. CSCLP 2007: 1-16
125		Krzysztof R. Apt: Epistemic analysis of strategic games with arbitrary strategy sets. TARK 2007: 25-32
124		Krzysztof R. Apt, Arantza Estévez-Fernández: Sequential mechanism design CoRR abs/0705.2170: (2007)
123		Krzysztof R. Apt: Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets CoRR abs/0706.1001: (2007)
122		Krzysztof R. Apt: Relative Strength of Strategy Elimination Procedures CoRR abs/0706.1617: (2007)
121		Krzysztof R. Apt, Andreas Witzel: A Generic Approach to Coalition Formation CoRR abs/0709.0435: (2007)
120		Krzysztof R. Apt, Jonathan A. Zvesper: Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets CoRR abs/0710.3536: (2007)
119		Krzysztof R. Apt, Farhad Arbab, Huiye Ma: A System for Distributed Mechanisms: Design, Implementation and Applications CoRR abs/0711.2618: (2007)
118		Krzysztof 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)
117		Krzysztof R. Apt, Peter Zoeteweij: An Analysis of Arithmetic Constraints on Integer Intervals. Constraints 12(4): 429-468 (2007)
	2006
116		Krzysztof R. Apt, Sebastian Brand: Infinite Qualitative Simulations by Means of Constraint Programming. CP 2006: 29-43
115		Krzysztof R. Apt: Explaining Constraint Programming CoRR abs/cs/0602027: (2006)
114		Krzysztof R. Apt, Tadeusz Radzik: Stable partitions in coalitional games CoRR abs/cs/0605132: (2006)
113		Krzysztof R. Apt, Peter Zoeteweij: An Analysis of Arithmetic Constraints on Integer Intervals CoRR abs/cs/0607016: (2006)
112		Krzysztof R. Apt: The Many Faces of Rationalizability CoRR abs/cs/0608011: (2006)
111		Krzysztof R. Apt, Sebastian Brand: Infinite Qualitative Simulations by Means of Constraint Programming CoRR abs/cs/0608017: (2006)
	2005
110		Krzysztof R. Apt: Explaining Constraint Programming. Processes, Terms and Cycles 2005: 55-69
109		Krzysztof R. Apt: Order independence and rationalizability. TARK 2005: 22-38
108		Krzysztof R. Apt, Sebastian Brand: Constraint-Based Qualitative Simulation. TIME 2005: 26-34
107		Krzysztof R. Apt: Editorial. ACM Trans. Comput. Log. 6(4): 673 (2005)
106		Krzysztof R. Apt, Sebastian Brand: Constraint-Based Qualitative Simulation CoRR abs/cs/0504024: (2005)
105		Krzysztof R. Apt: Order Independence and Rationalizability CoRR abs/cs/0509063: (2005)
104		Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: CP-nets and Nash equilibria CoRR abs/cs/0509071: (2005)
	2004
103		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
102		Sebastian Brand, Krzysztof R. Apt: Schedulers and Redundancy for a Class of Constraint Propagation Rules CoRR cs.DS/0403037: (2004)
101		Krzysztof R. Apt: Uniform Proofs of Order Independence for Various Strategy Elimination Procedures CoRR cs.GT/0403024: (2004)
100		Krzysztof R. Apt, Peter Zoeteweij: A Comparative Study of Arithmetic Constraints on Integer Intervals CoRR cs.PL/0403016: (2004)
	2003
99		Krzysztof R. Apt: Principles of constraint programming. Cambridge University Press 2003: I-XII, 1-407
98		Krzysztof R. Apt, Peter Zoeteweij: A Comparative Study of Arithmetic Constraints on Integer Intervals. CSCLP 2003: 1-24
97		Krzysztof R. Apt, Sebastian Brand: Schedulers for Rule-Based Constraint Programming. SAC 2003: 14-21
	2002
96		Krzysztof R. Apt, C. F. M. Vermeulen: First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35
95		Krzysztof R. Apt, Sebastian Brand: Schedulers for Rule-based Constraint Programming CoRR cs.DS/0211019: (2002)
94		Krzysztof R. Apt: Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius CoRR cs.GL/0210001: (2002)
93		Krzysztof R. Apt, C. F. M. Vermeulen: First-order Logic as a Constraint Programming Language CoRR cs.LO/0208032: (2002)
92		Krzysztof R. Apt: Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. Formal Asp. Comput. 14(2): 92-98 (2002)
91		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
90		Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri: Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001)
89		Krzysztof R. Apt: One More Revolution to Make: Free Scientific Publishing CoRR cs.GL/0106022: (2001)
88		Krzysztof R. Apt: The Logic Programming Paradigm and Prolog CoRR cs.PL/0107013: (2001)
87		Krzysztof 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)
86		Krzysztof R. Apt: Viewpoint: One more revolution to make: free scientific publishing. Commun. ACM 44(5): 25-28 (2001)
85		Krzysztof R. Apt, Eric Monfroy: Constraint programming viewed as rule-based programming. TPLP 1(6): 713-750 (2001)
	2000
84		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
83		Krzysztof R. Apt: A Denotational Semantics for First-Order Logic. Computational Logic 2000: 53-69
82		Krzysztof R. Apt: The role of commutativity in constraint propagation algorithms. ACM Trans. Program. Lang. Syst. 22(6): 1002-1036 (2000)
81		Krzysztof R. Apt, Eric Monfroy: Constraint Programming viewed as Rule-based Programming CoRR cs.AI/0003076: (2000)
80		Krzysztof R. Apt: Some Remarks on Boolean Constraint Propagation CoRR cs.AI/0003080: (2000)
79		Krzysztof R. Apt, Andrea Schaerf: Programming in Alma-0, or Imperative and Declarative Programming Reconciled CoRR cs.LO/0004002: (2000)
78		Krzysztof R. Apt: The Role of Commutativity in Constraint Propagation Algorithms CoRR cs.PF/0012010: (2000)
77		Krzysztof R. Apt: A Denotational Semantics for First-Order Logic CoRR cs.PL/0005008: (2000)
	1999
76		Krzysztof R. Apt: The Rough Guide to Constraint Propagation. CP 1999: 1-23
75		Krzysztof R. Apt, Eric Monfroy: Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CP 1999: 58-72
74		Krzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. Correct System Design 1999: 89-113
73		Krzysztof R. Apt: Some Remarks on Boolean Constraint Propagation. New Trends in Constraints 1999: 91-107
72		Krzysztof R. Apt: The Rough Guide to Constraint Propagation CoRR cs.AI/9909009: (1999)
71		Krzysztof R. Apt, Eric Monfroy: Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains CoRR cs.AI/9909010: (1999)
70		Krzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming CoRR cs.LO/9907027: (1999)
69		Krzysztof R. Apt: The Essence of Constraint Propagation. Theor. Comput. Sci. 221(1-2): 179-210 (1999)
	1998
68		Krzysztof 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)
67		Krzysztof R. Apt: A Proof Theoretic View of Constraint Programming CoRR cs.AI/9810018: (1998)
66		Krzysztof R. Apt: The Essence of Constraint Propagation CoRR cs.AI/9811024: (1998)
65		Krzysztof R. Apt, Marc Bezem: Formulas as Programs CoRR cs.LO/9811017: (1998)
64		Krzysztof R. Apt: A Proof Theoretic View of Constraint Programming. Fundam. Inform. 34(3): 295-321 (1998)
	1997
63		Krzysztof R. Apt: From logic programming to Prolog. Prentice Hall 1997: I-XVIII, 1-328
62		Krzysztof R. Apt: From Chaotic Iteration to Constraint Propagation. ICALP 1997: 36-55
61		Krzysztof 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
53		Krzysztof 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
46		Krzysztof 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
43		Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi: A Theory of First-Order Built-in's of Prolog. ALP 1992: 69-83
42		Krzysztof 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
36		Roland 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
33		Ernst-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
29		Ernst-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
27		Krzysztof 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
24		Krzysztof 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)
21		Krzysztof 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
19		Krzysztof R. Apt, Ernst-Rüdiger Olderog: Transformations Realizing Fairness Assumptions for Parallel Programs. STACS 1984: 26-42
18		Krzysztof 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
15		Krzysztof 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
13		Krzysztof 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
11		Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862 (1982)
	1981
10		Krzysztof 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
8		Krzysztof 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
6		Krzysztof 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
3		Krzysztof R. Apt, J. W. de Bakker: Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44
	1976
2		Krzysztof 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

1	Martín Abadi	[39]
2	Bowen Alpern	[39]
3	Farhad Arbab	[119] [128] [135]
4	J. W. de Bakker (Jaco de Bakker, Jacobus W. de Bakker)	[2] [3]
5	Roman Barták	[87]
6	Rachel Ben-Eliyahu-Zohary (Rachel Ben-Eliyahu)	[60]
7	Jan A. Bergstra	[4]
8	Marc Bezem	[35] [38] [65]
9	Howard A. Blair	[30] [31] [40]
10	Peter van Emde Boas	[48]
11	Frank S. de Boer	[138] [143] [151] [159]
12	Roland N. Bol	[32] [36] [37] [49]
13	Luc Bougé	[25]
14	Sebastian Brand	[87] [95] [97] [102] [106] [108] [111] [116]
15	Jacob Brunekreef	[68]
16	Ph. Clermont	[25]
17	Vincent Conitzer	[130] [134] [161]
18	Carole Delporte-Gallet (Carole Delporte)	[15] [22]
19	Kees Doets	[50]
20	Maarten H. van Emden	[11]
21	Arantza Estévez-Fernández	[124] [132] [142]
22	Sandro Etalle	[46]
23	François Fages	[103]
24	Nissim Francez	[6] [18] [26] [28] [39]
25	Maurizio Gabbrielli	[54] [59]
26	Stijn de Gouw	[159]
27	Mingyu Guo	[130] [134] [161]
28	Masami Hagiya	[44]
29	Antonis C. Kakas	[84] [90]
30	Shmuel Katz	[26] [28] [39]
31	Jan Willem Klop	[32] [36] [37]
32	Dexter Kozen	[23]
33	Leslie Lamport	[39]
34	Ingrid Luitjes	[57]
35	Huiye Ma	[119] [128] [135]
36	Elena Marchiori	[43] [51] [52]
37	Evangelos Markakis (Vangelis Markakis)	[129] [130] [134] [140] [145] [154] [157] [160] [161]
38	Lambert G. L. T. Meertens	[4] [5]
39	Eric Monfroy	[71] [75] [81] [84] [85] [87]
40	Ernst-Rüdiger Olderog	[9] [12] [19] [29] [33] [138] [143] [151] [159]
41	Catuscia Palamidessi	[43] [52]
42	Vincent Partington	[68]
43	Dino Pedreschi	[41] [45] [59]
44	Alessandro Pellegrini	[42] [53]
45	Gordon D. Plotkin	[10] [21]
46	Amir Pnueli	[16]
47	Jean-Marc Pugin	[27]
48	Tadeusz Radzik	[114]
49	Willem P. de Roever (Willem-Paul de Roever)	[6]
50	Francesca Rossi	[84] [87] [103] [104] [118] [126] [131] [133]
51	Fariba Sadri	[90]
52	Guido Schaefer	[155]
53	Andrea Schaerf	[61] [68] [70] [74] [79]
54	Fred B. Schneider	[39]
55	Floor Sietsma	[153]
56	Sunil Simon	[162]
57	Jonathan Stavi	[16]
58	Péter Szeredi	[103]
59	József Váncza	[103]
60	Kristen Brent Venable (Kristen B. Venable)	[104] [118] [126] [131] [133]
61	C. F. M. Vermeulen	[93] [96]
62	Adrian Walker	[30]
63	Mark Wallace (Mark G. Wallace)	[127]
64	Angelo Welling	[48]
65	Andreas Witzel	[121] [136] [137] [139] [141] [144] [163]
66	Peter Zoeteweij	[98] [100] [113] [117]
67	Jonathan A. Zvesper	[120] [137] [139] [141] [144] [146] [147] [148] [149] [152] [163]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page