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

I Can Parse You: Grammars for Dialogs., , , , and . SNAPL, volume 71 of LIPIcs, page 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)An Empirical Study of Modular Bias Mitigators and Ensembles., , , , , and . CoRR, (2022)CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq., , , , and . CoRR, (2020)Extracting enhanced artificial intelligence model metadata from software repositories., , , , and . Empir. Softw. Eng., 27 (7): 176 (2022)A Branding Strategy for Business Types., and . A List of Successes That Can Change the World, volume 9600 of Lecture Notes in Computer Science, page 367-387. Springer, (2016)Generating chat bots from web API specifications., , , , and . Onward!, page 44-57. ACM, (2017)CertRL: formalizing convergence proofs for value and policy iteration in Coq., , , , and . CPP, page 18-31. ACM, (2021)Yaps: Python Frontend to Stan., , , , and . CoRR, (2018)Type Safety with JSON Subschema., , , and . CoRR, (2019)Towards a Formally Verified Security Monitor for VM-based Confidential Computing., , , , and . CoRR, (2023)