Publikační výsledky

• 2025

  HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word equations in synergy with regular constraints (extended version). Constraints, 2025, vol. 30, iss. May, p. 1-34.
  

  Článek WoS

  Detail | Plný text v Digitální knihovně

  CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; HRANIČKA, J.; LENGÁL, O.; SÍČ, J. Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. Proceedings of TACAS'25. Lecture Notes in Computer Science. Hamilton: Springer Verlag, 2025. iss. 1, p. 23.ISSN: 0302-9743.
  

  Stať ve sborníku mimo WoS a Scopus

  Detail | Plný text v Digitální knihovně

• 2024

  CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Z3-Noodler: An Automata-based String Solver. In Proceedings of TACAS'24. Lecture Notes in Computer Science. Luxembourgh: Springer Verlag, 2024. iss. 14570, p. 24-33.
  

  Stať ve sborníku v databázi WoS či Scopus

  Detail | Plný text v Digitální knihovně

  HOLÍK, L.; CHOCHOLATÝ, D.; FIEDOR, T.; HAVLENA, V.; HRUŠKA, M.; LENGÁL, O.; SÍČ, J. Mata: A Fast and Simple Finite Automata Library. In Proceedings of TACAS'24. Lecture Notes in Computer Science. Luxembourgh: Springer Verlag, 2024. iss. 14571, p. 130-151.
  

  Stať ve sborníku v databázi WoS či Scopus

  Detail | Plný text v Digitální knihovně

• 2023

  HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word Equations in Synergy with Regular Constraints. In Proceedings of FM'23. Lecture Notes in Computer Science. Lübeck: Springer Verlag, 2023. iss. 14000, p. 403-423. ISSN: 0302-9743.
  

  Stať ve sborníku v databázi WoS či Scopus

  Detail

  CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages-PACMPL, 2023, vol. 7, iss. 10, p. 2112-2141. ISSN: 2475-1421.
  

  Článek WoS

  Detail

*) Citace se generují jednou za 24 hodin.