| 2026 | SAT | Definition-Based Dependency Schemes. | David Kattermann, Clemens Hofstadler, Martina Seidl |
| 2026 | TACAS | QSOLE: Automatic QBF Equivalence Checking. | Peter Pfeiffer, Mark Peyrer, Daniel Groe, Martina Seidl |
| 2025 | JELIA | Refined Notions of QBF Equivalences. | Peter Pfeiffer, Daniel Groe, Martina Seidl |
| 2025 | JELIA | Refinement-Based Enumeration of QBF Solutions. | Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl |
| 2025 | SAC | Solution Counts of Some Prominent Quantified Boolean Formulas Families. | Andreas Plank, Martina Seidl, Manuel Kauers |
| 2025 | SAC | FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas. | Marcel Simader, Adrian Rebola-Pardo, Martina Seidl |
| 2025 | SAT | QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms. | Mark Peyrer, Martina Seidl |
| 2025 | SLE | (Semantic) Feature Model Differences with (Q)SAT. | Simone Heisinger, Maximilian Heisinger, Martina Seidl |
| 2025 | SYNASC | Towards SAT-Based Learning of NNF Networks. | Paul Seip, Florian Beck, Johannes Frnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider |
| 2024 | IJCAI | A Top-Down Tree Model Counter for Quantified Boolean Formulas. | Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl |
| 2024 | IJCAR | Quantifier Shifting for Quantified Boolean Formulas Revisited. | Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl |
| 2024 | IJCAR | Booleguru, the Propositional Polyglot (Short Paper). | Maximilian Heisinger, Simone Heisinger, Martina Seidl |
| 2024 | IFM | PyQBF: A Python Framework for Solving Quantified Boolean Formulas. | Mark Peyrer, Maximilian Heisinger, Martina Seidl |
| 2024 | SAT | Models and Counter-Models of Quantified Boolean Formulas (Invited Talk). | Martina Seidl |
| 2023 | CP | Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). | Andreas Plank, Sibylle Mhle, Martina Seidl |
| 2023 | SAT | QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas. | Andreas Plank, Martina Seidl |
| 2023 | SAT | Validation of QBF Encodings with Winning Strategies. | Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol |
| 2023 | TACAS | ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. | Maximilian Heisinger, Martina Seidl, Armin Biere |
| 2022 | SYNASC | FERPModels: A Certification Framework for Expansion-Based QBF Solving. | Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl |
| 2022 | SYNASC | What's New In QBF Solving? : (Invited Talk). | Martina Seidl |
| 2021 | SAT | QBFFam: A Tool for Generating QBF Families from Proof Complexity. | Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla |
| 2020 | CSEDU | Computational Logic in the First Semester of Computer Science: An Experience Report. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2020 | ITiCSE | Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2019 | ICTAI | A Survey on Applications of Quantified Boolean Formulas. | Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl |
| 2019 | SAT | Local Search for Fast Matrix Multiplication. | Marijn J. H. Heule, Manuel Kauers, Martina Seidl |
| 2019 | SAT | QRAT Polynomially Simulates ∀ \text -Exp+Res. | Benjamin Kiesl, Martina Seidl |
| 2018 | FMCAD | Expansion-Based QBF Solving Without Recursion. | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |
| 2018 | SAT | Symmetries of Quantified Boolean Formulas. | Manuel Kauers, Martina Seidl |
| 2017 | IJCAI | Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? | Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere |
| 2017 | LPAR | Blocked Clauses in First-Order Logic. | Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere |
| 2017 | SAT | A Little Blocked Literal Goes a Long Way. | Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl |
| 2017 | TAP | Skolem Function Continuation for Quantified Boolean Formulas. | Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere |
| 2016 | AAAI | Non-CNF QBF Solving with QCIR. | Charles Jordan, Will Klieber, Martina Seidl |
| 2016 | CADE | Super-Blocked Clauses. | Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere |
| 2016 | SAT | Q-Resolution with Generalized Axioms. | Florian Lonsing, Uwe Egly, Martina Seidl |
| 2016 | SYNASC | A Duality-Aware Calculus for Quantified Boolean Formulas. | Katalin Fazekas, Martina Seidl, Armin Biere |
| 2016 | TAP | Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. | Sebastian Gabmeyer, Martina Seidl |
| 2015 | LPAR | Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. | Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl |
| 2015 | MODELS | UML@Classroom: An Introduction to Object-Oriented Modeling. | Martina Seidl |
| 2014 | CADE | A Unified Proof System for QBF Preprocessing. | Marijn Heule, Martina Seidl, Armin Biere |
| 2014 | DATE | Partial witnesses from preprocessed quantified Boolean formulas. | Martina Seidl, Robert Knighofer |
| 2014 | FMCAD | Efficient extraction of Skolem functions from QRAT proofs. | Marijn Heule, Martina Seidl, Armin Biere |
| 2014 | SAT | MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. | Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl |
| 2014 | SLE | Model Checking of CTL-Extended OCL Specifications. | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
| 2014 | SLE | A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
| 2014 | VMCAI | SAT-Based Synthesis Methods for Safety Specs. | Roderick Bloem, Robert Knighofer, Martina Seidl |
| 2013 | DATE | Bridging the gap between dual propagation and CNF-based QBF solving. | Alexandra Goultiaeva, Martina Seidl, Armin Biere |
| 2013 | MODELS | OCL meets CTL: Towards CTL-Extended OCL Model Checking. | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
| 2013 | MODELS | Research Questions for Validation and Verification in the Context of Model-Based Engineering. | Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nbrega, Ileana Ober, Martina Seidl, Markus Vlter |
| 2013 | MODELS | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
| 2013 | MODELS | Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. | Marion Scholz, Petra Kaufmann, Martina Seidl |
| 2013 | TAP | Model-Based Testing for Verification Back-Ends. | Cyrille Artho, Armin Biere, Martina Seidl |
| 2012 | CADE | qbf2epr: A Tool for Generating EPR Formulas from QBF. | Martina Seidl, Florian Lonsing, Armin Biere |
| 2012 | MODELS | Replacing traditional classroom lectures with lecture videos: an experience report. | Marion Brandsteidl, Tanja Mayerhofer, Martina Seidl, Christian Huemer |
| 2012 | SAT | Resolution-Based Certificate Extraction for QBF - (Tool Presentation). | Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere |
| 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 |
| 2012 | TAP | A Framework for the Specification of Random SAT and QSAT Formulas. | Nadia Creignou, Uwe Egly, Martina Seidl |
| 2011 | CADE | Blocked Clause Elimination for QBF. | Armin Biere, Florian Lonsing, Martina Seidl |
| 2011 | LPNMR | VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. | Johannes Oetsch, Jrg Phrer, Martina Seidl, Hans Tompits, Patrick Zwickl |
| 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 |
| 2010 | MODELS | Conflicts as First-Class Entities: A UML Profile for Model Versioning. | Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel |
| 2010 | MODELS | Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010. | Martina Seidl, Peter J. Clarke |
| 2010 | OOPSLA | A recommender for conflict resolution support in optimistic model versioning. | Petra Brosch, Martina Seidl, Gerti Kappel |
| 2010 | OOPSLA | Guiding modelers through conflict resolution: a recommender for model versioning. | Petra Brosch, Martina Seidl, Konrad Wieland |
| 2009 | ECSCW | We can work it out: Collaborative Conflict Resolution in Model Versioning. | Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer |
| 2009 | ICSE | Towards end-user adaptable model versioning: The By-Example Operation Recorder. | Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer |
| 2009 | LPNMR | ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 2009 | MODELS | An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. | Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger |
| 2009 | OOPSLA | By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process. | Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer |
| 2009 | OOPSLA | The operation recorder: specifying model refactorings by-example. | Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer |
| 2007 | BTW | Matching Metamodels with Semantic Systems - An Experience Report. | Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea Schauerhuber, Martina Seidl, Michael Strommer, Manuel Wimmer |
| 2006 | ECAI | A Solver for QBFs in Nonprenex Form. | Uwe Egly, Martina Seidl, Stefan Woltran |
| 2006 | JELIA | ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 2003 | SAT | Comparing Different Prenexing Strategies for Quantified Boolean Formulas. | Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda |