Krzysztof R. Apt

Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer: Undominated Groves Mechanisms. J. Artif. Intell. Res. (JAIR) 46: 129-163 (2013)

Krzysztof R. Apt, Evangelos Markakis, Sunil Simon: Paradoxes in Social Networks with Multiple Products. CoRR abs/1301.7592 (2013)

Bart de Keijzer, Krzysztof R. Apt: The H-index can be easily manipulated. CoRR abs/1304.2557 (2013)

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)

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)

Krzysztof R. Apt: Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp. TPLP 12(3): 417-419 (2012)

Krzysztof R. Apt: Two Three Pages Papers. Logic and Program Semantics 2012: 322

Krzysztof R. Apt, Sunil Simon: A Classification of Weakly Acyclic Games. SAGT 2012: 1-12

Krzysztof R. Apt, Guido Schäfer: Selfishness Level of Strategic Games. SAGT 2012: 13-24

Sunil Simon, Krzysztof R. Apt: Choosing Products in Social Networks. WINE 2012: 100-113

Sunil Simon, Krzysztof R. Apt: Choosing Products in Social Networks. CoRR abs/1202.2209 (2012)

Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer: Undominated Groves Mechanisms. CoRR abs/1203.1809 (2012)

Krzysztof R. Apt, Evangelos Markakis: Social Networks with Competing Products. CoRR abs/1204.5636 (2012)

Krzysztof R. Apt, Sunil Simon: A Classification of Weakly Acyclic Games. CoRR abs/1206.0130 (2012)

Sunil Simon, Krzysztof R. Apt: Social Network Games. CoRR abs/1211.5938 (2012)

Krzysztof R. Apt, Evangelos Markakis: Diffusion in Social Networks with Competing Products. SAGT 2011: 212-223

Krzysztof R. Apt (Ed.): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011. ACM 2011, isbn 978-1-4503-0707-9

Krzysztof R. Apt: A Primer on Strategic Games. CoRR abs/1102.0203 (2011)

Krzysztof R. Apt, Guido Schäfer: Selfishness Level of Strategic Games. CoRR abs/1105.2432 (2011)

Krzysztof R. Apt, Evangelos Markakis: Diffusion in Social Networks with Competing Products. CoRR abs/1105.2434 (2011)

Floor Sietsma, Krzysztof R. Apt: Common Knowledge in Email Exchanges. CoRR abs/1109.3322 (2011)

Krzysztof R. Apt, Jonathan A. Zvesper: The Role of Monotonicity in the Epistemic Analysis of Strategic Games. Games 1(4): 381-394 (2010)

Jonathan A. Zvesper, Krzysztof R. Apt: Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CLIMA 2010: 186-199

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Verification of Object-Oriented Programs: a Transformational Approach. CoRR abs/1004.4656 (2010)

Krzysztof R. Apt: Direct Proofs of Order Independence. CoRR abs/1004.4727 (2010)

Jonathan A. Zvesper, Krzysztof R. Apt: Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CoRR abs/1006.4926 (2010)

Krzysztof R. Apt, Jonathan A. Zvesper: The Role of Monotonicity in the Epistemic Analysis of Strategic Games. CoRR abs/1010.5595 (2010)

Krzysztof R. Apt, Jonathan A. Zvesper: Public Announcements in Strategic Games with Arbitrary Strategy Sets. CoRR abs/1012.5173 (2010)

Krzysztof R. Apt, Andreas Witzel: A Generic Approach to Coalition Formation. IGTR 11(3): 347-367 (2009)

Krzysztof R. Apt, Evangelos Markakis: Optimal strategies in sequential bidding. AAMAS (2) 2009: 1189-1190

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21

Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper: Strategy Elimination in Games with Interaction Structures. LORI 2009: 302-315

Krzysztof R. Apt, Arantza Estévez-Fernández: Sequential Pivotal Mechanisms for Public Project Problems. SAGT 2009: 85-96

Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper: Common knowledge in interaction structures. TARK 2009: 4-13

