Sarah Zennou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2001–2007
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ESOP | Static Analysis by Policy Iteration on Relational Domains. | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou |
| 2004 | TACAS | A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. | Denis Lugiez, Peter Niebert, Sarah Zennou |
| 2002 | TACAS | Black Box Unfolding with Local First Search. | Sbastien Bornot, Rmi Morin, Peter Niebert, Sarah Zennou |
| 2001 | CONCUR | Local First Search - A New Paradigm for Partial Order Reductions. | Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez |