Sandie Balaguer
According to our database1,
Sandie Balaguer
authored at least 6 papers
between 2010 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
2012
Study of concurrency in real-time distributed systems. (La concurrence dans les systèmes temps-réel distribués).
PhD thesis, 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Formal Methods Syst. Des., 2010
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.
Proceedings of the TIME 2010, 2010