Publikace
Počet publikací: 3450
Články ve sbornících
-
Data Race Detection with Frama-C (Competition Contribution)
Proc. of 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS'25 as a competition contribution within the 14th International Competition on Software Verification – SV-COMP'25, rok: 2025
-
Database and Corpora Creation within RapCor Project for Czech
Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2025, rok: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, rok: 2025
-
Demokratické principy právního státu a kontrola sociálně patologických jevů
Sociálno-patologické javy a ich spoločenská regulácia v podmienkach právneho štátu (slovensko- české skúsenosti), rok: 2025
-
Demonstrating Ruh: A Serious Mobile AR Game Exploring 3D Interactive Markers to Harmonise Physical and Virtual Realities
Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, rok: 2025
-
Design pro každodenní život: Transformace průmyslového designu v Československu po roce 1945
Kapitoly z dějin uměleckoprůmyslového muzejnictví, rok: 2025
-
Developing Reading Skills Through Reading Workshops: Building A Reading Community In Primary Schools
INTED2025 Proceedings; 19th International Technology, Education and Development Conference (INTED), rok: 2025
-
Diagnosable Code Duplication in Introductory Programming
Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, rok: 2025
-
Didaktisches Potenzial der lyrischen Texte von Reiner Kunze im universitären Unterricht
Interdisziplinarität in der Didaktik Deutsch als Fremdsprache, rok: 2025
-
Die Probleme der Anderen? Die Erbschafts- und Nachfolgefrage im přemyslidischen Böhmen.
Adeliges und fürstliches Erben im Reich (ca 1150–1250) : Recht – Praktiken – Aushandlungen : Vorträge und Forschungen XCVIII., rok: 2025