( en | de | ru )

 

Disambiguierung von "Leuschel, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Allocation removal by partial evaluation in a tracing JIT.

, , , , , und . PEPM, Seite 43-52. ACM, (2011)

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.

Michael Leuschel

Dieter Leuschel

Hilde Leuschel

Roland Leuschel

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)
 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Refinement Checking for B., und . ICFEM, Volume 3785 von Lecture Notes in Computer Science, Seite 345-359. Springer, (2005)Constraint Logic Programming over Infinite Domains with an Application to Proof., und . WLP / WFLP, Volume 234 von EPTCS, Seite 73-87. (2017)Optimising the ProB Model Checker for B Using Partial Order Reduction., und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 220-234. Springer, (2014)Partial Evaluation of the "Real Thing".. LOPSTR, Volume 883 von Lecture Notes in Computer Science, Seite 122-137. Springer, (1994)Homeomorphic Embedding for Online Termination of Symbolic Methods.. The Essence of Computation, Volume 2566 von Lecture Notes in Computer Science, Seite 379-403. Springer, (2002)Solving Planning Problems by Partial Deduction., und . LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 451-468. Springer, (2000)How to Make FDR Spin LTL Model Checking of CSP by Refinement., , und . FME, Volume 2021 von Lecture Notes in Computer Science, Seite 99-118. Springer, (2001)Combining CSP and B for Specification and Property Verification., und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 221-236. Springer, (2005)Translating B to TLA + for Validation with TLC., und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2014)Generating Event-B Specifications from Algorithm Descriptions., , , , und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 183-197. Springer, (2016)