Martina Seidl - RankMe

150 papers A* 3A 22B 16C 3Misc 5Journal 46Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	QSOLE: Automatic QBF Equivalence Checking. TACAS (1) Peter Pfeiffer, Mark Peyrer, Daniel Große, Martina Seidl
2025	B	`conf`	(Semantic) Feature Model Differences with (Q)SAT. SLE Simone Heisinger, Maximilian Heisinger, Martina Seidl
2025	Misc	`conf`	FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas. SAC Marcel Simader, Adrian Rebola-Pardo, Martina Seidl
2025	A	`conf`	QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms. SAT Mark Peyrer, Martina Seidl
2025	—	`conf`	Refined Notions of QBF Equivalences. JELIA (2) Peter Pfeiffer, Daniel Große, Martina Seidl
2025	—	`conf`	Refinement-Based Enumeration of QBF Solutions. JELIA (2) Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl
2025	J	`jnl`	Reproducible and hackable software benchmarking with(out) compute clusters. Int. J. Softw. Tools Technol. Transf. Maximilian Heisinger, Martina Seidl
2025	Misc	`conf`	Solution Counts of Some Prominent Quantified Boolean Formulas Families. SAC Andreas Plank, Martina Seidl, Manuel Kauers
2024	A*	`conf`	A Top-Down Tree Model Counter for Quantified Boolean Formulas. IJCAI Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl
2024	—	`conf`	Booleguru, the Propositional Polyglot (Short Paper). IJCAR (1) Maximilian Heisinger, Simone Heisinger, Martina Seidl
2024	J	`jnl`	Counting QBF solutions at level two. Constraints An Int. J. Andreas Plank, Sibylle Möhle, Martina Seidl
2024	—	`conf`	From Decision Models To User-Guiding Configurators Using SMT. VaMoS Maximilian Heisinger, Florian Piminger, Martina Seidl
2024	A	`conf`	Models and Counter-Models of Quantified Boolean Formulas (Invited Talk). SAT Martina Seidl
2024	B	`conf`	PyQBF: A Python Framework for Solving Quantified Boolean Formulas. IFM Mark Peyrer, Maximilian Heisinger, Martina Seidl
2024	—	`conf`	Quantifier Shifting for Quantified Boolean Formulas Revisited. IJCAR (1) Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
2024	J	`jnl`	SAT and Interactions (Dagstuhl Seminar 24421). Dagstuhl Reports Olaf Beyersdorff, Laura Kovács, Meena Mahajan, Martina Seidl, Kaspar Kasche
2024	J	`jnl`	Symmetries of Dependency Quantified Boolean Formulas. CoRR Clemens Hofstadler, Manuel Kauers, Martina Seidl
2023	A	`conf`	Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). CP Andreas Plank, Sibylle Möhle, Martina Seidl
2023	C	`conf`	Never Trust Your Solver: Certification for SAT and QBF. CICM Martina Seidl
2023	—	`conf`	ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. TACAS (1) Maximilian Heisinger, Martina Seidl, Armin Biere
2023	A	`conf`	QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas. SAT Andreas Plank, Martina Seidl
2023	J	`jnl`	Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
2023	C	`conf`	True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. CICM Simone Heisinger, Martina Seidl
2023	A	`conf`	Validation of QBF Encodings with Winning Strategies. SAT Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
2022	Misc	`conf`	FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl
2022	C	`conf`	OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl
2022	—	`conf`	QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. PAAR@IJCAR Maximilian Heisinger, Martina Seidl, Armin Biere
2022	Misc	`conf`	What's New In QBF Solving? : (Invited Talk). SYNASC Martina Seidl
2021	J	`jnl`	Beyond Uniform Equivalence between Answer-set Programs. ACM Trans. Comput. Log. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2021	J	`jnl`	New ways to multiply 3 × 3-matrices. J. Symb. Comput. Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2021	A	`conf`	QBFFam: A Tool for Generating QBF Families from Proof Complexity. SAT Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla
2021	—	`ch.`	Quantified Boolean Formulas. Handbook of Satisfiability Olaf Beyersdorff, Mikolás Janota, Florian Lonsing, Martina Seidl
2021	J	`jnl`	Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2020	B	`conf`	Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2020	—	`conf`	Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2020	A	`ed.`	Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings SAT Luca Pulina, Martina Seidl
2019	—	`conf`	A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. FTSCS Emily Yu, Martina Seidl, Armin Biere
2019	B	`conf`	A Survey on Applications of Quantified Boolean Formulas. ICTAI Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl
2019	J	`jnl`	A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. ACM Commun. Comput. Algebra Marijn Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
2019	A	`conf`	Local Search for Fast Matrix Multiplication. SAT Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	Local Search for Fast Matrix Multiplication. CoRR Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	New ways to multiply 3 x 3-matrices. CoRR Marijn J. H. Heule, Manuel Kauers, Martina Seidl
2019	J	`jnl`	Notes from the Guest Editors. J. Satisf. Boolean Model. Comput. Luca Pulina, Martina Seidl
2019	J	`jnl`	On the maximal minimal cube lengths in distinct DNF tautologies. CoRR Manuel Kauers, Martina Seidl, Doron Zeilberger
2019	A	`conf`	QRAT Polynomially Simulates ∀ \text -Exp+Res. SAT Benjamin Kiesl, Martina Seidl
2019	J	`jnl`	The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). Artif. Intell. Luca Pulina, Martina Seidl
2018	B	`conf`	Expansion-Based QBF Solving Without Recursion. FMCAD Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2018	J	`jnl`	Expansion-Based QBF Solving Without Recursion. CoRR Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2018	J	`jnl`	Local Redundancy in SAT: Generalizations of Blocked Clauses. Log. Methods Comput. Sci. Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
2018	—	`ch.`	Parallel Solving of Quantified Boolean Formulas. Handbook of Parallel Constraint Reasoning Florian Lonsing, Martina Seidl
2018	J	`jnl`	Short Proofs for Some Symmetric Quantified Boolean Formulas. CoRR Manuel Kauers, Martina Seidl
2018	J	`jnl`	Short proofs for some symmetric Quantified Boolean Formulas. Inf. Process. Lett. Manuel Kauers, Martina Seidl
2018	—	`ed.`	Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers STAF Workshops Martina Seidl, Steffen Zschaler
2018	A	`conf`	Symmetries of Quantified Boolean Formulas. SAT Manuel Kauers, Martina Seidl
2018	J	`jnl`	Symmetries of Quantified Boolean Formulas. CoRR Manuel Kauers, Martina Seidl
2017	A	`conf`	A Little Blocked Literal Goes a Long Way. SAT Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl
2017	B	`conf`	Blocked Clauses in First-Order Logic. LPAR Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
2017	J	`jnl`	Blocked Clauses in First-Order Logic. CoRR Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
2017	A*	`conf`	Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
2017	J	`jnl`	Local Redundancy in SAT: Generalizations of Blocked Clauses. CoRR Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
2017	—	`conf`	PRuning Through Satisfaction. Haifa Verification Conference Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere
2017	—	`conf`	Skolem Function Continuation for Quantified Boolean Formulas. TAP@STAF Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere
2017	J	`jnl`	Solution Validation and Extraction for QBF Preprocessing. J. Autom. Reason. Marijn J. H. Heule, Martina Seidl, Armin Biere
2017	J	`jnl`	The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2016	Misc	`conf`	A Duality-Aware Calculus for Quantified Boolean Formulas. SYNASC Katalin Fazekas, Martina Seidl, Armin Biere
2016	—	`conf`	Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. TAP@STAF Sebastian Gabmeyer, Martina Seidl
2016	—	`conf`	Non-CNF QBF Solving with QCIR. AAAI Workshop: Beyond NP Charles Jordan, Will Klieber, Martina Seidl
2016	—	`ed.`	Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. QBF@SAT Florian Lonsing, Martina Seidl
2016	A	`conf`	Q-Resolution with Generalized Axioms. SAT Florian Lonsing, Uwe Egly, Martina Seidl
2016	J	`jnl`	Q-Resolution with Generalized Axioms. CoRR Florian Lonsing, Uwe Egly, Martina Seidl
2016	J	`jnl`	Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl
2016	A	`conf`	Super-Blocked Clauses. IJCAR Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
2016	—	`conf`	The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2016	J	`jnl`	The QBF Gallery: Behind the scenes. Artif. Intell. Florian Lonsing, Martina Seidl, Allen Van Gelder
2015	—	`conf`	Blocked Literals Are Universal. NFM Marijn Heule, Martina Seidl, Armin Biere
2015	J	`jnl`	Clause Elimination for SAT and QSAT. J. Artif. Intell. Res. Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere
2015	B	`conf`	Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. LPAR Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl
2015	J	`jnl`	Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2015	A*	`conf`	Model-Based Testing of Stateful APIs with Modbat. ASE Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
2015	—	`ed.`	Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. MoDeVVa@MoDELS Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim
2015	J	`jnl`	The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2015	J	`jnl`	The QBF Gallery: Behind the Scenes. CoRR Florian Lonsing, Martina Seidl, Allen Van Gelder
2015	—	`conf`	The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2015	—	`book`	UML @ Classroom - An Introduction to Object-Oriented Modeling Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
2015	—	`conf`	UML@Classroom: An Introduction to Object-Oriented Modeling. EduSymp@MoDELS Martina Seidl
2014	B	`conf`	A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2014	A	`conf`	A Unified Proof System for QBF Preprocessing. IJCAR Marijn Heule, Martina Seidl, Armin Biere
2014	B	`conf`	Efficient extraction of Skolem functions from QRAT proofs. FMCAD Marijn Heule, Martina Seidl, Armin Biere
2014	A	`conf`	MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. SAT Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl
2014	—	`conf`	MocOCL: A Model Checker for CTL-Extended OCL Specifications. VOLT@STAF Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl
2014	B	`conf`	Model Checking of CTL-Extended OCL Specifications. SLE Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
2014	A	`conf`	Partial witnesses from preprocessed quantified Boolean formulas. DATE Martina Seidl, Robert Könighofer
2014	B	`conf`	SAT-Based Synthesis Methods for Safety Specs. VMCAI Roderick Bloem, Robert Könighofer, Martina Seidl
2014	—	`ed.`	Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings TAP@STAF Martina Seidl, Nikolai Tillmann
2014	J	`jnl`	The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. J. Satisf. Boolean Model. Comput. Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder
2013	J	`jnl`	A posteriori operation detection in evolving software models. J. Syst. Softw. Philip Langer, Manuel Wimmer, Petra Brosch, Markus Herrmannsdörfer, Martina Seidl, Konrad Wieland, Gerti Kappel
2013	A	`conf`	Bridging the gap between dual propagation and CNF-based QBF solving. DATE Alexandra Goultiaeva, Martina Seidl, Armin Biere
2013	—	`conf`	Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
2013	—	`conf`	Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. EduSymp@MoDELS Marion Scholz, Petra Kaufmann, Martina Seidl
2013	—	`conf`	Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
2013	—	`conf`	Model-Based Testing for Verification Back-Ends. TAP@STAF Cyrille Artho, Armin Biere, Martina Seidl
2013	—	`conf`	OCL meets CTL: Towards CTL-Extended OCL Model Checking. OCL@MoDELS Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
2013	—	`conf`	Research Questions for Validation and Verification in the Context of Model-Based Engineering. MoDeVVa@MoDELS Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter
2013	J	`jnl`	SAT-Based Synthesis Methods for Safety Specs. CoRR Roderick Bloem, Robert Könighofer, Martina Seidl
2013	J	`jnl`	Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. Softwaretechnik-Trends Petra Brosch, Martina Seidl, Magdalena Widl
2013	J	`jnl`	Turning Conflicts into Collaboration. Comput. Support. Cooperative Work. Konrad Wieland, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel
2012	—	`conf`	A Framework for the Specification of Random SAT and QSAT Formulas. TAP@TOOLS Nadia Creignou, Uwe Egly, Martina Seidl
2012	—	`conf`	An Introduction to Model Versioning. SFM Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer
2012	J	`jnl`	Conflict Visualization for Evolving UML Models. J. Object Technol. Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel
2012	J	`jnl`	Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. Softwaretechnik-Trends Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel
2012	B	`conf`	Guided Merging of Sequence Diagrams. SLE Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits
2012	J	`jnl`	On formalizing EMF modeling operations with graph transformations. ACM SIGSOFT Softw. Eng. Notes Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl
2012	—	`conf`	Replacing traditional classroom lectures with lecture videos: an experience report. EduSym@MoDELS Marion Brandsteidl, Tanja Mayerhofer, Martina Seidl, Christian Huemer
2012	A	`conf`	Resolution-Based Certificate Extraction for QBF - (Tool Presentation). SAT Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere
2012	—	`conf`	Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
2012	—	`book`	UML @ Classroom - Eine Einführung in die objektorientierte Modellierung. Martina Seidl, Marion Brandsteidl, Christian Huemer, Gerti Kappel
2012	—	`conf`	qbf2epr: A Tool for Generating EPR Formulas from QBF. PAAR@IJCAR Martina Seidl, Florian Lonsing, Armin Biere
2011	A	`conf`	Blocked Clause Elimination for QBF. CADE Armin Biere, Florian Lonsing, Martina Seidl
2011	J	`jnl`	Position Paper: Software Modeling Education. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Martina Seidl, Peter J. Clarke
2011	J	`jnl`	Software modeling in education. Comput. Sci. Educ. Martina Seidl, Peter J. Clarke
2011	—	`conf`	Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS (Workshops) Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
2011	J	`jnl`	Towards an Understanding of Requirements for Model Versioning Support. Int. J. People Oriented Program. Konrad Wieland, Geraldine Fitzpatrick, Gerti Kappel, Martina Seidl, Manuel Wimmer
2011	B	`conf`	VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. LPNMR Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl
2010	—	`conf`	A recommender for conflict resolution support in optimistic model versioning. SPLASH/OOPSLA Companion Petra Brosch, Martina Seidl, Gerti Kappel
2010	—	`conf`	Adaptable Model Versioning in Action. Modellierung Petra Brosch, Gerti Kappel, Martina Seidl, Konrad Wieland, Manuel Wimmer, Horst Kargl, Philip Langer
2010	—	`conf`	Colex: a web-based collaborative conflict lexicon. IWMCP@ICMT Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer
2010	—	`conf`	Concurrent Modeling in Early Phases of the Software Development Life Cycle. CRIWG Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel
2010	—	`conf`	Conflicts as First-Class Entities: A UML Profile for Model Versioning. MoDELS (Workshops) Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel
2010	—	`conf`	Guiding modelers through conflict resolution: a recommender for model versioning. SPLASH/OOPSLA Companion Petra Brosch, Martina Seidl, Konrad Wieland
2010	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Martina Seidl, Peter J. Clarke
2010	—	`conf`	Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010. MoDELS (Workshops) Martina Seidl, Peter J. Clarke
2009	J	`jnl`	A solver for QBFs in negation normal form. Constraints An Int. J. Uwe Egly, Martina Seidl, Stefan Woltran
2009	J	`jnl`	A survey on model versioning approaches. Int. J. Web Inf. Syst. Kerstin Altmanninger, Martina Seidl, Manuel Wimmer
2009	A	`conf`	An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. MoDELS Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger
2009	—	`conf`	By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process. OOPSLA Companion Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer
2009	—	`conf`	On Realizing a Framework for Self-tuning Mappings. TOOLS (47) Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel
2009	J	`jnl`	SmartMatcher: Improving Automatically Generated Transformations. Datenbank-Spektrum Horst Kargl, Manuel Wimmer, Martina Seidl, Gerti Kappel
2009	—	`conf`	The operation recorder: specifying model refactorings by-example. OOPSLA Companion Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer
2009	—	`conf`	Towards end-user adaptable model versioning: The By-Example Operation Recorder. CVSM@ICSE Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer
2009	B	`conf`	We can work it out: Collaborative Conflict Resolution in Model Versioning. ECSCW Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer
2009	B	`conf`	ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. LPNMR Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2007	—	`—`	A solver for quantified Boolean formulas in negation normal form. Martina Seidl
2007	—	`ch.`	Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform [A Solver for Quantified Boolean Formulas in Negation Normal Form]. Ausgezeichnete Informatikdissertationen Martina Seidl
2007	—	`conf`	Matching Metamodels with Semantic Systems - An Experience Report. BTW Workshops Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea Schauerhuber, Martina Seidl, Michael Strommer, Manuel Wimmer
2007	—	`conf`	Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. INAP/WLP Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2006	A	`conf`	A Solver for QBFs in Nonprenex Form. ECAI Uwe Egly, Martina Seidl, Stefan Woltran
2006	—	`conf`	A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. WLP Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2006	B	`conf`	ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. JELIA Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2003	A	`conf`	Comparing Different Prenexing Strategies for Quantified Boolean Formulas. SAT Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda