Accéder directement au contenu

Benjamin Monmege

5
Documents

Publications

marc-zeitoun
Image document

Pebble Weighted Automata and Weighted Logics

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun
ACM Transactions on Computational Logic, 2014, 15 (2), pp.15. ⟨10.1145/2579819⟩
Article dans une revue hal-00964994v2
Image document

Logical Characterization of Weighted Pebble Walking Automata

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun
CSL-LICS '14, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603118⟩
Communication dans un congrès hal-01006125v1
Image document

A Probabilistic Kleene Theorem

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun
Automated Technology for Verification and Analysis (ATVA'12), Oct 2012, Thiruvananthapuram, India. pp.400-415, ⟨10.1007/978-3-642-33386-6_31⟩
Communication dans un congrès hal-00909042v1
Image document

Pebble weighted automata and transitive closure logics

Benedikt Bollig , Paul Gastin , Benjamin Monmege , Marc Zeitoun
Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) - Part II, Jul 2010, Bordeaux, France. pp.587-598, ⟨10.1007/978-3-642-14162-1_49⟩
Communication dans un congrès hal-00608179v1