Krzysztof R. Apt

According to our database, Krzysztof R. Apt authored at least 169 papers between 1976 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Nondeterminism and Guarded Commands.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

CoRR, 2023

Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games.

Krzysztof R. Apt, Sunil Simon

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

2022

Coordination Games on Weighted Directed Graphs.

Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak

Math. Oper. Res., 2022

Characterization of incentive compatible single-parameter mechanisms revisited.

Krzysztof R. Apt, Jan Heering

CoRR, 2022

Nondeterminism and Guarded Commands.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Edsger W. Dijkstra: Biographical Information.

Krzysztof R. Apt

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders.

Krzysztof R. Apt

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021

A tutorial for computer scientists on finite extensive games with perfect information.

Krzysztof R. Apt, Sunil Simon

Bull. EATCS, 2021

Well-Founded Extensive Games with Perfect Information.

Krzysztof R. Apt, Sunil Simon

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Edsger W. Dijkstra: a Commemoration.

Krzysztof R. Apt, Tony Hoare

CoRR, 2021

Assessing the Success and Impact of Hoare's Logic.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2020

Edsger Dijkstra. The Man Who Carried Computer Science on His Shoulders.

Krzysztof R. Apt

CoRR, 2020

2019

Fifty years of Hoare's logic.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Formal Aspects Comput., 2019

Reasoning about call-by-value: a missing result in the history of Hoare's logic.

Krzysztof R. Apt, Frank S. de Boer

CoRR, 2019

Open Problems in a Logic of Gossips.

Krzysztof R. Apt, Dominik Wojtczak

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

2018

Verification of Distributed Epistemic Gossip Protocols.

Krzysztof R. Apt, Dominik Wojtczak

J. Artif. Intell. Res., 2018

When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols.

Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek

CoRR, 2018

When Are Two Gossips the Same?

Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Self-stabilization Through the Lens of Game Theory.

Krzysztof R. Apt, Ehsan Shoja

Proceedings of the It's All About Coordination, 2018

2017

Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages.

Krzysztof R. Apt

Theory Pract. Log. Program., 2017

Coordination games on graphs.

Krzysztof R. Apt, Bart de Keijzer, Mona Rahn, Guido Schäfer, Sunil Simon

Int. J. Game Theory, 2017

Common Knowledge in a Logic of Gossips.

Krzysztof R. Apt, Dominik Wojtczak

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Decidability of Fair Termination of Gossip Protocols.

Krzysztof R. Apt, Dominik Wojtczak

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

On the Computational Complexity of Gossip Protocols.

Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Paradoxes in social networks with multiple products.

Krzysztof R. Apt, Evangelos Markakis, Sunil Simon

Synth., 2016

On Decidability of a Logic of Gossips.

Krzysztof R. Apt, Dominik Wojtczak

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Program Verification: To Err is Human.

Krzysztof R. Apt

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Social network games.

Sunil Simon, Krzysztof R. Apt

J. Log. Comput., 2015

Coordination Games on Directed Graphs.

Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Coordination Games on Graphs.

Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon

CoRR, 2015

Epistemic Protocols for Distributed Gossiping.

Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

2014

Selfishness Level of Strategic Games.

Krzysztof R. Apt, Guido Schäfer

J. Artif. Intell. Res., 2014

Social Networks with Competing Products.

Krzysztof R. Apt, Evangelos Markakis

Fundam. Informaticae, 2014

Coordination Games on Graphs (Extended Abstract).

Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon

Proceedings of the Web and Internet Economics - 10th International Conference, 2014

2013

Common Knowledge in Email Exchanges.

Floor Sietsma, Krzysztof R. Apt

ACM Trans. Comput. Log., 2013

Undominated Groves Mechanisms.

Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer

J. Artif. Intell. Res., 2013

The H-index can be Easily Manipulated.

Bart de Keijzer, Krzysztof R. Apt

Bull. EATCS, 2013

Social Network Games with Obligatory Product Selection

