| 2018 | LPAR | When Are Two Gossips the Same? | Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek |
| 2017 | IJCAI | On the Computational Complexity of Gossip Protocols. | Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak |
| 2017 | LPAR | Decidability of Fair Termination of Gossip Protocols. | Krzysztof R. Apt, Dominik Wojtczak |
| 2016 | JELIA | On Decidability of a Logic of Gossips. | Krzysztof R. Apt, Dominik Wojtczak |
| 2012 | SAGT | A Classification of Weakly Acyclic Games. | Krzysztof R. Apt, Sunil Simon |
| 2012 | SAGT | Selfishness Level of Strategic Games. | Krzysztof R. Apt, Guido Schfer |
| 2011 | SAGT | Diffusion in Social Networks with Competing Products. | Krzysztof R. Apt, Evangelos Markakis |
| 2009 | SAGT | Sequential Pivotal Mechanisms for Public Project Problems. | Krzysztof R. Apt, Arantza Estvez-Fernndez |
| 2009 | TARK | Common knowledge in interaction structures. | Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper |
| 2007 | TARK | Epistemic analysis of strategic games with arbitrary strategy sets. | Krzysztof R. Apt |
| 2006 | CP | Infinite Qualitative Simulations by Means of Constraint Programming. | Krzysztof R. Apt, Sebastian Brand |
| 2005 | TARK | Order independence and rationalizability. | Krzysztof R. Apt |
| 2005 | TIME | Constraint-Based Qualitative Simulation. | Krzysztof R. Apt, Sebastian Brand |
| 2003 | SAC | Schedulers for Rule-Based Constraint Programming. | Krzysztof R. Apt, Sebastian Brand |
| 2002 | LPAR | First-Order Logic as a Constraint Programming Language. | Krzysztof R. Apt, C. F. M. Vermeulen |
| 1999 | CP | The Rough Guide to Constraint Propagation. | Krzysztof R. Apt |
| 1999 | CP | Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. | Krzysztof R. Apt, ric Monfroy |
| 1997 | ICALP | From Chaotic Iteration to Constraint Propagation. | Krzysztof R. Apt |
| 1997 | POPL | Search and Imperative Programming. | Krzysztof R. Apt, Andrea Schaerf |
| 1995 | MPC | Towards Automatic Parallelization of Logic Programs (Abstract). | Krzysztof R. Apt |
| 1994 | ICLP | Declarative Interpretations Reconsidered. | Krzysztof R. Apt, Maurizio Gabbrielli |
| 1993 | MFCS | On the Unification Free Prolog Programs. | Krzysztof R. Apt, Sandro Etalle |
| 1990 | ICLP | Acyclic Programs. | Krzysztof R. Apt, Marc Bezem |
| 1989 | ICLP | On the Safe Termination of PROLOG Programs. | Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |
| 1988 | ICLP | Arithmetic Classification of Perfect Models of Stratified Programs. | Krzysztof R. Apt, Howard A. Blair |
| 1987 | PODS | Maintenance of Stratified Databases Viewed as a Belief Revision System. | Krzysztof R. Apt, Jean-Marc Pugin |
| 1987 | POPL | Appraising Fairness in Languages for Distributed Programming. | Krzysztof R. Apt, Nissim Francez, Shmuel Katz |
| 1984 | STACS | Transformations Realizing Fairness Assumptions for Parallel Programs. | Krzysztof R. Apt, Ernst-Rdiger Olderog |
| 1983 | ICALP | An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). | Krzysztof R. Apt, Carole Delporte |
| 1981 | ICALP | A Cook's Tour of Countable Nondeterminism. | Krzysztof R. Apt, Gordon D. Plotkin |
| 1977 | ICALP | Semantics and Proof Theory of Pascal Procedures. | Krzysztof R. Apt, J. W. de Bakker |
| 1976 | MFCS | Exercises in Denotational Semantics. | Krzysztof R. Apt, J. W. de Bakker |