Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue., , , , and . Softwaretechnik-Trends, (2012)UML @ Classroom - An Introduction to Object-Oriented Modeling, , , and . Undergraduate Topics in Computer Science Springer, (2015)The Second Reactive Synthesis Competition (SYNTCOMP 2015)., , , , , , , , , and 1 other author(s). SYNT, volume 202 of EPTCS, page 27-57. (2015)Blocked Clauses in First-Order Logic., , , , and . LPAR, volume 46 of EPiC Series in Computing, page 31-48. EasyChair, (2017)ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 382-395. Springer, (2009)UML@Classroom: An Introduction to Object-Oriented Modeling.. EduSymp@MoDELS, volume 1555 of CEUR Workshop Proceedings, page 4-5. CEUR-WS.org, (2015)An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example., , , , , , , and . MoDELS, volume 5795 of Lecture Notes in Computer Science, page 271-285. Springer, (2009)QRAT Polynomially Simulates ∀ -Exp+Res., and . SAT, volume 11628 of Lecture Notes in Computer Science, page 193-202. Springer, (2019)Q-Resolution with Generalized Axioms., , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 435-452. Springer, (2016)A Framework for the Specification of Random SAT and QSAT Formulas., , and . TAP, volume 7305 of Lecture Notes in Computer Science, page 163-168. Springer, (2012)