Publications
Total number of publications: 1912
Conference proceedings
-
When Trustless meets Trust: Blockchain Consensus Review and Reconsideration
The 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES), year: 2024
-
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
-
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
-
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
-
Antimikrobiální polysacharidový transparentní film pro léčbu raných infekcí
Year: 2024
-
Aspiring re-migrants’ behaviour in mobility policies: the case of the Czech Republic
Year: 2024