PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "von Essen, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Termination Analysis of Java Bytecode by Term Rewriting.

, , , und . RTA, Volume 6 von LIPIcs, Seite 259-276. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)

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.

Christian Freiherr von Arnim University of Stuttgart

Apl. Prof. Dr. -Ing. Egon-Christian von Glasner University of Stuttgart

Dr. Julien von Reitzenstein University of Stuttgart

Annika von der Haar University of Stuttgart

Mareike von Arnim University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesizing efficient systems in probabilistic environments., , , und . Acta Inf., 53 (4): 425-457 (2016)Automated Termination Analysis of Java Bytecode by Term Rewriting., , , und . RTA, Volume 6 von LIPIcs, Seite 259-276. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)Probabilistic verification and synthesis of the next generation airborne collision avoidance system., und . STTT, 18 (2): 227-243 (2016)Analyzing the Next Generation Airborne Collision Avoidance System., und . TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 620-635. Springer, (2014)Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives, und . iWIGP, Volume 50 von EPTCS, Seite 17-32. (2011)Program Repair without Regret., und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 896-911. Springer, (2013)Synthesizing Efficient Controllers., und . VMCAI, Volume 7148 von Lecture Notes in Computer Science, Seite 428-444. Springer, (2012)Program repair without regret., und . Formal Methods in System Design, 47 (1): 26-50 (2015)Termination Graphs for Java Bytecode., , , und . Verification, Induction, Termination Analysis, Volume 6463 von Lecture Notes in Computer Science, Seite 17-37. Springer, (2010)