Krzysztof R. Apt

ORCID

Publication Activity (10 Years)

Years Active: 1976-2023
Publications (10 Years): 27

Top Venues

CoRR

TARK

J. Artif. Intell. Res.

Bull. EATCS

Publications

Krzysztof R. Apt, Sunil Simon
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. TARK (2023)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Nondeterminism and Guarded Commands. CoRR (2023)
Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
Coordination Games on Weighted Directed Graphs. Math. Oper. Res. 47 (2) (2022)
Krzysztof R. Apt, Jan Heering
Characterization of incentive compatible single-parameter mechanisms revisited. CoRR (2022)
Krzysztof R. Apt, Sunil Simon
A tutorial for computer scientists on finite extensive games with perfect information. CoRR (2022)
Krzysztof R. Apt, Tony Hoare
Edsger W. Dijkstra: a Commemoration. CoRR (2021)
Krzysztof R. Apt, Sunil Simon
A tutorial for computer scientists on finite extensive games with perfect information. Bull. EATCS 135 (2021)
Krzysztof R. Apt, Sunil Simon
Well-Founded Extensive Games with Perfect Information. TARK (2021)
Krzysztof R. Apt
Edsger Dijkstra. The Man Who Carried Computer Science on His Shoulders. CoRR (2020)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Fifty years of Hoare's Logic. CoRR (2019)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Fifty years of Hoare's logic. Formal Aspects Comput. 31 (6) (2019)
Krzysztof R. Apt, Ehsan Shoja
Self-Stabilization Through the Lens of Game Theory. CoRR (2019)
Krzysztof R. Apt, Frank S. de Boer
Reasoning about call-by-value: a missing result in the history of Hoare's logic. CoRR (2019)
Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
Coordination Games on Weighted Directed Graphs. CoRR (2019)
Krzysztof R. Apt, Dominik Wojtczak
Open Problems in a Logic of Gossips. TARK (2019)
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
When Are Two Gossips the Same? LPAR (2018)
Krzysztof R. Apt, Dominik Wojtczak
Verification of Distributed Epistemic Gossip Protocols. J. Artif. Intell. Res. 62 (2018)
Krzysztof R. Apt, Ehsan Shoja
Self-stabilization Through the Lens of Game Theory. It's All About Coordination (2018)
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols. CoRR (2018)
Krzysztof R. Apt
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. 17 (3) (2017)
Krzysztof R. Apt, Dominik Wojtczak
Decidability of Fair Termination of Gossip Protocols. LPAR (Short Presentations) (2017)
Krzysztof R. Apt, Dominik Wojtczak
Common Knowledge in a Logic of Gossips. TARK (2017)
Krzysztof R. Apt, Bart de Keijzer, Mona Rahn, Guido Schäfer, Sunil Simon
Coordination games on graphs. Int. J. Game Theory 46 (3) (2017)
Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak
On the Computational Complexity of Gossip Protocols. IJCAI (2017)
Krzysztof R. Apt, Evangelos Markakis, Sunil Simon
Paradoxes in social networks with multiple products. Synth. 193 (3) (2016)
Krzysztof R. Apt, Dominik Wojtczak
On Decidability of a Logic of Gossips. JELIA (2016)
Krzysztof R. Apt
Program Verification: To Err is Human. Theory and Practice of Formal Methods (2016)
Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon
Coordination Games on Graphs. CoRR (2015)
Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
Coordination Games on Directed Graphs. TARK (2015)
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
Epistemic Protocols for Distributed Gossiping. TARK (2015)
Sunil Simon, Krzysztof R. Apt
Social network games. J. Log. Comput. 25 (1) (2015)
Krzysztof R. Apt, Guido Schäfer
Selfishness Level of Strategic Games. J. Artif. Intell. Res. 49 (2014)
Krzysztof R. Apt, Evangelos Markakis
Social Networks with Competing Products. Fundam. Informaticae 129 (3) (2014)
Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon
Coordination Games on Graphs (Extended Abstract). WINE (2014)
Bart de Keijzer, Krzysztof R. Apt
The H-index can be Easily Manipulated. Bull. EATCS 110 (2013)
Krzysztof R. Apt, Evangelos Markakis, Sunil Simon
Paradoxes in Social Networks with Multiple Products CoRR (2013)
Krzysztof R. Apt, Sunil Simon
Social Network Games with Obligatory Product Selection GandALF (2013)
Bart de Keijzer, Krzysztof R. Apt
The H-index can be easily manipulated CoRR (2013)
Floor Sietsma, Krzysztof R. Apt
Common Knowledge in Email Exchanges. ACM Trans. Comput. Log. 14 (3) (2013)
Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer
Undominated Groves Mechanisms. J. Artif. Intell. Res. 46 (2013)
Sunil Simon, Krzysztof R. Apt
Choosing Products in Social Networks. WINE (2012)
Krzysztof R. Apt, Guido Schäfer
Selfishness Level of Strategic Games. SAGT (2012)
Krzysztof R. Apt
Two Three Pages Papers. Logic and Program Semantics (2012)
Krzysztof R. Apt, Sunil Simon
A Classification of Weakly Acyclic Games. SAGT (2012)
Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer
Undominated Groves Mechanisms CoRR (2012)
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
Distributed iterated elimination of strictly dominated strategies. Auton. Agents Multi Agent Syst. 25 (2) (2012)
Krzysztof R. Apt, Evangelos Markakis
Social Networks with Competing Products CoRR (2012)
Krzysztof R. Apt, Sunil Simon
A Classification of Weakly Acyclic Games CoRR (2012)
Sunil Simon, Krzysztof R. Apt
Choosing Products in Social Networks CoRR (2012)
Sunil Simon, Krzysztof R. Apt
Social Network Games CoRR (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) (2012)
Krzysztof R. Apt
by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp. Theory Pract. Log. Program. 12 (3) (2012)
Krzysztof R. Apt
A Primer on Strategic Games CoRR (2011)
Krzysztof R. Apt, Evangelos Markakis
Diffusion in Social Networks with Competing Products. SAGT (2011)
Floor Sietsma, Krzysztof R. Apt
Common Knowledge in Email Exchanges CoRR (2011)
Krzysztof R. Apt, Guido Schäfer
Selfishness Level of Strategic Games CoRR (2011)
Krzysztof R. Apt, Evangelos Markakis
Diffusion in Social Networks with Competing Products CoRR (2011)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Verification of Object-Oriented Programs: a Transformational Approach CoRR (2010)
Krzysztof R. Apt, Jonathan A. Zvesper
The Role of Monotonicity in the Epistemic Analysis of Strategic Games. Games 1 (4) (2010)
Krzysztof R. Apt, Jonathan A. Zvesper
The Role of Monotonicity in the Epistemic Analysis of Strategic Games CoRR (2010)
Jonathan A. Zvesper, Krzysztof R. Apt
Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets CoRR (2010)
Krzysztof R. Apt
Direct Proofs of Order Independence CoRR (2010)
Krzysztof R. Apt, Jonathan A. Zvesper
Public Announcements in Strategic Games with Arbitrary Strategy Sets CoRR (2010)
Jonathan A. Zvesper, Krzysztof R. Apt
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CLIMA (2010)
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
Common Knowledge in Interaction Structures CoRR (2009)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Modular Verification of Recursive Programs. Languages: From Formal to Natural (2009)
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
Strategy elimination in games with interaction structures CoRR (2009)
Krzysztof R. Apt, Andreas Witzel
A Generic Approach to Coalition Formation. IGTR 11 (3) (2009)
Krzysztof R. Apt, Evangelos Markakis
Sequential Bidding in the Bailey-Cavallo Mechanism. WINE (2009)
Krzysztof R. Apt, Evangelos Markakis
Optimal strategies in sequential bidding. AAMAS (2) (2009)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Modular Verification of Recursive Programs CoRR (2009)
Krzysztof R. Apt, Arantza Estévez-Fernández
Sequential Pivotal Mechanisms for Public Project Problems. SAGT (2009)
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
Strategy Elimination in Games with Interaction Structures. LORI (2009)
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
Common knowledge in interaction structures. TARK (2009)
Krzysztof R. Apt, Farhad Arbab, Huiye Ma
A Distributed Platform for Mechanism Design CoRR (2008)
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) (2008)
Krzysztof R. Apt, Vangelis Markakis
Optimal Strategies in Sequential Bidding CoRR (2008)
Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable
A comparison of the notions of optimality in soft constraints and graphical games CoRR (2008)
Krzysztof R. Apt, Arantza Estévez-Fernández
Sequential pivotal mechanisms for public project problems CoRR (2008)
Krzysztof R. Apt, Farhad Arbab, Huiye Ma
A Distributed Platform for Mechanism Design. CIMCA/IAWTIC/ISE (2008)
Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis
Welfare Undominated Groves Mechanisms CoRR (2008)
Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis
Welfare Undominated Groves Mechanisms. WINE (2008)
Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games. CSCLP (2007)
Krzysztof R. Apt
Epistemic analysis of strategic games with arbitrary strategy sets. TARK (2007)
Krzysztof R. Apt
Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets CoRR (2007)
Krzysztof R. Apt
Relative Strength of Strategy Elimination Procedures CoRR (2007)
Krzysztof R. Apt, Jonathan A. Zvesper
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets CoRR (2007)
Krzysztof R. Apt, Farhad Arbab, Huiye Ma
A System for Distributed Mechanisms: Design, Implementation and Applications CoRR (2007)
Krzysztof R. Apt, Peter Zoeteweij
An Analysis of Arithmetic Constraints on Integer Intervals. Constraints An Int. J. 12 (4) (2007)
Krzysztof R. Apt, Andreas Witzel
A Generic Approach to Coalition Formation CoRR (2007)
Krzysztof R. Apt, Arantza Estévez-Fernández
Sequential mechanism design CoRR (2007)
Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable
Comparing the notions of optimality in CP-nets, strategic games and soft constraints CoRR (2007)
Krzysztof R. Apt, Tadeusz Radzik
Stable partitions in coalitional games CoRR (2006)
Krzysztof R. Apt, Sebastian Brand
Infinite Qualitative Simulations by Means of Constraint Programming CoRR (2006)
Krzysztof R. Apt
The Many Faces of Rationalizability CoRR (2006)
Krzysztof R. Apt, Peter Zoeteweij
An Analysis of Arithmetic Constraints on Integer Intervals CoRR (2006)
Krzysztof R. Apt
Explaining Constraint Programming CoRR (2006)
Krzysztof R. Apt, Sebastian Brand
Infinite Qualitative Simulations by Means of Constraint Programming. CP (2006)
Krzysztof R. Apt
Explaining Constraint Programming. Processes, Terms and Cycles (2005)
Sebastian Brand, Krzysztof R. Apt
Schedulers and redundancy for a class of constraint propagation rules. Theory Pract. Log. Program. 5 (4-5) (2005)

Krzysztof R. Apt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Krzysztof R. Apt