Séverine Fratani

According to our database, Séverine Fratani authored at least 7 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Robust Class of Languages of 2-Nested Words.

Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2020

On exteriority notions in book embeddings and treewidth.

Nicolas Baudru, Séverine Fratani

Discret. Math., 2020

2019

Epsilon-reducible context-free languages and characterizations of indexed languages.

Séverine Fratani, El Makki Voundy

Inf. Comput., 2019

2016

Homomorphic Characterizations of Indexed Languages.

Séverine Fratani, El Makki Voundy

Proceedings of the Language and Automata Theory and Applications, 2016

2012

Regular sets over extended tree structures.

Séverine Fratani

Theor. Comput. Sci., 2012

2011

An Accurate Type System for Information Flow in Presence of Arrays.

Séverine Fratani, Jean-Marc Talbot

Proceedings of the Formal Techniques for Distributed Systems, 2011

2007

Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.

Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer

Proceedings of the Computer Aided Verification, 19th International Conference, 2007