Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

From parametricity to conservation laws, via Noether's theorem.. POPL, Seite 491-502. ACM, (2014)Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers., , , , und . CoRR, (2022)ThreadSafe: Static Analysis for Java Concurrency., und . ECEASST, (2015)Strategy Preserving Compilation for Parallel Functional Code., , , und . CoRR, (2017)Syntax for Free: Representing Syntax with Binding Using Parametricity.. TLCA, Volume 5608 von Lecture Notes in Computer Science, Seite 35-49. Springer, (2009)Observed Communication Semantics for Classical Processes.. ESOP, Volume 10201 von Lecture Notes in Computer Science, Seite 56-82. Springer, (2017)CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types.. TYPES, Volume 4941 von Lecture Notes in Computer Science, Seite 18-32. Springer, (2007)Algebras for Parameterised Monads.. CALCO, Volume 5728 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2009)Refinement and Term Synthesis in Loop Invariant Generation., , , und . WING@ETAPS/IJCAR, Volume 1 von EPiC Series in Computing, Seite 167-182. EasyChair, (2010)Parameterised Notions of Computation.. MSFP@MPC, BCS, (2006)