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

A Temporal-Logic Approach to Binding-Time Analysis.. LICS, Seite 184-195. IEEE Computer Society, (1996)Service Combinators for Web Computing., und . IEEE Trans. Software Eng., 25 (3): 309-316 (1999)Refinement-Type Checker for Standard ML.. AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 565-566. Springer, (1997)Service Combinators for Web Computing., und . DSL, Seite 1-10. USENIX, (1997)Practical Optional Types for Clojure., , und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 68-94. Springer, (2016)Score Level Fusion of Ear and Face Local 3D Features for Fast and Expression-Invariant Human Recognition., , , und . ICIAR, Volume 5627 von Lecture Notes in Computer Science, Seite 387-396. Springer, (2009)A Modal Analysis of Staged Computation., und . POPL, Seite 258-270. ACM Press, (1996)Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost., , und . WACV, Seite 1-6. IEEE Computer Society, (2008)Refinement Quantified Logics of Knowledge., , und . M4M/LAMAS, Volume 278 von Electronic Notes in Theoretical Computer Science, Seite 85-98. Elsevier, (2011)Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition., und . DICTA, Seite 513-518. IEEE Computer Society, (2009)