Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lengál, Ondřej
17  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Mata: A Fast and Simple Finite Automata Library:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Chocholatý, David ; Fiedor, Tomáš ; Havlena, Vojtěch... - p. 130-151 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Z3-Noodler: An Automata-based String Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Chocholatý, David ; Havlena, Vojtěch... - p. 24-33 , 2024
Link: https://doi.org/10.1007/..
 
?
3

AutoQ: An Automata-Based Quantum Circuit Verifier:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Chung, Kai-Min ; Lengál, Ondřej.. - p. 139-153 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Modular Mix-and-Match Complementation of Büchi Automata:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Li, Yong.. - p. 249-270 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Word Equations in Synergy with Regular Constraints:

, In: Formal Methods; Lecture Notes in Computer Science,
Blahoudek, František ; Chen, Yu-Fang ; Chocholatý, David... - p. 403-423 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Complementing Büchi Automata with Ranker:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 188-201 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Auto..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 118-136 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Deciding S1S: Down the Rabbit Hole and Through the Looking ..:

, In: Networked Systems; Lecture Notes in Computer Science,
Havlena, Vojtěch ; Lengál, Ondřej ; Šmahlíková, Barbora - p. 215-222 , 2021
Link: https://doi.org/10.1007/..
 
?
9

A Symbolic Algorithm for the Case-Split Rule in String Cons..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Havlena, Vojtěch ; Lengál, Ondřej. - p. 343-363 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Automata Terms in a Lazy WSkS Decision Procedure:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,
Havlena, Vojtěch ; Holík, Lukáš ; Lengál, Ondřej. - p. 300-318 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Succinct Determinisation of Counting Automata via Sphere Co..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Holík, Lukáš ; Lengál, Ondřej ; Saarikivi, Olli... - p. 468-489 , 2019
Link: https://doi.org/10.1007/..
 
?
12

SL-COMP: Competition of Solvers for Separation Logic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Sighireanu, Mihaela ; Navarro Pérez, Juan A. ; Rybalchenko, Andrey... - p. 116-132 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Simulations in Rank-Based Büchi Automata Complementation:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Havlena, Vojtěch ; Lengál, Ondřej - p. 447-467 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Advanced automata-based algorithms for program termination ..:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Chen, Yu-Fang ; Heizmann, Matthias ; Lengál, Ondřej... - p. 135-150 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Approximate Reduction of Finite Automata for High-Speed Net..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Češka, Milan ; Havlena, Vojtěch ; Holík, Lukáš.. - p. 155-175 , 2018
Link: https://doi.org/10.1007/..
 
1-15