bibliographer - Stefan Haar

bibliographer a curated TCS bibliography

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

Reconciling qualitative, abstract, and scalable modeling of biological networks Loic Paulevé Juraj Kolčák Thomas Chatain Stefan Haar [github]

The Complexity of Diagnosability and Opacity Verification for Petri Nets Béatrice Bérard Stefan Haar Sylvain Schmitz Stefan Schwoon [github]

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

[show logs] [hide logs]