| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena | Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 42 | | Egly, Uwe ; Widl, Magdalena | Solution extraction from long-distance resolution proofs | Konferenzbeitrag Inproceedings | 2013 |
| 43 | | Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena | Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving | Konferenzbeitrag Inproceedings | 2013 |
| 44 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2013 |
| 45 | | 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 |
| 46 | | Egly, Uwe | On Sequent Systems and Resolution for QBFs | Konferenzbeitrag Inproceedings | 2012 |
| 47 | | Egly, Uwe ; Creignou, Nadia ; Schmidt, Johannes | Complexity of logic-based argumentation in Schaefer's framework | Konferenzbeitrag Inproceedings | 2012 |
| 48 | | 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 |
| 49 | | Egly, Uwe | On sequent systems and resolution for quantified boolean formulas | Präsentation Presentation | 2012 |
| 50 | | Egly, Uwe | A new learning scheme for QDPLL solvers | Präsentation Presentation | 2012 |
| 51 | | 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 |
| 52 | | Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans | Guided Merging of Sequence Diagrams | Konferenzbeitrag Inproceedings | 2012 |
| 53 | | Widl, Magdalena | Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering | Konferenzbeitrag Inproceedings | 2012 |
| 54 | | 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 |
| 55 | | Widl, Magdalena | Towards a Uniform Framework to Support the Evolution of Software Models | Konferenzbeitrag Inproceedings | 2011 |