Prof. Ing. Tomáš Vojnar, Ph.D.

IT4Innovations excellence in science

Research leader:Hruška Tomáš (VCIT FIT VUT)
Team members:Barabas Maroš, Bartík Vladimír, Bartl Vojtěch, Bařina David, Baskar Murali K., Behúň Kamil, Beneš Karel, Beran Vítězslav, Bidlo Michal, Bordovský Gabriel, Budiský Jakub, Burget Lukáš, Burget Radek, Burgetová Ivana, Čadík Martin, Čekan Ondřej, Černocký Jan, Češka Milan, Češka Milan, Čudová Marta, Diez Sánchez Mireia, Dobai Roland, Drahanský Martin, Drahošová Michaela, Dvořák Michal, Egorova Ekaterina, Fiedor Jan, Fučík Otto, Glembek Ondřej, Goldmann Tomáš, Grégr Matěj, Grézl František, Grochol David, Hannemann Mirko, Havlena Vojtěch, Herout Adam, Holík Lukáš, Hradiš Michal, Hrubý Martin, Hruška Tomáš, Husa Jakub, Husár Adam, Hynek Jiří, Chrápek David, Chudý Peter, Janoušek Vladimír, Jaroš Jiří, Kadlubiak Kristián, Kanich Ondřej, Kapinus Michal, Karafiát Martin, Kekely Lukáš, Kešner Filip, Klubal Ondřej, Kobrtek Jozef, Kocnová Jitka, Kočí Radek, Kolář Dušan, Kolář Martin, Koplík Karel, Kořenek Jan, Kotásek Zdeněk, Krčma Martin, Křena Bohuslav, Křivka Zbyněk, Kula Michal, Kunovský Jiří, Lengál Ondřej, Lojda Jakub, Lysek Tomáš, Martínek Tomáš, Matějka Pavel, Materna Zdeněk, Matoušek Jiří, Matoušek Petr, Matyáš Jiří, Matýšek Michal, Meduna Alexander, Milet Tomáš, Mrázek Vojtěch, Musil Martin, Najman Pavel, Nikl Vojtěch, Nosko Svetozár, Ondel Lucas, Orság Filip, Otrusina Lubomír, Palkovič Martin, Pastushenko Olena, Pavelková Alena, Peringer Petr, Plchot Oldřich, Pluháčková Hana, Podivínský Jakub, Polčák Libor, Polok Lukáš, Pospíšil Milan, Prochocká Kristína, Přibyl Bronislav, Puš Viktor, Rogalewicz Adam, Rozman Jaroslav, Rudnitckaia Julia, Růžička Richard, Rychlý Marek, Ryšavý Ondřej, Sekanina Lukáš, Smrčka Aleš, Smrž Pavel, Sochor Jakub, Starka Tomáš, Strnadel Josef, Svoboda Pavel, Szentandrási István, Szőke Igor, Šimek Václav, Široký Adam, Šlapal Josef (VCIT FIT VUT), Šoková Veronika, Šolony Marek, Španěl Michal, Špaňhel Jakub, Švéda Miroslav, Vašíček Zdeněk, Vaverka Filip, Veselý Karel, Veselý Vladimír, Vlk Jan, Vojnar Tomáš, Wiglasz Michal, Zachariáš Michal, Zachariášová Marcela, Zbořil František, Zbořil František V., Zelený Jan, Zemčík Pavel, Zendulka Jaroslav, Žádník Martin, Žák Marek, Žižka Josef
Agency:Ministry of Education, Youth and Sports Czech Republic
Code:LQ1602
Start:2016-01-01
End:2020-12-31
Keywords:information technology, security, safety

Products

2018Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software, 2018
Authors: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian
 Semiautomated 2D hand features scanner, specimen, 2018
Authors: Dvořák Michal, Stehlík Petr, Drahanský Martin
 Sloth: An SMT Solver for String Constraints, software, 2018
Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš
 SYDAGenerator - tool for generating datasets using a 3D model, software, 2018
Authors: Goldmann Tomáš, Drahanský Martin
2017Gaston - Symbolic WS1S Solver, software, 2017
Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš
 Non-Separable Schemes for Discrete Wavelet Transform for Multi-Core CPUs, software, 2017
Authors: Najman Pavel, Klepárník Petr, Bařina David
 Non-Separable Schemes for Discrete Wavelet Transform in Pixel Shaders, software, 2017
Authors: Matýšek Michal, Bařina David, Zemčík Pavel
 uFFT, software, 2017
Authors: Bařina David
2016Automatic camera calibration from video, software, 2016
Authors: Sochor Jakub, Juránek Roman
 HeadViewer - simulation tool for viewing head from the CCTV camera position, software, 2016
Authors: Goldmann Tomáš, Drahanský Martin
 Non-Separable Schemes for Discrete Wavelet Transform in OpenCL, software, 2016
Authors: Kula Michal, Bařina David, Zemčík Pavel

Publications

