Spolehlivé, bezpečné a efektivní počítačové systémy

2023

• HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions. Journal of Systems and Software, roč. 201, č. 201, 2023, s. 111673-111693. ISSN 0164-1212. Detail
• HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. Detail
• LI Zengpeng, SZALACHOWSKI Pawel, VENUGOPALAN Sarad a HOMOLIAK Ivan. BBB-Voting: 1-out-of-k Blockchain-Based Boardroom Voting with Fault Recovery. In: 2023, s. 15. Detail
• SCHWARZ Martin, KANICH Ondřej, BERKA Miroslav, HAVLOVICOVÁ Markéta a DRAHANSKÝ Martin. Dermatoglyphic Patterns in Monozygotic Twins with Zimmermann-Laband Syndrome. Journal of Forensic Identification, roč. 73, č. 1, 2023, s. 3-13. ISSN 0895-173X. Detail
• ZBOŘIL František, BERAN Jan, DOKOUPIL Ladislav a VÍDEŇSKÝ František. General deSouches commands multi-agent army for performing in Agents Assembe III scenario: FIT-BUT at MAPC 2022. In: The Multi-Agent Programming Contest 2022 Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not. Lecture Notes of Artificial Intelligence. Berlin: Springer Nature Switzerland AG, 2023, s. 120-150. ISSN 1611-3349. Detail
• HUJŇÁK Ondřej, MALINKA Kamil a HANÁČEK Petr. Indirect Bluetooth Low Energy Connection Detection. In: 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023, s. 328-333. ISBN 978-1-6654-6268-6. Detail
• FIEDOR Jan, KŘENA Bohuslav, SMRČKA Aleš, VAŠÍČEK Ondřej a VOJNAR Tomáš. Integrating OSLC Services into Eclipse. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, roč. 13789. Las Palmas de Gran Canaria: Springer International Publishing, 2023, s. 240-249. ISBN 978-3-031-25311-9. Detail
• ZBOŘIL Jan, HUJŇÁK Ondřej a MALINKA Kamil. IoT Gateways Network Communication Analysis. In: 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023, s. 334-339. ISBN 978-1-6654-6268-6. Detail
• HASLINGER Jaroslav, KUČERA Radek a ŠÁTEK Václav. Numerical solution of the Navier-Stokes system with the stick-slip boundary condition. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, s. 1-4. ISSN 0094-243X. Detail
• VÍDEŇSKÝ František, ZBOŘIL František, ZBOŘIL František V. a KOČÍ Radek. Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings. In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. Lisabon: SciTePress - Science and Technology Publications, 2023, s. 173-180. ISBN 978-989-758-623-1. Detail
• FIEDOR Tomáš, HRUŠKA Martin a SMRČKA Aleš. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, roč. 13789. Zurich: Springer International Publishing, 2023, s. 223-231. ISBN 978-3-031-25311-9. Detail
• HARMIM Dominik, MARCIN Vladimír, SVOBODOVÁ Lucie a VOJNAR Tomáš. Static Deadlock Detection in Low-Level C Code. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science, roč. 13789. Cham: Springer Nature Switzerland AG, 2023, s. 267-276. ISBN 978-3-031-25311-9. Detail
• NEČASOVÁ Gabriela a ŠÁTEK Václav. Taylor series based parallel numerical solution of partial differential equations. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, s. 1-4. ISSN 0094-243X. Detail
• VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁTEK Václav. Taylor Series Method in Numerical Integration: Linear and Nonlinear problems. In: 2022 IEEE 16th International Scientific Conference on Informatics, Informatics 2022 - Proceedings. Poprad: IEEE Communications Society, 2023, s. 239-244. ISBN 979-8-3503-1034-4. Detail
• BLAHOUDEK František, HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Word Equations in Synergy with Regular Constraints. In: Proceedings of FM'23. Lübeck: Springer Verlag, 2023, s. 403-423. ISSN 0302-9743. Detail

2022

