


default search action
Krzysztof R. Apt
Person information
- affiliation: Centrum Wiskunde & Informatica (CWI)
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [c72]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Three Ways of Proving Termination of Loops. The Combined Power of Research, Education, and Dissemination 2025: 280-301 - 2023
- [c71]Krzysztof R. Apt, Sunil Simon:
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. TARK 2023: 16-30 - [i70]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Nondeterminism and Guarded Commands. CoRR abs/2310.09004 (2023) - 2022
- [j66]Krzysztof R. Apt
, Sunil Simon
, Dominik Wojtczak:
Coordination Games on Weighted Directed Graphs. Math. Oper. Res. 47(2): 995-1025 (2022) - [p9]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Nondeterminism and Guarded Commands. Edsger Wybe Dijkstra 2022: 169-204 - [p8]Krzysztof R. Apt:
Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders. Edsger Wybe Dijkstra 2022: 373-398 - [p7]Krzysztof R. Apt:
Edsger W. Dijkstra: Biographical Information. Edsger Wybe Dijkstra 2022: 521-530 - [e8]Krzysztof R. Apt, Tony Hoare:
Edsger Wybe Dijkstra: His Life, Work, and Legacy. ACM Books 45, ACM / Morgan & Claypool 2022, ISBN 978-1-4503-9773-5 [contents] - [i69]Krzysztof R. Apt, Sunil Simon:
A tutorial for computer scientists on finite extensive games with perfect information. CoRR abs/2204.08740 (2022) - [i68]Krzysztof R. Apt, Jan Heering:
Characterization of incentive compatible single-parameter mechanisms revisited. CoRR abs/2212.02344 (2022) - 2021
- [j65]Krzysztof R. Apt, Sunil Simon:
A tutorial for computer scientists on finite extensive games with perfect information. Bull. EATCS 135 (2021) - [c70]Krzysztof R. Apt, Sunil Simon:
Well-Founded Extensive Games with Perfect Information. TARK 2021: 7-21 - [p6]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Assessing the Success and Impact of Hoare's Logic. Theories of Programming 2021: 41-76 - [i67]Krzysztof R. Apt, Tony Hoare:
Edsger W. Dijkstra: a Commemoration. CoRR abs/2104.03392 (2021) - 2020
- [i66]Krzysztof R. Apt:
Edsger Dijkstra. The Man Who Carried Computer Science on His Shoulders. CoRR abs/2010.00506 (2020)
2010 – 2019
- 2019
- [j64]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Fifty years of Hoare's logic. Formal Aspects Comput. 31(6): 751-807 (2019) - [c69]Krzysztof R. Apt, Dominik Wojtczak
:
Open Problems in a Logic of Gossips. TARK 2019: 1-18 - [i65]Krzysztof R. Apt, Ehsan Shoja:
Self-Stabilization Through the Lens of Game Theory. CoRR abs/1901.04709 (2019) - [i64]Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Fifty years of Hoare's Logic. CoRR abs/1904.03917 (2019) - [i63]Krzysztof R. Apt, Frank S. de Boer:
Reasoning about call-by-value: a missing result in the history of Hoare's logic. CoRR abs/1909.06215 (2019) - [i62]Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak:
Coordination Games on Weighted Directed Graphs. CoRR abs/1910.02693 (2019) - 2018
- [j63]Krzysztof R. Apt, Dominik Wojtczak
:
Verification of Distributed Epistemic Gossip Protocols. J. Artif. Intell. Res. 62: 101-132 (2018) - [c68]Krzysztof R. Apt, Ehsan Shoja
:
Self-stabilization Through the Lens of Game Theory. It's All About Coordination 2018: 21-37 - [c67]Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
:
When Are Two Gossips the Same? LPAR 2018: 36-55 - [i61]Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek:
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols. CoRR abs/1807.05283 (2018) - 2017
- [j62]Krzysztof R. Apt, Bart de Keijzer, Mona Rahn, Guido Schäfer, Sunil Simon:
Coordination games on graphs. Int. J. Game Theory 46(3): 851-877 (2017) - [j61]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): 353-358 (2017) - [c66]Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak
:
On the Computational Complexity of Gossip Protocols. IJCAI 2017: 765-771 - [c65]Krzysztof R. Apt, Dominik Wojtczak:
Decidability of Fair Termination of Gossip Protocols. LPAR (Short Presentations) 2017: 73-85 - [c64]Krzysztof R. Apt, Dominik Wojtczak
:
Common Knowledge in a Logic of Gossips. TARK 2017: 10-27 - 2016
- [j60]Krzysztof R. Apt, Evangelos Markakis, Sunil Simon:
Paradoxes in social networks with multiple products. Synth. 193(3): 663-687 (2016) - [c63]Krzysztof R. Apt:
Program Verification: To Err is Human. Theory and Practice of Formal Methods 2016: 3-5 - [c62]Krzysztof R. Apt, Dominik Wojtczak
:
On Decidability of a Logic of Gossips. JELIA 2016: 18-33 - 2015
- [j59]Sunil Simon, Krzysztof R. Apt:
Social network games. J. Log. Comput. 25(1): 207-242 (2015) - [c61]Krzysztof R. Apt, Davide Grossi
, Wiebe van der Hoek
:
Epistemic Protocols for Distributed Gossiping. TARK 2015: 51-66 - [c60]Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
:
Coordination Games on Directed Graphs. TARK 2015: 67-80 - [i60]Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon:
Coordination Games on Graphs. CoRR abs/1501.07388 (2015) - 2014
- [j58]Krzysztof R. Apt, Evangelos Markakis:
Social Networks with Competing Products. Fundam. Informaticae 129(3): 225-250 (2014) - [j57]Krzysztof R. Apt, Guido Schäfer:
Selfishness Level of Strategic Games. J. Artif. Intell. Res. 49: 207-240 (2014) - [c59]Krzysztof R. Apt, Mona Rahn, Guido Schäfer, Sunil Simon:
Coordination Games on Graphs (Extended Abstract). WINE 2014: 441-446 - 2013
- [j56]Bart de Keijzer, Krzysztof R. Apt:
The H-index can be Easily Manipulated. Bull. EATCS 110: 79-85 (2013) - [j55]Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer:
Undominated Groves Mechanisms. J. Artif. Intell. Res. 46: 129-163 (2013) - [j54]Floor Sietsma, Krzysztof R. Apt:
Common Knowledge in Email Exchanges. ACM Trans. Comput. Log. 14(3): 23:1-23:23 (2013) - [c58]Krzysztof R. Apt, Sunil Simon:
Social Network Games with Obligatory Product Selection. GandALF 2013: 180-193 - [i59]Krzysztof R. Apt, Evangelos Markakis, Sunil Simon:
Paradoxes in Social Networks with Multiple Products. CoRR abs/1301.7592 (2013) - [i58]Bart de Keijzer, Krzysztof R. Apt:
The H-index can be easily manipulated. CoRR abs/1304.2557 (2013) - 2012
- [j53]Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper:
Distributed iterated elimination of strictly dominated strategies. Auton. Agents Multi Agent Syst. 25(2): 395-418 (2012) - [j52]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) - [j51]Krzysztof R. Apt:
Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp. Theory Pract. Log. Program. 12(3): 417-419 (2012) - [c57]Krzysztof R. Apt:
Two Three Pages Papers. Logic and Program Semantics 2012: 322 - [c56]Krzysztof R. Apt, Sunil Simon:
A Classification of Weakly Acyclic Games. SAGT 2012: 1-12 - [c55]Krzysztof R. Apt, Guido Schäfer:
Selfishness Level of Strategic Games. SAGT 2012: 13-24 - [c54]Sunil Simon, Krzysztof R. Apt:
Choosing Products in Social Networks. WINE 2012: 100-113 - [i57]Sunil Simon, Krzysztof R. Apt:
Choosing Products in Social Networks. CoRR abs/1202.2209 (2012) - [i56]Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer:
Undominated Groves Mechanisms. CoRR abs/1203.1809 (2012) - [i55]Krzysztof R. Apt, Evangelos Markakis:
Social Networks with Competing Products. CoRR abs/1204.5636 (2012) - [i54]Krzysztof R. Apt, Sunil Simon:
A Classification of Weakly Acyclic Games. CoRR abs/1206.0130 (2012) - [i53]Sunil Simon, Krzysztof R. Apt:
Social Network Games. CoRR abs/1211.5938 (2012) - 2011
- [c53]Krzysztof R. Apt, Evangelos Markakis:
Diffusion in Social Networks with Competing Products. SAGT 2011: 212-223 - [p5]Krzysztof R. Apt:
A primer on strategic games. Lectures in Game Theory for Computer Scientists 2011: 1-37 - [e7]Krzysztof R. Apt, Erich Grädel:
Lectures in Game Theory for Computer Scientists. Cambridge University Press 2011, ISBN 978-0-521-19866-0 [contents] - [e6]Krzysztof R. Apt:
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 [contents] - [i52]Krzysztof R. Apt:
A Primer on Strategic Games. CoRR abs/1102.0203 (2011) - [i51]Krzysztof R. Apt, Guido Schäfer:
Selfishness Level of Strategic Games. CoRR abs/1105.2432 (2011) - [i50]Krzysztof R. Apt, Evangelos Markakis:
Diffusion in Social Networks with Competing Products. CoRR abs/1105.2434 (2011) - [i49]Floor Sietsma, Krzysztof R. Apt:
Common Knowledge in Email Exchanges. CoRR abs/1109.3322 (2011) - 2010
- [j50]Krzysztof R. Apt, Jonathan A. Zvesper:
The Role of Monotonicity in the Epistemic Analysis of Strategic Games. Games 1(4): 381-394 (2010) - [c52]Jonathan A. Zvesper, Krzysztof R. Apt:
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CLIMA 2010: 186-199 - [i48]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Verification of Object-Oriented Programs: a Transformational Approach. CoRR abs/1004.4656 (2010) - [i47]Krzysztof R. Apt:
Direct Proofs of Order Independence. CoRR abs/1004.4727 (2010) - [i46]Jonathan A. Zvesper, Krzysztof R. Apt:
Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. CoRR abs/1006.4926 (2010) - [i45]Krzysztof R. Apt, Jonathan A. Zvesper:
The Role of Monotonicity in the Epistemic Analysis of Strategic Games. CoRR abs/1010.5595 (2010) - [i44]Krzysztof R. Apt, Jonathan A. Zvesper:
Public Announcements in Strategic Games with Arbitrary Strategy Sets. CoRR abs/1012.5173 (2010)
2000 – 2009
- 2009
- [b6]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-744-8, pp. i-xxiii, 1-502 - [j49]Krzysztof R. Apt, Andreas Witzel:
A Generic Approach to Coalition Formation. IGTR 11(3): 347-367 (2009) - [c51]Krzysztof R. Apt, Evangelos Markakis:
Optimal strategies in sequential bidding. AAMAS (2) 2009: 1189-1190 - [c50]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21 - [c49]Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper:
Strategy Elimination in Games with Interaction Structures. LORI 2009: 302-315 - [c48]Krzysztof R. Apt, Arantza Estévez-Fernández
:
Sequential Pivotal Mechanisms for Public Project Problems. SAGT 2009: 85-96 - [c47]Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper:
Common knowledge in interaction structures. TARK 2009: 4-13 - [c46]Krzysztof R. Apt, Evangelos Markakis:
Sequential Bidding in the Bailey-Cavallo Mechanism. WINE 2009: 483-490 - [i43]Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper:
Common Knowledge in Interaction Structures. CoRR abs/0907.0403 (2009) - [i42]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. CoRR abs/0907.4316 (2009) - [i41]Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper:
Strategy elimination in games with interaction structures. CoRR abs/0908.2399 (2009) - 2008
- [j48]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) - [c45]Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A Distributed Platform for Mechanism Design. CIMCA/IAWTIC/ISE 2008: 767-772 - [c44]Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis:
Welfare Undominated Groves Mechanisms. WINE 2008: 426-437 - [i40]Krzysztof R. Apt, Arantza Estévez-Fernández:
Sequential pivotal mechanisms for public project problems. CoRR abs/0810.1383 (2008) - [i39]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) - [i38]Krzysztof R. Apt, Vincent Conitzer, Mingyu Guo, Evangelos Markakis:
Welfare Undominated Groves Mechanisms. CoRR abs/0810.2865 (2008) - [i37]Krzysztof R. Apt, Vangelis Markakis:
Optimal Strategies in Sequential Bidding. CoRR abs/0810.3182 (2008) - [i36]Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A Distributed Platform for Mechanism Design. CoRR abs/0810.3199 (2008) - 2007
- [b5]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 - [j47]Krzysztof R. Apt, Peter Zoeteweij:
An Analysis of Arithmetic Constraints on Integer Intervals. Constraints An Int. J. 12(4): 429-468 (2007) - [c43]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 - [c42]Krzysztof R. Apt:
Epistemic analysis of strategic games with arbitrary strategy sets. TARK 2007: 25-32 - [i35]Krzysztof R. Apt, Arantza Estévez-Fernández:
Sequential mechanism design. CoRR abs/0705.2170 (2007) - [i34]Krzysztof R. Apt:
Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets. CoRR abs/0706.1001 (2007) - [i33]Krzysztof R. Apt:
Relative Strength of Strategy Elimination Procedures. CoRR abs/0706.1617 (2007) - [i32]Krzysztof R. Apt, Andreas Witzel:
A Generic Approach to Coalition Formation. CoRR abs/0709.0435 (2007) - [i31]Krzysztof R. Apt, Jonathan A. Zvesper:
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets. CoRR abs/0710.3536 (2007) - [i30]Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A System for Distributed Mechanisms: Design, Implementation and Applications. CoRR abs/0711.2618 (2007) - [i29]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) - 2006
- [c41]Krzysztof R. Apt, Sebastian Brand:
Infinite Qualitative Simulations by Means of Constraint Programming. CP 2006: 29-43 - [i28]Krzysztof R. Apt:
Explaining Constraint Programming. CoRR abs/cs/0602027 (2006) - [i27]Krzysztof R. Apt, Tadeusz Radzik:
Stable partitions in coalitional games. CoRR abs/cs/0605132 (2006) - [i26]Krzysztof R. Apt, Peter Zoeteweij:
An Analysis of Arithmetic Constraints on Integer Intervals. CoRR abs/cs/0607016 (2006) - [i25]Krzysztof R. Apt:
The Many Faces of Rationalizability. CoRR abs/cs/0608011 (2006) - [i24]Krzysztof R. Apt, Sebastian Brand:
Infinite Qualitative Simulations by Means of Constraint Programming. CoRR abs/cs/0608017 (2006) - 2005
- [j46]Krzysztof R. Apt:
Editorial. ACM Trans. Comput. Log. 6(4): 673 (2005) - [j45]Sebastian Brand, Krzysztof R. Apt:
Schedulers and redundancy for a class of constraint propagation rules. Theory Pract. Log. Program. 5(4-5): 441-465 (2005) - [c40]Krzysztof R. Apt:
Explaining Constraint Programming. Processes, Terms and Cycles 2005: 55-69 - [c39]Krzysztof R. Apt:
Order independence and rationalizability. TARK 2005: 22-38 - [c38]Krzysztof R. Apt, Sebastian Brand:
Constraint-Based Qualitative Simulation. TIME 2005: 26-34 - [i23]Krzysztof R. Apt, Sebastian Brand:
Constraint-Based Qualitative Simulation. CoRR abs/cs/0504024 (2005) - [i22]Krzysztof R. Apt:
Order Independence and Rationalizability. CoRR abs/cs/0509063 (2005) - [i21]Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable:
CP-nets and Nash equilibria. CoRR abs/cs/0509071 (2005) - 2004
- [e5]Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza:
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 [contents] - [i20]Sebastian Brand, Krzysztof R. Apt:
Schedulers and Redundancy for a Class of Constraint Propagation Rules. CoRR cs.DS/0403037 (2004) - [i19]Krzysztof R. Apt:
Uniform Proofs of Order Independence for Various Strategy Elimination Procedures. CoRR cs.GT/0403024 (2004) - [i18]Krzysztof R. Apt, Peter Zoeteweij:
A Comparative Study of Arithmetic Constraints on Integer Intervals. CoRR cs.PL/0403016 (2004) - 2003
- [b4]Krzysztof R. Apt:
Principles of constraint programming. Cambridge University Press 2003, ISBN 978-0-521-82583-2, pp. I-XII, 1-407 - [c37]Krzysztof R. Apt, Peter Zoeteweij:
A Comparative Study of Arithmetic Constraints on Integer Intervals. CSCLP 2003: 1-24 - [c36]Krzysztof R. Apt, Sebastian Brand:
Schedulers for Rule-Based Constraint Programming. SAC 2003: 14-21 - 2002
- [j44]Krzysztof R. Apt:
Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius. Formal Aspects Comput. 14(2): 92-98 (2002) - [j43]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. Theory Pract. Log. Program. 2(1): 123-124 (2002) - [c35]Krzysztof R. Apt, C. F. M. Vermeulen:
First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35 - [i17]Krzysztof R. Apt, Sebastian Brand:
Schedulers for Rule-based Constraint Programming. CoRR cs.DS/0211019 (2002) - [i16]Krzysztof R. Apt:
Edsger Wybe Dijkstra (1930 - 2002): A Portrait of a Genius. CoRR cs.GL/0210001 (2002) - [i15]Krzysztof R. Apt, C. F. M. Vermeulen:
First-order Logic as a Constraint Programming Language. CoRR cs.LO/0208032 (2002) - 2001
- [j42]Krzysztof R. Apt:
Viewpoint: One more revolution to make: free scientific publishing. Commun. ACM 44(5): 25-28 (2001) - [j41]Krzysztof R. Apt, Antonis C. Kakas
, Fariba Sadri:
Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001) - [j40]Krzysztof R. Apt, Éric Monfroy:
Constraint programming viewed as rule-based programming. Theory Pract. Log. Program. 1(6): 713-750 (2001) - [i14]Krzysztof R. Apt:
One More Revolution to Make: Free Scientific Publishing. CoRR cs.GL/0106022 (2001) - [i13]