Publikace
Počet publikací: 3445
Články ve sbornících
-
CoolTest: Improved Randomness Testing Using Boolean Functions
ICT Systems Security and Privacy Protection. SEC 2025. IFIP Advances in Information and Communication Technology, rok: 2025
-
Cukrovarnická krajina – na pomezí zemědělského a průmyslového dědictví
Rok: 2025
-
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education, rok: 2025
-
Czechia
The Starmer Government and Europe – Resetting relations in turbulent times, rok: 2025
-
Čeští dobrovolníci v srbské armádě jako básníci a spisovatelé. Příspěvek k 110. výročí začátku Velké války
Současná srbská a česká slavnistická bádání II - Savremena srpska i češka slavistička istraživanja II, rok: 2025
-
Das Reich der Merowinger und die Slawen : Eine Nachbarschaft in unterschiedlichen Gestalten
Quellenforschung zwischen Mittelalter und Zeitgeschichte, rok: 2025
-
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