2018BENEŠ Karel, KESIRAJU Santosh and BURGET Lukáš. i-Vectors in Language Modeling: An EfficientWay of Domain Adaptation for Feed-Forward Models. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3383-3387. ISSN 1990-9770.
 BORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018, pp. 49-52. ISBN 978-80-261-0814-6.
 BRUMMER Niko, SILNOVA Anna, BURGET Lukáš and STAFYLAKIS Themos. Gaussian meta-embeddings for efficient scoring of a heavy-tailed PLDA model. In: Proceedings of Odyssey 2018. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 349-356. ISSN 2312-2846.
 CABAL Jakub, BENÁČEK Pavel, KEKELY Lukáš, KEKELY Michal, PUŠ Viktor and KOŘENEK Jan. Configurable FPGA Packet Parser for Terabit Networks with Guaranteed Wire-Speed Throughput. In: Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. New York: Association for Computing Machinery, 2018, pp. 249-258. ISBN 978-1-4503-5614-5.
 CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae. Krakov: 2018, vol. 2017, no. 26, pp. 61-68. ISSN 0860-0295.
 CHARVÁT Lucie and MEDUNA Alexander. Internally Expandable Pushdown Automata and Their Computational Completeness. Romanian Journal of Information Science and Technology (ROMJIST). Bukurest: Romanian Academy, Publishing House of the Romanian Academy, 2018, vol. 21, no. 3, pp. 232-237. ISSN 1453-8245.
 CHARVÁT Michal and DRAHANSKÝ Martin. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. In: Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018, pp. 41-51. ISBN 978-3-95853-405-6.
 CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Towards novel format for representation of polymorphic circuits. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, pp. 1-2. ISBN 978-1-5386-5290-9.
 DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, KINOSHITA Keisuke, OGAWA Atsunori and NAKATANI Tomohiro. Single Channel Target Speaker Extraction and Recognition with Speaker Beam. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5554-5558. ISBN 978-1-5386-4658-8.
 DIEZ Sánchez Mireia, BURGET Lukáš and MATĚJKA Pavel. Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 147-154. ISSN 2312-2846.
 DIEZ Sánchez Mireia, LANDINI Federico Nicolás, BURGET Lukáš, ROHDIN Johan A., SILNOVA Anna, ŽMOLÍKOVÁ Kateřina, NOVOTNÝ Ondřej, VESELÝ Karel, GLEMBEK Ondřej, PLCHOT Oldřich, MOŠNER Ladislav and MATĚJKA Pavel. BUT system for DIHARD Speech Diarization Challenge 2018. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2798-2802. ISSN 1990-9770.
 DRAHANSKÝ Martin and DVOŘÁK Michal. Hand shape recognition and palm-print recognition using 2D and 3D features. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 283-307. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin and YANUSHKEVICH Svetlana. General introduction. Hand-Based Biometrics: Methods and technology. London: The Institution of Engineering and Technology, 2018, pp. 1-17. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin, KANICH Ondřej and DVOŘÁK Michal. Spoofing methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 367-398. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin, PERNICKÝ Radim and KANICH Ondřej. Fingerprint spoofing. Wiesbaden: Federal Criminal Office, 2018.
 DRAHANSKÝ Martin. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin. Recognition of Eye Characteristics. Machine Learning and Biometrics. London: InTech - Open Access Publisher, 2018, pp. 7-35. ISBN 978-1-78923-590-6.
 DRAHOŠOVÁ Michaela, SEKANINA Lukáš and WIGLASZ Michal. Adaptive Fitness Predictors in Coevolutionary Cartesian Genetic Programming. Evolutionary Computation. 2018, p. 27. ISSN 1063-6560.
 DVOŘÁK Michal and DRAHANSKÝ Martin. 3D Hand Geometry Recognition. Biometric-based Security Systems: State of the Art and Perspectives. Cambridge: Cambridge University Press, 2018, pp. 1-20. ISBN 978-3-319-98734-7.
 DYTRYCH Jaroslav and SMRŽ Pavel. Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. Lecture Notes in Computer Science. 2018, vol. 2017, no. 10839, pp. 205-221. ISBN 978-3-319-93581-2. ISSN 0302-9743.
 EGOROVA Ekaterina and BURGET Lukáš. Out-of-Vocabulary Word Recovery Using FST-Based Subword Unit Clustering in a Hybrid ASR System. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5919-5923. ISBN 978-1-5386-4658-8.
 FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš and ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Heidelberg: Springer Verlag, 2018, pp. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743.
 HEIDARI Mona and DRAHANSKÝ Martin. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology. Sandy Bay: Science & Engineering Research Support Center, 2018, vol. 2018, no. 116, pp. 13-22. ISSN 2005-4238.
 HEIDARI Mona, GOLDMANN Tomáš, DVOŘÁK Michal and DRAHANSKÝ Martin. Antispoofing and multispectral (optical) methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 337-365. ISBN 978-1-78561-224-4.
 HEIDARI Mona, KANICH Ondřej and DRAHANSKÝ Martin. Processing of fingerprints influenced by skin diseases. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 135-168. ISBN 978-1-78561-224-4.
 HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea and ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, pp. 135-150. ISBN 978-1-4503-5698-5.
 HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. In: Proceedings of the ACM on Programming Languages. New York: Association for Computing Machinery, 2018, pp. 96-127. ISBN 978-1-4503-5587-2.
 HYNEK Jiří and HRUŠKA Tomáš. Application of Object-Based Metrics for Recognition of Well-Designed Dashboards. International Journal of Human-Computer Interaction. Abingdon: Taylor & Francis Informa plc, 2018, vol. 2018, no. 34, pp. 1-13. ISSN 1044-7318.
 KADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main, 2018.
 KANICH Ondřej and DRAHANSKÝ Martin. State of the art in fingerprint recognition. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 83-110. ISBN 978-1-78561-224-4.
 KANICH Ondřej, MÉZL Martin and DRAHANSKÝ Martin. Creative Materials Used for Fingerprint Spoofs. In: 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018, pp. 1-8. ISBN 978-1-5386-1366-5.
 KARAFIÁT Martin, BASKAR Murali K., SZŐKE Igor, MALENOVSKÝ Vladimír, VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. BUT OpenSAT 2017 speech recognition system. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2638-2642. ISSN 1990-9770.
 KARAFIÁT Martin, BASKAR Murali K., VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. Analysis of Multilingual BLSTM Acoustic Model on Lowand High Resource Languages. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5789-5793. ISBN 978-1-5386-4658-8.
 KAZZAZ M. Mohanned and RYCHLÝ Marek. A Case Study: Mobile Service Migration Based Traffic Jam Detection. International Journal of Systems and Service-Oriented Engineering (IJSSOE). Hershey, PA: IGI Global, 2018, vol. 8, no. 1, pp. 44-57. ISSN 1947-3052.
 KLEPÁRNÍK Petr, BAŘINA David, ZEMČÍK Pavel and JAROŠ Jiří. Efficient Low-Resource Compression of HIFU Data. Information. Basel: MDPI, 2018, vol. 9, no. 7, pp. 1-14. ISSN 2078-2489.
 KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk and MEDUNA Alexander. A Jumping 5'->3' Watson-Crick Finite Automata Model. In: Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). Wien: Austrian Computer Society, 2018, pp. 117-132. ISBN 978-3-903035-21-8.
 KOČÍ Radek and JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, pp. 1-6. ISBN 978-1-61208-668-2.
 KUČERA Jan, KEKELY Lukáš, PIECEK Adam and KOŘENEK Jan. General IDS Acceleration for High-Speed Networks. In: Proceedings of the 36th IEEE International Conference on Computer Design, ICCD 2018. Orlando: Institute of Electrical and Electronics Engineers, 2018, pp. 366-373. ISBN 978-1-5386-8477-1.
 KUČERA Jan, KEKELY Lukáš, PUŠ Viktor, PIECEK Adam and KOŘENEK Jan. Hardware Acceleration of Intrusion Detection Systems for High-Speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 177-178. ISBN 978-1-4503-5902-3.
 KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2.
 KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal. Oxford: Oxford University Press, 2018, vol. 2018, no. 1, pp. 1-12. ISSN 0010-4620.
 KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST). Bukurest: Romanian Academy, Publishing House of the Romanian Academy, 2018, vol. 21, no. 3, pp. 278-287. ISSN 1453-8245.
 LOJDA Jakub and KOTÁSEK Zdeněk. Automatizace návrhu spolehlivých systémů a její dílčí komponenty. In: Počítačové architektury & diagnostika 2018. Stachy: University of West Bohemia in Pilsen, 2018, pp. 5-8. ISBN 978-80-261-0814-6.
 LOJDA Jakub and KOTÁSEK Zdeněk. Fault Tolerance in HLS for the Purposes of Reliable System Design Automation. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2018, pp. 31-32. ISBN 978-80-01-06456-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Fault Tolerance Properties of Systems Generated with the Use of High-Level Synthesis. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 80-86. ISBN 978-1-5386-5709-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk and KRČMA Martin. Majority Type and Redundancy Level Influences on Redundant Data Types Approach for HLS. In: 2018 16th Biennial Baltic Electronics Conference (BEC). Tallinn: IEEE Computer Society, 2018, pp. 1-4. ISBN 978-1-5386-7311-9.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant Systems Design Automation. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 244-251. ISBN 978-1-5386-7376-8.
 LOZANO-DIEZ Alicia, PLCHOT Oldřich, MATĚJKA Pavel and GONZALEZ-RODRIGUEZ Joaquin. DNN Based Embeddings for Language Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5184-5188. ISBN 978-1-5386-4658-8.
 LOZANO-DIEZ Alicia, PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej and GONZALEZ-RODRIGUEZ Joaquin. Analysis of DNN-based Embeddings for Language Recognition on the NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 39-46. ISSN 2312-2846.
 MATOUŠEK Denis, KUBIŠ Juraj, MATOUŠEK Jiří and KOŘENEK Jan. Regular Expression Matching with Pipelined Delayed Input DFAs for High-speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 104-110. ISBN 978-1-4503-5902-3.
 MOŠNER Ladislav, MATĚJKA Pavel, NOVOTNÝ Ondřej and ČERNOCKÝ Jan. Dereverberation and Beamforming in Far-Field Speaker Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5254-5258. ISBN 978-1-5386-4658-8.
 MOŠNER Ladislav, PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej and ČERNOCKÝ Jan. Dereverberation and Beamforming in Robust Far-Field Speaker Recognition. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 1334-1338. ISSN 1990-9770.
 NEVORAL Jan, RŮŽIČKA Richard and ŠIMEK Václav. CMOS Gates with Second Function. In: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Hong Kong: IEEE Computer Society, 2018, pp. 82-87. ISBN 978-1-5386-7099-6.
 NEVORAL Jan, RŮŽIČKA Richard and ŠIMEK Václav. From Ambipolarity to Multifunctionality: Novel Library of Polymorphic Gates Using Double-Gate FETs. In: 2018 21st Euromicro Conference on Digital System Design. Praha: Institute of Electrical and Electronics Engineers, 2018, pp. 657-664. ISBN 978-1-5386-7376-8.
 NOSKO Svetozár, MUSIL Martin, ZEMČÍK Pavel and JURÁNEK Roman. Color HDR video processing architecture for smart camera. Journal of Real-Time Image Processing. 2018, vol. 2018, no. 1, pp. 1-12. ISSN 1861-8200.
 NOVOTNÝ Ondřej, MATĚJKA Pavel, PLCHOT Oldřich and GLEMBEK Ondřej. On the use of DNN Autoencoder for Robust Speaker Recognition. Brno: Faculty of Information Technology BUT, 2018.
 NOVOTNÝ Ondřej, PLCHOT Oldřich, MATĚJKA Pavel, MOŠNER Ladislav and GLEMBEK Ondřej. On the use of X-vectors for Robust Speaker Recognition. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 168-175. ISSN 2312-2846.
 ONDEL Lucas, GODARD Pierre, BESACIER Laurent, LARSEN Elin, HASEGAWA-JOHNSON Mark, SCHARENBORG Odette, DUPOUX Emmanuel, BURGET Lukáš, YVON Francois and KHUDANPUR Sanjeev. Bayesian Models for Unit Discovery on a Very Low Resource Language. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5939-5943. ISBN 978-1-5386-4658-8.
 PASTUSHENKO Olena, HYNEK Jiří and HRUŠKA Tomáš. Generation of Test Samples for Construction of Dashboard Design Guidelines: Impact of Color on Layout Balance. In: Advances in Intelligent Systems and Computing. Naples: Springer International Publishing, 2018, pp. 980-990. ISBN 978-3-319-77711-5.
 PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej, CUMANI Sandro, LOZANO-DIEZ Alicia, SLAVÍČEK Josef, DIEZ Sánchez Mireia, GRÉZL František, GLEMBEK Ondřej, KAMSALI Veera Mounika, SILNOVA Anna, BURGET Lukáš, ONDEL Lucas, KESIRAJU Santosh and ROHDIN Johan A. Analysis of BUT-PT Submission for NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 47-53. ISSN 2312-2846.
 PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2018, pp. 33-34. ISBN 978-80-01-06456-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdeněk. An Experimental Evaluation of Fault-Tolerant FPGA-based Robot Controller. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 63-69. ISBN 978-1-5386-5709-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdeněk. FPGA-based Robot Controller: An Experimental Evaluation of Fault Tolerance Properties. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, pp. 9-12.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej and KOTÁSEK Zdeněk. Evaluation Platform for Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 229-236. ISBN 978-1-5386-7376-8.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. A Framework for Optimizing a Processor to Selected Application. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 564-574. ISBN 978-1-5386-5709-6.
 PULUGUNDLA Bhargav, BASKAR Murali K., KESIRAJU Santosh, EGOROVA Ekaterina, KARAFIÁT Martin, BURGET Lukáš and ČERNOCKÝ Jan. BUT system for low resource Indian language ASR. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3182-3186. ISSN 1990-9770.
 PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Partial Dynamic Reconfiguration in an FPGA-based Fault-Tolerant System: Simulation-based Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Kazaň: IEEE Communications Society, 2018, pp. 129-134. ISBN 978-1-5386-5709-6.
 ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldřich, MATĚJKA Pavel and BURGET Lukáš. End-to-End DNN Based Speaker Recognition Inspired by i-Vector and PLDA. In: Proceedings of ICASSP. Calgary: IEEE Signal Processing Society, 2018, pp. 4874-4878. ISBN 978-1-5386-4658-8.
 RYANT Neville, BERGELSON Elika, CHURCH Kenneth, CRISTIA Alejandrina, DU Jun, GANAPATHY Sriram, KHUDANPUR Sanjeev, KOWALSKI Diana, KRISHNAMOORTHY Mahesh, KULSHRESHTA Rajat, LIBERMAN Mark, LU Yu-Ding, MACIEJEWSKI Matthew, METZE Florian, PROFANT Ján, SUN Lei, TSAO Yu and YU Zhou. Enhancement and Analysis of Conversational Speech: JSALT 2017. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5154-5158. ISBN 978-1-5386-4658-8.
 RYCHLÝ Marek and RYŠAVÝ Ondřej. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility. Gistrup: River Publishers, 2018, vol. 8, no. 2, pp. 165-188. ISSN 2245-4578.
 SCHARENBORG Odette, BESACIER Laurent, BLACK Alan, HASEGAWA-JOHNSON Mark, METZE Florian, NEUBIG Graham, STÜKER Sebastian, GODARD Pierre, MÜLLER Markus, ONDEL Lucas, PALASKAR Shruti, ARTHUR Philip, CIANNELLA Francesco, DU Mingxing, LARSEN Elin, MERKX Danny, RIAD Rachid, WANG Liming and DUPOUX Emmanuel. Liguistic Unit Discovery from Multi-modal Inputs in Unwritten Languages: Summary of the "Speaking Rosetta" JSALT 2017 Workshop. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 4980-4984. ISBN 978-1-5386-4658-8.
 SEKANINA Lukáš, VAŠÍČEK Zdeněk, BOSIO Alberto, TRAIOLA Marcello, RECH Paolo, OLIVEIRA Daniel, FERNANDES Fernando and DI Carlo Stefano. Special Session: How Approximate Computing impacts Verification, Test and Reliability. 2018 IEEE 36th VLSI Test Symposium. San Francisco: IEEE Computer Society, 2018. ISBN 978-1-5386-3774-6.
 SEKANINA Lukáš. Approximate Computing: An Old Job for Cartesian Genetic Programming?. Inspired by Nature. Cham: Springer International Publishing, 2018, pp. 195-212. ISBN 978-3-319-67996-9.
 SILNOVA Anna, BRUMMER Niko, GARCÍA-ROMERO Daniel, SNYDER David and BURGET Lukáš. Fast variational Bayes for heavy-tailed PLDA applied to i-vectors and x-vectors. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 72-76. ISSN 1990-9770.
 SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, NOVOTNÝ Ondřej, GRÉZL František, SCHWARZ Petr and ČERNOCKÝ Jan. BUT/Phonexia Bottleneck Feature Extractor. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 283-287. ISSN 2312-2846.
 SOCHOR Jakub, JURÁNEK Roman, ŠPAŇHEL Jakub, MARŠÍK Lukáš, ŠIROKÝ Adam, HEROUT Adam and ZEMČÍK Pavel. Comprehensive Data Set for Automatic Single Camera Visual Speed Measurement. IEEE Transactions on Intelligent Transportation Systems. 2018, vol. 2018, no. 99, pp. 1-11. ISSN 1524-9050.
 SOCHOR Jakub, ŠPAŇHEL Jakub and HEROUT Adam. BoxCars: Improving Fine-Grained Recognition of Vehicles using 3-D Bounding Boxes in Traffic Surveillance. IEEE Transactions on Intelligent Transportation Systems. 2018, vol. 2018, no. 99, pp. 1-12. ISSN 1524-9050.
 SOCHOR Jakub, ŠPAŇHEL Jakub, JURÁNEK Roman, DOBEŠ Petr and HEROUT Adam. Graph@FIT Submission to the NVIDIA AI City Challenge 2018. In: NVIDIA AI City Challenge 2018 (CVPRW). Salt Lake City: IEEE Computer Society, 2018, pp. 1-8. ISBN 978-1-4673-6964-0.
 STRNADEL Josef. Predictability Analysis of Interruptible Systems by Statistical Model Checking. IEEE Design & Test. Pistacaway: IEEE Circuits and Systems Society, 2018, vol. 35, no. 2, pp. 57-63. ISSN 2168-2356.
 STRNADEL Josef. Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. In: Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Cham: Springer International Publishing, 2018, pp. 414-429. ISSN 0302-9743.
 SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, SAUNAVAARA Jani, KIVINIEMI Aida and BLANCO Roberto. The Effect of Tissue Physiological Variablity on Transurethral Ultrasound Therapy of the Prostate. In: Proceedings of 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Honolulu, HI: Institute of Electrical and Electronics Engineers, 2018, pp. 5701-5704. ISBN 978-1-5386-3646-6.
 TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří and COX Ben T. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. The Journal of the Acoustical Society of America. 2018, vol. 2018, no. 143, pp. 529-537. ISSN 1520-8524.
 TREEBY Bradley E., VAVERKA Filip and JAROŠ Jiří. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics. 2018, vol. 34, no. 022002, pp. 1-5. ISSN 1939-800X.
 UHLÍŘ Václav, ZBOŘIL František and ROZMAN Jaroslav. Improving upon package and food delivery by Semi-autonomous Tag-along Vehicles. In: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 589-596. ISBN 978-3-319-76347-7.
 VAŠÍČEK Zdeněk. Bridging the Gap Between Evolvable Hardware and Industry Using Cartesian Genetic Programming. Inspired by Nature. Cham: Springer International Publishing, 2018, pp. 39-55. ISBN 978-3-319-67996-9.
 VEĽAS Martin, ŠPANĚL Michal, HRADIŠ Michal and HEROUT Adam. CNN for IMU Assisted Odometry Estimation using Velodyne LiDAR. In: Proceedings of IEEE International Conference on Autonomous Robot Systems and Competitions. Torres Vedras, 2018, pp. 1-1.
 VLK Jan and CHUDÝ Peter. Adaptive Augmentation of an Unmanned Aerial Vehicle's Flight Control System. In: Proceedings of 37th Digital Avionics System Conference. London, UK: IEEE Computer Society, 2018, pp. 1-9. ISBN 978-1-5386-4112-5.
 VÍDEŇSKÝ František and ZBOŘIL František. Computer Aided Recognition and Classification of Coats of Arms. In: Proceedings ISDA 2017. Los Alamitos: Springer International Publishing, 2018, pp. 63-73. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 VÍDEŇSKÝ František and ZBOŘIL František. Strojové rozpoznávání rodových erbů. Genealogické a heraldické informace. Brno: THE MORAVIAN GENEALOGICAL AND HERALDIC SOCIETY, 2018, vol. 22, no. 1, pp. 73-82. ISSN 0862-8963.
 ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein and ČERNOCKÝ Jan. Spoken Pass-Phrase Verification in the i-vector Space. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 372-377. ISSN 2312-2846.
 ŠŮSTEK Martin and ZBOŘIL František V. Obtaining word embedding from existing classification model. In: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 540-547. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, NAKATANI Tomohiro and ČERNOCKÝ Jan. Optimization of Speaker-aware Multichannel Speech Extraction with ASR Criterion. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 6702-6706. ISBN 978-1-5386-4658-8.
 ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 214-220. ISBN 978-1-5386-7376-8.
 ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, pp. 155-175. ISSN 0302-9743.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. ADAC: Automated Design of Approximate Circuits. In: Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). To appear in LNCS., 2018, pp. 1-9.
 ČUDOVÁ Marta, TREEBY Bradley E. and JAROŠ Jiří. Design of HIFU Treatment Plans using Evolutionary Strategy. In: GECCO'18 Companion: Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018, pp. 1568-1575. ISBN 978-1-4503-5764-7.
