Peter Niebert

Available identifiers

zbMath Open niebert.peterMaRDI QIDQ732004

List of research outcomes

Publication	Date of Publication	Type
Towards automata for branching time and partial order	2023-06-28	Paper
Balanced Connected Partitioning of Unweighted Grid Graphs	2021-08-04	Paper
A tableau proof system for a mazurkiewicz trace logic with fixpoints	2019-01-15	Paper
Computing efficient operation schemes for chemical plants in multi-batch mode	2014-08-07	Paper
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems	2011-10-07	Paper
Verification of Timed Automata via Satisfiability Checking	2011-04-08	Paper
A ν-calculus with local views for systems of sequential agents	2010-06-17	Paper
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata	2010-04-27	Paper
Efficient model checking for LTL with partial order snapshots	2009-10-09	Paper
Stronger Reduction Criteria for Local First Search	2008-09-11	Paper
The Implementation of Mazurkiewicz Traces in POEM	2008-09-04	Paper
Discriminative Model Checking	2008-07-15	Paper
Adding Invariants to Event Zone Automata	2008-07-08	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
A partial order semantics approach to the clock explosion problem of timed automata	2005-12-06	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4738481	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472255	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4791271	2003-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4953404	2002-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4702960	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4260709	1999-09-01	Paper

Research outcomes over time

This page was built for person: Peter Niebert