Publikace
Počet publikací: 38
Články ve sbornících
-
Application of context-driven methodology for implementing the smart city concept in Czech republic
ITM Web Conf., rok: 2024
-
BNClassifier: Classifying Boolean Models by Dynamic Properties
Computational Methods in Systems Biology, rok: 2024
-
Catalog of Code Quality Defects in Introductory Programming
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, rok: 2024
-
Computing Twin-Width Parameterized by the Feedback Edge Number
41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), rok: 2024
-
Developing Automatic Methods for Teaching Code Quality in Introductory Programming
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2., 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
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
International Conference on Runtime Verification, 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
-
ℋ-Clique-Width and a Hereditary Analogue of Product Structure
49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), rok: 2024
-
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers
Proceedings of Machine Learning Research, rok: 2024