• LA Cava Simone Maurizio, ORR Giulia, GOLDMANN Tomáš, DRAHANSKÝ Martin a MARCIALIS Gian Luca. 3D Face Reconstruction for Forensic Recognition - A Survey. In: 2022 26th International Conference on Pattern Recognition (ICPR). Manhattan, New York, 2022, s. 930-937. ISBN 978-1-6654-9062-7. Detail
• MALÍK Viktor, ŠILLING Petr a VOJNAR Tomáš. Applying Custom Patterns in Semantic Equality Analysis. In: Networked Systems. Lecture Notes in Computer Science, roč. 13464. Cham: Springer Nature Switzerland AG, 2022, s. 265-282. ISBN 978-3-031-17436-0. Detail
• HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker. In: Proceedings of the 34th International Conference on Computer Aided Verification. Haifa: Springer Verlag, 2022, s. 188-201. ISBN 978-3-031-13187-5. ISSN 0302-9743. Detail
• HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker (Technical Report). Ithaca: Cornell University Library, 2022. Detail
• HOLÍKOVÁ Lenka, HOLÍK Lukáš, HOMOLIAK Ivan, LENGÁL Ondřej, VEANES Margus a VOJNAR Tomáš. Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. In: Proceedings of the 31st USENIX Security Symposium. Boston, MA: USENIX, 2022, s. 4165-4182. ISBN 978-1-939133-31-1. Detail
• FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Creation and detection of malicious synthetic media - a preliminary survey on deepfakes. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 125-145. ISBN 978-80-86583-34-1. Detail
• ŠŮSTEK Martin, SADHU Samik a HEŘMANSKÝ Hynek. Dealing with Unknowns in Continual Learning for End-to-end Automatic Speech Recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Incheon: International Speech Communication Association, 2022, s. 1046-1050. ISSN 1990-9772. Detail
• FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Deepfakes: A Dangerous Entertainment?. In: Recenzovaný sborník příspěvků mezinárodní vědecké konference MMK2022. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2022, s. 1073-1082. ISBN 978-80-87952-37-5. Detail
• ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch a VOJNAR Tomáš. Designing Approximate Arithmetic Circuits with Combined Error Constraints. In: Proceeding of 25th Euromicro Conference on Digital System Design 2022 (DSD'22). Gran Canaria: Institute of Electrical and Electronics Engineers, 2022, s. 785-792. ISBN 978-1-6654-7404-7. Detail
• HUJŇÁK Ondřej, MALINKA Kamil a HANÁČEK Petr. E-Banking Authentication - Dynamic Password Generators and Hardware Tokens. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 211-221. ISBN 978-80-86583-34-1. Detail
• MALINKA Kamil, HUJŇÁK Ondřej, HANÁČEK Petr a HELLEBRANDT Lukáš. E-Banking Security Study - 10 years later. IEEE Access, roč. 2022, č. 10, s. 16681-16699. ISSN 2169-3536. Detail
• ANDRIUSHCHENKO Roman, ČEŠKA Milan, MARCIN Vladimír a VOJNAR Tomáš. GPU-Accelerated Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham, 2022, s. 256-266. ISBN 978-3-031-25312-6. Detail
• BREITENBACHER Dominik, HOMOLIAK Ivan, AUNG Yan Lin, ELOVICI Yuval a TIPPENHAUER Nils Ole. HADES-IoT: A practical host-based anomaly detection system for IoT devices (Extended Version). IEEE Internet of Things Journal, roč. 9, č. 12, 2022, s. 9640-9658. ISSN 2327-4662. Detail
• ZBOŘIL František, VÍDEŇSKÝ František, KOČÍ Radek a ZBOŘIL František V. Late Bindings in AgentSpeak(L). In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence vol. 3. Lisabon: SciTePress - Science and Technology Publications, 2022, s. 715-724. ISBN 978-989-758-547-0. Detail
• HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction. In: 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, roč. 2022. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022, s. 1-30. ISBN 978-3-95977-225-9. ISSN 1868-8969. Detail
• HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (Artifact). Dagstuhl, 2022. Detail
• HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (technical report). Ithaca, 2022. Detail
• KOČÍ Radek a OSADSKÝ Lukáš. On the Applicability of ALF Language in Real Software Projects. In: ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances . Lisbon: Xpert Publishing Services, 2022, s. 102-107. ISBN 978-1-61208-997-3. Detail
• NEČASOVÁ Gabriela, VEIGEND Petr a ŠÁTEK Václav. Parallel Solution of Partial Differential Equations Using Taylor Series Method. In: 18th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2022, s. 1-4. ISSN 0094-243X. Detail
• FIRC Anton a MALINKA Kamil. Practical lessons of (deep)faking human speech. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 161-172. ISBN 978-80-86583-34-1. Detail
• ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. SagTree: Towards Efficient Mutation in Evolutionary Circuit Approximation. Swarm and Evolutionary Computation, roč. 69, č. 100986, 2022, s. 1-10. ISSN 2210-6502. Detail
• PEREŠÍNI Martin, MALINKA Kamil, HOMOLIAK Ivan, BENČIĆ Federico M. a HLADKÝ Tomáš. Simulations of DAG-based Blockchain Protocols and Attacks on the PHANTOM Protocol via Transaction Selection Strategies. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 173-184. ISBN 978-80-86583-34-1. Detail
• HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation. In: Proceedings of TACAS'22. Munich: Springer Verlag, 2022, s. 118-136. ISBN 978-3-030-99526-3. ISSN 0302-9743. Detail
• HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report). Ithaca, 2022. Detail
• GE-ERNST Aile, SCHOLL Christoph, SÍČ Juraj a WIMMER Ralf. Solving dependency quantified Boolean formulas using quantifier localization. Theoretical Computer Science, roč. 2022, č. 925, s. 1-24. ISSN 0304-3975. Detail
• KAUBA Christof, DRAHANSKÝ Martin, NOVÁKOVÁ Marie, UHL Andreas a RYDLO Štěpán. State-of-the-Art in 3D Finger Vein Recognition and a NovelMirror-Based 3D Finger Vein Imaging Device. Journal of Imaging, roč. 2022, č. 8, s. 1-25. ISSN 2313-433X. Detail
• VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁTEK Václav. System control using high order numerical method. In: 18th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2022, s. 1-4. ISSN 0094-243X. Detail
• KANICH Ondřej, MATEJKA Ján, FIALOVÁ Eva, PETROVÁ Kafková Marcela, DOSEDĚL Tomáš a DRAHANSKÝ Martin. Technological, legal and sociological summary of biometric technology usage. ScienceOpen Research, roč. 2022, č. 12, s. 1-7. ISSN 2199-1006. Detail
• FIRC Anton a MALINKA Kamil. The dawn of a text-dependent society: deepfakes as a threat to speech verification systems. In: SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. New York, NY: Association for Computing Machinery, 2022, s. 1646-1655. ISBN 978-1-4503-8713-2. Detail
• HOMOLIAK Ivan. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 185-210. ISBN 978-80-86583-34-1. Detail
• VAŠÍČEK Ondřej, FIEDOR Jan, KRATOCHVÍLA Tomáš, KŘENA Bohuslav, SMRČKA Aleš a VOJNAR Tomáš. Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC. In: ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Singapore: Association for Computing Machinery, 2022, s. 1408-1418. ISBN 978-1-4503-9413-0. Detail

