bibliographer - Thomas Chatain

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]

Time supervision of concurrent systems using symbolic unfoldings of time petri nets Thomas Chatain Claude Jard [github]

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation Peter Bulychev Thomas Chatain Alexandre David Kim G. Larsen [github]

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA ÉTIENNE ANDRÉ THOMAS CHATAIN LAURENT FRIBOURG EMMANUELLE ENCRENAZ [github]

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

[show logs] [hide logs]