| No. |
Title |
Author |
Year |
| 1 |
On the Automated Verification of Web Applications with Embedded SQL |
Itzhaky, Shachar et al. |
2017 |
| 2 |
Local Linearizability for Concurrent Container-Type Data Structures |
Haas, Andreas et al. |
2016 |
| 3 |
Monadic Second Order Finite Satisfiability and Unbounded Tree-Width |
Kotek, Tomer et al. |
2016 |
| 4 |
Parameterized Systems in BIP: Design and Model Checking |
Konnov, Igor et al. |
2016 |
| 5 |
On the Structure and Complexity of Rational Sets of Regular Languages |
Holzer, Andreas et al. |
2013 |
| 6 |
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272) |
Bjorner, Nikolaj et al. |
2011 |
| 7 |
10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
| 8 |
10161 Executive Summary -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
