| 2007 |
|---|
| 5 | | Gerti Kappel,
Horst Kargl,
Gerhard Kramler,
Andrea Schauerhuber,
Martina Seidl,
Michael Strommer,
Manuel Wimmer:
Matching Metamodels with Semantic Systems - An Experience Report.
BTW Workshops 2007: 38-52 |
| 2006 |
|---|
| 4 | | Uwe Egly,
Martina Seidl,
Stefan Woltran:
A Solver for QBFs in Nonprenex Form.
ECAI 2006: 477-481 |
| 3 | EE | Johannes Oetsch,
Martina Seidl,
Hans Tompits,
Stefan Woltran:
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.
JELIA 2006: 502-505 |
| 2 | EE | Johannes Oetsch,
Martina Seidl,
Hans Tompits,
Stefan Woltran:
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results.
WLP 2006: 200-205 |
| 2003 |
|---|
| 1 | EE | Uwe Egly,
Martina Seidl,
Hans Tompits,
Stefan Woltran,
Michael Zolda:
Comparing Different Prenexing Strategies for Quantified Boolean Formulas.
SAT 2003: 214-228 |
