P. Niebert
发表
P. Niebert,
W. Penczek,
1995
.
Peter Niebert,
Sarah Zennou,
Manuel Yguel,
2003,
FORMATS.
A. Pnueli,
P. Niebert,
D. Peled,
2008
.
P. Niebert,
M. Huhn,
F. Wallner,
1998
.
Wojciech Penczek,
Edmund M. Clarke,
Ursula Goltz,
2021
.
Stavros Tripakis,
Christos Sofronis,
Paul Caspi,
2003,
LCTES '03.
P. D’Argenio,
P. Niebert,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Sergio Yovine,
Peter Niebert,
S. Yovine,
2001,
Eur. J. Control.
Doron A. Peled,
Peter Niebert,
P. Niebert,
2006,
Theor. Comput. Sci..
G. Behrmann,
F. Vaandrager,
P. Niebert,
2003,
FORMATS.
Navendu Jain,
Eugene Asarin,
Oded Maler,
2002,
FTRTFT.
Sergio Yovine,
Peter Niebert,
S. Yovine,
2000,
HSCC.
Denis Lugiez,
Peter Niebert,
Sarah Zennou,
2005,
Theor. Comput. Sci..
Peter Niebert,
Michaela Huhn,
P. Niebert,
1996,
CONCUR.
Peter Niebert,
P. Niebert,
1995,
MFCS.
Peter Niebert,
P. Niebert,
1998
.
Peter Niebert,
Janusz Malinowski,
P. Niebert,
2010,
TACAS.
Hongyang Qu,
Peter Niebert,
P. Niebert,
2006,
FORMATS.
Kévin Perrot,
Peter Niebert,
Cedric Berenger,
2018,
MFCS.
Eugene Asarin,
Oded Maler,
Peter Niebert,
2004,
FORMATS/FTRTFT.
Eugene Asarin,
Oded Maler,
Peter Niebert,
2007
.
Arend Rensink,
Peter Niebert,
Heike Wehrheim,
2007
.