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

Region and Effect Inference for Safe Parallelism (T)., , , , , and . ASE, page 512-523. IEEE Computer Society, (2015)Characterization of SRAM sense amplifier input offset for yield prediction in 28nm CMOS., , , , , , , and . CICC, page 1-4. IEEE, (2011)WormBase: new content and better access., , , , , , , , , and 24 other author(s). Nucleic Acids Research, 35 (Database-Issue): 506-510 (2007)Region and effect inference for safe parallelism., , , , , and . Autom. Softw. Eng., 26 (2): 463-509 (2019)WormBase: a comprehensive resource for nematode research., , , , , , , , , and 22 other author(s). Nucleic Acids Research, 38 (Database-Issue): 463-467 (2010)WormBase 2007., , , , , , , , , and 23 other author(s). Nucleic Acids Research, 36 (Database-Issue): 612-617 (2008)WormBook: the online review of Caenorhabditis elegans biology., , , , , , , , and . Nucleic Acids Research, 35 (Database-Issue): 472-475 (2007)A Formalization of Forcing and the Unprovability of the Continuum Hypothesis., and . ITP, volume 141 of LIPIcs, page 19:1-19:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Formal Mathematics Statement Curriculum Learning., , , , , and . CoRR, (2022)Text and Code Embeddings by Contrastive Pre-Training., , , , , , , , , and 15 other author(s). CoRR, (2022)