Publications
Total number of publications: 3000
Conference proceedings
-
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024
-
XSBench on FPGAs using Intel oneAPI
EPJ Web of Conferences, year: 2024
-
Znalecká činnost v režimu zákona č. 416/2009 Sb.
ExFoS 2024: sborník příspěvků, year: 2024
-
Žáci základní školy v informační společnosti
„Člověk ve svém pozemském a kosmickém prostředí“, příspěvky přednesené na semináři v Josefově ve dnech 2.– 4. 5. 2023, year: 2024
-
Žaloba proti rozhodnutí prezidenta republiky
Cofola 2023: Sborník příspěvků mladých právníků, doktorandů a právních vědců, year: 2024
-
Драматична освіта як засіб розвитку співпраці та креативності майбитніх педагогів закладів дошкільної освіти
Year: 2024
Other applied results
-
A focus on adolescent social media use and gaming in Europe, central Asia and Canada : Health Behaviour in School-aged Children international report from the 2021/2022 survey. Vol. 6.
Year: 2024
-
AlphaFind
Year: 2024
-
AlphaFind: Discover structure similarity across the entire known proteome
Year: 2024
-
Analýza vysílání České televize po útoku na FF UK
Year: 2024