Ing.

Michal Hečko

Member of Workgroup


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

Publication Results

  • 2026

    ABDULLA, P.; CHEN, Y.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; LIN, J.; THINNIYAM, R. Parameterized Verification of Quantum Circuits. Proceedings of the ACM on Programming Languages-PACMPL, 2026, vol. 10, iss. 1, p. 2021-2050. Detail

  • 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, iss. 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. 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. iss. 14681, p. 42.ISSN: 0302-9743. Detail

Back to top