Martina Seidl Vis

*	2009
13	EE	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran: ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. LPNMR 2009: 382-395
12	EE	Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger: An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. MoDELS 2009: 271-285
11	EE	Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer: By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process. OOPSLA Companion 2009: 739-740
10	EE	Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer: The operation recorder: specifying model refactorings by-example. OOPSLA Companion 2009: 791-792
9	EE	Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel: On Realizing a Framework for Self-tuning Mappings. TOOLS (47) 2009: 1-16
8	EE	Uwe Egly, Martina Seidl, Stefan Woltran: A solver for QBFs in negation normal form. Constraints 14(1): 38-79 (2009)
7	EE	Kerstin Altmanninger, Martina Seidl, Manuel Wimmer: A survey on model versioning approaches. IJWIS 5(3): 271-304 (2009)
	2007
6		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
5	EE	Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran: Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. INAP/WLP 2007: 241-246
	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

Coauthor Index

1	Kerstin Altmanninger	[7]
2	Petra Brosch	[9] [10] [11] [12]
3	Uwe Egly	[1] [4] [8]
4	Gerti Kappel	[6] [9] [12]
5	Horst Kargl	[6] [9]
6	Gerhard Kramler	[6]
7	Philip Langer	[10] [11] [12]
8	Johannes Oetsch	[2] [3] [5] [13]
9	Werner Retschitzegger	[12]
10	Andrea Schauerhuber	[6]
11	Wieland Schwinger	[12]
12	Michael Strommer	[6]
13	Hans Tompits	[1] [2] [3] [5] [13]
14	Konrad Wieland	[10] [11] [12]
15	Manuel Wimmer	[6] [7] [9] [10] [11] [12]
16	Stefan Woltran	[1] [2] [3] [4] [5] [8] [13]
17	Michael Zolda	[1]

Colors in the list of coauthors