|
| | Preview | Author(s) | Title | Type | Issue Date |
| 221 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha | Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up | Konferenzbeitrag Inproceedings  | 2021 |
| 222 | | Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura | Summing up Smart Transitions | Konferenzbeitrag Inproceedings | 2021 |
| 223 | | Pescosta, Emmanuel ; Weissenbacher, Georg ; Zuleger, Florian | Bounded Model Checking of Speculative Non-Interference | Konferenzbeitrag Inproceedings | 2021 |
| 224 |  | Hajdú, Márton ; Hozzová, Petra ; Kovács, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei | Induction with Generalization in Superposition Reasoning | Inproceedings Konferenzbeitrag   | 26-Jul-2020 |
| 225 | | Homola, Martin ; Kľuka, Ján ; Hozzová, Petra ; Svátek, Vojtěch ; Vacura, Miroslav | Towards Higher-order OWL | Article Artikel | 25-Jun-2020 |
| 226 | | Kovasznai, Gergely ; Gajdár, Krisztián ; Kovács, Laura | Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization | Inproceedings Konferenzbeitrag | 15-Apr-2020 |
| 227 | | Damestani, David ; Kovács, Laura ; Suda, Martin | Superposition Reasoning about Quantified Bitvector Formulas | Inproceedings Konferenzbeitrag | 15-Apr-2020 |
| 228 | | Pagel, Jens ; Zuleger, Florian | Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions | Konferenzbeitrag Inproceedings | 2020 |
| 229 | | Zuleger, Florian | The Polynomial Complexity of Vector Addition Systems with States | Konferenzbeitrag Inproceedings | 2020 |
| 230 | | Kovács, Laura ; Lachnitt, Hanna ; Szeider, Stefan | Formalizing Graph Trail Properties in Isabelle/HOL | Konferenzbeitrag Inproceedings | 2020 |
| 231 | | Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian | Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness | Konferenzbeitrag Inproceedings | 2020 |
| 232 | | Fellner, Andreas ; Tarrach, Thorsten ; Weissenbacher, Georg | Language Inclusion for Finite Prime Event Structures | Konferenzbeitrag Inproceedings | 2020 |
| 233 | | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Thread-modular Counter Abstraction for Parameterized Program Safety | Konferenzbeitrag Inproceedings | 2020 |
| 234 | | Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav | Mora - Automatic Generation of Moment-Based Invariants | Konferenzbeitrag Inproceedings | 2020 |
| 235 | | Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav | Analysis of Bayesian Networks via Prob-Solvable Loops | Konferenzbeitrag Inproceedings | 2020 |
| 236 | | Bartocci, Ezio ; Kovacs, Laura ; Bura, Efstathia | ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs | Präsentation Presentation | 2020 |
| 237 | | Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut | Pebble-Intervals Automata and FO$$^2$$ with Two Orders | Konferenzbeitrag Inproceedings | 2020 |
| 238 | | Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura | Trace Logic for Inductive Loop Reasoning | Konferenzbeitrag Inproceedings | 2020 |
| 239 | | Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg | Extracting safe thread schedules from incomplete model checking results | Artikel Article | 2020 |
| 240 | | Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena | An ExpTime Upper Bound for ALC with Integers (Extended Version) | Bericht Report | 2020 |
