Sarah Zennou (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Denis Lugiez, Peter Niebert, Sarah Zennou: A partial order semantics approach to the clock explosion problem of timed automata. Theor. Comput. Sci. 345(1): 27-59 (2005)

5 Denis Lugiez, Peter Niebert, Sarah Zennou: A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. TACAS 2004: 296-311

3 Denis Lugiez, Peter Niebert, Sarah Zennou: Dynamic Bounds and Transition Merging for Local First Search. SPIN 2002: 221-229

1 Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez: Local First Search - A New Paradigm for Partial Order Reductions. CONCUR 2001: 396-410

Selection of 4 from 7 records - Sarah Zennou has 9 coauthors

6		Denis Lugiez, Peter Niebert, Sarah Zennou: A partial order semantics approach to the clock explosion problem of timed automata. Theor. Comput. Sci. 345(1): 27-59 (2005)
5		Denis Lugiez, Peter Niebert, Sarah Zennou: A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. TACAS 2004: 296-311
3		Denis Lugiez, Peter Niebert, Sarah Zennou: Dynamic Bounds and Transition Merging for Local First Search. SPIN 2002: 221-229
1		Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez: Local First Search - A New Paradigm for Partial Order Reductions. CONCUR 2001: 396-410