( en | de | ru )

 

Disambiguierung von "Hähnle, Reiner"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using a Software Testing Technique to Improve Theorem Proving.

, und . FATES, Volume 2931 von Lecture Notes in Computer Science, Seite 30-41. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Reiner Hähnle

Lorenz Hähnle

Max Hähnle

Reinhard Hähnle

Barbara Hähnle

 

Weitere Publikationen von Autoren mit dem selben Namen

Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)Safer Parallelization., , , , , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 117-137. Springer, (2020)Engineering virtualized services., , , , und . NordiCloud, Volume 826 von ACM International Conference Proceeding Series, Seite 59-63. ACM, (2013)Automatic Loop Invariant Generation for Data Dependence Analysis., , und . FormaliSE@ICSE, Seite 34-45. ACM, (2022)Formal modeling and analysis of railway operations with active objects., , und . Sci. Comput. Program., (2018)Ordered Resolution vs. Connection Graph Resolution., , und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 182-194. Springer, (2001)Completeness for Linear Regular Negation Normal Form Inference Systems., , und . ISMIS, Volume 1325 von Lecture Notes in Computer Science, Seite 590-599. Springer, (1997)Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach., , , , , , , und . VORTEX@ECOOP/ISSTA, Volume 302 von EPTCS, Seite 1-15. (2018)Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification., , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2020)A Modular Reduction of Regular Logic to Classical Logic., , und . ISMVL, Seite 221-226. IEEE Computer Society, (2001)