bibliographer - Martin Helfrich

bibliographer a curated TCS bibliography

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

Decision Power of Weak Asynchronous Models of Distributed Computing Philipp Czerner Roland Guttenberg Martin Helfrich Javier Esparza [github]

Automata Tutor v3 Loris D'Antoni Martin Helfrich Jan Kretinsky Emanuel Ramneantu Maximilian Weininger [github]

Automata Tutor v3 Loris D'Antoni Martin Helfrich Jan Emanuel Kretinsky Ramneantu Maximilian Weininger [github]

Succinct Population Protocols for Presburger Arithmetic Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax [github]

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

[show logs] [hide logs]