Lukáš Holík
Lukáš Holík
Affiliation: Brno University of Technology and Aalborg University
Affiliation: Aalborg University
Pages in this Program
Kofola 1.0: A Modular Approach to 𝝎-Regular Complementation and Inclusion Checking
String Solving with Stabilization and Transducers
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