prof. PhDr. Jana Nechutová, CSc.
| phone: | +420 549 49 1545 |
|---|---|
| e‑mail: |
|
Publications
Total number of publications: 3137
Conference proceedings
-
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration
Proc. of the 34th European Symposium on Programming – ESOP'25, year: 2025
-
Constructing a Multiplayer Tangible Narrative with Interactive Puppets: New User Experiences and Design Challenges
Interactive Storytelling. ICIDS 2024, year: 2025
-
CoolTest: Improved Randomness Testing Using Boolean Functions
ICT Systems Security and Privacy Protection. SEC 2025. IFIP Advances in Information and Communication Technology, year: 2025
-
Cukrovarnická krajina – na pomezí zemědělského a průmyslového dědictví
Year: 2025
-
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education, year: 2025
-
Czechia
The Starmer Government and Europe – Resetting relations in turbulent times, year: 2025
-
Das Reich der Merowinger und die Slawen : Eine Nachbarschaft in unterschiedlichen Gestalten
Quellenforschung zwischen Mittelalter und Zeitgeschichte, year: 2025
-
Data Race Detection with Frama-C (Competition Contribution)
Proc. of 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS'25 as a competition contribution within the 14th International Competition on Software Verification – SV-COMP'25, year: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, year: 2025
-
Demonstrating Ruh: A Serious Mobile AR Game Exploring 3D Interactive Markers to Harmonise Physical and Virtual Realities
Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, year: 2025
Contact us
“Lorem ipsum dolor sit amet, consectetuer adipiscing elit.”
Lorem ipsum