Krzysztof R. Apt, Sunil Simon

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

2012

<i>Logic: A Brief Course</i> by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp.

Krzysztof R. Apt

Theory Pract. Log. Program., 2012

Verification of object-oriented programs: A transformational approach.

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw

J. Comput. Syst. Sci., 2012

Distributed iterated elimination of strictly dominated strategies.

Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper

Auton. Agents Multi Agent Syst., 2012

Choosing Products in Social Networks.

Sunil Simon, Krzysztof R. Apt

Proceedings of the Internet and Network Economics - 8th International Workshop, 2012

A Classification of Weakly Acyclic Games.

Krzysztof R. Apt, Sunil Simon

Proceedings of the Algorithmic Game Theory - 5th International Symposium, 2012

Two Three Pages Papers.

Krzysztof R. Apt

Proceedings of the Logic and Program Semantics, 2012

2011

A Primer on Strategic Games

Krzysztof R. Apt

CoRR, 2011

Diffusion in Social Networks with Competing Products.

Krzysztof R. Apt, Evangelos Markakis

Proceedings of the Algorithmic Game Theory, 4th International Symposium, 2011

A primer on strategic games.

Krzysztof R. Apt

Proceedings of the Lectures in Game Theory for Computer Scientists., 2011

2010

The Role of Monotonicity in the Epistemic Analysis of Strategic Games.

Krzysztof R. Apt, Jonathan A. Zvesper

Games, 2010

Public Announcements in Strategic Games with Arbitrary Strategy Sets

Krzysztof R. Apt, Jonathan A. Zvesper

CoRR, 2010

Direct Proofs of Order Independence

Krzysztof R. Apt

CoRR, 2010

Verification of Object-Oriented Programs: a Transformational Approach

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

CoRR, 2010

Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets.

Jonathan A. Zvesper, Krzysztof R. Apt

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Verification of Sequential and Concurrent Programs.

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Texts in Computer Science, Springer, ISBN: 978-1-84882-745-5, 2009

A Generic Approach to Coalition Formation.

Krzysztof R. Apt, Andreas Witzel

IGTR, 2009

Sequential Bidding in the Bailey-Cavallo Mechanism.

Krzysztof R. Apt, Evangelos Markakis

Proceedings of the Internet and Network Economics, 5th International Workshop, 2009

Common knowledge in interaction structures.

Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Sequential Pivotal Mechanisms for Public Project Problems.

Krzysztof R. Apt, Arantza Estévez-Fernández

Proceedings of the Algorithmic Game Theory, Second International Symposium, 2009

Strategy Elimination in Games with Interaction Structures.

Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Modular Verification of Recursive Programs.

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Proceedings of the Languages: From Formal to Natural, 2009

Optimal strategies in sequential bidding.

Krzysztof R. Apt, Evangelos Markakis

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Comparing the notions of optimality in CP-nets, strategic games and soft constraints.

Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable

Ann. Math. Artif. Intell., 2008

Welfare Undominated Groves Mechanisms.

Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis

Proceedings of the Internet and Network Economics, 4th International Workshop, 2008

A Distributed Platform for Mechanism Design.

Krzysztof R. Apt, Farhad Arbab, Huiye Ma

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

2007

A System for Distributed Mechanisms: Design, Implementation and Applications

Krzysztof R. Apt, Farhad Arbab, Huiye Ma

CoRR, 2007

Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets

Krzysztof R. Apt, Jonathan A. Zvesper

CoRR, 2007

Relative Strength of Strategy Elimination Procedures

Krzysztof R. Apt

CoRR, 2007

Sequential mechanism design

Krzysztof R. Apt, Arantza Estévez-Fernández

CoRR, 2007

An Analysis of Arithmetic Constraints on Integer Intervals.

Krzysztof R. Apt, Peter Zoeteweij

Constraints An Int. J., 2007

Epistemic analysis of strategic games with arbitrary strategy sets.

Krzysztof R. Apt

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games.

Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable

Proceedings of the Recent Advances in Constraints, 2007

