bibliographer - Johann Deneux

bibliographer a curated TCS bibliography

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

Universality Analysis for One-Clock Timed Automata Parosh Aziz Abdulla Johann Deneux Joel Ouaknine Karin Quaas James Worrell [github]

Forward Reachability Analysis of Timed Petri Nets Parosh Abdulla Johann Deneux Pritha Mahata Aletta Nylén [github]

Using forward reachability analysis for verification of timed Petri nets Parosh Aziz Abdulla Johann Deneux Pritha Mahata Aletta Nylén [github]

Closed, Open, and Robust Timed Networks Parosh Aziz Abdulla Johann Deneux Pritha Mahata [github]

Decidability and Complexity Results for Timed Automata via Channel Machines Parosh Aziz Abdulla Johann Deneux Joel Ouaknine James Worrell [github]

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

[show logs] [hide logs]