( en | de | ru )

 

Disambiguation of "Hruska, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Mata: A Fast and Simple Finite Automata Library.

, , , , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 130-151. Springer, (2024)

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.

Kristina Hruska

Nadine Hruska

Claudia Hruska

Friedrich Theodor Hruska

Friedrich-Rainer Hruska

 

Other publications of authors with the same name

Orchestrating Digital Twins for Distributed Manufacturing Execution Systems., , and . EUROCAST, volume 13789 of Lecture Notes in Computer Science, page 223-231. Springer, (2022)Mata, a Fast and Simple Finite Automata Library (Technical Report)., , , , , , and . CoRR, (2023)Reasoning About Regular Properties: A Comparative Study., , , , , and . CADE, volume 14132 of Lecture Notes in Computer Science, page 286-306. Springer, (2023)Mata: A Fast and Simple Finite Automata Library., , , , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 130-151. Springer, (2024)2LS: Heap Analysis and Memory Safety (Competition Contribution)., , , and . CoRR, (2019)Symbiotic 7: Integration of Predator and More - (Competition Contribution)., , , , , , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 413-417. Springer, (2020)Template-Based Verification of Heap-Manipulating Programs., , , and . FMCAD, page 1-9. IEEE, (2018)Counterexample Validation and Interpolation-Based Refinement for Forest Automata., , , , and . VMCAI, volume 10145 of Lecture Notes in Computer Science, page 288-309. Springer, (2017)Integrated Science through Computer-aided Experiments., , and . Informatics Educ., 3 (2): 219-228 (2004)New Insights towards High-Temperature Ethanol-Sensing Mechanism of ZnO-Based Chemiresistors., , , , , , , , , and 1 other author(s). Sensors, 20 (19): 5602 (2020)