Krzysztof Apt

Volledige naam

Prof.dr. K.R. Apt

E-mail

Telefoon

+31 20 592 4081

Kamer

M245

Afdeling(en)

Networks and Optimization

Functie(s)

CWI-Fellow - Geen werkgever, Professor - Universiteit van Amsterdam

Krzysztof Apt

Apt, K., de Boer, F., & Olderog, E.-R. (2025). Three ways of proving termination of loops. In The Combined Power of Research, Education, and Dissemination (pp. 280–301). doi:10.1007/978-3-031-73887-6_19
Apt, K. (2024). A brief history of mathematics for curious minds. doi:10.1142/13518
Apt, K., & Simon, S. (2023). Iterated elimination of weakly dominated strategies in well-founded games. In Proceedings of the Conference of Theoretical Aspects of Rationality and Knowledge (pp. 16–30). doi:10.4204/EPTCS.379.5
Apt, K., & Heering, J. (2022). Characterization of incentive compatible single-parameter mechanisms revisited. Journal of Mechanism and Institution Design, 7(1), 113–129. doi:10.22574/jmid.2022.12.004
Apt, K. (2022). Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders. In Edsger Wybe Dijkstra : his life, work, and legacy (pp. 373–398). doi:10.1145/3544585.3544609
Apt, K., & Olderog, E.-R. (2022). Nondeterminism and Guarded Commands. In Edsger Wybe Dijkstra : his life, work, and legacy (pp. 169–204). doi:10.1145/3544585.3544595
Apt, K. (2022). Edsger W. Dijkstra: Biographical Information. In Edsger Wybe Dijkstra : his life, work, and legacy (pp. 521–530). doi:10.1145/3544585.3544618
Apt, K., Simon, S., & Wojtczak, D. (2022). Coordination games on weighted directed graphs. Mathematics of Operations Research, 47(2), 995–1025. doi:10.1287/moor.2021.1159
Apt, K., & Olderog, E.-R. (2021). Assessing the success and impact of Hoare’s Logic. In Theories of Programming: The Life and Works of Tony Hoare (pp. 41–76). doi:10.1145/3477355.3477359
Apt, K., & Simon, S. (2021). A tutorial for computer scientists on finite extensive games with perfect information. Bulletin of EATCS, 135.

NWO TOP grant (Compartiment 1) Combining Machine Learning and Game-theoretic Approaches for Cluster Analysis (2013)