bibliographer - Samy Jaziri

bibliographer a curated TCS bibliography

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

Adequacy and Complete Axiomatization for Timed Modal Logic Samy Jaziri Kim G. Larsen Radu Mardare Bingtian Xue [github]

Automata on Timed Structures Samy Jaziri [github]

On the Determinization of Timed Systems Patricia Bouyer Samy Jaziri Nicolas Markey [github]

Efficient Timed Diagnosis Using Automata with Timed Domains Patricia Bouyer Samy Jaziri Nicolas Markey [github]

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

[show logs] [hide logs]