prof. PhDr. Jana Nechutová, CSc.
| telefon: | 549 49 1545 |
|---|---|
| e‑mail: |
|
Publikace
Počet publikací: 2135
Články ve sbornících
-
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration
Proc. of the 34th European Symposium on Programming – ESOP'25, rok: 2025
-
Constructing a Multiplayer Tangible Narrative with Interactive Puppets: New User Experiences and Design Challenges
Interactive Storytelling. ICIDS 2024, rok: 2025
-
CoolTest: Improved Randomness Testing Using Boolean Functions
ICT Systems Security and Privacy Protection. SEC 2025. IFIP Advances in Information and Communication Technology, rok: 2025
-
Cukrovarnická krajina – na pomezí zemědělského a průmyslového dědictví
Rok: 2025
-
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education, rok: 2025
-
Czechia
The Starmer Government and Europe – Resetting relations in turbulent times, rok: 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, rok: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, rok: 2025
-
Demonstrating Ruh: A Serious Mobile AR Game Exploring 3D Interactive Markers to Harmonise Physical and Virtual Realities
Rok: 2025
-
Design pro každodenní život: Transformace průmyslového designu v Československu po roce 1945
Kapitoly z dějin uměleckoprůmyslového muzejnictví, rok: 2025
Kontaktujte nás
„Je zhola zbytečné se ptát, má-li život smysl či ne. Má takový smysl, jaký mu dáme.“
Lucius Annaeus Seneca