prof. PhDr. Jana Nechutová, CSc.
| phone: | +420 549 49 1545 |
|---|---|
| e‑mail: |
|
Publications
Total number of publications: 1845
Conference proceedings
-
Statistical Model Checking the 2024 Edition!
Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, year: 2025
-
Studie 9 dětských pacientů se straatsma syndromem a možnosti terapeutického řešení
Year: 2025
-
Study of Shape Fusion Algorithms for 3D Time-Lapse Microscopy
2025 IEEE 22nd International Symposium on Biomedical Imaging (ISBI), year: 2025
-
Světové výstavy v 2. polovině 19. století, jejich význam, dopad na rozvoj technického muzejnictví (1851–1900)
Kapitoly z dějin uměleckoprůmyslového muzejnictví, year: 2025
-
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
Year: 2025
-
The Resilmesh Architecture: Situation Aware Enabled Cyber Resilience for Dispersed, Heterogenous Cyber Systems
2025 IEEE 11th International Conference on Network Softwarization (NetSoft), year: 2025
-
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable
52nd International Colloquium on Automata, Languages, and Programming, year: 2025
-
The Theory of Genre Worlds in Case of Russian Popular Fiction
Současná srbská a česká slavistická bádání II, year: 2025
-
Towards Personalized Similarity Search for Vector Databases
17th International Conference on Similarity Search and Applications (SISAP 2024), year: 2025
-
Trust-supporting Governance of Smart Dynamic Ecosystems: Taxonomy and Key Components
Evaluation of Novel Approaches to Software Engineering. ENASE 2024. Communications in Computer and Information Science, year: 2025
Contact us
“Lorem ipsum dolor sit amet, consectetuer adipiscing elit.”
Lorem ipsum