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

PaSh: Light-touch Data-Parallel Shell Processing., , , , and . CoRR, (2020)Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic., , , and . EMSOFT, page 11-12. IEEE, (2022)Software-hardware codesign for efficient in-memory regular pattern matching., , , , , , and . PLDI, page 733-748. ACM, (2022)KAT + B!, , and . CSL-LICS, page 44:1-44:10. ACM, (2014)Sentence-Level Evaluation Using Co-occurences of N-Grams., , , and . ICANN (1), volume 5163 of Lecture Notes in Computer Science, page 750-758. Springer, (2008)Automata-Based Stream Processing., , and . ICALP, volume 80 of LIPIcs, page 112:1-112:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Modular quantitative monitoring., , and . Proc. ACM Program. Lang., 3 (POPL): 50:1-50:31 (2019)Real-Time Decision Policies With Predictable Performance., , , , and . Proc. IEEE, 106 (9): 1593-1615 (2018)Regular Languages in the Sliding Window Model., , , , and . CoRR, (2024)The Design and Implementation of a Verified File System with End-to-End Data Integrity., , , , and . CoRR, (2020)