bibliographer - Christian Schilling

bibliographer a curated TCS bibliography

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

Simulation Relations and Applications in Formal Methods Kim G. Larsen Christian Schilling Jiří Srba [github]

Synthesis of Parametric Hybrid Automata from Time Series Miriam García Soto Thomas A. Henzinger Christian Schilling [github]

Minimization of Visibly Pushdown Automata Using Partial Max-SAT Matthias Heizmann Christian Schilling Daniel Tischner [github]

Ultimate Automizer and the Search for Perfect Interpolants Matthias Heizmann Yu-Fang Chen Daniel Dietsch Marius Greitschus Jochen Hoenicke Yong Li Alexander Nutz Betim Musa Christian Schilling Tanja Schindler Andreas Podelski [github]

Library Size: 13G (4 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]