Ing.

Michal Hečko

Member of Workgroup


ihecko@fit.vut.cz
221755/BUT personal ID

Publication Results

  • 2025

    CHEN, Y.; HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. A Uniform Framework for Handling Position Constraints in String Solving. Proceedings of the ACM on Programming Languages-PACMPL, 2025, vol. 9, no. PLDI, p. 550-575. ISSN: 2475-1421. Detail

    HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. Negated String Containment is Decidable. Leibniz International Proceedings in Informatics. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2025. p. 1-20. Detail

  • 2024

    HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; HABERMEHL, P. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. Proceedings of CAV'24. Lecture Notes in Computer Science. Montreal: Springer Verlag, 2024. no. 14681, p. 42-67. ISSN: 0302-9743. Detail

Back to top