Séverine Fratani

According to our database1, Séverine Fratani authored at least 4 papers between 2007 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Homomorphic Characterizations of Indexed Languages.
Proceedings of the Language and Automata Theory and Applications, 2016

2012
Regular sets over extended tree structures.
Theor. Comput. Sci., 2012

2011
An Accurate Type System for Information Flow in Presence of Arrays.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2007
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007


  Loading...