Magdalena Widl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2011–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | AAAI | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. | Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl |
| 2014 | SAT | QBF Resolution Systems and Their Proof Complexities. | Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang |
| 2014 | SLE | A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
| 2013 | LPAR | Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving. | Uwe Egly, Florian Lonsing, Magdalena Widl |
| 2013 | MODELS | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
| 2012 | SLE | Guided Merging of Sequence Diagrams. | Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits |
| 2012 | TAP | Towards Scenario-Based Testing of UML Diagrams. | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer |
| 2011 | MODELS | Towards Semantics-Aware Merge Support in Optimistic Model Versioning. | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer |