Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Query-based object-oriented programming: a declarative web of objects., , , and . DLS, page 64-75. ACM, (2018)Learning Syntactic Structure. University of Amsterdam, Ph.D. thesis, (2007)A Proof-Producing Compiler for Blockchain Applications., , , , and . ITP, volume 268 of LIPIcs, page 7:1-7:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A verified algebraic representation of cairo program execution., , , , and . CPP, page 153-165. ACM, (2022)Fast Unsupervised Incremental Parsing.. ACL, The Association for Computational Linguistics, (2007)The Expected Norm Of Random Matrices.. Comb. Probab. Comput., 9 (2): 149-166 (2000)Learning Context Free Grammars in the Limit Aided by the Sample Distribution.. ECML Workshop on Learning Contex-Free Grammars, page 77-88. Ruder Boskovic Institute, Zagreb, Croatia, (2003)Fast Learning from Strings of 2-Letter Rigid Grammars.. ICGI, volume 2484 of Lecture Notes in Computer Science, page 213-224. Springer, (2002)