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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Niebert