bibliographer - Krzysztof R. Apt

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders Krzysztof R. Apt [github]

Coordination Games on Weighted Directed Graphs Krzysztof R. Apt Sunil Simon Dominik Wojtczak [github]

A Proof System for Communicating Sequential Processes Krzysztof R. Apt Nissim Francez Willem P. de Roever [github]

Fifty years of Hoare's Logic Krzysztof R. Apt Ernst-Ruediger Olderog [github]

Coordination Games on Weighted Directed Graphs Krzysztof R. Apt Sunil Simon Dominik Wojtczak [github]

Efficient Computing of Least Fixpoints Krzysztof R. Apt [github]

Ten years of Hoare's logic: A survey - Part II: Nondeterminism Krzysztof R. Apt [github]

Ten Years of Hoare's Logic: A Survey - Part I Krzysztof R. Apt [github]

Acyclic programs Krzysztof R. Apt Marc Bezem [github]

Fifty years of Hoare's logic Krzysztof R. Apt Ernst-Rüdiger Olderog [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]