Publikace
Počet publikací: 214
Články ve sbornících
-
Petri Nets for Smart Grids: The Story So Far
The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24), rok: 2024
-
Play and Viz: Using Entertainment Games for Exploring Data Visualizations
Proceedings of the 19th International Conference on the Foundations of Digital Games, rok: 2024
-
pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024
-
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Rok: 2024
-
REHAB24-6: Physical Therapy Dataset for Analyzing Pose Estimation Methods
17th International Conference on Similarity Search and Applications (SISAP), rok: 2024
-
Research and Practice of Delivering Tabletop Exercises
Proceedings of the 29th Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'24), rok: 2024
-
Role of T-shape in IT academic research
The Human Side of Service Engineering, rok: 2024
-
Scaling Learned Metric Index to 100M Datasets
17th International Conference on Similarity Search and Applications (SISAP 2024), rok: 2024
-
Self-training Language Models for Arithmetic Reasoning
Findings of the 2024 Conference on Empirical Methods in Natural Language Processing, rok: 2024
-
Service Providers’ Compliance with European Production Orders for Electronic Evidence
MIPRO Proceedings 2024, rok: 2024