| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Lonsing, Florian ; Egly, Uwe ; Seidl, Martina | Q-Resolution with Generalized Axioms | Konferenzbeitrag Inproceedings | 2016 |
| 2 | | Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina | Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination | Konferenzbeitrag Inproceedings | 2015 |
| 3 | | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | A SAT-Based Debugging Tool for State Machines and Sequence Diagrams | Konferenzbeitrag Inproceedings | 2014 |
| 4 | | Jordan, Charles ; Kaiser, Lukasz ; Lonsing, Florian ; Seidl, Martina | MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing | Konferenzbeitrag Inproceedings | 2014 |
| 5 | | Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena | Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 6 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 7 | | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines | Konferenzbeitrag Inproceedings | 2013 |
| 8 | | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Semantics-Aware Merge Support in Optimistic Model Versioning | Konferenzbeitrag Inproceedings | 2012 |
| 9 | | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Scenario-Based Testing of UML Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 10 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 11 | | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Semantics-Aware Merge Support in Optimistic Model Versioning | Konferenzbeitrag Inproceedings | 2011 |