Publications
Total number of publications: 2702
Conference proceedings
-
Gravitational Cell Detection and Tracking in Fluorescence Microscopy Data
24 IEEE International Symposium on Biomedical Imaging (ISBI), year: 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, year: 2024
-
ℋ-Clique-Width and a Hereditary Analogue of Product Structure
49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), year: 2024
-
Heuristic Malware Detection Method Based on Structured CTI Data: A Research Study and Proposal
Year: 2024
-
Hierarchical Modeling of Cyber Assets in Kill Chain Attack Graphs (to be published)
2024 20th International Conference on Network and Service Management (CNSM), year: 2024
-
Hledání české (a evropské) cukrovarnické krajiny pokrytím území českých zemí odhadovanými gravitačními poli cukrovarů
VENKOVSKÁ KRAJINA 2024 / RURAL LANDSCAPE 2024. Proceedings of the 19th international interdisciplinary conference., year: 2024
-
Hledisko účelu v právu
V pochybnostiach v prospech spravedlivosti, year: 2024
-
How are recreational facilities influenced by the new Building Act in the Czech Republic?
Public recreation and landscape protection - with sense hand in hand!, year: 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, year: 2024
-
Charakter sněmovního zastoupení jihozápadní Moravy v 60. a 70. letech 19. století.
Nic prý hotovo není, když ještě cos učinit zbývá., year: 2024