Searching for authors named "Peter Niebert" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Synthesis and Dispatching of Production Schemes for Chemical Batch Plants
- … # Peter Niebert Sergio Yovine VERIMAG, 2 Av. de Vignate, 38610 Gieres, France [Peter.Niebert, Sergio…
- Add To MetaCart
-
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
- …Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode # Peter Niebert…
- Cited by 13 (1 self) – Add To MetaCart
-
On the Connection of Partial Order Logics and Partial Order Reduction Methods
- …On the Connection of Partial Order Logics and Partial Order Reduction Methods Peter Niebert 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Computing Optimal Operation Schemes for Multi Batch Operation of Chemical Plants
- …Computing Optimal Operation Schemes for Multi Batch Operation of Chemical Plants Peter Niebert…
- Cited by 6 (0 self) – Add To MetaCart
-
Computing efficient operations schemes for chemical plants in multi-batch mode
- … Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode ? Peter Niebert…
- Cited by 5 (0 self) – Add To MetaCart
-
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints
- …A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints Peter Niebert 1 and Barbara…
- Add To MetaCart
-
A Satisfiability Checker for Difference Logic
- …A Satisfiability Checker for Difference Logic Moez Mahfoudh 1 , Peter Niebert 2 , Eugene Asarin…
- Add To MetaCart
-
Verification Based on Local States
- …Verification Based on Local States ? Michaela Huhn 1 and Peter Niebert 1 and Frank Wallner 2…
- Cited by 6 (1 self) – Add To MetaCart
-
Put your Model Checker on Diet: Verification on Local States
- …Put your Model Checker on Diet: Verification on Local States ? Michaela Huhn 1 and Peter Niebert…
- Cited by 1 (1 self) – Add To MetaCart
-
Model Checking Logics for Communicating Sequential Agents
- …Model Checking Logics for Communicating Sequential Agents ? Michaela Huhn 1 and Peter Niebert 2…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
