|
1 |
Information-flow interfaces
Enthalten in Formal methods in system design 23.5.2024: 1-46
|
|
|
2 |
Long lived transients in gene regulation
Petrov, Tatjana. - Konstanz : KOPS Universität Konstanz, 2021
|
|
|
|
3 |
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
|
|
|
|
4 |
Outside the Box
Henzinger, Thomas. - Konstanz : KOPS Universität Konstanz, 2020
|
|
|
|
5 |
Membership-Based Synthesis of Linear Hybrid Automata
García Soto, Miriam. - Konstanz : KOPS Universität Konstanz, 2019
|
|
|
|
6 |
Faster Statistical Model Checking for Unbounded Temporal Properties
Daca, Przemysław. - Konstanz : Bibliothek der Universität Konstanz, 2017
|
|
|
|
7 |
Model checking the evolution of gene regulatory networks
Giacobbe, Mirco. - Konstanz : Bibliothek der Universität Konstanz, 2017
|
|
|
|
8 |
Linear Distances between Markov Chains
Daca, Przemyslaw. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
|
|
|
|
9 |
Linear Distances between Markov Chains
Daca, Przemyslaw. - Konstanz : Bibliothek der Universität Konstanz, 2016
|
|
|
|
10 |
From non-preemptive to preemptive scheduling using synchronization synthesis
Enthalten in Formal methods in system design 27.9.2016: 1-43
|
|
Administration
