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

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)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)An Empirical Study of Modular Bias Mitigators and Ensembles., , , , , and . CoRR, (2022)Generating chat bots from web API specifications., , , , and . Onward!, page 44-57. ACM, (2017)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)CertRL: formalizing convergence proofs for value and policy iteration in Coq., , , , and . CPP, page 18-31. ACM, (2021)Lale: Consistent Automated Machine Learning., , , , and . CoRR, (2020)Type Safety with JSON Subschema., , , and . CoRR, (2019)Towards a Formally Verified Security Monitor for VM-based Confidential Computing., , , , and . CoRR, (2023)