Peter Niebert

32 papers A* 1A 5B 9C 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2018 B conf
MFCS
Cedric Berenger, Peter Niebert, Kévin Perrot
2014 conf
TPNC
Peter Niebert, Mathieu Caralp
2011 B conf
ATVA
Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier
2010 A conf
TACAS
Janusz Malinowski, Peter Niebert
2009 J jnl
Theor. Comput. Sci.
Peter Niebert, Doron A. Peled
2008 A* conf
CAV
Peter Niebert, Doron A. Peled, Amir Pnueli
2006 conf
FORMATS
Peter Niebert, Hongyang Qu
2006 A conf
TACAS
Peter Niebert, Doron A. Peled
2006 C conf
ICTAC
Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
2006 B conf
ATVA
Peter Niebert, Hongyang Qu
2005 J jnl
Theor. Comput. Sci.
Denis Lugiez, Peter Niebert, Sarah Zennou
2004 A conf
TACAS
Denis Lugiez, Peter Niebert, Sarah Zennou
2004 conf
QEST
Pedro R. D'Argenio, Peter Niebert
2004 conf
FORMATS/FTRTFT
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
2003 conf
FORMATS
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
2003 conf
FORMATS
Sarah Zennou, Manuel Yguel, Peter Niebert
2003 ed.
FORMATS
Kim Guldstrand Larsen, Peter Niebert
2003 B conf
LCTES
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
2002 A conf
TACAS
Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
2002 conf
SPIN
Denis Lugiez, Peter Niebert, Sarah Zennou
2002 conf
FTRTFT
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
2001 J jnl
Eur. J. Control
Peter Niebert, Sergio Yovine
2001 B conf
CONCUR
Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
2000 conf
HSCC
Peter Niebert, Sergio Yovine
1999 B conf
FoSSaCS
Michaela Huhn, Peter Niebert, Frank Wallner
1998 conf
FBT
Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
1998
Peter Niebert
1998 conf
FSTTCS
Michaela Huhn, Peter Niebert, Heike Wehrheim
1998 A conf
TACAS
Michaela Huhn, Peter Niebert, Frank Wallner
1997 B conf
TABLEAUX
Peter Niebert, Barbara Sprick
1996 B conf
CONCUR
Michaela Huhn, Peter Niebert
1995 B conf
MFCS
Peter Niebert