author-photo

Krzysztof R. Apt

University of Amsterdam
Centrum Wiskunde & Informatica
University of Paris

479

Papers

13506

Citations

Citation Trend

Filter By

Papers (479) Sort By

Journal Conference Others

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

2022 CoRR
- Krzysztof R. Apt
- Sunil Simon
Show All
- Source
- Cite
- Save
Citations (0)
Assessing the Success and Impact of Hoare’s Logic: The Life and Works of Tony Hoare

2021
- Krzysztof R. Apt
- Ernst-Rüdiger Olderog
Show All
- Source
- Cite
- Save
Citations (0)
Well-Founded Extensive Games with Perfect Information.

2021 TARK | Theoretical Aspects of Rationality and Knowledge
- Krzysztof R. Apt
- Sunil Simon
Show All
- Source
- Cite
- Save
Citations (0)
Well-Founded Extensive Games with Perfect Information

2021 arXiv: Computer Science and Game Theory
- Krzysztof R. Apt
- Sunil Simon
Show All
- Source
- Cite
- Save
Citations (0)
Edsger W. Dijkstra: a Commemoration.

2021 arXiv: General Literature
- Krzysztof R. Apt
- Tony Hoare
Show All
- Source
- Cite
- Save
Citations (0)
Well-founded extensive games with perfect information

2021
- Krzysztof R. Apt
- Sunil Simon
Show All
- Source
- Cite
- Save
Citations (0)
Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)

2021
Show All
- Source
- Cite
- Save
Citations (0)
Edsger Dijkstra. The Man Who Carried Computer Science on His Shoulders.

2020 arXiv: General Literature
- Krzysztof R. Apt
Show All
- Source
- Cite
- Save
Citations (0)
Edsger Dijkstra - The Man Who Carried Computer Science on His Shoulders

2020
- Krzysztof R. Apt
Show All
- Source
- Cite
- Save
Citations (0)
Reasoning about call-by-value: a missing result in the history of Hoare's logic

2019 arXiv: Logic in Computer Science
- Krzysztof R. Apt
- Frank S. de Boer
Show All
- Source
- Cite
- Save
Citations (2)