Ondřej Lengál
From MaRDI portal
Person:300411
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Simulations in rank-based Büchi automata complementation j=' ' a=' ' j#=6 a#=6 | 2024-04-19 | Paper |
| Succinct determinisation of counting automata via sphere construction j=' ' a=' ' j#=6 a#=6 | 2024-04-19 | Paper |
| Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation j=' ' a=' ' j#=6 a#=6 | 2024-02-01 | Paper |
| Modular mix-and-match complementation of Büchi automata j=' ' a=' ' j#=6 a#=6 | 2023-12-13 | Paper |
| Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation j=' ' a=' ' j#=6 a#=6 | 2023-08-21 | Paper |
| Word equations in synergy with regular constraints Formal Methods j='Formal Methods' a=' ' j#=14 a#=6 | 2023-08-17 | Paper |
| Simulation algorithms for symbolic automata Automated Technology for Verification and Analysis j='Automated Technology for Verification and Analysis' a=' ' j#=50 a#=6 | 2023-07-28 | Paper |
| Complementing Büchi Automata with Ranker j=' ' a=' ' j#=6 a#=6 | 2022-12-07 | Paper |
| Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure Journal of Automated Reasoning j='Journal of Automated Reasoning' a=' ' j#=30 a#=6 | 2021-11-24 | Paper |
| A symbolic algorithm for the case-split rule in string constraint solving j=' ' a=' ' j#=6 a#=6 | 2021-07-08 | Paper |
| Register automata with linear arithmetic j=' ' a=' ' j#=6 a#=6 | 2021-01-19 | Paper |
| Fair termination for parameterized probabilistic concurrent systems Tools and Algorithms for the Construction and Analysis of Systems j='Tools and Algorithms for the Construction and Analysis of Systems' a=' ' j#=65 a#=6 | 2020-08-05 | Paper |
| Lazy automata techniques for WS1S Tools and Algorithms for the Construction and Analysis of Systems j='Tools and Algorithms for the Construction and Analysis of Systems' a=' ' j#=65 a#=6 | 2020-08-05 | Paper |
| Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata" j=' ' a=' ' j#=6 a#=6 | 2020-08-03 | Dataset |
| Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure Lecture Notes in Computer Science j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6 | 2020-03-10 | Paper |
| Nested antichains for WS1S Tools and Algorithms for the Construction and Analysis of Systems j='Tools and Algorithms for the Construction and Analysis of Systems' a=' ' j#=65 a#=6 | 2019-09-17 | Paper |
| Nested antichains for WS1S Acta Informatica j='Acta Informatica' a=' ' j#=16 a#=6 | 2019-03-21 | Paper |
| Compositional entailment checking for a fragment of separation logic Formal Methods in System Design j='Formal Methods in System Design' a=' ' j#=31 a#=6 | 2018-01-08 | Paper |
| Counterexample validation and interpolation-based refinement for forest automata Lecture Notes in Computer Science j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6 | 2017-02-21 | Paper |
| Verification of heap manipulating programs with ordered data by extended forest automata Acta Informatica j='Acta Informatica' a=' ' j#=16 a#=6 | 2016-06-28 | Paper |
| Compositional entailment checking for a fragment of separation logic Programming Languages and Systems j='Programming Languages and Systems' a=' ' j#=33 a#=6 | 2016-02-26 | Paper |
| Verification of heap manipulating programs with ordered data by extended forest automata Automated Technology for Verification and Analysis j='Automated Technology for Verification and Analysis' a=' ' j#=50 a#=6 | 2014-07-08 | Paper |
| VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata Tools and Algorithms for the Construction and Analysis of Systems j='Tools and Algorithms for the Construction and Analysis of Systems' a=' ' j#=65 a#=6 | 2012-06-29 | Paper |
| Efficient inclusion checking on explicit and semi-symbolic tree automata Automated Technology for Verification and Analysis j='Automated Technology for Verification and Analysis' a=' ' j#=50 a#=6 | 2011-10-07 | Paper |
Research outcomes over time
This page was built for person: Ondřej Lengál
