Vojtěch Havlena

MaRDI QIDQ2038089zbMATH OpenFDO

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
Negated string containment is decidable	2026-08-05	Paper
Word equations in synergy with regular constraints (extended version) Constraints	2026-08-04	Paper
Cooking string-integer conversions with noodles	2026-02-03	Paper
Complementation of Emerson-Lei automata	2025-12-04	Paper
Antiprenexing for WSkS: a little goes a long way	2025-02-20	Paper
Simulations in rank-based Büchi automata complementation	2024-04-19	Paper
Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation	2024-02-01	Paper
Modular mix-and-match complementation of Büchi automata	2023-12-13	Paper
Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation	2023-08-21	Paper
Word equations in synergy with regular constraints Formal Methods	2023-08-17	Paper
Complementing Büchi Automata with Ranker	2022-12-07	Paper
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure Journal of Automated Reasoning	2021-11-24	Paper
A symbolic algorithm for the case-split rule in string constraint solving	2021-07-08	Paper
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure Lecture Notes in Computer Science	2020-03-10	Paper
A Note on One Less Known Class of Generated Residual Implications	2016-12-15	Paper
A Note on One Less Known Class of Generated Residual Implications (available as arXiv preprint)	2016-01-01	Paper

Research outcomes over time

This page was built for person: Vojtěch Havlena