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

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)Bunched LPCNet: Vocoder for Low-Cost Neural Text-To-Speech Systems., , , , , , , , and . INTERSPEECH, page 3565-3569. ISCA, (2020)Diagnosing Abstraction Failure for Separation Logic-Based Analyses., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 155-173. Springer, (2012)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)The semantics of power and ARM multiprocessor machine code., , , , , , and . DAMP, page 13-24. ACM, (2009)At the interface of biology and computation., , , , , , , and . CHI, page 493-502. ACM, (2013)Design Verification of the Quantum Control Stack., , , , , , and . CoRR, (2023)SLAyer: Memory Safety for Systems-Level Code., , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 178-183. Springer, (2011)Resourceful Reachability as HORN-LA., , , , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 137-146. Springer, (2013)