Author of the publication

Variablenelimination für symbolische Modelle.

, and . GI Jahrestagung, volume P-154 of LNI, page 2835-2844. GI, (2009)

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

Variablenelimination für symbolische Modelle., and . GI Jahrestagung, volume P-154 of LNI, page 2835-2844. GI, (2009)Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen., and . Softwaretechnik-Trends, (2013)Termination analysis of business process workflows., and . WEWST, page 18-25. ACM, (2010)Konvergenznachweis von asynchronen Algorithmen., and . Informatiktage, volume S-13 of LNI, page 89-92. GI, (2014)Explorative Analysis of Heterogeneous, Unstructured, and Uncertain Data - A Computer Science Perspective on Biodiversity Research., , , , , , , , , and 5 other author(s). DATA, page 251-257. SciTePress, (2014)Scheduling Iterative Programs onto LogP-Machine., and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 332-339. Springer, (1999)Correct Programs without Proof? On Checker-Based Program Verification., , and . Tool Support for System Specification, Development and Verification, page 108-122. Springer, (1998)Robuste Komponentensysteme durch Protokollprüfung., and . GI-Jahrestagung, volume P-192 of LNI, page 314. GI, (2011)On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems., and . ESOCC Workshops, volume 1115 of Communications in Computer and Information Science, page 79-90. Springer, (2018)Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen., and . Software Engineering (Workshops), volume 1129 of CEUR Workshop Proceedings, page 111-128. CEUR-WS.org, (2014)