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

"Can I Implement Your Algorithm?": A Model for Reproducible Research Software., , and . CoRR, (2014)Bringing LTL Model Checking to Biologists., , , , , , , , , and 1 other author(s). VMCAI, volume 10145 of Lecture Notes in Computer Science, page 1-13. Springer, (2017)Diagnosing Abstraction Failure for Separation Logic-Based Analyses., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 155-173. Springer, (2012)Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech Systems., , , , , , , , and . INTERSPEECH, page 3565-3569. ISCA, (2020)NAS-Bench-ASR: Reproducible Neural Architecture Search for Speech Recognition., , , , , , , , and . ICLR, OpenReview.net, (2021)"Share and Enjoy": Publishing Useful and Usable Scientific Models., , , and . UCC, page 957-961. IEEE Computer Society, (2014)T2: Temporal Property Verification., , , , and . CoRR, (2015)Everest: Towards a Verified, Drop-in Replacement of HTTPS., , , , , , , , , and 12 other author(s). SNAPL, volume 71 of LIPIcs, page 1:1-1:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Dear CAV, We Need to Talk About Reproducibility., , and . CoRR, (2015)Towards "Reproducibility-as-a-Service"., , and . CoRR, (2015)