| A survey on model versioning approaches K Altmanninger, M Seidl, M Wimmer International Journal of Web Information Systems, 2009 | 236 | 2009 |
| Blocked clause elimination for QBF A Biere, F Lonsing, M Seidl International Conference on Automated Deduction, 101-115, 2011 | 146 | 2011 |
| UML@ classroom M Seidl, M Scholz, C Huemer, G Kappel Springer, 2015 | 116 | 2015 |
| An introduction to model versioning P Brosch, G Kappel, P Langer, M Seidl, K Wieland, M Wimmer International school on formal methods for the design of computer …, 2012 | 95 | 2012 |
| AMOR–towards adaptable model versioning K Altmanninger, G Kappel, A Kusel, W Retschitzegger, M Seidl, ... 1st International Workshop on Model Co-Evolution and Consistency Management …, 2008 | 93 | 2008 |
| SAT-based synthesis methods for safety specs R Bloem, R Könighofer, M Seidl International Conference on Verification, Model Checking, and Abstract …, 2014 | 84 | 2014 |
| An example is worth a thousand words: Composite operation modeling by-example P Brosch, P Langer, M Seidl, K Wieland, M Wimmer, G Kappel, ... International Conference on Model Driven Engineering Languages and Systems …, 2009 | 79 | 2009 |
| Clause elimination for SAT and QSAT M Heule, M Järvisalo, F Lonsing, M Seidl, A Biere Journal of Artificial Intelligence Research 53, 127-168, 2015 | 73 | 2015 |
| A posteriori operation detection in evolving software models P Langer, M Wimmer, P Brosch, M Herrmannsdörfer, M Seidl, K Wieland, ... Journal of Systems and Software 86 (2), 551-566, 2013 | 64 | 2013 |
| Resolution-based certificate extraction for QBF A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere International Conference on Theory and Applications of Satisfiability …, 2012 | 59 | 2012 |
| Matching Metamodels with Semantic Systems-An Experience Report. G Kappel, H Kargl, G Kramler, A Schauerhuber, M Seidl, M Strommer, ... BTW workshops, 38-52, 2007 | 58 | 2007 |
| A unified proof system for QBF preprocessing MJH Heule, M Seidl, A Biere International Joint Conference on Automated Reasoning, 91-106, 2014 | 55 | 2014 |
| Why model versioning research is needed!? an experience report K Altmanninger, P Brosch, G Kappel, P Langer, M Seidl, K Wieland, ... Proc. Models and Evolution Workshop, Denver, CO, USA, 79-90, 2009 | 55 | 2009 |
| Comparing different prenexing strategies for quantified boolean formulas U Egly, M Seidl, H Tompits, S Woltran, M Zolda International Conference on Theory and Applications of Satisfiability …, 2003 | 55 | 2003 |
| We can work it out: Collaborative conflict resolution in model versioning P Brosch, M Seidl, K Wieland, M Wimmer, P Langer ECSCW 2009, 207-214, 2009 | 52 | 2009 |
| Modbat: A model-based API tester for event-driven systems CV Artho, A Biere, M Hagiya, E Platon, M Seidl, Y Tanabe, M Yamamoto Haifa Verification Conference, 112-128, 2013 | 47 | 2013 |
| Efficient extraction of Skolem functions from QRAT proofs MJH Heule, M Seidl, A Biere 2014 Formal Methods in Computer-Aided Design (FMCAD), 107-114, 2014 | 42 | 2014 |
| Towards end-user adaptable model versioning: The by-example operation recorder P Brosch, P Langer, M Seidl, M Wimmer 2009 ICSE Workshop on Comparison and Versioning of Software Models, 55-60, 2009 | 42 | 2009 |
| Enhancing search-based QBF solving by dynamic blocked clause elimination F Lonsing, F Bacchus, A Biere, U Egly, M Seidl Logic for Programming, Artificial Intelligence, and Reasoning, 418-433, 2015 | 41 | 2015 |
| Adaptable model versioning in action P Brosch, G Kappel, M Seidl, K Wieland, M Wimmer, H Kargl, P Langer Modellierung 2010, 2010 | 40 | 2010 |
