Publications
Total number of publications: 3180
Conference proceedings
-
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
-
Harmonisation of the Directors’ Duty to Initiate Insolvency Proceedings?
The Perpetual Renewal of European Insolvency Law, 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
2024 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), year: 2024
-
Hierarchical Modeling of Cyber Assets in Kill Chain Attack Graphs
20th International Conference on Network and Service Management, CNSM 2024, year: 2024
-
Highway To Hell? O plošném sledování silničního provozu v České republice a unijním právu
Dvacet let vnitrostátní aplikace práva EU, 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
-
Hodnoty biedermeieru v poezii Handrije Zejlera
Revitalizace hodnot: Umění a literatura VI, 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