Krzysztof R. Apt, Evangelos Markakis: Sequential Bidding in the Bailey-Cavallo Mechanism. WINE 2009: 483-490

Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper: Common Knowledge in Interaction Structures. CoRR abs/0907.0403 (2009)

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. CoRR abs/0907.4316 (2009)

Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper: Strategy elimination in games with interaction structures. CoRR abs/0908.2399 (2009)

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)

Krzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design. CIMCA/IAWTIC/ISE 2008: 767-772

Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis: Welfare Undominated Groves Mechanisms. WINE 2008: 426-437

Krzysztof R. Apt, Arantza Estévez-Fernández: Sequential pivotal mechanisms for public project problems. CoRR abs/0810.1383 (2008)

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)

Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis: Welfare Undominated Groves Mechanisms. CoRR abs/0810.2865 (2008)

Krzysztof R. Apt, Vangelis Markakis: Optimal Strategies in Sequential Bidding. CoRR abs/0810.3182 (2008)

Krzysztof R. Apt, Farhad Arbab, Huiye Ma: A Distributed Platform for Mechanism Design. CoRR abs/0810.3199 (2008)

Krzysztof R. Apt, Mark Wallace: Constraint logic programming using Eclipse. Cambridge University Press 2007, isbn 978-0-521-86628-6, pp. I-XV, 1-329

Krzysztof R. Apt, Peter Zoeteweij: An Analysis of Arithmetic Constraints on Integer Intervals. Constraints 12(4): 429-468 (2007)

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

Krzysztof R. Apt: Epistemic analysis of strategic games with arbitrary strategy sets. TARK 2007: 25-32

Krzysztof R. Apt, Arantza Estévez-Fernández: Sequential mechanism design. CoRR abs/0705.2170 (2007)

Krzysztof R. Apt: Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets. CoRR abs/0706.1001 (2007)

Krzysztof R. Apt: Relative Strength of Strategy Elimination Procedures. CoRR abs/0706.1617 (2007)

Krzysztof R. Apt, Andreas Witzel: A Generic Approach to Coalition Formation. CoRR abs/0709.0435 (2007)

Krzysztof R. Apt, Jonathan A. Zvesper: Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets. CoRR abs/0710.3536 (2007)

Krzysztof R. Apt, Farhad Arbab, Huiye Ma: A System for Distributed Mechanisms: Design, Implementation and Applications. CoRR abs/0711.2618 (2007)

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)

Krzysztof R. Apt, Sebastian Brand: Infinite Qualitative Simulations by Means of Constraint Programming. CP 2006: 29-43

Krzysztof R. Apt: Explaining Constraint Programming. CoRR abs/cs/0602027 (2006)

Krzysztof R. Apt, Tadeusz Radzik: Stable partitions in coalitional games. CoRR abs/cs/0605132 (2006)

Krzysztof R. Apt, Peter Zoeteweij: An Analysis of Arithmetic Constraints on Integer Intervals. CoRR abs/cs/0607016 (2006)

Krzysztof R. Apt: The Many Faces of Rationalizability. CoRR abs/cs/0608011 (2006)

Krzysztof R. Apt, Sebastian Brand: Infinite Qualitative Simulations by Means of Constraint Programming. CoRR abs/cs/0608017 (2006)

Krzysztof R. Apt: Editorial. ACM Trans. Comput. Log. 6(4): 673 (2005)

Krzysztof R. Apt: Explaining Constraint Programming. Processes, Terms and Cycles 2005: 55-69

Krzysztof R. Apt: Order independence and rationalizability. TARK 2005: 22-38

Krzysztof R. Apt, Sebastian Brand: Constraint-Based Qualitative Simulation. TIME 2005: 26-34

Krzysztof R. Apt, Sebastian Brand: Constraint-Based Qualitative Simulation. CoRR abs/cs/0504024 (2005)

Krzysztof R. Apt: Order Independence and Rationalizability. CoRR abs/cs/0509063 (2005)

Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable: CP-nets and Nash equilibria. CoRR abs/cs/0509071 (2005)

Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza (Eds.): 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. Lecture Notes in Computer Science 3010, Springer 2004, isbn 3-540-21834-3

