Sverine Fratani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MFCS | A Robust Class of Languages of 2-Nested Words. | Sverine Fratani, Guillaume Maurras, Pierre-Alain Reynier |
| 2016 | LATA | Homomorphic Characterizations of Indexed Languages. | Sverine Fratani, El Makki Voundy |
| 2011 | FORTE | An Accurate Type System for Information Flow in Presence of Arrays. | Sverine Fratani, Jean-Marc Talbot |
| 2007 | CAV | Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. | Ahmed Bouajjani, Sverine Fratani, Shaz Qadeer |