bibliographer - Catalin Dima

bibliographer a curated TCS bibliography

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

Computing the Bandwidth of Meager Timed Automata Eugene Asarin Aldric Degorre Catalin Dima Bernardo Jacobo Inclán [github]

Controller Synthesis in Timed Buchi Automata: Robustness and Punctual Guards Benoît Barbot Damien Busatto-Gaston Catalin Dima Youssouf Oualhadj [github]

Bandwidth of Timed Automata: 3 Classes Eugene Asarin Aldric Degorre Catalin Dima Bernardo Jacobo Inclan [github]

Removing All Silent Transitions from Timed Automata Cătălin Dima Ruggero Lanotte [github]

A Class of Automata for Computing Reachability Relations in Timed Systems Catalin Dima [github]

Timed Shuffle Expressions Catalin Dima [github]

Distributed time-asynchronous automata Cătălin Dima Ruggero Lanotte [github]

A Hennessy-Milner Theorem for ATL with Imperfect Information Francesco Belardinelli Catalin Dima Vadim Malvone Ferucio Tiplea [github]

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

[show logs] [hide logs]