( en | de | ru )

 

Disambiguation of "Hähnle, Reiner"

Author of the publication

copydeleteadd this publication to your clipboard
OCL and Model Driven Engineering.

, , , , , , , , and . UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 67-75. Springer, (2004)

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.

Reiner Hähnle

Lorenz Hähnle

Max Hähnle

Reinhard Hähnle

Joachim Hähnle

 

Other publications of authors with the same name

Resource Analysis of Complex Programs with Cost Equations., and . APLAS, volume 8858 of Lecture Notes in Computer Science, page 275-295. Springer, (2014)Automated deduction in multiple-valued logics.. International series of monographs on computer science Oxford University Press, (1994)Automated Planning of ETCS Tracks., and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 79-90. Springer, (2019)History-Based Specification and Verification of Scalable Concurrent and Distributed Systems., , , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 217-233. Springer, (2015)Some Remarks on Completeness, Connection Graph Resolution and Link Deletion., , and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 173-186. Springer, (1998)A New Translation from Deduction into Integer Programming.. AISMC, volume 737 of Lecture Notes in Computer Science, page 262-275. Springer, (1992)Generating Unit Tests from Formal Proofs., and . TAP, volume 4454 of Lecture Notes in Computer Science, page 169-188. Springer, (2007)Modeling Non-deterministic C Code with Active Objects., , and . FSEN, volume 11761 of Lecture Notes in Computer Science, page 213-227. Springer, (2019)The Trace Modality., and . DaLí, volume 12005 of Lecture Notes in Computer Science, page 124-140. Springer, (2019)Locally Static, Globally Dynamic Session Types for Active Objects., , and . Gabbrielli's Festschrift, volume 86 of OASIcs, page 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)