Constraint logic programming using Eclipse.

Krzysztof R. Apt, Mark Wallace

Cambridge University Press, ISBN: 978-0-521-86628-6, 2007

2006

The Many Faces of Rationalizability

Krzysztof R. Apt

CoRR, 2006

Stable partitions in coalitional games

Krzysztof R. Apt, Tadeusz Radzik

CoRR, 2006

Infinite Qualitative Simulations by Means of Constraint Programming.

Krzysztof R. Apt, Sebastian Brand

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Schedulers and redundancy for a class of constraint propagation rules.

Sebastian Brand, Krzysztof R. Apt

Theory Pract. Log. Program., 2005

Editorial.

Krzysztof R. Apt

ACM Trans. Comput. Log., 2005

CP-nets and Nash equilibria

Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable

CoRR, 2005

Constraint-Based Qualitative Simulation.

Krzysztof R. Apt, Sebastian Brand

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Order independence and rationalizability.

Krzysztof R. Apt

Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

Explaining Constraint Programming.

Krzysztof R. Apt

Proceedings of the Processes, 2005

2004

Uniform Proofs of Order Independence for Various Strategy Elimination Procedures

Krzysztof R. Apt

CoRR, 2004

2003

Schedulers for Rule-Based Constraint Programming.

Krzysztof R. Apt, Sebastian Brand

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

A Comparative Study of Arithmetic Constraints on Integer Intervals.

Krzysztof R. Apt, Peter Zoeteweij

Proceedings of the Recent Advances in Constraints, 2003

Principles of constraint programming.

Krzysztof R. Apt

Cambridge University Press, ISBN: 978-0-521-82583-2, 2003

2002

Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7.

Krzysztof R. Apt

Theory Pract. Log. Program., 2002

Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius.

Krzysztof R. Apt

Formal Aspects Comput., 2002

First-Order Logic as a Constraint Programming Language.

Krzysztof R. Apt, C. F. M. Vermeulen

Proceedings of the Logic for Programming, 2002

2001

Constraint programming viewed as rule-based programming.

Krzysztof R. Apt, Éric Monfroy

Theory Pract. Log. Program., 2001

Editorial.

Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri

ACM Trans. Comput. Log., 2001

The Logic Programming Paradigm and Prolog

Krzysztof R. Apt

CoRR, 2001

One More Revolution to Make: Free Scientific Publishing

Krzysztof R. Apt

CoRR, 2001

Viewpoint: One more revolution to make: free scientific publishing.

Krzysztof R. Apt

Commun. ACM, 2001

2000

The role of commutativity in constraint propagation algorithms.

Krzysztof R. Apt

ACM Trans. Program. Lang. Syst., 2000

A Denotational Semantics for First-Order Logic.

Krzysztof R. Apt

Proceedings of the Computational Logic, 2000

1999

The Essence of Constraint Propagation.

Krzysztof R. Apt

Theor. Comput. Sci., 1999

Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.

Krzysztof R. Apt, Éric Monfroy

Proceedings of the Principles and Practice of Constraint Programming, 1999

The Rough Guide to Constraint Propagation.

Krzysztof R. Apt

Proceedings of the Principles and Practice of Constraint Programming, 1999

Some Remarks on Boolean Constraint Propagation.

Krzysztof R. Apt

Proceedings of the New Trends in Contraints, 1999

The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming.

Krzysztof R. Apt, Andrea Schaerf

Proceedings of the Correct System Design, 1999

Formulas as Programs.

Krzysztof R. Apt, Marc Bezem

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Alma-O: An Imperative Language That Supports Declarative Programming.

Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf

ACM Trans. Program. Lang. Syst., 1998

A Proof Theoretic View of Constraint Programming.

Krzysztof R. Apt

Fundam. Informaticae, 1998

Formulas as Programs

Krzysztof R. Apt, Marc Bezem

CoRR, 1998

Programming in Alma-0, or Imperative and Declarative Programming Reconciled.

Krzysztof R. Apt, Andrea Schaerf

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1997

Verification of Sequential and Concurrent Programs, Second Edition.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4757-2714-2, 1997

Search and Imperative Programming.

Krzysztof R. Apt, Andrea Schaerf

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

From Chaotic Iteration to Constraint Propagation.

Krzysztof R. Apt

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

From logic programming to Prolog.

Krzysztof R. Apt

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-230368-2, 1997

1996

Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming.

Krzysztof R. Apt

Sci. Comput. Program., 1996

A Closer Look at Declarative Interpretations.

Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi

J. Log. Program., 1996

Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax.

Krzysztof R. Apt, Rachel Ben-Eliyahu

Fundam. Informaticae, 1996

1995

Towards Automatic Parallelization of Logic Programs (Abstract).

Krzysztof R. Apt

Proceedings of the Mathematics of Program Construction, 1995

Verification of Logic Programs with Delay Declarations.

Krzysztof R. Apt, Ingrid Luitjes

Proceedings of the Algebraic Methodology and Software Technology, 1995

Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming.

Krzysztof R. Apt

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

On the Occur-Check-Free Prolog Programs.

Krzysztof R. Apt, Alessandro Pellegrini

ACM Trans. Program. Lang. Syst., 1994

The STO-Problem is NP-Hard.

Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling

J. Symb. Comput., 1994

A New Definition of SNDNF-Resolution.

Krzysztof R. Apt, Kees Doets

J. Log. Program., 1994

Logic Programming and Negation: A Survey.

Krzysztof R. Apt, Roland N. Bol

J. Log. Program., 1994

Reasoning About Prolog Programs: From Modes Through Types to Assertions.

Krzysztof R. Apt, Elena Marchiori

Formal Aspects Comput., 1994

A Declarative Approach for First-Order Built-in's of Prolog.

Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi

Appl. Algebra Eng. Commun. Comput., 1994

Declarative Interpretations Reconsidered.

Krzysztof R. Apt, Maurizio Gabbrielli

Proceedings of the Logic Programming, 1994

1993

Reasoning about Termination of Pure Prolog Programs

Krzysztof R. Apt, Dino Pedreschi

Inf. Comput., September, 1993

Foreword: Selected Papers of TACS 1991.

Krzysztof R. Apt, Masami Hagiya

Sci. Comput. Program., 1993

Declarative Programming in Prolog.

Krzysztof R. Apt

Proceedings of the Logic Programming, 1993

On the Unification Free Prolog Programs.

Krzysztof R. Apt, Sandro Etalle

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Program verification and Prolog.

Krzysztof R. Apt

Proceedings of the Specification and validation methods, 1993

1992

Why the Occur-Check is Not a Problem.

Krzysztof R. Apt, Alessandro Pellegrini

Proceedings of the Programming Language Implementation and Logic Programming, 1992

A Theory of First-Order Built-in's of Prolog.

Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi

Proceedings of the Algebraic and Logic Programming, 1992

1991

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4757-4376-0, 1991

An Analysis of Loop Checking Mechanisms for Logic Programs.

Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop

Theor. Comput. Sci., 1991

Acyclic Programs.

Krzysztof R. Apt, Marc Bezem

New Gener. Comput., 1991

Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider

Inf. Process. Lett., 1991

Arithmetic classification of perfect models of stratified programs.

Krzysztof R. Apt, Howard A. Blair

Fundam. Informaticae, 1991

Proving Termination of General Prolog Programs.

Krzysztof R. Apt, Dino Pedreschi

Proceedings of the Theoretical Aspects of Computer Software, 1991

1990

On the Power of Subsumption and Context Checks.

Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

Logic Programming.

Krzysztof R. Apt

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

Introduction to Program Verification.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Proceedings of the Formal Description of Programming Concepts, 1989

On the Safe Termination of PROLOG Programs.

Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop

Proceedings of the Logic Programming, 1989

Using Transformation to Verify Parallel Programs.

