Publikace
Počet publikací: 135
Články ve sbornících
-
BPMS Blockchain Technology Soft Integration For Non-tamperable Logging
Di Ciccio, C., et al. Business Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, Educators and Industry Forum. BPM 2024. Lecture Notes in Business Information Processing, vol 527, rok: 2024
-
CaviPlasma: Energy-efficient large-scale liquid treatment via discharge excited in hydrodynamic cavitation
30th Symposium on Plasma Physics and Technology, rok: 2024
-
Cyberattacks On Critical Infrastructure -- A Changing Landscape
Rok: 2024
-
Destructive nanoindentation techniques to study biological membranes
Proceedings 15th International Conference on Nanomaterials - Research & Application, rok: 2024
-
Fizzer: New Gray-Box Fuzzer
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 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, rok: 2024
-
From Space Debris to Space Weaponry: A legal Examination of Space Debris as a Weapon
2024 16th International Conference on Cyber Conflict: Over the Horizon, rok: 2024
-
Gravitational Cell Detection and Tracking in Fluorescence Microscopy Data
24 IEEE International Symposium on Biomedical Imaging (ISBI), rok: 2024
-
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
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, rok: 2024
-
Chain of Trust: Unraveling References Among Common Criteria Certified Products
ICT Systems Security and Privacy Protection. SEC 2024. IFIP Advances in Information and Communication Technology, rok: 2024
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, rok: 2024