From post

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.

 

Другие публикации лиц с тем же именем

A Temporal-Logic Approach to Binding-Time Analysis.. LICS, стр. 184-195. IEEE Computer Society, (1996)Service Combinators for Web Computing., и . IEEE Trans. Software Eng., 25 (3): 309-316 (1999)Refinement-Type Checker for Standard ML.. AMAST, том 1349 из Lecture Notes in Computer Science, стр. 565-566. Springer, (1997)Service Combinators for Web Computing., и . DSL, стр. 1-10. USENIX, (1997)Score Level Fusion of Ear and Face Local 3D Features for Fast and Expression-Invariant Human Recognition., , , и . ICIAR, том 5627 из Lecture Notes in Computer Science, стр. 387-396. Springer, (2009)Practical Optional Types for Clojure., , и . ESOP, том 9632 из Lecture Notes in Computer Science, стр. 68-94. Springer, (2016)A Modal Analysis of Staged Computation., и . POPL, стр. 258-270. ACM Press, (1996)Refinement Quantified Logics of Knowledge., , и . M4M/LAMAS, том 278 из Electronic Notes in Theoretical Computer Science, стр. 85-98. Elsevier, (2011)Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost., , и . WACV, стр. 1-6. IEEE Computer Society, (2008)A Fast and Fully Automatic Ear Recognition Approach Based on 3D Local Surface Features., , , и . ACIVS, том 5259 из Lecture Notes in Computer Science, стр. 1081-1092. Springer, (2008)