bibliographer - Adriano Peron

bibliographer a curated TCS bibliography

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

Automata-Theoretic Characterisations of Branching-Time Temporal Logics Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron [github]

Automata-Theoretic Characterisations of Branching-Time Temporal Logics Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron [github]

Quantifying over Trees in Monadic Second-Order Logic Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron [github]

Context-Free Timed Formalisms: Robust Automata and Linear Temporal Logics Laura Bozzelli Aniello Murano Adriano Peron [github]

Event-Clock Nested Automata Laura Bozzelli Aniello Murano Adriano Peron [github]

Timed recursive state machines: Expressiveness and complexity Massimo Benerecetti Adriano Peron [github]

2-visibly Pushdown Automata Dario Carotenuto Aniello Murano Adriano Peron [github]

Timed cooperating automata Ruggero Lanotte Andrea Maggiolo-Schettini Adriano Peron [github]

Which fragments of the interval temporal logic HS are tractable in model checking Laura Bozzelli Alberto Molinari Angelo Montanari Adriano Peron Pietro Sala [github]

Interval vs. Point Temporal Logic Model Checking Laura Bozzelli Alberto Molinari Angelo Montanari Adriano Peron Pietro Sala [github]

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

[show logs] [hide logs]