| 2018 | MFCS | Balanced Connected Partitioning of Unweighted Grid Graphs. | Cedric Berenger, Peter Niebert, Kvin Perrot |
| 2011 | ATVA | A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. | Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier |
| 2010 | TACAS | SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. | Janusz Malinowski, Peter Niebert |
| 2008 | CAV | Discriminative Model Checking. | Peter Niebert, Doron A. Peled, Amir Pnueli |
| 2006 | ATVA | The Implementation of Mazurkiewicz Traces in POEM. | Peter Niebert, Hongyang Qu |
| 2006 | ICTAC | Stronger Reduction Criteria for Local First Search. | Marcos E. Kurbn, Peter Niebert, Hongyang Qu, Walter Vogler |
| 2006 | TACAS | Efficient Model Checking for LTL with Partial Order Snapshots. | Peter Niebert, Doron A. Peled |
| 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 |
| 1999 | FOSSACS | Model Checking Logics for Communicating Sequential Agents. | Michaela Huhn, Peter Niebert, Frank Wallner |
| 1998 | TACAS | Verification Based on Local States. | Michaela Huhn, Peter Niebert, Frank Wallner |
| 1997 | TABLEAUX | A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. | Peter Niebert, Barbara Sprick |
| 1996 | CONCUR | Towards Automata for Branching Time and Partial Order. | Michaela Huhn, Peter Niebert |
| 1995 | MFCS | A v-Calculus with Local Views for Systems of Sequential Agents. | Peter Niebert |