Sebastian Brand, Krzysztof R. Apt: Schedulers and Redundancy for a Class of Constraint Propagation Rules. CoRR cs.DS/0403037 (2004)

Krzysztof R. Apt: Uniform Proofs of Order Independence for Various Strategy Elimination Procedures. CoRR cs.GT/0403024 (2004)

Krzysztof R. Apt, Peter Zoeteweij: A Comparative Study of Arithmetic Constraints on Integer Intervals. CoRR cs.PL/0403016 (2004)

Krzysztof R. Apt: Principles of constraint programming. Cambridge University Press 2003, isbn 978-0-521-82583-2, pp. I-XII, 1-407

Krzysztof R. Apt, Peter Zoeteweij: A Comparative Study of Arithmetic Constraints on Integer Intervals. CSCLP 2003: 1-24

Krzysztof R. Apt, Sebastian Brand: Schedulers for Rule-Based Constraint Programming. SAC 2003: 14-21

Krzysztof R. Apt: Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. Formal Asp. Comput. 14(2): 92-98 (2002)

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)

Krzysztof R. Apt, C. F. M. Vermeulen: First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35

Krzysztof R. Apt, Sebastian Brand: Schedulers for Rule-based Constraint Programming. CoRR cs.DS/0211019 (2002)

Krzysztof R. Apt: Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius. CoRR cs.GL/0210001 (2002)

Krzysztof R. Apt, C. F. M. Vermeulen: First-order Logic as a Constraint Programming Language. CoRR cs.LO/0208032 (2002)

Krzysztof R. Apt: Viewpoint: One more revolution to make: free scientific publishing. Commun. ACM 44(5): 25-28 (2001)

Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri: Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001)

Krzysztof R. Apt, Eric Monfroy: Constraint programming viewed as rule-based programming. TPLP 1(6): 713-750 (2001)

Krzysztof R. Apt: One More Revolution to Make: Free Scientific Publishing. CoRR cs.GL/0106022 (2001)

Krzysztof R. Apt: The Logic Programming Paradigm and Prolog. CoRR cs.PL/0107013 (2001)

Krzysztof R. Apt, Roman Barták, Eric Monfroy, Francesca Rossi, Sebastian Brand (Eds.): Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints. CoRR cs.PL/0110012 (2001)

Krzysztof R. Apt: The role of commutativity in constraint propagation algorithms. ACM Trans. Program. Lang. Syst. 22(6): 1002-1036 (2000)

Krzysztof R. Apt: A Denotational Semantics for First-Order Logic. Computational Logic 2000: 53-69

Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy, Francesca Rossi (Eds.): New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Lecture Notes in Computer Science 1865, Springer 2000, isbn 3-540-67885-9

Krzysztof R. Apt, Eric Monfroy: Constraint Programming viewed as Rule-based Programming. CoRR cs.AI/0003076 (2000)

Krzysztof R. Apt: Some Remarks on Boolean Constraint Propagation. CoRR cs.AI/0003080 (2000)

Krzysztof R. Apt, Andrea Schaerf: Programming in Alma-0, or Imperative and Declarative Programming Reconciled. CoRR cs.LO/0004002 (2000)

Krzysztof R. Apt: The Role of Commutativity in Constraint Propagation Algorithms. CoRR cs.PF/0012010 (2000)

Krzysztof R. Apt: A Denotational Semantics for First-Order Logic. CoRR cs.PL/0005008 (2000)

Krzysztof R. Apt: The Essence of Constraint Propagation. Theor. Comput. Sci. 221(1-2): 179-210 (1999)

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

Krzysztof R. Apt: Some Remarks on Boolean Constraint Propagation. New Trends in Constraints 1999: 91-107

Krzysztof R. Apt: The Rough Guide to Constraint Propagation. CP 1999: 1-23

Krzysztof R. Apt, Eric Monfroy: Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CP 1999: 58-72

Krzysztof R. Apt: The Rough Guide to Constraint Propagation. CoRR cs.AI/9909009 (1999)

Krzysztof R. Apt, Eric Monfroy: Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CoRR cs.AI/9909010 (1999)

Krzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. CoRR cs.LO/9907027 (1999)

Krzysztof R. Apt: A Proof Theoretic View of Constraint Programming. Fundam. Inform. 34(3): 295-321 (1998)

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)

Krzysztof R. Apt: A Proof Theoretic View of Constraint Programming. CoRR cs.AI/9810018 (1998)

Krzysztof R. Apt: The Essence of Constraint Propagation. CoRR cs.AI/9811024 (1998)

Krzysztof R. Apt, Marc Bezem: Formulas as Programs. CoRR cs.LO/9811017 (1998)

Krzysztof R. Apt: From logic programming to Prolog. Prentice Hall International series in computer science, Prentice Hall 1997, isbn 978-0-13-230368-2, pp. I-XVIII, 1-328

Krzysztof R. Apt: From Chaotic Iteration to Constraint Propagation. ICALP 1997: 36-55

Krzysztof R. Apt, Andrea Schaerf: Search and Imperative Programming. POPL 1997: 67-79

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)

Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi: A Closer Look at Declarative Interpretations. J. Log. Program. 28(2): 147-180 (1996)

Krzysztof R. Apt: Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming. Sci. Comput. Program. 26(1-3): 133-148 (1996)

Krzysztof R. Apt: Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. GULP-PRODE 1995: 19-36

Krzysztof R. Apt, Ingrid Luitjes: Verification of Logic Programs with Delay Declarations. AMAST 1995: 66-90

Krzysztof R. Apt: Towards Automatic Parallelization of Logic Programs (Abstract). MPC 1995: 1

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)

Krzysztof R. Apt, Elena Marchiori: Reasoning About Prolog Programs: From Modes Through Types to Assertions. Formal Asp. Comput. 6(6A): 743-765 (1994)

Krzysztof R. Apt, Kees Doets: A New Definition of SNDNF-Resolution. J. Log. Program. 18(2): 177-190 (1994)

Krzysztof R. Apt, Roland N. Bol: Logic Programming and Negation: A Survey. J. Log. Program. 19/20: 9-71 (1994)

Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling: The STO-Problem is NP-Hard. J. Symb. Comput. 18(5): 489-495 (1994)

Krzysztof R. Apt, Alessandro Pellegrini: On the Occur-Check-Free Prolog Programs. ACM Trans. Program. Lang. Syst. 16(3): 687-726 (1994)

Krzysztof R. Apt, Maurizio Gabbrielli: Declarative Interpretations Reconsidered. ICLP 1994: 74-89

Krzysztof R. Apt, Dino Pedreschi: Reasoning about Termination of Pure Prolog Programs. Inf. Comput. 106(1): 109-157 (1993)

Krzysztof R. Apt, Masami Hagiya: Foreword: Selected Papers of TACS 1991. Sci. Comput. Program. 21(2): 91-92 (1993)

Krzysztof R. Apt, Sandro Etalle: On the Unification Free Prolog Programs. MFCS 1993: 1-19

Krzysztof R. Apt: Declarative Programming in Prolog. ILPS 1993: 12-35

Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi: A Theory of First-Order Built-in's of Prolog. ALP 1992: 69-83

Krzysztof R. Apt, Alessandro Pellegrini: Why the Occur-Check is Not a Problem. PLILP 1992: 69-86

Krzysztof R. Apt, Howard A. Blair: Arithmetic classification of perfect models of stratified programs. Fundam. Inform. 14(3): 339-343 (1991)

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)

Krzysztof R. Apt, Marc Bezem: Acyclic Programs. New Generation Comput. 9(3/4): 335-364 (1991)

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)

Krzysztof R. Apt, Dino Pedreschi: Proving Termination of General Prolog Programs. TACS 1991: 265-289

Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop: On the Power of Subsumption and Context Checks. DISCO 1990: 131-140

Krzysztof R. Apt, Marc Bezem: Acyclic Programs. ICLP 1990: 617-633

Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574

Ernst-Rüdiger Olderog, Krzysztof R. Apt: Using Transformation to Verify Parallel Programs. Algebraic Methods 1989: 55-81

Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop: On the Safe Termination of PROLOG Programs. ICLP 1989: 353-368

Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. Distributed Computing 2(4): 226-241 (1988)

Ernst-Rüdiger Olderog, Krzysztof R. Apt: Fairness in Parallel Programs: The Transformational Approach. ACM Trans. Program. Lang. Syst. 10(3): 420-455 (1988)

Krzysztof R. Apt, Howard A. Blair: Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP 1988: 765-779

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148

Krzysztof R. Apt, Luc Bougé, Ph. Clermont: Two Normal Form Theorems for CSP Programs. Inf. Process. Lett. 26(4): 165-171 (1987)

Krzysztof R. Apt, Jean-Marc Pugin: Maintenance of Stratified Databases Viewed as a Belief Revision System. PODS 1987: 136-145

Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. POPL 1987: 189-198

Krzysztof R. Apt, Carole Delporte-Gallet: Syntax Directed Analysis of Liveness Properties. Information and Control 68(1-3): 223-253 (1986)

Krzysztof R. Apt, Dexter Kozen: Limits for Automatic Verification of Finite-State Concurrent Systems. Inf. Process. Lett. 22(6): 307-309 (1986)

Krzysztof R. Apt, Gordon D. Plotkin: Countable nondeterminism and random assignment. J. ACM 33(4): 724-767 (1986)

Krzysztof R. Apt: Correctness Proofs of Distributed Termination Algorithms. ACM Trans. Program. Lang. Syst. 8(3): 388-405 (1986)

Krzysztof R. Apt: Review of Foundations of Logic Programs. J. Log. Program. 2(3): 233-234 (1985)

Krzysztof R. Apt: Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism. Theor. Comput. Sci. 28: 83-109 (1984)

Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi: Fair Termination Revisited-With Delay. Theor. Comput. Sci. 33: 65-84 (1984)

Krzysztof R. Apt, Nissim Francez: Modeling the Distributed Termination Convention of CSP. ACM Trans. Program. Lang. Syst. 6(3): 370-379 (1984)

Krzysztof R. Apt, Ernst-Rüdiger Olderog: Transformations Realizing Fairness Assumptions for Parallel Programs. STACS 1984: 26-42

Krzysztof R. Apt: Formal Justification of a Proof System for Communicating Sequential Processes. J. ACM 30(1): 197-216 (1983)

Krzysztof R. Apt, Ernst-Rüdiger Olderog: Proof Rules and Transformations Dealing with Fairness. Sci. Comput. Program. 3(1): 65-100 (1983)

Krzysztof R. Apt, Carole Delporte: An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). ICALP 1983: 15-27

Krzysztof R. Apt: A Static Analysis of CSP Programs. Logic of Programs 1983: 1-17

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862 (1982)

Krzysztof R. Apt: Recursive Assertions and Parallel Programs. Acta Inf. 15: 219-232 (1981)

Krzysztof R. Apt: Ten Years of Hoare's Logic: A Survey - Part 1. ACM Trans. Program. Lang. Syst. 3(4): 431-483 (1981)

Krzysztof R. Apt, Gordon D. Plotkin: A Cook's Tour of Countable Nondeterminism. ICALP 1981: 479-494

Krzysztof R. Apt, Ernst-Rüdiger Olderog: Proof Rules Dealing with Fairness. Logic of Programs 1981: 1-8

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)

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)

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)

Krzysztof R. Apt, J. W. de Bakker: Semantics and Proof Theory of Pascal Procedures. ICALP 1977: 30-44

Krzysztof R. Apt: Semantics of the Infinitistic Rules of Proof. J. Symb. Log. 41(1): 121-138 (1976)

Krzysztof R. Apt, J. W. de Bakker: Exercises in Denotational Semantics. MFCS 1976: 1-11