No. |
Title |
Author |
Year |
---|

1 |
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071) |
Abraham, Erika et al. |
2017 |

2 |
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471) |
Ábrahám, Erika et al. |
2016 |

3 |
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) |
Ábrahám, Erika et al. |
2014 |

4 |
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra |
Abraham, Erika et al. |
2010 |

5 |
SMT-Solving for the First-Order Theory of the Reals |
Abraham, Erika et al. |
2010 |