Krzysztof R. Apt

230 papers A* 8A 4B 23C 1Misc 1Journal 135Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Three Ways of Proving Termination of Loops. The Combined Power of Research, Education, and Dissemination Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2023	B	`conf`	Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. TARK Krzysztof R. Apt, Sunil Simon
2023	J	`jnl`	Nondeterminism and Guarded Commands. CoRR Krzysztof R. Apt, Ernst-Rüdiger Olderog
2022	J	`jnl`	A tutorial for computer scientists on finite extensive games with perfect information. CoRR Krzysztof R. Apt, Sunil Simon
2022	J	`jnl`	Characterization of incentive compatible single-parameter mechanisms revisited. CoRR Krzysztof R. Apt, Jan Heering
2022	J	`jnl`	Coordination Games on Weighted Directed Graphs. Math. Oper. Res. Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
2022	—	`ch.`	Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders. Edsger Wybe Dijkstra Krzysztof R. Apt
2022	—	`ch.`	Edsger W. Dijkstra: Biographical Information. Edsger Wybe Dijkstra Krzysztof R. Apt
2022	—	`book`	Edsger Wybe Dijkstra: His Life, Work, and Legacy Edsger Wybe Dijkstra Krzysztof R. Apt, Tony Hoare
2022	—	`ch.`	Nondeterminism and Guarded Commands. Edsger Wybe Dijkstra Krzysztof R. Apt, Ernst-Rüdiger Olderog
2021	J	`jnl`	A tutorial for computer scientists on finite extensive games with perfect information. Bull. EATCS Krzysztof R. Apt, Sunil Simon
2021	—	`ch.`	Assessing the Success and Impact of Hoare's Logic. Theories of Programming Krzysztof R. Apt, Ernst-Rüdiger Olderog
2021	J	`jnl`	Edsger W. Dijkstra: a Commemoration. CoRR Krzysztof R. Apt, Tony Hoare
2021	B	`conf`	Well-Founded Extensive Games with Perfect Information. TARK Krzysztof R. Apt, Sunil Simon
2020	J	`jnl`	Edsger Dijkstra. The Man Who Carried Computer Science on His Shoulders. CoRR Krzysztof R. Apt
2019	J	`jnl`	Coordination Games on Weighted Directed Graphs. CoRR Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
2019	J	`jnl`	Fifty years of Hoare's Logic. CoRR Krzysztof R. Apt, Ernst-Rüdiger Olderog
2019	J	`jnl`	Fifty years of Hoare's logic. Formal Aspects Comput. Krzysztof R. Apt, Ernst-Rüdiger Olderog
2019	B	`conf`	Open Problems in a Logic of Gossips. TARK Krzysztof R. Apt, Dominik Wojtczak
2019	J	`jnl`	Reasoning about call-by-value: a missing result in the history of Hoare's logic. CoRR Krzysztof R. Apt, Frank S. de Boer
2019	J	`jnl`	Self-Stabilization Through the Lens of Game Theory. CoRR Krzysztof R. Apt, Ehsan Shoja
2018	—	`conf`	Self-stabilization Through the Lens of Game Theory. It's All About Coordination Krzysztof R. Apt, Ehsan Shoja
2018	J	`jnl`	Verification of Distributed Epistemic Gossip Protocols. J. Artif. Intell. Res. Krzysztof R. Apt, Dominik Wojtczak
2018	B	`conf`	When Are Two Gossips the Same? LPAR Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
2018	J	`jnl`	When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols. CoRR Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
2017	B	`conf`	Common Knowledge in a Logic of Gossips. TARK Krzysztof R. Apt, Dominik Wojtczak
2017	J	`jnl`	Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages. Theory Pract. Log. Program. Krzysztof R. Apt
2017	J	`jnl`	Coordination games on graphs. Int. J. Game Theory Krzysztof R. Apt, Bart de Keijzer, Mona Rahn, Guido Schäfer, Sunil Simon
2017	—	`conf`	Decidability of Fair Termination of Gossip Protocols. LPAR (Short Presentations) Krzysztof R. Apt, Dominik Wojtczak
2017	A*	`conf`	On the Computational Complexity of Gossip Protocols. IJCAI Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak
2016	B	`conf`	On Decidability of a Logic of Gossips. JELIA Krzysztof R. Apt, Dominik Wojtczak
2016	J	`jnl`	Paradoxes in social networks with multiple products. Synth. Krzysztof R. Apt, Evangelos Markakis, Sunil Simon
2016	—	`conf`	Program Verification: To Err is Human. Theory and Practice of Formal Methods Krzysztof R. Apt
2015	B	`conf`	Coordination Games on Directed Graphs. TARK Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
2015	J	`jnl`	Coordination Games on Graphs. CoRR Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon
2015	B	`conf`	Epistemic Protocols for Distributed Gossiping. TARK Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
2015	J	`jnl`	Social network games. J. Log. Comput. Sunil Simon, Krzysztof R. Apt
2014	—	`conf`	Coordination Games on Graphs (Extended Abstract). WINE Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon
2014	J	`jnl`	Selfishness Level of Strategic Games. J. Artif. Intell. Res. Krzysztof R. Apt, Guido Schäfer
2014	J	`jnl`	Social Networks with Competing Products. Fundam. Informaticae Krzysztof R. Apt, Evangelos Markakis
2013	J	`jnl`	Common Knowledge in Email Exchanges. ACM Trans. Comput. Log. Floor Sietsma, Krzysztof R. Apt
2013	J	`jnl`	Paradoxes in Social Networks with Multiple Products CoRR Krzysztof R. Apt, Evangelos Markakis, Sunil Simon
2013	—	`conf`	Social Network Games with Obligatory Product Selection GandALF Krzysztof R. Apt, Sunil Simon
2013	J	`jnl`	The H-index can be Easily Manipulated. Bull. EATCS Bart de Keijzer, Krzysztof R. Apt
2013	J	`jnl`	The H-index can be easily manipulated CoRR Bart de Keijzer, Krzysztof R. Apt
2013	J	`jnl`	Undominated Groves Mechanisms. J. Artif. Intell. Res. Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer
2012	J	`jnl`	A Classification of Weakly Acyclic Games CoRR Krzysztof R. Apt, Sunil Simon
2012	B	`conf`	A Classification of Weakly Acyclic Games. SAGT Krzysztof R. Apt, Sunil Simon
2012	J	`jnl`	Choosing Products in Social Networks CoRR Sunil Simon, Krzysztof R. Apt
2012	—	`conf`	Choosing Products in Social Networks. WINE Sunil Simon, Krzysztof R. Apt
2012	J	`jnl`	Distributed iterated elimination of strictly dominated strategies. Auton. Agents Multi Agent Syst. Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
2012	B	`conf`	Selfishness Level of Strategic Games. SAGT Krzysztof R. Apt, Guido Schäfer
2012	J	`jnl`	Social Network Games CoRR Sunil Simon, Krzysztof R. Apt
2012	J	`jnl`	Social Networks with Competing Products CoRR Krzysztof R. Apt, Evangelos Markakis
2012	—	`conf`	Two Three Pages Papers. Logic and Program Semantics Krzysztof R. Apt
2012	J	`jnl`	Undominated Groves Mechanisms CoRR Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer
2012	J	`jnl`	Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw
2011	J	`jnl`	A Primer on Strategic Games CoRR Krzysztof R. Apt
2011	—	`ch.`	A primer on strategic games. Lectures in Game Theory for Computer Scientists Krzysztof R. Apt
2011	J	`jnl`	Common Knowledge in Email Exchanges CoRR Floor Sietsma, Krzysztof R. Apt
2011	J	`jnl`	Diffusion in Social Networks with Competing Products CoRR Krzysztof R. Apt, Evangelos Markakis
2011	B	`conf`	Diffusion in Social Networks with Competing Products. SAGT Krzysztof R. Apt, Evangelos Markakis
2011	—	`book`	Lectures in Game Theory for Computer Scientists. Krzysztof R. Apt, Erich Grädel
2011	B	`ed.`	Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 TARK Krzysztof R. Apt
2011	J	`jnl`	Selfishness Level of Strategic Games CoRR Krzysztof R. Apt, Guido Schäfer
2010	J	`jnl`	Direct Proofs of Order Independence CoRR Krzysztof R. Apt
2010	—	`conf`	Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CLIMA Jonathan A. Zvesper, Krzysztof R. Apt
2010	J	`jnl`	Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets CoRR Jonathan A. Zvesper, Krzysztof R. Apt
2010	J	`jnl`	Public Announcements in Strategic Games with Arbitrary Strategy Sets CoRR Krzysztof R. Apt, Jonathan A. Zvesper
2010	J	`jnl`	The Role of Monotonicity in the Epistemic Analysis of Strategic Games CoRR Krzysztof R. Apt, Jonathan A. Zvesper
2010	J	`jnl`	The Role of Monotonicity in the Epistemic Analysis of Strategic Games. Games Krzysztof R. Apt, Jonathan A. Zvesper
2010	J	`jnl`	Verification of Object-Oriented Programs: a Transformational Approach CoRR Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	J	`jnl`	A Generic Approach to Coalition Formation. IGTR Krzysztof R. Apt, Andreas Witzel
2009	J	`jnl`	Common Knowledge in Interaction Structures CoRR Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
2009	B	`conf`	Common knowledge in interaction structures. TARK Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
2009	J	`jnl`	Modular Verification of Recursive Programs CoRR Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	—	`conf`	Modular Verification of Recursive Programs. Languages: From Formal to Natural Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	—	`conf`	Optimal strategies in sequential bidding. AAMAS (2) Krzysztof R. Apt, Evangelos Markakis
2009	—	`conf`	Sequential Bidding in the Bailey-Cavallo Mechanism. WINE Krzysztof R. Apt, Evangelos Markakis
2009	B	`conf`	Sequential Pivotal Mechanisms for Public Project Problems. SAGT Krzysztof R. Apt, Arantza Estévez-Fernández
2009	—	`conf`	Strategy Elimination in Games with Interaction Structures. LORI Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
2009	J	`jnl`	Strategy elimination in games with interaction structures CoRR Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
2009	—	`book`	Verification of Sequential and Concurrent Programs. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2008	J	`jnl`	A Distributed Platform for Mechanism Design CoRR Krzysztof R. Apt, Farhad Arbab, Huiye Ma
2008	—	`conf`	A Distributed Platform for Mechanism Design. CIMCA/IAWTIC/ISE Krzysztof R. Apt, Farhad Arbab, Huiye Ma
2008	J	`jnl`	A comparison of the notions of optimality in soft constraints and graphical games CoRR Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable
2008	J	`jnl`	Comparing the notions of optimality in CP-nets, strategic games and soft constraints. Ann. Math. Artif. Intell. Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable
2008	J	`jnl`	Optimal Strategies in Sequential Bidding CoRR Krzysztof R. Apt, Vangelis Markakis
2008	J	`jnl`	Sequential pivotal mechanisms for public project problems CoRR Krzysztof R. Apt, Arantza Estévez-Fernández
2008	J	`jnl`	Welfare Undominated Groves Mechanisms CoRR Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis
2008	—	`conf`	Welfare Undominated Groves Mechanisms. WINE Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis
2007	—	`conf`	A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. CSCLP Krzysztof R. Apt, Francesca Rossi, K. Brent Venable
2007	J	`jnl`	A Generic Approach to Coalition Formation CoRR Krzysztof R. Apt, Andreas Witzel
2007	J	`jnl`	A System for Distributed Mechanisms: Design, Implementation and Applications CoRR Krzysztof R. Apt, Farhad Arbab, Huiye Ma
2007	J	`jnl`	An Analysis of Arithmetic Constraints on Integer Intervals. Constraints An Int. J. Krzysztof R. Apt, Peter Zoeteweij
2007	J	`jnl`	Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets CoRR Krzysztof R. Apt, Jonathan A. Zvesper
2007	J	`jnl`	Comparing the notions of optimality in CP-nets, strategic games and soft constraints CoRR Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable
2007	—	`book`	Constraint logic programming using Eclipse. Krzysztof R. Apt, Mark Wallace
2007	J	`jnl`	Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets CoRR Krzysztof R. Apt
2007	B	`conf`	Epistemic analysis of strategic games with arbitrary strategy sets. TARK Krzysztof R. Apt
2007	J	`jnl`	Relative Strength of Strategy Elimination Procedures CoRR Krzysztof R. Apt
2007	J	`jnl`	Sequential mechanism design CoRR Krzysztof R. Apt, Arantza Estévez-Fernández
2006	J	`jnl`	An Analysis of Arithmetic Constraints on Integer Intervals CoRR Krzysztof R. Apt, Peter Zoeteweij
2006	J	`jnl`	Explaining Constraint Programming CoRR Krzysztof R. Apt
2006	J	`jnl`	Infinite Qualitative Simulations by Means of Constraint Programming CoRR Krzysztof R. Apt, Sebastian Brand
2006	A	`conf`	Infinite Qualitative Simulations by Means of Constraint Programming. CP Krzysztof R. Apt, Sebastian Brand
2006	J	`jnl`	Stable partitions in coalitional games CoRR Krzysztof R. Apt, Tadeusz Radzik
2006	J	`jnl`	The Many Faces of Rationalizability CoRR Krzysztof R. Apt
2005	J	`jnl`	CP-nets and Nash equilibria CoRR Krzysztof R. Apt, Francesca Rossi, K. Brent Venable
2005	J	`jnl`	Constraint-Based Qualitative Simulation CoRR Krzysztof R. Apt, Sebastian Brand
2005	C	`conf`	Constraint-Based Qualitative Simulation. TIME Krzysztof R. Apt, Sebastian Brand
2005	J	`jnl`	Editorial. ACM Trans. Comput. Log. Krzysztof R. Apt
2005	—	`conf`	Explaining Constraint Programming. Processes, Terms and Cycles Krzysztof R. Apt
2005	J	`jnl`	Order Independence and Rationalizability CoRR Krzysztof R. Apt
2005	B	`conf`	Order independence and rationalizability. TARK Krzysztof R. Apt
2005	J	`jnl`	Schedulers and redundancy for a class of constraint propagation rules. Theory Pract. Log. Program. Sebastian Brand, Krzysztof R. Apt
2004	J	`jnl`	A Comparative Study of Arithmetic Constraints on Integer Intervals CoRR Krzysztof R. Apt, Peter Zoeteweij
2004	—	`ed.`	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 CSCLP Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza
2004	J	`jnl`	Schedulers and Redundancy for a Class of Constraint Propagation Rules CoRR Sebastian Brand, Krzysztof R. Apt
2004	J	`jnl`	Uniform Proofs of Order Independence for Various Strategy Elimination Procedures CoRR Krzysztof R. Apt
2003	—	`conf`	A Comparative Study of Arithmetic Constraints on Integer Intervals. CSCLP Krzysztof R. Apt, Peter Zoeteweij
2003	—	`book`	Principles of constraint programming. Krzysztof R. Apt
2003	Misc	`conf`	Schedulers for Rule-Based Constraint Programming. SAC Krzysztof R. Apt, Sebastian Brand
2002	J	`jnl`	Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7. Theory Pract. Log. Program. Krzysztof R. Apt
2002	J	`jnl`	Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius CoRR Krzysztof R. Apt
2002	J	`jnl`	Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. Formal Aspects Comput. Krzysztof R. Apt
2002	B	`conf`	First-Order Logic as a Constraint Programming Language. LPAR Krzysztof R. Apt, C. F. M. Vermeulen
2002	J	`jnl`	First-order Logic as a Constraint Programming Language CoRR Krzysztof R. Apt, C. F. M. Vermeulen
2002	J	`jnl`	Schedulers for Rule-based Constraint Programming CoRR Krzysztof R. Apt, Sebastian Brand
2001	J	`jnl`	Constraint programming viewed as rule-based programming. Theory Pract. Log. Program. Krzysztof R. Apt, Éric Monfroy
2001	J	`jnl`	Editorial. ACM Trans. Comput. Log. Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri
2001	J	`jnl`	One More Revolution to Make: Free Scientific Publishing CoRR Krzysztof R. Apt
2001	J	`jnl`	Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints CoRR Krzysztof R. Apt, Roman Barták, Éric Monfroy, Francesca Rossi, Sebastian Brand
2001	J	`jnl`	The Logic Programming Paradigm and Prolog CoRR Krzysztof R. Apt
2001	J	`jnl`	Viewpoint: One more revolution to make: free scientific publishing. Commun. ACM Krzysztof R. Apt
2000	J	`jnl`	A Denotational Semantics for First-Order Logic CoRR Krzysztof R. Apt
2000	—	`conf`	A Denotational Semantics for First-Order Logic. Computational Logic Krzysztof R. Apt
2000	J	`jnl`	Constraint Programming viewed as Rule-based Programming CoRR Krzysztof R. Apt, Éric Monfroy
2000	—	`ed.`	New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers New Trends in Constraints Krzysztof R. Apt, Antonis C. Kakas, Éric Monfroy, Francesca Rossi
2000	J	`jnl`	Programming in Alma-0, or Imperative and Declarative Programming Reconciled CoRR Krzysztof R. Apt, Andrea Schaerf
2000	J	`jnl`	Some Remarks on Boolean Constraint Propagation CoRR Krzysztof R. Apt
2000	J	`jnl`	The Role of Commutativity in Constraint Propagation Algorithms CoRR Krzysztof R. Apt
2000	J	`jnl`	The role of commutativity in constraint propagation algorithms. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt
1999	J	`jnl`	Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains CoRR Krzysztof R. Apt, Éric Monfroy
1999	A	`conf`	Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CP Krzysztof R. Apt, Éric Monfroy
1999	—	`ch.`	Formulas as Programs. The Logic Programming Paradigm Krzysztof R. Apt, Marc Bezem
1999	—	`conf`	Some Remarks on Boolean Constraint Propagation. New Trends in Constraints Krzysztof R. Apt
1999	J	`jnl`	The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming CoRR Krzysztof R. Apt, Andrea Schaerf
1999	—	`conf`	The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. Correct System Design Krzysztof R. Apt, Andrea Schaerf
1999	J	`jnl`	The Essence of Constraint Propagation. Theor. Comput. Sci. Krzysztof R. Apt
1999	—	`book`	The Logic Programming Paradigm - A 25-Year Perspective The Logic Programming Paradigm Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren
1999	J	`jnl`	The Rough Guide to Constraint Propagation CoRR Krzysztof R. Apt
1999	A	`conf`	The Rough Guide to Constraint Propagation. CP Krzysztof R. Apt
1998	J	`jnl`	A Proof Theoretic View of Constraint Programming CoRR Krzysztof R. Apt
1998	J	`jnl`	A Proof Theoretic View of Constraint Programming. Fundam. Informaticae Krzysztof R. Apt
1998	J	`jnl`	Alma-O: An Imperative Language That Supports Declarative Programming. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf
1998	J	`jnl`	Formulas as Programs CoRR Krzysztof R. Apt, Marc Bezem
1998	—	`conf`	Programming in Alma-0, or Imperative and Declarative Programming Reconciled. FroCoS Krzysztof R. Apt, Andrea Schaerf
1998	J	`jnl`	The Essence of Constraint Propagation CoRR Krzysztof R. Apt
1997	A*	`conf`	From Chaotic Iteration to Constraint Propagation. ICALP Krzysztof R. Apt
1997	—	`book`	From logic programming to Prolog. Krzysztof R. Apt
1997	A*	`conf`	Search and Imperative Programming. POPL Krzysztof R. Apt, Andrea Schaerf
1997	—	`book`	Verification of Sequential and Concurrent Programs, Second Edition. Krzysztof R. Apt, Ernst-Rüdiger Olderog
1996	J	`jnl`	A Closer Look at Declarative Interpretations. J. Log. Program. Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi
1996	J	`jnl`	Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming. Sci. Comput. Program. Krzysztof R. Apt
1996	J	`jnl`	Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. Fundam. Informaticae Krzysztof R. Apt, Rachel Ben-Eliyahu
1995	—	`conf`	Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. GULP-PRODE Krzysztof R. Apt
1995	B	`conf`	Towards Automatic Parallelization of Logic Programs (Abstract). MPC Krzysztof R. Apt
1995	—	`conf`	Verification of Logic Programs with Delay Declarations. AMAST Krzysztof R. Apt, Ingrid Luitjes
1994	J	`jnl`	A Declarative Approach for First-Order Built-in's of Prolog. Appl. Algebra Eng. Commun. Comput. Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
1994	J	`jnl`	A New Definition of SNDNF-Resolution. J. Log. Program. Krzysztof R. Apt, Kees Doets
1994	B	`conf`	Declarative Interpretations Reconsidered. ICLP Krzysztof R. Apt, Maurizio Gabbrielli
1994	J	`jnl`	Logic Programming and Negation: A Survey. J. Log. Program. Krzysztof R. Apt, Roland N. Bol
1994	J	`jnl`	On the Occur-Check-Free Prolog Programs. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt, Alessandro Pellegrini
1994	J	`jnl`	Reasoning About Prolog Programs: From Modes Through Types to Assertions. Formal Aspects Comput. Krzysztof R. Apt, Elena Marchiori
1994	J	`jnl`	The STO-Problem is NP-Hard. J. Symb. Comput. Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling
1993	—	`conf`	Declarative Programming in Prolog. ILPS Krzysztof R. Apt
1993	J	`jnl`	Foreword: Selected Papers of TACS 1991. Sci. Comput. Program. Krzysztof R. Apt, Masami Hagiya
1993	B	`conf`	On the Unification Free Prolog Programs. MFCS Krzysztof R. Apt, Sandro Etalle
1993	—	`ch.`	Program verification and Prolog. Specification and validation methods Krzysztof R. Apt
1993	J	`jnl`	Reasoning about Termination of Pure Prolog Programs Inf. Comput. Krzysztof R. Apt, Dino Pedreschi
1992	—	`conf`	A Theory of First-Order Built-in's of Prolog. ALP Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
1992	—	`ed.`	Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992 JICSLP Krzysztof R. Apt
1992	—	`conf`	Why the Occur-Check is Not a Problem. PLILP Krzysztof R. Apt, Alessandro Pellegrini
1991	J	`jnl`	Acyclic Programs. New Gener. Comput. Krzysztof R. Apt, Marc Bezem
1991	J	`jnl`	An Analysis of Loop Checking Mechanisms for Logic Programs. Theor. Comput. Sci. Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop
1991	J	`jnl`	Arithmetic classification of perfect models of stratified programs. Fundam. Informaticae Krzysztof R. Apt, Howard A. Blair
1991	J	`jnl`	Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View". Inf. Process. Lett. Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
1991	—	`conf`	Proving Termination of General Prolog Programs. TACS Krzysztof R. Apt, Dino Pedreschi
1991	—	`book`	Verification of Sequential and Concurrent Programs Krzysztof R. Apt, Ernst-Rüdiger Olderog
1990	B	`conf`	Acyclic Programs. ICLP Krzysztof R. Apt, Marc Bezem
1990	—	`ch.`	Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) Krzysztof R. Apt
1990	—	`conf`	On the Power of Subsumption and Context Checks. DISCO Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop
1989	—	`conf`	Introduction to Program Verification. Formal Description of Programming Concepts Krzysztof R. Apt, Ernst-Rüdiger Olderog
1989	B	`conf`	On the Safe Termination of PROLOG Programs. ICLP Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop
1989	—	`conf`	Using Transformation to Verify Parallel Programs. Algebraic Methods Ernst-Rüdiger Olderog, Krzysztof R. Apt
1988	J	`jnl`	Appraising Fairness in Languages for Distributed Programming. Distributed Comput. Krzysztof R. Apt, Nissim Francez, Shmuel Katz
1988	—	`conf`	Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP Krzysztof R. Apt, Howard A. Blair
1988	J	`jnl`	Fairness in Parallel Programs: The Transformational Approach. ACM Trans. Program. Lang. Syst. Ernst-Rüdiger Olderog, Krzysztof R. Apt
1988	—	`ch.`	Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. Krzysztof R. Apt, Howard A. Blair, Adrian Walker
1987	A*	`conf`	Appraising Fairness in Languages for Distributed Programming. POPL Krzysztof R. Apt, Nissim Francez, Shmuel Katz
1987	A*	`conf`	Maintenance of Stratified Databases Viewed as a Belief Revision System. PODS Krzysztof R. Apt, Jean-Marc Pugin
1987	J	`jnl`	Two Normal Form Theorems for CSP Programs. Inf. Process. Lett. Krzysztof R. Apt, Luc Bougé, Philippe Clermont
1986	J	`jnl`	Correctness Proofs of Distributed Termination Algorithms. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt
1986	J	`jnl`	Countable nondeterminism and random assignment. J. ACM Krzysztof R. Apt, Gordon D. Plotkin
1986	J	`jnl`	Limits for Automatic Verification of Finite-State Concurrent Systems. Inf. Process. Lett. Krzysztof R. Apt, Dexter Kozen
1986	J	`jnl`	Syntax Directed Analysis of Liveness Properties Inf. Control. Krzysztof R. Apt, Carole Delporte-Gallet
1985	—	`ed.`	Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984 Logics and Models of Concurrent Systems Krzysztof R. Apt
1985	J	`jnl`	Review of Foundations of Logic Programs. J. Log. Program. Krzysztof R. Apt
1984	—	`conf`	Correctness Proofs of Distributed Termination Algorithms. Logics and Models of Concurrent Systems Krzysztof R. Apt
1984	J	`jnl`	Fair Termination Revisited-With Delay. Theor. Comput. Sci. Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi
1984	J	`jnl`	Modeling the Distributed Termination Convention of CSP. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt, Nissim Francez
1984	J	`jnl`	Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism. Theor. Comput. Sci. Krzysztof R. Apt
1984	A	`conf`	Transformations Realizing Fairness Assumptions for Parallel Programs. STACS Krzysztof R. Apt, Ernst-Rüdiger Olderog
1983	—	`conf`	A Static Analysis of CSP Programs. Logic of Programs Krzysztof R. Apt
1983	A*	`conf`	An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). ICALP Krzysztof R. Apt, Carole Delporte
1983	J	`jnl`	Formal Justification of a Proof System for Communicating Sequential Processes J. ACM Krzysztof R. Apt
1983	J	`jnl`	Proof Rules and Transformations Dealing with Fairness. Sci. Comput. Program. Krzysztof R. Apt, Ernst-Rüdiger Olderog
1982	J	`jnl`	Contributions to the Theory of Logic Programming. J. ACM Krzysztof R. Apt, Maarten H. van Emden
1981	A*	`conf`	A Cook's Tour of Countable Nondeterminism. ICALP Krzysztof R. Apt, Gordon D. Plotkin
1981	—	`conf`	Proof Rules Dealing with Fairness. Logic of Programs Krzysztof R. Apt, Ernst-Rüdiger Olderog
1981	J	`jnl`	Recursive Assertions and Parallel Programs. Acta Informatica Krzysztof R. Apt
1981	J	`jnl`	Ten Years of Hoare's Logic: A Survey - Part 1. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt
1980	J	`jnl`	A Proof System for Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt, Nissim Francez, Willem P. de Roever
1980	J	`jnl`	Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes. SIAM J. Comput. Krzysztof R. Apt, Lambert G. L. T. Meertens
1979	J	`jnl`	Recursive Assertions are not enough - or are they? Theor. Comput. Sci. Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens
1977	—	`conf`	Equivalence of Operational and Denotational Semantics for a Fragment of Pascal. Formal Description of Programming Concepts Krzysztof R. Apt
1977	A*	`conf`	Semantics and Proof Theory of Pascal Procedures. ICALP Krzysztof R. Apt, J. W. de Bakker
1976	B	`conf`	Exercises in Denotational Semantics. MFCS Krzysztof R. Apt, J. W. de Bakker
1976	J	`jnl`	Semantics of the Infinitistic Rules of Proof. J. Symb. Log. Krzysztof R. Apt