Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartina Seidl
Person information
- affiliation: Johannes Kelper Universität Linz, Austria
- affiliation: Vienna University of Technology, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c80]Andreas Plank, Sibylle Möhle, Martina Seidl:
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). CP 2023: 49:1-49:10- [c79]Martina Seidl
:
Never Trust Your Solver: Certification for SAT and QBF. CICM 2023: 16-33 - [c78]Simone Heisinger, Martina Seidl:
True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. CICM 2023: 291-296 - [c77]Andreas Plank, Martina Seidl:
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas. SAT 2023: 20:1-20:10 - [c76]Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol:
Validation of QBF Encodings with Winning Strategies. SAT 2023: 24:1-24:10 - [c75]Maximilian Heisinger, Martina Seidl, Armin Biere:
ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. TACAS (1) 2023: 426-447 - [i14]Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol:
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR abs/2304.08308 (2023) - 2022
- [c74]Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl:
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM 2022: 272-284 - [c73]Maximilian Heisinger, Martina Seidl, Armin Biere:
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. PAAR@IJCAR 2022 - [c72]Martina Seidl:
What's New In QBF Solving? : (Invited Talk). SYNASC 2022: 16-18 - [c71]Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl:
FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC 2022: 80-83 - 2021
- [j28]Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl:
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. 57(2): 157-177 (2021) - [j27]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
New ways to multiply 3 × 3-matrices. J. Symb. Comput. 104: 899-916 (2021) - [j26]Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran:
Beyond Uniform Equivalence between Answer-set Programs. ACM Trans. Comput. Log. 22(1): 2:1-2:46 (2021) - [c70]Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla:
QBFFam: A Tool for Generating QBF Families from Proof Complexity. SAT 2021: 21-29 - [p3]Olaf Beyersdorff, Mikolás Janota, Florian Lonsing, Martina Seidl:
Quantified Boolean Formulas. Handbook of Satisfiability 2021: 1177-1221 - 2020
- [c69]David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere:
Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) 2020: 374-381 - [c68]David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere:
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE 2020: 61-67 - [e5]Luca Pulina, Martina Seidl:
Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Lecture Notes in Computer Science 12178, Springer 2020, ISBN 978-3-030-51824-0 [contents]
2010 – 2019
- 2019
- [j25]Luca Pulina, Martina Seidl:
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). Artif. Intell. 274: 224-248 (2019) - [j24]Marijn Heule, Manuel Kauers, Martina Seidl:
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. ACM Commun. Comput. Algebra 53(3): 118-121 (2019) - [j23]Luca Pulina, Martina Seidl:
Notes from the Guest Editors. J. Satisf. Boolean Model. Comput. 11(1): 1 (2019) - [j22]Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel:
A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18(1): 473-498 (2019) - [c67]Emily Yu, Martina Seidl, Armin Biere:
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. FTSCS 2019: 127-132 - [c66]Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl:
A Survey on Applications of Quantified Boolean Formulas. ICTAI 2019: 78-84 - [c65]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
Local Search for Fast Matrix Multiplication. SAT 2019: 155-163 - [c64]Benjamin Kiesl, Martina Seidl:
QRAT Polynomially Simulates ∀ \text -Exp+Res. SAT 2019: 193-202 - [i13]Manuel Kauers, Martina Seidl, Doron Zeilberger:
On the maximal minimal cube lengths in distinct DNF tautologies. CoRR abs/1902.03431 (2019) - [i12]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
Local Search for Fast Matrix Multiplication. CoRR abs/1903.11391 (2019) - [i11]Marijn J. H. Heule, Manuel Kauers, Martina Seidl:
New ways to multiply 3 x 3-matrices. CoRR abs/1905.10192 (2019) - 2018
- [j21]Manuel Kauers, Martina Seidl:
Short proofs for some symmetric Quantified Boolean Formulas. Inf. Process. Lett. 140: 4-7 (2018) - [j20]Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere:
Local Redundancy in SAT: Generalizations of Blocked Clauses. Log. Methods Comput. Sci. 14(4) (2018) - [c63]Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl:
Expansion-Based QBF Solving Without Recursion. FMCAD 2018: 1-10 - [c62]Manuel Kauers, Martina Seidl:
Symmetries of Quantified Boolean Formulas. SAT 2018: 199-216 - [p2]Florian Lonsing, Martina Seidl:
Parallel Solving of Quantified Boolean Formulas. Handbook of Parallel Constraint Reasoning 2018: 101-139 - [e4]Martina Seidl, Steffen Zschaler:
Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10748, Springer 2018, ISBN 978-3-319-74729-3 [contents] - [i10]Manuel Kauers, Martina Seidl:
Symmetries of Quantified Boolean Formulas. CoRR abs/1802.03993 (2018) - [i9]Manuel Kauers, Martina Seidl:
Short Proofs for Some Symmetric Quantified Boolean Formulas. CoRR abs/1804.01437 (2018) - [i8]Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl:
Expansion-Based QBF Solving Without Recursion. CoRR abs/1807.08964 (2018) - 2017
- [j19]Marijn J. H. Heule, Martina Seidl, Armin Biere:
Solution Validation and Extraction for QBF Preprocessing. J. Autom. Reason. 58(1): 97-125 (2017) - [j18]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:
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19(3): 367-390 (2017) - [c61]Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere:
PRuning Through Satisfaction. Haifa Verification Conference 2017: 179-194 - [c60]Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere:
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI 2017: 4884-4888 - [c59]Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere:
Blocked Clauses in First-Order Logic. LPAR 2017: 31-48 - [c58]Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl:
A Little Blocked Literal Goes a Long Way. SAT 2017: 281-297 - [c57]Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere:
Skolem Function Continuation for Quantified Boolean Formulas. TAP@STAF 2017: 129-138 - [i7]Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere:
Blocked Clauses in First-Order Logic. CoRR abs/1702.00847 (2017) - [i6]Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere:
Local Redundancy in SAT: Generalizations of Blocked Clauses. CoRR abs/1702.05527 (2017) - 2016
- [j17]Florian Lonsing, Martina Seidl, Allen Van Gelder:
The QBF Gallery: Behind the scenes. Artif. Intell. 237: 92-114 (2016) - [c56]Charles Jordan, Will Klieber, Martina Seidl:
Non-CNF QBF Solving with QCIR. AAAI Workshop: Beyond NP 2016 - [c55]Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere:
Super-Blocked Clauses. IJCAR 2016: 45-61 - [c54]Florian Lonsing, Uwe Egly, Martina Seidl:
Q-Resolution with Generalized Axioms. SAT 2016: 435-452 - [c53]Katalin Fazekas, Martina Seidl, Armin Biere:
A Duality-Aware Calculus for Quantified Boolean Formulas. SYNASC 2016: 181-186 - [c52]Sebastian Gabmeyer, Martina Seidl:
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. TAP@STAF 2016: 94-111 - [c51]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:
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 2016: 149-177 - [e3]Florian Lonsing, Martina Seidl:
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. CEUR Workshop Proceedings 1719, CEUR-WS.org 2016 [contents] - [i5]Florian Lonsing, Uwe Egly, Martina Seidl:
Q-Resolution with Generalized Axioms. CoRR abs/1604.05994 (2016) - [i4]Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl:
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR abs/1604.06204 (2016) - 2015
- [b3]Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel:
UML @ Classroom - An Introduction to Object-Oriented Modeling. Undergraduate Topics in Computer Science, Springer 2015, ISBN 978-3-319-12741-5, pp. 1-194 - [j16]Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl:
Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. 44: 72-88 (2015) - [j15]Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere:
Clause Elimination for SAT and QSAT. J. Artif. Intell. Res. 53: 127-168 (2015) - [c50]Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata:
Model-Based Testing of Stateful APIs with Modbat. ASE 2015: 858-863 - [c49]Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl:
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. LPAR 2015: 418-433 - [c48]Martina Seidl:
UML@Classroom: An Introduction to Object-Oriented Modeling. EduSymp@MoDELS 2015: 4-5 - [c47]Marijn Heule, Martina Seidl, Armin Biere:
Blocked Literals Are Universal. NFM 2015: 436-442 - [c46]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:
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT 2015: 27-57 - [e2]Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim:
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. CEUR Workshop Proceedings 1514, CEUR-WS.org 2015 [contents] - [i3]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:
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR abs/1506.08726 (2015) - [i2]Florian Lonsing, Martina Seidl, Allen Van Gelder:
The QBF Gallery: Behind the Scenes. CoRR abs/1508.01045 (2015) - 2014
- [j14]Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder:
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. J. Satisf. Boolean Model. Comput. 9(1): 187-206 (2014) - [c45]Marijn Heule, Martina Seidl, Armin Biere:
A Unified Proof System for QBF Preprocessing. IJCAR 2014: 91-106 - [c44]Martina Seidl, Robert Könighofer:
Partial witnesses from preprocessed quantified Boolean formulas. DATE 2014: 1-6 - [c43]Marijn Heule, Martina Seidl, Armin Biere:
Efficient extraction of Skolem functions from QRAT proofs. FMCAD 2014: 107-114 - [c42]Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl:
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. SAT 2014: 430-437 - [c41]Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl:
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE 2014: 21-40 - [c40]Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl:
Model Checking of CTL-Extended OCL Specifications. SLE 2014: 221-240 - [c39]Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl:
MocOCL: A Model Checker for CTL-Extended OCL Specifications. VOLT@STAF 2014: 10-15 - [c38]Roderick Bloem, Robert Könighofer, Martina Seidl:
SAT-Based Synthesis Methods for Safety Specs. VMCAI 2014: 1-20 - [e1]Martina Seidl, Nikolai Tillmann:
Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. Lecture Notes in Computer Science 8570, Springer 2014, ISBN 978-3-319-09098-6 [contents] - 2013
- [j13]Konrad Wieland, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel:
Turning Conflicts into Collaboration. Comput. Support. Cooperative Work. 22(2-3): 181-240 (2013) - [j12]Philip Langer, Manuel Wimmer, Petra Brosch, Markus Herrmannsdörfer, Martina Seidl, Konrad Wieland, Gerti Kappel:
A posteriori operation detection in evolving software models. J. Syst. Softw. 86(2): 551-566 (2013) - [j11]Petra Brosch, Martina Seidl, Magdalena Widl:
Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. Softwaretechnik-Trends 33(2) (2013) - [c37]Alexandra Goultiaeva, Martina Seidl, Armin Biere:
Bridging the gap between dual propagation and CNF-based QBF solving. DATE 2013: 811-814 - [c36]Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto:
Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference 2013: 112-128 - [c35]Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl:
OCL meets CTL: Towards CTL-Extended OCL Model Checking. OCL@MoDELS 2013: 13-22 - [c34]Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl:
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS 2013: 31-40 - [c33]Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter:
Research Questions for Validation and Verification in the Context of Model-Based Engineering. MoDeVVa@MoDELS 2013: 67-76 - [c32]Marion Scholz, Petra Kaufmann, Martina Seidl:
Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. EduSymp@MoDELS 2013 - [c31]Cyrille Artho, Armin Biere, Martina Seidl:
Model-Based Testing for Verification Back-Ends. TAP@STAF 2013: 39-55 - [i1]Roderick Bloem, Robert Könighofer, Martina Seidl:
SAT-Based Synthesis Methods for Safety Specs. CoRR abs/1311.3530 (2013) - 2012
- [b2]Martina Seidl, Marion Brandsteidl, Christian Huemer, Gerti Kappel:
UML @ Classroom - Eine Einführung in die objektorientierte Modellierung. dpunkt.verlag 2012, ISBN 978-3-89864-776-2 - [j10]Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel:
Conflict Visualization for Evolving UML Models. J. Object Technol. 11(3): 2: 1-30 (2012) - [j9]Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl:
On formalizing EMF modeling operations with graph transformations. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [j8]Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel:
Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. Softwaretechnik-Trends 32(4) (2012) - [c30]Martina Seidl, Florian Lonsing, Armin Biere:
qbf2epr: A Tool for Generating EPR Formulas from QBF. PAAR@IJCAR 2012: 139-148 - [c29]Marion Brandsteidl, Tanja Mayerhofer, Martina Seidl, Christian Huemer:
Replacing traditional classroom lectures with lecture videos: an experience report. EduSym@MoDELS 2012: 21-27 - [c28]Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere:
Resolution-Based Certificate Extraction for QBF - (Tool Presentation). SAT 2012: 430-435 - [c27]Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer:
An Introduction to Model Versioning. SFM 2012: 336-398 - [c26]Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits:
Guided Merging of Sequence Diagrams. SLE 2012: 164-183 - [c25]Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer:
Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS 2012: 149-155 - [c24]Nadia Creignou, Uwe Egly, Martina Seidl:
A Framework for the Specification of Random SAT and QSAT Formulas. TAP@TOOLS 2012: 163-168 - 2011
- [j7]Martina Seidl, Peter J. Clarke:
Software modeling in education. Comput. Sci. Educ. 21(4): 313-315 (2011) - [j6]Martina Seidl, Peter J. Clarke:
Position Paper: Software Modeling Education. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 52 (2011) - [j5]Konrad Wieland, Geraldine Fitzpatrick, Gerti Kappel, Martina Seidl, Manuel Wimmer:
Towards an Understanding of Requirements for Model Versioning Support. Int. J. People Oriented Program. 1(2): 1-23 (2011) - [c23]Armin Biere, Florian Lonsing, Martina Seidl:
Blocked Clause Elimination for QBF. CADE 2011: 101-115 - [c22]Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl:
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. LPNMR 2011: 382-387 - [c21]Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer:
Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS (Workshops) 2011: 246-256 - 2010
- [j4]Martina Seidl, Peter J. Clarke:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 34 (2010) - [c20]Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel:
Concurrent Modeling in Early Phases of the Software Development Life Cycle. CRIWG 2010: 129-144 - [c19]Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer:
Colex: a web-based collaborative conflict lexicon. IWMCP@ICMT 2010: 42-49 - [c18]Petra Brosch, Gerti Kappel, Martina Seidl, Konrad Wieland, Manuel Wimmer, Horst Kargl, Philip Langer:
Adaptable Model Versioning in Action. Modellierung 2010: 221-236 - [c17]Martina Seidl, Peter J. Clarke:
Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010. MoDELS (Workshops) 2010: 35-39 - [c16]Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel:
Conflicts as First-Class Entities: A UML Profile for Model Versioning. MoDELS (Workshops) 2010: 184-193 - [c15]Petra Brosch, Martina Seidl, Gerti Kappel:
A recommender for conflict resolution support in optimistic model versioning. SPLASH/OOPSLA Companion 2010: 43-50 - [c14]Petra Brosch, Martina Seidl, Konrad Wieland:
Guiding modelers through conflict resolution: a recommender for model versioning. SPLASH/OOPSLA Companion 2010: 241-242
2000 – 2009
- 2009
- [j3]Uwe Egly, Martina Seidl, Stefan Woltran:
A solver for QBFs in negation normal form. Constraints An Int. J. 14(1): 38-79 (2009) - [j2]Horst Kargl, Manuel Wimmer, Martina Seidl, Gerti Kappel:
SmartMatcher: Improving Automatically Generated Transformations. Datenbank-Spektrum 9(29): 42-52 (2009) - [j1]Kerstin Altmanninger, Martina Seidl, Manuel Wimmer:
A survey on model versioning approaches. Int. J. Web Inf. Syst. 5(3): 271-304 (2009) - [c13]