| No. |
Title |
Author |
Year |
| 1 |
Analysis of Core-Guided MaxSat Using Cores and Correction Sets |
Narodytska, Nina et al. |
2022 |
| 2 |
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431) |
Bjørner, Nikolaj S. et al. |
2022 |
| 3 |
Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062) |
Bardin, Sébastien et al. |
2019 |
| 4 |
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381) |
Bjorner, Nikolaj S. et al. |
2016 |
| 5 |
Formal Foundations for Networking (Dagstuhl Seminar 15071) |
Bjorner, Nikolaj et al. |
2015 |
| 6 |
Deduction and Arithmetic (Dagstuhl Seminar 13411) |
Bjorner, Nikolaj et al. |
2014 |
| 7 |
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) |
Bjorner, Nikolaj et al. |
2013 |
| 8 |
Canonical Regular Types |
Jackson, Ethan K. et al. |
2011 |
| 9 |
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272) |
Bjorner, Nikolaj et al. |
2011 |
| 10 |
10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
| 11 |
10161 Executive Summary -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