2017ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed and RUMMER Philipp. Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: Association for Computing Machinery, 2017, pp. 602-617. ISBN 978-1-4503-4988-8.
 ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt and REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer. 2017, vol. 5, no. 19, pp. 549-563. ISSN 1433-2779.
 AHMAD Touqeer, CAMPR Pavel, ČADÍK Martin and BEBIS George. Comparison of Semantic Segmentation Approaches for Horizon/Sky Line Detection. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN). Anchorage: Institute of Electrical and Electronics Engineers, 2017, pp. 1-8. ISBN 978-1-4799-1961-1.
 AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Concurrency and Computation: Practice and Experience. New York: WILEY, 2017, vol. 29, no. 21, pp. 4268-4289. ISSN 1532-0634.
 BAROTOVÁ Štěpánka and DRAHANSKÝ Martin. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In: Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Darmstadt: Springer Verlag, 2017, pp. 267-274. ISBN 978-3-88579-664-0.
 BARTL Vojtěch and HEROUT Adam. Fully Automatic Horizon Estimation for Surveillance Cameras. In: 2017 International Conference on Digital Image Computing: Techniques and Applications (DICTA). Sydney: Institute of Electrical and Electronics Engineers, 2017, pp. 23-31. ISBN 978-1-5386-2839-3.
 BASKAR Murali K., KARAFIÁT Martin, BURGET Lukáš, VESELÝ Karel, GRÉZL František and ČERNOCKÝ Jan. Residual Memory Networks: Feed-forward approach to learn long-term temporal dependencies. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 4810-4814. ISBN 978-1-5090-4117-6.
 BAŘINA David, KULA Michal, MATÝŠEK Michal and ZEMČÍK Pavel. Accelerating Discrete Wavelet Transforms on Parallel Architectures. Journal of WSCG. Plzeň: 2017, vol. 25, no. 2, pp. 77-85. ISBN 978-80-86943-43-5. ISSN 1213-6972.
 BAŘINA David, NAJMAN Pavel, KLEPÁRNÍK Petr, KULA Michal and ZEMČÍK Pavel. The Parallel Algorithm for the 2-D Discrete Wavelet Transform. In: Ninth International Conference on Graphic and Image Processing (ICGIP 2017). Qingdao: SPIE - the international society for optics and photonics, 2017, pp. 1-6. ISBN 978-1-5106-1741-4. ISSN 0277-786X.
 BENEŠ Karel, BASKAR Murali K. and BURGET Lukáš. Residual Memory Networks in Language Modeling: Improving the Reputation of Feed-Forward Networks. In: Proceedings of Interspeeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 284-288. ISSN 1990-9772.
 BIDLO Michal. Evolution of Cellular Automata-Based Replicating Structures Exhibiting Unconventional Features. International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers. Cham: Springer International Publishing, 2017, pp. 21-41. ISBN 978-3-319-48506-5.
 BORDOVSKÝ Gabriel and JAROŠ Jiří. Optimization of Fracture Tests Simulation in Civil Engineering. Ostrava, 2017.
 BREJCHA Jan and ČADÍK Martin. GeoPose3K: Mountain Landscape Dataset for Camera Pose Estimation in Outdoor Environments. Image and Vision Computing. Washington: Elsevier Science, 2017, vol. 2017, no. 1, pp. 1-41. ISSN 0262-8856.
 BURGET Radek. Information Extraction from the Web by Matching Visual Presentation Patterns. In: Knowledge Graphs and Language Technology: ISWC 2016 International Workshops: KEKI and NLP&DBpedia. Kobe: Springer International Publishing, 2017, pp. 10-26. ISBN 978-3-319-68722-3.
 CHALOUPKA Jan, KOCINA Filip, VEIGEND Petr, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Multiple Integral Computations. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, pp. 1-12. ISBN 978-1-5090-3018-7.
 CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Synthesis tool for design of complex polymorphic circuits. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 149-154. ISBN 978-1-5090-6376-5.
 CSUHAJ-VARJÚ Erzsébet, MEDUNA Alexander and SOUKUP Ondřej. On Tree-Restricted Regular-Controlled Context-Free Grammars. International Journal of Computer Mathematics: Computer Systems Theory. 2017, vol. 2, no. 4, pp. 147-163. ISSN 2379-9927.
 DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. and VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0.
 DOBAI Roland, KOŘENEK Jan and SEKANINA Lukáš. Evolutionary design of hash function pairs for network filters. Applied Soft Computing. Amsterdam: Elsevier Science, 2017, vol. 56, no. 7, pp. 173-181. ISSN 1568-4946.
 DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka and MOHELNÍK Petr. Measurement of light sources. Brno: Faculty of Information Technology BUT, 2017.
 DRAHANSKÝ Martin, KANICH Ondřej and BŘEZINOVÁ Eva. Challenges for fingerprint recognition - spoofing, skin diseases and environmental effects. Handbook of Biometrics for Forensic Science. Cham: Springer Verlag, 2017, pp. 63-83. ISBN 978-3-319-50671-5.
 DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5.
 DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej and BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 407-414. ISSN 1614-0702.
 DRAHANSKÝ Martin, SPURNÝ Martin and GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 415-421. ISSN 1614-0702.
 DRAHANSKÝ Martin. Multispectral Optical Properties of Human Hands Skin. Lillehammer, 2017.
 DVOŘÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: University of defence in Brno, 2017, pp. 17-29. ISBN 978-80-7231-414-0.
 DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. Formal Methods in System Design. Berlin: Springer Verlag, 2017, vol. 2017, no. 51, pp. 575-607. ISSN 0925-9856.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISBN 978-3-319-57287-1.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 407-425. ISBN 978-3-662-54576-8. ISSN 0302-9743.
 FÉR Radek, MATĚJKA Pavel, GRÉZL František, PLCHOT Oldřich, VESELÝ Karel and ČERNOCKÝ Jan. Multilingually Trained Bottleneck Features in Spoken Language Recognition. Computer Speech and Language. Amsterdam: Elsevier Science, 2017, vol. 2017, no. 46, pp. 252-267. ISSN 0885-2308.
 GROCHOL David and SEKANINA Lukáš. Comparison of Parallel Linear Genetic Programming Implementations. In: Recent Advances in Soft Computing: Proceedings of the 22nd International Conference on Soft Computing (MENDEL 2016) held in Brno, Czech Republic, at June 8-10, 2016. Cham: Springer International Publishing, 2017, pp. 64-76. ISBN 978-3-319-58088-3.
 HLOSTA Martin, ZDRÁHAL Zdeněk and ZENDULKA Jaroslav. Ouroboros: Early identification of at-risk students without models based on legacy data. In: LAK '17 Proceedings of the Seventh International Learning Analytics & Knowledge Conference. Vancouver: Association for Computing Machinery, 2017, pp. 6-15. ISBN 978-1-4503-4870-6.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Cham: Springer Verlag, 2017, pp. 288-309. ISBN 978-3-319-52234-0. ISSN 0302-9743.
 HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš and WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. In: SAS 2017: Static Analysis. Cham: Springer International Publishing, 2017, pp. 169-191. ISBN 978-3-319-66706-5.
 HOMOLIAK Ivan, BARABAS Maroš and HANÁČEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5.
 HOMOLIAK Ivan, BREITENBACHER Dominik and HANÁČEK Petr. Convergence Optimization of Backpropagation Artificial Neural Network Used for Dichotomous Classification of Intrusion Detection Dataset. Journal of Computers. Chengdu, Sichuan: 2017, vol. 12, no. 2, pp. 143-155. ISSN 1796-203X.
 HOMOLIAK Ivan, ŠULÁK Ladislav and HANÁČEK Petr. Features for Non-payload Based Behavioral Intrusion Detection of Connectionless Network Buffer Overflow Attacks. In: Information Security Applications - 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers. Jeju Island: Springer International Publishing, 2017, pp. 66-78. ISBN 978-3-319-56549-1.
 HON Jiří, MARTÍNEK Tomáš, ZENDULKA Jaroslav and LEXA Matej. pqsfinder: an exhaustive and imperfection-tolerant search tool for potential quadruplex-forming sequences in R. Bioinformatics. Oxford: Oxford University Press, 2017, vol. 33, no. 21, pp. 3373-3379. ISSN 1367-4803.
 HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, pp. 421-438. ISSN 0302-9743.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 365-369. ISBN 978-3-662-54580-5.
 KANICH Ondřej and DRAHANSKÝ Martin. Simulation of Synthetic Fingerprint Generation Using Petri Nets. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 6, no. 6, pp. 402-408. ISSN 2047-4938.
 KARAFIÁT Martin, BASKAR Murali K., MATĚJKA Pavel, VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. 2016 BUT Babel system: Multilingual BLSTM acoustic model with i-vector based adaptation. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 719-723. ISSN 1990-9772.
 KARAFIÁT Martin, VESELÝ Karel, ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, WATANABE Shinji, BURGET Lukáš, ČERNOCKÝ Jan and SZŐKE Igor. Training Data Augmentation and Data Selection. New Era for Robust Speech Recognition: Exploiting Deep Learning. Heidelberg: Springer International Publishing, 2017, pp. 245-260. ISBN 978-3-319-64679-4.
 KAZZAZ M. Mohanned and RYCHLÝ Marek. Restful-based Mobile Web Service Migration Framework (Presentation). MEMICS 2017: 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.
 KAZZAZ M. Mohanned and RYCHLÝ Marek. Restful-based Mobile Web Service Migration Framework. In: 2017 IEEE International Conference on AI & Mobile Services (AIMS). Honolulu: IEEE Computer Society, 2017, pp. 70-75. ISBN 978-1-5386-1999-5.
 KAČIC Matej and BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1.
 KESIRAJU Santosh, PAPPAGARI Raghavendra, ONDEL Lucas, BURGET Lukáš, DEHAK Najim, KHUDANPUR Sanjeev, ČERNOCKÝ Jan and GANGASHETTY Suryakanth V. Topic identification of spoken documents using unsupervised acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5745-5749. ISBN 978-1-5090-4117-6.
 KOCINA Filip, NEČASOVÁ Gabriela, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Modelling VLSI Circuits Using Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017.
 KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.
 KOŠTIALIK Daniel, MARUNIAK Lukáš and DRAHANSKÝ Martin. Symptoms Detection in Eye Retina Image. In: 2017 IEEE Symposium Series on Computational Intelligence. Hawaii: IEEE Computer Society, 2017, pp. 3088-3093. ISBN 978-1-5386-4058-6.
 KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
 KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6.
 KRČMA Martin and KOTÁSEK Zdeněk. Approximation accuracy of different FPNN types. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7.
 KRČMA Martin, KOTÁSEK Zdeněk and LOJDA Jakub. Comparison of FPNNs Models Approximation Capabilities and FPGA Resources Utilization. In: Proceedings of IEEE 13th International Conference on Intelligent Computer Communication and Processing. Cluj-Nappoca: IEEE Computer Society, 2017, pp. 125-132. ISBN 978-1-5386-3367-0.
 KRČMA Martin, LOJDA Jakub and KOTÁSEK Zdeněk. Triple Modular Redundancy Used in Field Programmable Neural Networks. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-3298-7.
 LAI Kenneth K., KANICH Ondřej, DVOŘÁK Michal, DRAHANSKÝ Martin, YANUSHKEVICH Svetlana and SHMERKO Vlad. P. Biometric-Enabled Watchlists Technology. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 6, no. 6, pp. 1-10. ISSN 2047-4938.
 LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak and RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 499-517. ISBN 978-3-662-46680-3. ISSN 0302-9743.
 LOJDA Jakub and KOTÁSEK Zdeněk. A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 79-80. ISBN 978-80-01-06178-7.
 LOJDA Jakub and KOTÁSEK Zdeněk. Automatizace návrhu systémů odolných proti poruchám pomocí vysokoúrovňové syntézy. In: Počítačové architektury & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 59-62. ISBN 978-80-972784-0-3.
 LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 359-364. ISBN 978-1-5386-3298-7.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk and KRČMA Martin. Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, pp. 273-278. ISBN 978-1-5386-3298-7.
 LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin and ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal. Žilina: University of Žilina, 2017, vol. 3, no. 1, pp. 1-8. ISSN 2453-7314.
 MAREK Marcel, RYŠAVÝ Ondřej and VESELÝ Vladimír. Towards analysis of IP communication in a constrained environment of tactical radio networks. In: Proceedings of European Conference on the Engineering of Computer Based Systems. Larnaca: Association for Computing Machinery, 2017, pp. 50-57. ISBN 978-1-4503-4843-0.
 MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav and SMRŽ Pavel. Using Persona, Scenario, and Use Case to Develop a Human-Robot Augmented Reality Collaborative Workspace. In: HRI 2017. Vídeň: Association for Computing Machinery, 2017, pp. 1-2. ISBN 978-1-4503-4885-0.
 MATOUŠEK Jiří, ANTICHI Gianni, LUČANSKÝ Adam, MOORE Andrew W. and KOŘENEK Jan. ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution. In: 2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Beijing: IEEE Computer Society, 2017, pp. 204-216. ISBN 978-1-5090-6386-4.
 MATĚJKA Pavel, NOVOTNÝ Ondřej, PLCHOT Oldřich, BURGET Lukáš, DIEZ Sánchez Mireia and ČERNOCKÝ Jan. Analysis of Score Normalization in Multilingual Speaker Recognition. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1567-1571. ISSN 1990-9772.
 MATĚJKA Pavel, PLCHOT Oldřich, NOVOTNÝ Ondřej, CUMANI Sandro, LOZANO-DIEZ Alicia, SLAVÍČEK Josef, DIEZ Sánchez Mireia, GRÉZL František, GLEMBEK Ondřej, KAMSALI Veera Mounika, SILNOVA Anna, BURGET Lukáš, ONDEL Lucas, KESIRAJU Santosh and ROHDIN Johan A. BUT- PT System Description for NIST LRE 2017. In: Proceedings of NIST Language Recognition Workshop 2017. Orlando, Florida: National Institute of Standards and Technology, 2017, pp. 1-6.
 MEDUNA Alexander and MARTIŠKO Jakub. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. In: 15th International Conference on Automata and Formal Languages. Debrecen: Open Publishing Association, 2017, pp. 170-179. ISSN 2075-2180.
 MRÁZEK Vojtěch, HRBÁČEK Radek, VAŠÍČEK Zdeněk and SEKANINA Lukáš. EvoApprox8b: Library of Approximate Adders and Multipliers for Circuit Design and Benchmarking of Approximation Methods. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, pp. 258-261. ISBN 978-3-9815370-9-3.
 MUSIL Miloš, ŠTOURAČ Jan, BENDL Jaroslav, BREZOVSKÝ Jan, PROKOP Zbyněk, ZENDULKA Jaroslav, MARTÍNEK Tomáš, BEDNÁŘ David and DAMBORSKÝ Jiří. FireProt: web server for automated design of thermostable proteins. Nucleic Acids Research. Oxford: Oxford University Press, 2017, vol. 2017, no. 45, pp. 393-399. ISSN 1362-4962.
 NEVORAL Jan, ŠIMEK Václav and RŮŽIČKA Richard. Compact Library of Efficient Polymorphic Gates based on Ambipolar Transistors. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, pp. 155-160. ISBN 978-1-5090-6376-5.
 NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Solving Wave Equation Using Finite Differences and Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 NIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří and KELEČÉNI Jakub. The investigation of the ARMv7 and Intel Haswell architectures suitability for performance and energy-aware computing. In: High Performance Computing. Cham: Springer International Publishing, 2017, pp. 377-393. ISBN 978-3-319-58667-0.
 ONDEL Lucas, BURGET Lukáš, ČERNOCKÝ Jan and KESIRAJU Santosh. Bayesian phonotactic language model for acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, pp. 5750-5754. ISBN 978-1-5090-4117-6.
 PLCHOT Oldřich, MATĚJKA Pavel, SILNOVA Anna, NOVOTNÝ Ondřej, DIEZ Sánchez Mireia, ROHDIN Johan A., GLEMBEK Ondřej, BRÜMMER Niko, SWART Albert du Preez, PRIETO Jesús J., GARCIA Perera Leibny Paola, BUERA Luis, KENNY Patrick, ALAM Jahangir and BHATTACHARYA Gautam. Analysis and Description of ABC Submission to NIST SRE 2016. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1348-1352. ISSN 1990-9772.
 PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 81-82. ISBN 978-80-01-06178-7.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. Reliability Analysis and Improvement of FPGA-based Robot Controller. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Vídeň: IEEE Computer Society, 2017, pp. 337-344. ISBN 978-1-5386-2146-2.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub, ZACHARIÁŠOVÁ Marcela, KRČMA Martin and KOTÁSEK Zdeněk. Functional Verification Based Platform for Evaluating Fault Tolerance Properties. Microprocessors and Microsystems. Amsterdam: Elsevier Science, 2017, vol. 52, no. 5, pp. 145-159. ISSN 0141-9331.
 POLOK Lukáš and SMRŽ Pavel. Pivoting Strategy for Fast LU decomposition of Sparse Block Matrices. In: Proceedings of the 25th High Performance Computing Symposium. Virginia Beach, VA: Association for Computing Machinery, 2017, pp. 1-12. ISBN 978-1-5108-3822-2.
 PUTEROVÁ Janka, RAZUMOVA Olga, MARTÍNEK Tomáš, ALEXANDROV Oleg, DIVASHUK Mikhail, KUBÁT Zdeněk, HOBZA Roman, KARLOV Gennady and KEJNOVSKÝ Eduard. Satellite DNA and Transposable Elements in Seabuckthorn ( Hippophae rhamnoides ), a Dioecious Plant with Small Y and Large X Chromosomes. Genome Biology and Evolution. Oxford: Oxford University Press, 2017, vol. 9, no. 1, pp. 197-212. ISSN 1759-6653.
 PŘIBYL Bronislav, ZEMČÍK Pavel and ČADÍK Martin. Absolute Pose Estimation from Line Correspondences using Direct Linear Transformation. Computer Vision and Image Understanding. 2017, vol. 161, no. 1, pp. 130-144. ISSN 1077-3142.
 RUDNITCKAIA Julia and HRUŠKA Tomáš. Time Series Analysis and Prediction Statistical Models for the Duration of the Ship Handling at an Oil Terminal. In: RELIABILITY and STATISTICS in TRANSPORTATION and COMMUNICATION. Riga: Springer International Publishing, 2017, pp. 1-10. ISBN 978-9984-818-86-3. ISSN 2367-3370.
 RYCHLÝ Marek and RYŠAVÝ Ondřej. TARZAN: An Integrated Platform for Security Analysis. In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Praha: IEEE Computer Society, 2017, pp. 561-567. ISBN 978-83-946253-7-5.
 SILNOVA Anna, BURGET Lukáš and ČERNOCKÝ Jan. Alternative Approaches to Neural Network based Speaker Verification. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 1572-1575. ISSN 1990-9772.
 SOCHOR Jakub, JURÁNEK Roman and HEROUT Adam. Traffic Surveillance Camera Calibration by 3D Model Bounding Box Alignment for Accurate Vehicle Speed Measurement. Computer Vision and Image Understanding. 2017, vol. 2017, no. 161, pp. 87-98. ISSN 1077-3142.
 STRNADEL Josef. On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2017, pp. 352-355. ISBN 978-1-5386-2146-2.
 SVOBODA Stanislav and BAŘINA David. New Transforms for JPEG Format. In: Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Mikulov: Brno University of Technology, 2017, pp. 25-30. ISSN 1335-5694.
 SZURMAN Karel and KOTÁSEK Zdeněk. State Synchronization of Faulty Soft Core Processors in Reconfigurable TMR Architecture. In: Počítačové architektúry & diagnostika 2017. Smolenice: Slovak University of Technology in Bratislava, 2017, pp. 51-54. ISBN 978-80-972784-0-3.
 TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří and COX Ben T. Single-step Calculation of the Acoustic Field from Arbitrary Continuous-wave Sources. Ostrava, 2017.
 VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on 256 Salomon Nodes. Ostrava, 2017.
 VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Piz Daint with 512 Pascal GPUs. Denver, 2017.
 VEIGEND Petr, NEČASOVÁ Gabriela, KOCINA Filip, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Real Time Simulation of Transport Delay. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 VESELÝ Karel, BASKAR Murali K., DIEZ Sánchez Mireia and BENEŠ Karel. MGB-3 BUT System: Low-resource ASR on Egyptian YOUTUBE data. In: Proceedings of ASRU 2017. Okinawa: IEEE Signal Processing Society, 2017, pp. 368-373. ISBN 978-1-5090-4788-8.
 VESELÝ Karel, BURGET Lukáš and ČERNOCKÝ Jan. Semi-supervised DNN training with word selection for ASR. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, pp. 3687-3691. ISSN 1990-9772.
 VLK Jan and CHUDÝ Peter. General Aviation Digital Autopilot Design Based on LQR/LQG Control Strategy. In: Proceedings of 36th Digital Avionics Systems Conference. St. Petersburg, FL: IEEE Computer Society, 2017, pp. 1-9. ISBN 978-1-5386-0365-9.
 WIGLASZ Michal and SEKANINA Lukáš. Evolutionary Approximation of Gradient Orientation Module in HOG-based Human Detection System. In: 2017 IEEE Global Conference on Signal and Information Processing GlobalSIP 2017. Montreal: IEEE Signal Processing Society, 2017, pp. 1300-1304. ISBN 978-1-5090-5989-8.
 ZEINALI Hossein, SAMETI Hossein and BURGET Lukáš. HMM-Based Phrase-Independent i-Vector Extractor for Text-Dependent Speaker Verification. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING. New York City: IEEE Signal Processing Society, 2017, vol. 25, no. 7, pp. 1421-1435. ISSN 2329-9290.
 ZEINALI Hossein, SAMETI Hossein, BURGET Lukáš and ČERNOCKÝ Jan. Text-dependent speaker verification based on i-vectors, Neural Networks and Hidden Markov Models. Computer Speech and Language. Amsterdam: Elsevier Science, 2017, vol. 2017, no. 46, pp. 53-71. ISSN 0885-2308.
 ZELENÝ Jan, BURGET Radek and ZENDULKA Jaroslav. Box Clustering Segmentation: A New Method for Vision-based Page Preprocessing. Information Processing and Management. 2017, vol. 53, no. 3, pp. 735-750. ISSN 0306-4573.
 ŠIMEK Václav, NEVORAL Jan, CRHA Adam and RŮŽIČKA Richard. Towards Design Flow for Space-Efficient Implementation of Polymorphic Circuits Based on Ambipolar Components. ElectroScope. Plzeň: University of West Bohemia in Pilsen, 2017, vol. 11, no. 1, pp. 1-10. ISSN 1802-4564.
 ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman, HEROUT Adam, MARŠÍK Lukáš and ZEMČÍK Pavel. Holistic Recognition of Low Quality License Plates by CNN using Track Annotated Data. In: International Workshop on Traffic and Street Surveillance for Safety and Security (AVSS 2017). Lecce: IEEE Computer Society, 2017, pp. 1-6. ISBN 978-1-5386-2939-0.
 ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, OGAWA Atsunori and NAKATANI Tomohiro. Speaker-aware neural network based beamformer for speaker extraction in speech mixtures. In: Proceedings of Interspeech 2017. Stocholm: International Speech Communication Association, 2017, pp. 2655-2659. ISSN 1990-9772.
 ČEKAN Ondřej and KOTÁSEK Zdeněk. A Probabilistic Context-Free Grammar Based Random Test Program Generation. In: Proceedings of 20th Euromicro Conference on Digital System Design. Vídeň: TU Vienna, 2017, pp. 356-359. ISBN 978-1-5386-2146-2.
 ČEKAN Ondřej and KOTÁSEK Zdeněk. Random Test Stimuli Generation Based on a Probabilistic Grammar. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 43-44. ISBN 978-80-01-06178-7.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017, pp. 416-423. ISBN 978-1-5386-3093-8.
 ČEŠKA Milan, ČEŠKA Milan and PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. In: Proceedings of 16th International Conference on Computer Aided Systems Theory. Heidelberg: Springer Verlag, 2017, pp. 38-46. ISBN 978-3-319-74727-9.
 ČUDOVÁ Marta and JAROŠ Jiří. Framework for Planning, Executing and Monitoring Cooperating Computations. Ostrava, 2017.
 ČUDOVÁ Marta. Framework for Planning, Running and Monitoring Cooperating Computations. In: Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovak University of Technology in Bratislava, 2017, pp. 20-23. ISBN 978-80-972784-0-3.
