| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041) | Abraham, Erika et al. | 2023 |
| 2 | New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) | Abraham, Erika et al. | 2022 |
| 3 | Probabilistic Simulation of a Railway Timetable | Haehn, Rebecca et al. | 2020 |
| 4 | Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071) | Abraham, Erika et al. | 2017 |
| 5 | Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471) | Ábrahám, Erika et al. | 2016 |
| 6 | Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) | Ábrahám, Erika et al. | 2014 |
| 7 | A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra | Abraham, Erika et al. | 2010 |
| 8 | SMT-Solving for the First-Order Theory of the Reals | Abraham, Erika et al. | 2010 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 8 |