bibliographer - Jean-Michel Couvreur

bibliographer a curated TCS bibliography

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

Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems Olivier Carton Jean-Michel Couvreur Martin Delacourt Nicolas Ollinger [github]

Addition in Dumont-Thomas Numeration Systems in Theory and Practice Olivier Carton Jean-Michel Couvreur Martin Delacourt Nicolas Ollinger [github]

On-the-Fly Verification of Linear Temporal Logic Jean-Michel Couvreur [github]

Hierarchical Decision Diagrams to Exploit Model Structure Jean-Michel Couvreur Yann Thierry-Mieg [github]

A BDD-Like Implementation of an Automata Package Jean-Michel Couvreur [github]

On-the-fly Verification of Linear Temporal Logic Jean-Michel Couvreur [github]

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems Jean-Michel Couvreur Nasser Saheb Grégoire Sutre [github]

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

[show logs] [hide logs]