Search the dblp DataBase

Publications of Author

1. Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea Schauerhuber, Martina Seidl, Michael Strommer, Manuel Wimmer
   Matching Metamodels with Semantic Systems - An Experience Report. [Citation Graph (0, 0)][DBLP]
   BTW Workshops, 2007, pp:38-52 [Conf]
   
2. Uwe Egly, Martina Seidl, Stefan Woltran
   A Solver for QBFs in Nonprenex Form. [Citation Graph (0, 0)][DBLP]
   ECAI, 2006, pp:477-481 [Conf]
   
3. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
   ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. [Citation Graph (0, 0)][DBLP]
   JELIA, 2006, pp:502-505 [Conf]
   
4. Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda
   Comparing Different Prenexing Strategies for Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
   SAT, 2003, pp:214-228 [Conf]
   
5. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
   A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. [Citation Graph (0, 0)][DBLP]
   WLP, 2006, pp:200-205 [Conf]
   
6. 
   Concurrent Modeling in Early Phases of the Software Development Life Cycle. [Citation Graph (, )][DBLP]
   
   
7. 
   ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. [Citation Graph (, )][DBLP]
   
   
8. 
   Adaptable Model Versioning in Action. [Citation Graph (, )][DBLP]
   
   
9. 
   An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. [Citation Graph (, )][DBLP]
   
   
10. 
    The operation recorder: specifying model refactorings by-example. [Citation Graph (, )][DBLP]
    
    
11. 
    By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process. [Citation Graph (, )][DBLP]
    
    
12. 
    Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. [Citation Graph (, )][DBLP]
    
    
13. 
    On Realizing a Framework for Self-tuning Mappings. [Citation Graph (, )][DBLP]
    
    
14. 
    A solver for QBFs in negation normal form. [Citation Graph (, )][DBLP]