Billede af Michal Šedý

Vis Scopus-profil

Michal Šedý

Ph.d.-stipendiat

 https://orcid.org/0009-0004-0091-0546

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Danmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

20252025

Publikationer pr. år

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