Hruška, Martin
274  results:
Search for persons X
?
3

Mata: A Fast and Simple Finite Automata Library:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
5

Reasoning About Regular Properties: A Comparative Study:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,
Fiedor, Tomáš ; Holík, Lukáš ; Hruška, Martin... - p. 286-306 , 2023
 
?
7

Orchestrating Digital Twins for Distributed Manufacturing E..:

, In: Computer Aided Systems Theory – EUROCAST 2022; Lecture Notes in Computer Science,
 
?
9

Towards Efficient Shape Analysis with Tree Automata:

, In: Networked Systems; Lecture Notes in Computer Science,
Hruška, Martin ; Holík, Lukáš - p. 206-214 , 2021
 
1-15