Ernst-Rüdiger Olderog, Krzysztof R. Apt

Proceedings of the Algebraic Methods II: Theory, 1989

1988

Fairness in Parallel Programs: The Transformational Approach.

Ernst-Rüdiger Olderog, Krzysztof R. Apt

ACM Trans. Program. Lang. Syst., 1988

Appraising Fairness in Languages for Distributed Programming.

Krzysztof R. Apt, Nissim Francez, Shmuel Katz

Distributed Comput., 1988

Towards a Theory of Declarative Knowledge.

Krzysztof R. Apt, Howard A. Blair, Adrian Walker

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Two Normal Form Theorems for CSP Programs.

Krzysztof R. Apt, Luc Bougé, Philippe Clermont

Inf. Process. Lett., 1987

Maintenance of Stratified Databases Viewed as a Belief Revision System.

Krzysztof R. Apt, Jean-Marc Pugin

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986

Correctness Proofs of Distributed Termination Algorithms.

Krzysztof R. Apt

ACM Trans. Program. Lang. Syst., 1986

Countable nondeterminism and random assignment.

Krzysztof R. Apt, Gordon D. Plotkin

J. ACM, 1986

Limits for Automatic Verification of Finite-State Concurrent Systems.

Krzysztof R. Apt, Dexter Kozen

Inf. Process. Lett., 1986

Syntax Directed Analysis of Liveness Properties

Krzysztof R. Apt, Carole Delporte-Gallet

Inf. Control., 1986

1985

Review of Foundations of Logic Programs.

Krzysztof R. Apt

J. Log. Program., 1985

1984

Modeling the Distributed Termination Convention of CSP.

Krzysztof R. Apt, Nissim Francez

ACM Trans. Program. Lang. Syst., 1984

Fair Termination Revisited-With Delay.

Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi

Theor. Comput. Sci., 1984

Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism.

Krzysztof R. Apt

Theor. Comput. Sci., 1984

Transformations Realizing Fairness Assumptions for Parallel Programs.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Proceedings of the STACS 84, 1984

1983

Formal Justification of a Proof System for Communicating Sequential Processes

Krzysztof R. Apt

J. ACM, January, 1983

Proof Rules and Transformations Dealing with Fairness.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Sci. Comput. Program., 1983

A Static Analysis of CSP Programs.

Krzysztof R. Apt

Proceedings of the Logics of Programs, 1983

An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract).

Krzysztof R. Apt, Carole Delporte

Proceedings of the Automata, 1983

1982

Contributions to the Theory of Logic Programming.

Krzysztof R. Apt, Maarten H. van Emden

J. ACM, 1982

1981

Ten Years of Hoare's Logic: A Survey - Part 1.

Krzysztof R. Apt

ACM Trans. Program. Lang. Syst., 1981

Recursive Assertions and Parallel Programs.

Krzysztof R. Apt

Acta Informatica, 1981

Proof Rules Dealing with Fairness.

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

A Cook's Tour of Countable Nondeterminism.

Krzysztof R. Apt, Gordon D. Plotkin

Proceedings of the Automata, 1981

1980

A Proof System for Communicating Sequential Processes.

Krzysztof R. Apt, Nissim Francez, Willem P. de Roever

ACM Trans. Program. Lang. Syst., 1980

Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes.

Krzysztof R. Apt, Lambert G. L. T. Meertens

SIAM J. Comput., 1980

1979

Recursive Assertions are not enough - or are they?

Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens

Theor. Comput. Sci., 1979

1977

Equivalence of Operational and Denotational Semantics for a Fragment of Pascal.

Krzysztof R. Apt

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

Semantics and Proof Theory of Pascal Procedures.

Krzysztof R. Apt, J. W. de Bakker

Proceedings of the Automata, 1977

1976

Semantics of the Infinitistic Rules of Proof.

Krzysztof R. Apt

J. Symb. Log., 1976

Exercises in Denotational Semantics.

Krzysztof R. Apt, J. W. de Bakker

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976