Séverine Fratani

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 5

Top Topics

Grammatical Inference

Bounded Treewidth

Top Venues

Publications

Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier
A robust class of languages of 2-nested words. CoRR (2022)
Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier
A Robust Class of Languages of 2-Nested Words. MFCS (2022)
Nicolas Baudru, Séverine Fratani
On exteriority notions in book embeddings and treewidth. Discret. Math. 343 (4) (2020)
Séverine Fratani, El Makki Voundy
Epsilon-reducible context-free languages and characterizations of indexed languages. Inf. Comput. 269 (2019)
Séverine Fratani, El Makki Voundy
Homomorphic Characterizations of Indexed Languages. LATA (2016)
Séverine Fratani
Regular sets over extended tree structures. Theor. Comput. Sci. 418 (2012)
Séverine Fratani, Jean-Marc Talbot
An Accurate Type System for Information Flow in Presence of Arrays. FMOODS/FORTE (2011)
Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV (2007)