2021

• BISWAS Sangeeta, ROHDIN Johan A., BISWAS Angkan a DRAHANSKÝ Martin. A Study of Bilateral Symmetry in Color Fundus Photographs. IEEE Access, roč. 2021, č. 9, s. 109624-109651. ISSN 2169-3536. Detail
• DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii, KANICH Ondřej, BISWAS Sangeeta a MŇUK Tomáš. Analýza kvality retinálních snímků. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. Detail
• HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. Journal of Automated Reasoning, roč. 65, č. 7, 2021, s. 971-999. ISSN 0168-7433. Detail
• MALÍK Viktor a VOJNAR Tomáš. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). Porto de Galinhas: Institute of Electrical and Electronics Engineers, 2021, s. 329-339. ISBN 978-1-7281-6837-1. Detail
• HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. In: Proceedings of NETYS'21. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 215-222. ISSN 0302-9743. Detail
• ŽÁK Marek, ROZMAN Jaroslav a ZBOŘIL František V. Design and Control of 7-DOF Omni-directional Hexapod Robot. Open Computer Science, roč. 11, č. 1, 2021, s. 80-89. ISSN 2299-1093. Detail
• DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii a MŇUK Tomáš. Detekce exsudátů v retinálních snímcích. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. Detail
• DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii a MŇUK Tomáš. Detekce hemoragií a mikroaneurysmat v retinálních snímcích. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. Detail
• SÍČ Juraj a STREJČEK Jan. DQBDD: An Efficient BDD-Based DQBF Solver. In: Proc. of the 24th International Conference on Theory and Applications of Satisfiability Testing. Heidelberg: Springer Verlag, 2021, s. 535-544. ISSN 0302-9743. Detail
• HASLINGER Jaroslav, KUČERA Radek, SASSI Taoufik a ŠÁTEK Václav. Dual strategies for solving the Stokes problem with stick-slip boundary conditions in 3D. Mathematics and Computers in Simulation, roč. 2021, č. 189, s. 191-206. ISSN 0378-4754. Detail
• DRAHANSKÝ Martin. Fingerprints in forensic verifications. Bussum, 2021. Detail
• UHLÍŘ Václav, ZBOŘIL František a VÍDEŇSKÝ František. FIT BUT: Rational Agents in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2021, One-and-a-Half Decades of Exploring Multi-Agent Systems. Lecture Notes of Computer Challenges, roč. 12947. Berlin: Springer International Publishing, 2021, s. 23-45. ISBN 978-3-030-88548-9. ISSN 0302-9743. Detail
• GOLDMANN Tomáš a DRAHANSKÝ Martin. Generating Face Image Dataset Using a 3D Head Model. In: 2021 International Conference on Computer, Communication, Chemical, Materials and Electronic Engineering (IC4ME2). Rajshahi: Institute of Electrical and Electronics Engineers, 2021, s. 1-4. ISBN 978-1-6654-0638-3. Detail
• CASINO Fran, LYKOUSAS Nikolaos, HOMOLIAK Ivan, PATSAKIS Constantinos a HERNANDEZ-CASTRO Julio. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. Journal of Network and Computer Applications, roč. 2021, č. 190, s. 1-17. ISSN 1084-8045. Detail
• BISWAS Sangeeta, ROHDIN Johan A., KAVETSKYI Andrii, ALVES Saraiva Gabriel, BISWAS Angkan a DRAHANSKÝ Martin. Investigation of Bilateral Similarity in Central Retinal Blood Vessels. IEEE Access, roč. 2021, č. 9, s. 63012-63028. ISSN 2169-3536. Detail
• HASLINGER Jaroslav, KUČERA Radek, MOTYČKOVÁ Kristina a ŠÁTEK Václav. Numerical modeling of the leak through semipermeable walls for 2D/3D Stokes flow: experimental scalability of dual algorithms. Mathematics, roč. 9, č. 22, 2021, s. 1-24. ISSN 2227-7390. Detail
• JANOUŠEK Vladimír a KOČÍ Radek. On the Model Continuity in Control Systems Design Using DEVS, UML, and IEC 61499. In: ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2021, s. 114-120. ISBN 978-1-61208-894-5. Detail
• HAVLENA Vojtěch a LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation. In: 32nd International Conference on Concurrency Theory (CONCUR 2021). Paris: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021, s. 1-19. ISSN 1868-8969. Detail
• SEMERÁD Lukáš a DRAHANSKÝ Martin. Retina Recognition Using Crossings and Bifurcations. Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021, s. 77-94. ISBN 978-1-78985-332-2. Detail
• DVOŘÁK Michal, KANICH Ondřej a DRAHANSKÝ Martin. Scalable Imaging Device Using Line Scan Camera for use in Biometric Recognition and Medical Imaging. In: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies. Lisboa: Institute for Systems and Technologies of Information, Control and Communication, 2021, s. 160-168. ISBN 978-989-758-490-9. Detail
• HOLÍK Lukáš a VARGOVČÍK Pavol. Simplifying Alternating Automata for Emptiness Testing. In: Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. Cham: Springer International Publishing, 2021, s. 243-264. ISBN 978-3-030-89051-3. Detail
• ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang a WU Zhilin. Solving Not-Substring Constraint with Flat Abstraction. In: Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. 13008. Berlín: Springer International Publishing, 2021, s. 305-320. ISBN 978-3-030-89051-3. Detail
• DYK Tomáš a DRAHANSKÝ Martin. Tank Barrel Scanning Device. In: Proceedings of the 8th International Conference on Military Technologies 2021. Brno: IEEE Computer Society, 2021, s. 1-4. ISBN 978-1-6654-3724-0. Detail
• VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁTEK Václav. Taylor Series Based Numerical Integration Method. Open Computer Science, roč. 11, č. 1, 2021, s. 60-69. ISSN 2299-1093. Detail
• HOMOLIAK Ivan, VENUGOPALAN Sarad, REIJSBERGEN Daniel, HUM Qingze, SCHUMI Richard a SZALACHOWSKI Pawel. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Communications Surveys and Tutorials, roč. 23, č. 1, 2021, s. 341-390. ISSN 1553-877X. Detail
• HOLÍK Lukáš a HRUŠKA Martin. Towards Efficient Shape Analysis with Tree Automata. In: Proceedings International Conference on Networked Systems. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 206-214. ISSN 0302-9743. Detail
• DRAHANSKÝ Martin. Využití podvrhů biometrických charakteristik v praxi. Porada V., Rais K.: Právní, kriminalistické a kybernetické aspekty kybernetické kriminality a bezpečnosti. Brno: Akademické nakladatelství CERM sro., 2021, s. 333-345. ISBN 978-80-7623-065-1. Detail
• SCHWARZ Martin, RYBA Lukáš, KŘEPELOVÁ Anna, MOSLEROVÁ Veronika, ZELINOVÁ Michaela, TURNOVEC Marek, MARTINKOVÁ Júlia, KRATOCHVÍLOVÁ Lenka, DRAHANSKÝ Martin, MACEK Milan a HAVLOVICOVÁ Markéta. Zimmermann-Laband syndrome in monozygotic twins with a mild neurobehavioral phenotype lacking gingival overgrowth-A case report of a novel KCNN3 gene variant. American Journal of Medical Genetics - Part A, roč. 2021, č. 12, s. 1-5. ISSN 1552-4833. Detail

