Martina Seidl

Johannes Kepler Universität Linz - Linz / Austria

Others

AD Scientific Index ID: 1383765

Johannes Kepler University Linz

Registration, Add Profile,
Premium Membership

Print Your Certificate

Martina Seidl's MOST POPULAR ARTICLES

1-) A survey on model versioning approachesK Altmanninger, M Seidl, M WimmerInternational Journal of Web Information Systems, 20092412009

2-) UML@ classroomM Seidl, M Scholz, C Huemer, G KappelSpringer, 20152452015

3-) Blocked clause elimination for QBFA Biere, F Lonsing, M SeidlInternational Conference on Automated Deduction, 101-115, 20111492011

4-) An introduction to model versioningP Brosch, G Kappel, P Langer, M Seidl, K Wieland, M WimmerInternational school on formal methods for the design of computer …, 20121192012

5-) SAT-based synthesis methods for safety specsR Bloem, R Könighofer, M SeidlVerification, Model Checking, and Abstract Interpretation: 15th …, 20141062014

ARTICLES

Add your articles