2016ALDEGHERI Stefano, BARNAT Jiří, BOMBIERI Nicola, BUSATO Federico and ČEŠKA Milan. Parametric Multi-Step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. In: Proceedings of 2nd Workshop on Performance Engineering for Large Scale Graph Analytics. Cham: Springer Verlag, 2016, pp. 519-531. ISBN 978-3-319-58942-8.
 BAROTOVÁ Štěpánka, DRAHANSKÝ Martin and PERNICKÝ Radim. Detection of Ridge Damages in Fingerprint Recognition Caused by Skin Diseases. International Journal of Signal Processing, Image Processing and Pattern Recognition. 2016, vol. 9, no. 11, pp. 125-146. ISSN 2005-4254.
 BARTOŠ Václav and KOŘENEK Jan. Evaluating Reputation of Internet Entities. In: Management and Security in the Age of Hyperconnectivity. Munich: Springer International Publishing, 2016, pp. 132-136. ISBN 978-3-319-39813-6.
 BAŘINA David, KULA Michal and ZEMČÍK Pavel. Parallel Wavelet Schemes for Images. Journal of Real-Time Image Processing. 2016, vol. 9999, no. 9999, pp. 1-17. ISSN 1861-8200.
 BIDLO Michal. Evolution of Generic Square Calculations in Cellular Automata. In: Proceedings of the 8th International Joint Conference on Computational Intelligence - Volume 3: ECTA. Porto: SciTePress - Science and Technology Publications, 2016, pp. 94-102. ISBN 978-989-758-201-1.
 BREITENBACHER Dominik, HOMOLIAK Ivan, JAROŠ Jiří and HANÁČEK Petr. Impact of Optimization and Parallelism on Factorization Speed of SIQS. In: Proceedings of The 20th World Multi-Conference on Systemics, Cybernetics and Informatics. Orlando: The International Institute of Informatics and Systemics, 2016, pp. 55-62. ISBN 978-1-941763-41-4.
 BRÁZDOVÁ Marie, TICHÝ Vlastimil, HELMA Robert, BAŽANTOVÁ Pavla, POLÁŠKOVÁ Alena, KREJČÍ Aneta, PETR Marek, NAVRÁTILOVÁ Lucie, TICHÁ Olga, NEJEDLÝ Karel, BENNINK Martin L., SUBRAMANIAM Vinod, BÁBKOVÁ Zuzana, MARTÍNEK Tomáš, LEXA Matej and ADÁMIK Matej. p53 Specifically Binds Triplex DNA In Vitro and in Cells. PLoS ONE. 2016, vol. 11, no. 12, pp. 1-25. ISSN 1932-6203.
 BÁRTA Milan and DRAHANSKÝ Martin. Generation of Skin Diseases into Synthetic Fingerprints. International Journal of Image Processing. 2016, vol. 10, no. 5, pp. 229-248. ISSN 1985-2304.
 CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016). Brno: Faculty of Informatics MU, 2016, pp. 87-93. ISBN 978-80-210-8362-2. ISSN 2075-2180.
 DALECKÝ Štěpán, SNÁŠELOVÁ Petra, LUŽA Radim, ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. SmartMowers as a Part of a SmartCity. In: Sbornik ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 156-160. ISBN 978-1-4673-8605-0.
 DOLÍHAL Luděk and HRUŠKA Tomáš. Automatic job generation for compiler testing, Testing of generated compiler. In: Proceedings of The Eighth International Conference on Advances in System Testing and Validation Lifecycle. Řím: The International Academy, Research and Industry Association, 2016, pp. 1-6. ISBN 978-1-61208-500-5.
 DRAHANSKÝ Martin, KANICH Ondřej, BŘEZINOVÁ Eva and SHINODA Koichi. Experiments with optical properties of skin on fingers. International Journal of Optics and Applications. Rosemead: Scientific & Academic Publishing, 2016, vol. 2016, no. 2, pp. 37-46. ISSN 2168-5053.
 DYTRYCH Jaroslav and SMRŽ Pavel. Interaction Patterns in Computer-assisted Semantic Annotation of Text - An Empirical Evaluation. In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence. Setúbal: SciTePress - Science and Technology Publications, 2016, pp. 74-84. ISBN 978-989-758-172-4.
 GRÉZL František and KARAFIÁT Martin. Boosting Performance on Low-resource Languages by Standard Corpora: AN ANALYSIS. In: Proceeding of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, pp. 629-636. ISBN 978-1-5090-4903-5.
 HOLÍK Lukáš, KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika, TRTÍK Marek and VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Zurich: Springer Verlag, 2016, pp. 202-209. ISBN 978-3-319-49052-6.
 HOLÍK Lukáš, MEYER Roland and MUSKALLA Sebastian. Summaries for Context-Free Games. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, pp. 41-57. ISBN 978-3-95977-027-9.
 HRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr and RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law. 2016, vol. 11, no. 2, pp. 79-96. ISSN 1558-7215.
 HRBÁČEK Radek, MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Automatic Design of Approximate Circuits by Means of Multi-Objective Evolutionary Algorithms. In: Proceedings of the 11th International Conference on Design & Technology of Integrated Systems in Nanoscale Era. Istanbul: Istanbul Sehir University, 2016, pp. 239-244. ISBN 978-1-5090-0335-8.
 HYNEK Jiří and HRUŠKA Tomáš. Pixel-Based Analysis of Information Dashboard Attributes. In: New Trends in Databases and Information Systems. CH: Springer International Publishing, 2016, pp. 29-36. ISBN 978-3-319-44065-1. ISSN 1865-0929.
 IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. In: Tools and Algorithms for the Construction and Analysis of Systems. Heidelberg: Springer Verlag, 2016, pp. 71-89. ISBN 978-3-662-49673-2.
 KANICH Ondřej and DRAHANSKÝ Martin. Currently Used Swipe Fingerprint Sensors. International Journal of Bio-Science and Bio-Technology. Daedok: Science & Engineering Research Support Center, 2016, vol. 8, no. 1, pp. 381-386. ISSN 2233-7849.
 KARAFIÁT Martin, BASKAR Murali K., MATĚJKA Pavel, VESELÝ Karel, GRÉZL František and ČERNOCKÝ Jan. Multilingual BLSTM and Speaker-Specific Vector Adaptation in 2016 BUT BABEL SYSTEM. In: Proceedings of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, pp. 637-643. ISBN 978-1-5090-4903-5.
 KESIRAJU Santosh, BURGET Lukáš, SZŐKE Igor and ČERNOCKÝ Jan. Learning document representations using subspace multinomial model. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 700-704. ISBN 978-1-5108-3313-5.
 KOCINA Filip, KUNOVSKÝ Jiří, NEČASOVÁ Gabriela, ŠÁTEK Václav and VEIGEND Petr. Parallel solution of higher order differential equations. In: Proceedings of the 2016 International Conference on High Performance Computing & Simulation (HPCS 2016). Insbruck: Institute of Electrical and Electronics Engineers, 2016, pp. 302-309. ISBN 978-1-5090-2088-1.
 KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata. In: Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). Wien: Austrian Computer Society, 2016, pp. 195-210. ISBN 978-3-903035-10-2.
 KOTÁSEK Zdeněk and PODIVÍNSKÝ Jakub. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy, 2016.
 KOČÍ Radek and JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, pp. 160-165. ISBN 978-1-61208-498-5.
 KOŘENEK Jan and VIKTORIN Jan. Packet Processing on FPGA SoC with DPDK. In: 26th International Conference on Field-Programmable Logic and Applications. Lausanne: École Polytechnique Fédérale de Lausanne, 2016, pp. 578-579. ISBN 978-2-8399-1844-2.
 KRČMA Martin, KOTÁSEK Zdeněk, LOJDA Jakub and KAŠTIL Jan. Comparsion of FPNNs models approximation capabilities and resources utilization. In: Proceedings of the Work in progress Session held in connection with DSD 2016. Limassol: Johannes Kepler University Linz, 2016, pp. 1-2. ISBN 978-3-902457-46-2.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KRČMA Martin and KOTÁSEK Zdeněk. HLS-based Fault Tolerance Approach for SRAM-based FPGAs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 297-298. ISBN 978-1-5090-5602-6.
 LOPEZ-MORENO Ignacio, GONZALEZ-DOMINGUEZ Javier, MARTÍNEZ González David, PLCHOT Oldřich, GONZALEZ-RODRIGUEZ Joaquin and MORENO Pedro. On the use of deep feedforward neural networks for automatic language identification. Computer Speech and Language. Amsterdam: Elsevier Science, 2016, vol. 2016, no. 40, pp. 46-59. ISSN 0885-2308.
 LOZANO-DIEZ Alicia, SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, PEŠÁN Jan, BURGET Lukáš and GONZALEZ-RODRIGUEZ Joaquin. Analysis and Optimization of Bottleneck Features for Speaker Recognition. In: Proceedings of Odyssey 2016. Bilbao: International Speech Communication Association, 2016, pp. 352-357. ISSN 2312-2846.
 MALČÍK Dominik and DRAHANSKÝ Martin. Microscopic Analysis of Chips. International Journal of Security and Its Applications. Daejeon: Science & Engineering Research Support Center, 2016, vol. 2016, no. 11, pp. 47-66. ISSN 1738-9976.
 MATERNA Zdeněk, KAPINUS Michal, ŠPANĚL Michal, BERAN Vítězslav and SMRŽ Pavel. Simplified Industrial Robot Programming: Effects of Errors onMultimodal Interaction in WoZ experiment. In: Robot and Human Interactive Communication (RO-MAN). New York City: Institute of Electrical and Electronics Engineers, 2016, pp. 1-6. ISBN 978-1-5090-3929-6.
 MRÁZEK Vojtěch, SARWAR Syed Shakib, SEKANINA Lukáš, VAŠÍČEK Zdeněk and ROY Kaushik. Design of Power-Efficient Approximate Multipliers for Approximate Artificial Neural Networks. In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. Austin, TX: Association for Computing Machinery, 2016, pp. 811-817. ISBN 978-1-4503-4466-1.
 OTRUSINA Lubomír and SMRŽ Pavel. WTF-LOD - A New Resource for Large-Scale NER Evaluation. In: Proceedings of the Tenth conference on International Language Resources and Evaluation (LREC'16). Portorož: European Language Resources Association, 2016, pp. 1-4. ISBN 978-2-9517408-9-1.
 PACURA Dávid and DRAHANSKÝ Martin. CUDA Accelerated Real-time Digital Image Stabilization in a Video Stream. International Journal of Software Engineering and Its Applications. Daegu: Science & Engineering Research Support Center, 2016, vol. 10, no. 6, pp. 113-124. ISSN 1738-9984.
 PEŠÁN Jan, BURGET Lukáš and ČERNOCKÝ Jan. Sequence Summarizing Neural Networks for Spoken Language Recognition. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 3285-3289. ISBN 978-1-5108-3313-5.
 PLASCENCIA Alfredo C. and ROZMAN Jaroslav. Towards a User-Wheelchair Shared Control Paradigm for Individuals with Severe Motor Impairments. In: ICINCO 2016 13th International Conference on Informatics in Control, Automation and Robotics. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2016, pp. 246-254. ISBN 978-989-758-198-4.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Functional Verification as a Tool for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 289-290. ISBN 978-1-5090-5602-6.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub and KOTÁSEK Zdeněk. Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol: IEEE Computer Society, 2016, pp. 487-494. ISBN 978-1-5090-2817-7.
 PODIVÍNSKÝ Jakub. Funkční verifikace jako nástroj pro sledování vlivu poruch na elektro-mechanický systém. In: Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Faculty of Information Technology BUT, 2016, pp. 101-104. ISBN 978-80-214-5376-0.
 POLOK Lukáš, ILA Viorela S. and SMRŽ Pavel. 3D Reconstruction Quality Analysis and Its Acceleration on GPU Clusters. In: Proceedings of European Signal Processing Conference 2016. Budapest: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-0-9928626-6-4.
 POSPÍŠIL Milan, BARTÍK Vladimír and HRUŠKA Tomáš. Analyzing Machine Performance Using Data Mining. In: 2016 IEEE Symposium on Computational Intelligence and Data Mining. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-7. ISBN 978-1-5090-4239-5.
 PROCHOCKÁ Kristína. Aktuální zpráva o současném stavu softwaru pro zpracování komplexních událostí. Automa. 2016, vol. 2016, no. 12, pp. 34-37. ISSN 1210-9592.
 PŘIBYL Bronislav, CHALMERS Alan, ZEMČÍK Pavel, HOOBERMAN Lucy and ČADÍK Martin. Evaluation of Feature Point Detection in High Dynamic Range Imagery. Journal of Visual Communication and Image Representation. Amsterdam: Elsevier Science, 2016, vol. 38, no. 1, pp. 141-160. ISSN 1047-3203.
 RIŠA Michal. Scheduling and Synchronization on Multicores. In: Sborník příspěvků Česko-slovenského semináře pro studenty doktorského studia Počítačové architektury & diagnostika. Brno: Faculty of Information Technology BUT, 2016, pp. 10-13. ISBN 978-80-214-5376-0.
 STRNADEL Josef and RIŠA Michal. On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC. In: Proceedings of the 24th Austrian Workshop on Microelectronics. Villach: IEEE Computer Society Press, 2016, pp. 45-50. ISBN 978-1-5090-1040-0.
 STRNADEL Josef. Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits. In: Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Bratislava: Slovak University of Technology in Bratislava, 2016, pp. 32-37. ISBN 978-80-8086-256-5.
 STRNADEL Josef. On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Cham: Springer International Publishing, 2016, pp. 166-181. ISBN 978-3-319-47166-2. ISSN 0302-9743.
 SZURMAN Karel, MIČULKA Lukáš and KOTÁSEK Zdeněk. Towards a State Synchronization Methodology for Recovery Process after Partial Reconfiguration of Fault Tolerant Systems. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy, 2016.
 SÁNCHEZ-CLEMENTE Antonio José, ENTRENA Luis, HRBÁČEK Radek and SEKANINA Lukáš. Error Mitigation using Approximate Logic Circuits: A Comparison of Probabilistic and Evolutionary Approaches. IEEE Transactions on Reliability. 2016, vol. 65, no. 4, pp. 1871-1883. ISSN 0018-9529.
 VAVERKA Filip, HRBÁČEK Radek and SEKANINA Lukáš. Evolving Component Library for Approximate High Level Synthesis. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: IEEE Computational Intelligence Society, 2016, pp. 1-8. ISBN 978-1-5090-4240-1.
 VAŠÍČEK Zdeněk, MRÁZEK Vojtěch and SEKANINA Lukáš. Evolutionary Functional Approximation of Circuits Implemented into FPGAs. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: Institute of Electrical and Electronics Engineers, 2016, pp. 1-8. ISBN 978-1-5090-4240-1.
 VEĽAS Martin, ŠPANĚL Michal and HEROUT Adam. Collar Line Segments for Fast Odometry Estimation from Velodyne Point Clouds. In: Proceedings of IEEE International Conference on Robotics and Automation. Stockholm: IEEE Computer Society, 2016, pp. 4486-4491. ISBN 978-1-4673-8025-6.
 YANUSHKEVICH Svetlana, EASTWOOD Shawn C., DRAHANSKÝ Martin and SHMERKO Vlad. P. Understanding and taxonomy of uncertainty in modeling, simulation, and risk profiling for border control automation. Journal of Defence Modeling and Simulation. Thousand Oak: SAGE Publications, 2016, vol. 2016, no. 7, pp. 1-15. ISSN 1548-5129.
 ZACHARIÁŠOVÁ Marcela, BELEŠOVÁ Michaela and KOTÁSEK Zdeněk. Regression Test Suites Optimization for Application-specific Instruction-set Processors and Their Use for Dependability Analysis. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol Cyprus: IEEE Computer Society, 2016, pp. 380-387. ISBN 978-1-5090-2816-0.
 ZAPLETAL Dominik and HEROUT Adam. Vehicle Re-Identification for Automatic Video Traffic Surveillance. In: International Workshop on Automatic Traffic Surveillance (CVPR 2016). Las Vegas: IEEE Computer Society, 2016, pp. 1-7. ISBN 978-0-7695-4989-7.
 ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein, GLEMBEK Ondřej and PLCHOT Oldřich. Deep Neural Networks and Hidden Markov Models in i-vector-based Text-Dependent Speaker Verification. In: Proceedings of Odyssey 2016, The Speaker and Language Recognition Workshop. Bilbao: International Speech Communication Association, 2016, pp. 24-30. ISSN 2312-2846.
 ZEINALI Hossein, SAMETI Hossein, BURGET Lukáš, ČERNOCKÝ Jan, MAGHSOODI Nooshin and MATĚJKA Pavel. i-vector/HMM Based Text-dependent Speaker Verification System for RedDots Challenge. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, pp. 440-444. ISBN 978-1-5108-3313-5.
 ZEMČÍK Pavel, MUSIL Petr and MUSIL Martin. High Dynamic Range Video; Concepts, Technologies and Applications. High Dynamic Range Video, 1st Edition. London: Elsevier Science, 2016, pp. 145-154. ISBN 978-0-12-809477-8.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Hexapod Robot: Test Platform for Bio-Inspired Controllers. In: Sbornik ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 819-824. ISBN 978-1-4673-8605-0.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. International Journal of Computer Information Systems and Industrial Management Applications. 2016, vol. 2016, no. 8, pp. 125-134. ISSN 2150-7988.
 ČEKAN Ondřej and KOTÁSEK Zdeněk. Software-implemented Fault-Tolerant Program Generation. Proceedings of the 4th Prague Embedded Systems Workshop. Roztoky u Prahy, 2016. ISBN 978-80-01-05984-5.
 ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Random Stimuli Generation Based on a Stochastic Context-Free Grammar. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, pp. 291-292. ISBN 978-1-5090-5602-6.
 ČEKAN Ondřej. Generování testovacích stimulů. In: Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Faculty of Information Technology BUT, 2016, pp. 97-100. ISBN 978-80-214-5376-0.
 ČEŠKA Milan, DANNENBERG Frits, KWIATKOWSKA Marta, PAOLETTI Nicola and BRIM Luboš. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica. 2016, vol. 2016, no. 1, pp. 1-35. ISSN 0001-5903.

Your IPv4 address: 54.221.75.68
Switch to IPv6 connection

DNSSEC [dnssec]