( en | de | ru )

 

Disambiguierung von "Hähnle, Reiner"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Certified Abstract Cost Analysis.

, , , und . FASE, Volume 12649 von Lecture Notes in Computer Science, Seite 24-45. Springer, (2021)

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

Reinhard Hähnle

Max Hähnle

Barbara Hähnle

 

Weitere Publikationen von Autoren mit dem selben Namen

Safer Parallelization., , , , , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 117-137. Springer, (2020)Completeness for Linear Regular Negation Normal Form Inference Systems., , und . ISMIS, Volume 1325 von Lecture Notes in Computer Science, Seite 590-599. Springer, (1997)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)Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)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 of Resource Management for Cloud Architectures: An Industrial Case Study., , , , und . ESOCC, Volume 7592 von Lecture Notes in Computer Science, Seite 91-106. Springer, (2012)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)