2020

• HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In: Proceedings of APLAS'20. Heidelberg: Springer Verlag, 2020, s. 343-363. ISSN 0302-9743. Detail
• HOLÍK Lukáš, IOSIF Radu, ROGALEWICZ Adam a VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Formal Methods in System Design, roč. 55, č. 3, 2020, s. 137-170. ISSN 0925-9856. Detail
• HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej, VALEŠ Ondřej a VOJNAR Tomáš. Antiprenexing for WSkS: A Little Goes a Long Way. In: EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020, s. 298-316. ISSN 2398-7340. Detail
• MATYÁŠ Jiří, PANKUCH Adam, VOJNAR Tomáš, ČEŠKA Milan a ČEŠKA Milan. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In: International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science, roč. 12013. Cham: Springer Verlag, 2020, s. 482-490. ISBN 978-3-030-45092-2. Detail
• BISWAS Sangeeta, ROHDIN Johan A. a DRAHANSKÝ Martin. Bilateral Symmetry in Central Retinal Blood Vessels. In: 8th International Workshop on Biometrics and Forensics, IWBF 2020. Porto: IEEE Computer Society, 2020, s. 1-6. ISBN 978-1-7281-6232-4. Detail
• HUM Qingze, TAN Wei Jin, TEY Shi Ying, LENUS Latasha, HOMOLIAK Ivan, LIN Yun a SUN Jun. CoinWatch: A Clone-Based Approach for Detecting Vulnerabilities in Cryptocurrencies. In: 3rd IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020). Rhodos: Institute of Electrical and Electronics Engineers, 2020, s. 17-25. ISBN 978-0-7381-0495-9. Detail
• KOČÍ Radek, ROZMAN Jaroslav a ZBOŘIL František. Database Concept for Transcription of Registry Records into Digital Form. In: Proceedings of the 3rd International Conference on Software Engineering and Information Management - ICSIM'20. Sydney: Association for Computing Machinery, 2020, s. 21-25. ISBN 978-1-4503-7690-7. Detail
• ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, JANKŮ Petr, LIN Hsin-Hung a WU Wei-Cheng. Efficient handling of string-number conversion. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York: Association for Computing Machinery, 2020, s. 943-957. ISBN 978-1-4503-7613-6. Detail
• KANICH Ondřej a DRAHANSKÝ Martin. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon, 2020. Detail
• BISWAS Sangeeta, ROHDIN Johan A., KAVETSKYI Andrii a DRAHANSKÝ Martin. Grading Quality of Color Retinal Images to Assist Fundus Camera Operators. In: Proceedings of the IEEE 33rd International Symposium on Computer-Based Medical Systems (CBMS). Rochester: IEEE Computer Society Press, 2020, s. 77-82. ISBN 978-1-7281-9429-5. Detail
• DVOŘÁK Michal a DRAHANSKÝ Martin. Hand image acquisition - New approaches. INTERPOL, Lyon, 2020. Detail
• BISWAS Sangeeta, ROHDIN Johan A. a DRAHANSKÝ Martin. Interretinal Symmetry in Color Fundus Photographs. In: Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Montreal: IEEE Computer Society, 2020, s. 1980-1983. ISBN 978-1-7281-1990-8. Detail
• DRAHANSKÝ Martin. Jednou nás možná nebude potřeba. Praha, 2020, s. 16-19. Detail
• DRAHANSKÝ Martin, MACEK Ivo a GOLDMANN Tomáš. Monitoring of visitors in museum exhibitions. Journal of the National Museum (Prague), roč. 2020, č. 189, s. 155-162. ISSN 1802-6850. Detail
• UHLÍŘ Václav, VÍDEŇSKÝ František a ZBOŘIL František. Multi-Agent Programming Contest 2019 FIT BUT Team solution. In: The Multi-Agent Programming Contest 2019, Agents Assemble - Block by Block to Victory. Lecture Notes of Computer Challenges, roč. 12381. Berlin: Springer International Publishing, 2020, s. 59-78. ISBN 978-3-030-59298-1. ISSN 0302-9743. Detail
• DRAHANSKÝ Martin, KANICH Ondřej a HEIDARI Mona. Practical Considerations in the Use of Biometric Systems. Darmstadt: European Association for Biometrics, 2020. Detail
• HOLÍKOVÁ Lenka, HOLÍK Lukáš, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus a VOJNAR Tomáš. Regex Matching with Counting-Set Automata. Proceedings of the ACM on Programming Languages, roč. 4, č. 11, 2020, s. 1-30. ISSN 2475-1421. Detail
• KOČÍ Radek. Requirements Validation Through Scenario Generation and Comparison. In: The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020. Porto: Xpert Publishing Services, 2020, s. 129-134. ISBN 978-1-61208-827-3. Detail
• ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch a VOJNAR Tomáš. Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. In: Theory and Applications of Satisfiability Testing - SAT 2020. Lecture Notes in Computer Science, roč. 12178. Alghero: Springer International Publishing, 2020, s. 481-491. ISBN 978-3-030-51824-0. Detail
• OČENÁŠ Martin, HOMOLIAK Ivan, MALINKA Kamil a HANÁČEK Petr. Security and Encryption at Modern Databases. In: ICCSP 2020: Proceedings of the 2020 4th International Conference on Cryptography, Security and Privacy. Nanjing: Association for Computing Machinery, 2020, s. 19-23. ISBN 978-1-4503-7744-7. Detail
• BINDER Alexander, BREITENBACHER Dominik, HARTEL Pieter H., SZALACHOWSKI Pawel, HOMOLIAK Ivan a HUJŇÁK Ondřej. SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. In: Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. New York City: Association for Computing Machinery, 2020, s. 145-162. ISBN 978-1-4503-8139-0. Detail
• AYAZIOVÁ Paulína, HRUŠKA Martin, CHALUPA Marek, JAŠEK Tomáš, STREJČEK Jan, ŠOKOVÁ Veronika, TOMOVIČ Lukáš a VOJNAR Tomáš. Symbiotic 7: Integration of Predator and More (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, roč. 12079. Cham: Springer International Publishing, 2020, s. 413-417. ISBN 978-3-030-45236-0. Detail
• PERNICKÝ Radim, DRAHANSKÝ Martin a KANICH Ondřej. Výzkum falzifikátů otisků prstů na různých nosičích. Kriminalistický sborník, roč. 2020, č. 5, s. 54-58. ISSN 1453-259X. Detail

2022

• Aplikace pro generování heatmap v muzejních expozicích, software, 2022
  Autoři: Viskupič Matej, Macek Ivo, Drahanský Martin, Dyk Tomáš, Goldmann Tomáš, Hrabec Jakub Detail
• Aplikace pro sledovaní tříštění akrylového skla, software, 2022
  Autoři: Kavetskyi Andrii, Drahanský Martin, Weinberg Kerstin, Nötzel Ralf Detail
• Barrel Bore eXplorer - mini, prototyp, 2022
  Autoři: Malaník Petr, Váňa Jan, Drahanský Martin Detail
• Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software, 2022
  Autoři: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian Detail
• BUTCube - firmware mikrosatelitu, software, 2022
  Autoři: Malaník Petr, Rydlo Štěpán, Láznička Tomáš, Lazar Václav, Bartoněk Jaroslav Detail
• BUTCube - Komunikační deska, funkční vzorek, 2022
  Autoři: Rydlo Štěpán, Malaník Petr Detail
• BUTCube - Modul pro určení pozice slunce, funkční vzorek, 2022
  Autoři: Malaník Petr, Lazar Václav, Rydlo Štěpán, Láznička Tomáš, Bartoněk Jaroslav, Popela Robert Detail
• BUTCube - Řídící počítač satelitu, funkční vzorek, 2022
  Autoři: Malaník Petr, Lazar Václav, Rydlo Štěpán, Láznička Tomáš, Bartoněk Jaroslav, Popela Robert Detail
• GadgetCA - Nástroj pro generování ReDoS útoků, software, 2022
  Autoři: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš Detail
• Inteligentní kamerová jednotka pro muzejní expozice, funkční vzorek, 2022
  Autoři: Homola Radim, Macek Ivo, Drahanský Martin, Hrabec Jakub, Dyk Tomáš Detail
• Nasazení inteligentní kamerové jednotky a aplikace pro heatmapy v prostorách Národního muzea, poloprovoz, 2022
  Autoři: Macek Ivo, Viskupič Matej, Homola Radim, Dyk Tomáš, Drahanský Martin Detail
• Phenobottle 2: Řasový kultivátor pro distribuovanou optimalizaci s kontrolou teploty a spektrálním měřením hustoty, prototyp, 2022
  Autoři: Červený Jan, Drahanský Martin, Malaník Petr, Tinka Jan Detail
• Ranker: Nástroj pro komplementaci Büchiho automatů, software, 2022
  Autoři: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora Detail
• Unite: Adaptér pro zpřístupnění nástrojů pro analýzu softwaru přes webové služby s využitím OSLC, Verze 3.0, software, 2022
  Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav Detail
• Zařízení pro snímání meibomských žláz (meibograf), funkční vzorek, 2022
  Autoři: Rydlo Štěpán, Mňuk Tomáš, Drahanský Martin Detail
• Zařízení s rotujícím osvětlením okolo prstu pro pozorování viditelnosti krevního řečiště prstu, funkční vzorek, 2022
  Autoři: Rydlo Štěpán, Drahanský Martin Detail

2021

• BUTCube - Jednotka solárních panelů, funkční vzorek, 2021
  Autoři: Malaník Petr Detail
• BUTCube - Napájecí jednotka, funkční vzorek, 2021
  Autoři: Malaník Petr Detail
• Jednotka pro transluminaci plic, funkční vzorek, 2021
  Autoři: Goldmann Tomáš, Votruba Jiří, Drahanský Martin, Brůha Tomáš Detail
• Phenobottle: Řasový kultivátor pro distribuovanou optimalizaci, funkční vzorek, 2021
  Autoři: Malaník Petr, Červený Jan, Drahanský Martin, Dvořák Michal Detail

2020

• Elektronické pero pro záznam dynamických vlastností písma, funkční vzorek, 2020
  Autoři: Müller Dominik, Drahanský Martin Detail
• Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software, 2020
  Autoři: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš Detail
• SYDAGenerator 2 - pokročilý nástroj pro generování datasetů s využitím 3D objektu, software, 2020
  Autoři: Goldmann Tomáš, Drahanský Martin Detail