Billede af Lukas Holik

Vis Scopus-profil

Lukas Holik

Lektor

 https://orcid.org/0000-0001-6957-1651

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Danmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

20252025

Publikationer pr. år

Personlig profil

Forskningsprofil

Formal methods, logic, and automata, applied in analysis and verification of computing systems, in areas like stirng constraint solving, pattern matching, network monitoring, security of web-applications, analysis of parallelism, shape analysis.

Eksterne ansættelser

Associate professor, Brno University of Technology

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
Vis fuldt fingerprint
  • 1 Konferenceartikel i proceeding

  • Automata Size Reduction by Procedure Finding

    Šedý, M. & Holik, L., 8 jun. 2025, NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. Dutle, A., Humphrey, L. & Titolo, L. (red.). Springer, Bind 15682. s. 421-440 20 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review