Séverine Fratani

dblp:35/6057 · DBLP profile ↗
← Back
5ranked-venue papers
4as first author
1since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 4 first-author · 1 since 2021Software engineering, systems software and programming languages · 1
YearPublicationVenuePosition
2022 A Robust Class of Languages of 2-Nested Words
Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier
MFCS1
2019 Epsilon-reducible context-free languages and characterizations of indexed languages
Séverine Fratani, El Makki Voundy
Inf. Comput.1
2016 Homomorphic Characterizations of Indexed Languages
Séverine Fratani, El Makki Voundy
LATA1
2012 Regular sets over extended tree structures
Séverine Fratani
Theor. Comput. Sci.1
2007 Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer
CAV2