A v-Calculus with Local Views for Systems of Sequential Agents. - Peter Niebert (MFCS, 1995)

Towards Automata for Branching Time and Partial Order. - Michaela Huhn; Peter Niebert (CONCUR, 1996)

A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. - Peter Niebert; Barbara Sprick (TABLEAUX, 1997)

A Process Algebra Semantics for MSC Including Conditions. - Thomas Gehrke; Michaela Huhn; Peter Niebert; Arend Rensink; Heike Wehrheim (FBT, 1998)

Partial Order Reductions for Bisimulation Checking. - Michaela Huhn; Peter Niebert; Heike Wehrheim (FSTTCS, 1998)

Verification Based on Local States. - Michaela Huhn; Peter Niebert; Frank Wallner (TACAS, 1998)

A temporal logic for the specification and verification of distributed behaviour. - Peter Niebert (1998)

Model Checking Logics for Communicating Sequential Agents. - Michaela Huhn; Peter Niebert; Frank Wallner (FoSSaCS, 1999)

Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. - Peter Niebert; Sergio Yovine (HSCC, 2000)

Local First Search - A New Paradigm for Partial Order Reductions. - Peter Niebert; Michaela Huhn; Sarah Zennou; Denis Lugiez (CONCUR, 2001)

Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode. - Peter Niebert; Sergio Yovine (Eur. J. Control, 2001)

Verification of Timed Automata via Satisfiability Checking. - Peter Niebert; Moez Mahfoudh; Eugene Asarin; Marius Bozga; Oded Maler; Navendu Jain (FTRTFT, 2002)

Dynamic Bounds and Transition Merging for Local First Search. - Denis Lugiez; Peter Niebert; Sarah Zennou (SPIN, 2002)

Black Box Unfolding with Local First Search. - Sébastien Bornot; Rémi Morin; Peter Niebert; Sarah Zennou (TACAS, 2002)

Adding Symmetry Reduction to Uppaal. - Martijn Hendriks; Gerd Behrmann; Kim Guldstrand Larsen; Peter Niebert; Frits W. Vaandrager (FORMATS, 2003)

ELSE: A New Symbolic State Generator for Timed Automata. - Sarah Zennou; Manuel Yguel; Peter Niebert (FORMATS, 2003)

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis; Peter Niebert (LCTES, 2003)

Some Progress in Satisfiability Checking for Difference Logic. - Scott Cotton; Eugene Asarin; Oded Maler; Peter Niebert (FORMATS/FTRTFT, 2004)

Partial Order Reduction on Concurrent Probabilistic Programs. - Pedro R. D'Argenio; Peter Niebert (QEST, 2004)

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

The Implementation of Mazurkiewicz Traces in POEM. - Peter Niebert; Hongyang Qu 001 (ATVA, 2006)

Adding Invariants to Event Zone Automata. - Peter Niebert; Hongyang Qu 001 (FORMATS, 2006)

Stronger Reduction Criteria for Local First Search. - Marcos E. Kurbán; Peter Niebert; Hongyang Qu 001; Walter Vogler (ICTAC, 2006)

Discriminative Model Checking. - Peter Niebert; Doron A. Peled; Amir Pnueli (CAV, 2008)

Efficient model checking for LTL with partial order snapshots. - Peter Niebert; Doron A. Peled (Theor. Comput. Sci., 2009)

SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. - Janusz Malinowski; Peter Niebert (TACAS, 2010)

A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. - Janusz Malinowski; Peter Niebert; Pierre-Alain Reynier (ATVA, 2011)

Cellular Programming. - Peter Niebert; Mathieu Caralp (TPNC, 2014)

Balanced Connected Partitioning of Unweighted Grid Graphs. - Cedric Berenger; Peter Niebert; Kévin Perrot (MFCS, 2018)