bibliographer - Davide Bresolin

bibliographer a curated TCS bibliography

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

Equivalence Checking and Intersection of Deterministic Timed Finite State Machines Davide Bresolin Khaled El-Fakih Tiziano Villa Nina Yevtushenko [github]

A theory of ultimately periodic languages and automata with an application to time granularity Davide Bresolin Angelo Montanari Gabriele Puppis [github]

The dark side of interval temporal logic: marking the undecidability border Davide Bresolin Dario Della Monica Valentin Goranko Angelo Montanari Guido Sciavicco [github]

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

[show logs] [hide logs]