Prof. Ing. Lukáš Sekanina, Ph.D.

IT4Innovations excellence in science

Název v angličtině:IT4Innovations excellence in science
Hlavní řešitel:Hruška Tomáš (VCIT FIT VUT)
Další řešitelé:Bartík Vladimír, Bařina David, Behúň Kamil, Bidlo Michal, Budiský Jakub, Burget Lukáš, Burget Radek, Burgetová Ivana, Čekan Ondřej, Černocký Jan, Češka Milan, Češka Milan, Čudová Marta, Dobai Roland, Drahanský Martin, Drahošová Michaela, Egorova Ekaterina, Fučík Otto, Glembek Ondřej, Grégr Matěj, Hannemann Mirko, Herout Adam, Holík Lukáš, Hradiš Michal, Hrubý Martin, Hruška Tomáš, Chrápek David, Janoušek Vladimír, Karafiát Martin, Kekely Lukáš, Klubal Ondřej, Kobrtek Jozef, Kočí Radek, Kolář Dušan, Kolář Martin, Kořenek Jan, Kotásek Zdeněk, Křena Bohuslav, Křivka Zbyněk, Kunovský Jiří, Lengál Ondřej, Lysek Tomáš, Martínek Tomáš, Matějka Pavel, Materna Zdeněk, Matoušek Jiří, Matoušek Petr, Meduna Alexander, Milet Tomáš, Nikl Vojtěch, Ondel Lucas, Orság Filip, Otáhalová Sylva, Otrusina Lubomír, Pavelková Alena, Peringer Petr, Plchot Oldřich, 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, Starka Tomáš, Strnadel Josef, Svoboda Pavel, Szentandrási István, Szőke Igor, Šimek Václav, Široký Adam, Šlapal Josef (VCIT FIT VUT), Šolony Marek, Švéda Miroslav, Vašíček Zdeněk, Vaverka Filip, Veselý Karel, Veselý Vladimír, Vojnar Tomáš, Zachariáš Michal, Zachariášová Marcela, Zbořil František, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav, Žádník Martin, Žižka Josef
Agentura:Ministerstvo školství, mládeže a tělovýchovy České republiky - Národní program udržitelnosti II
Kód:LQ1602
Zahájení:2016-01-01
Ukončení:2020-12-31
Klíčová slova:informační technologie, superpočítač, bezpečnost

Produkty

2017Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš
 Neseparabilní schémata pro diskrétní vlnkovou transformaci na vícejádrových CPU, software, 2017
Autoři: Najman Pavel, Klepárník Petr, Bařina David
 Neseparabilní schémata pro diskrétní vlnkovou transformaci v pixel shaderech, software, 2017
Autoři: Matýšek Michal, Bařina David, Zemčík Pavel
 uFFT, software, 2017
Autoři: Bařina David
2016Automatická kalibrace kamery z videa, software, 2016
Autoři: Sochor Jakub, Juránek Roman
 HeadViewer - simulační nástroj pro určení pozice hlavy z pohledu CCTV kamery, software, 2016
Autoři: Goldmann Tomáš, Drahanský Martin
 Neseparabilní schémata pro diskrétní vlnkovou transformaci v OpenCL, software, 2016
Autoři: Kula Michal, Bařina David, Zemčík Pavel

Publikace

2017ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt a 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, roč. 5, č. 19, s. 549-563. ISSN 1433-2779.
 AHMAD Touqeer, CAMPR Pavel, ČADÍK Martin a 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, s. 1-8. ISBN 978-1-4799-1961-1.
 BAROTOVÁ Štěpánka a 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, s. 267-274. ISBN 978-3-88579-664-0.
 BARTL Vojtěch a HEROUT Adam. Fully Amutomatic 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, s. 23-31. ISBN 978-1-5386-2839-3.
 BASKAR Murali K., KARAFIÁT Martin, BURGET Lukáš, VESELÝ Karel, GRÉZL František a Č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, s. 4810-4814. ISBN 978-1-5090-4117-6.
 BAŘINA David, KULA Michal, MATÝŠEK Michal a ZEMČÍK Pavel. Accelerating Discrete Wavelet Transforms on Parallel Architectures. Journal of WSCG. Plzeň: 2017, roč. 25, č. 2, s. 77-85. ISBN 978-80-86943-43-5. ISSN 1213-6972.
 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, s. 21-41. ISBN 978-3-319-48506-5.
 BREJCHA Jan a ČADÍK Martin. GeoPose3K: Mountain Landscape Dataset for Camera Pose Estimation in Outdoor Environments. Image and Vision Computing. Washington: Elsevier Science, 2017, roč. 2017, č. 1, s. 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, s. 10-26. ISBN 978-3-319-68722-3.
 CHALOUPKA Jan, KOCINA Filip, VEIGEND Petr, NEČASOVÁ Gabriela, ŠÁTEK Václav a KUNOVSKÝ Jiří. Multiple Integral Computations. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, s. 1-4. ISSN 0094-243X.
 CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří a ŠÁ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, s. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX, 2017, s. 1-12.
 CRHA Adam, ŠIMEK Václav a 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, s. 149-154. ISBN 978-1-5090-6376-5.
 CSUHAJ-VARJÚ Erzsébet, MEDUNA Alexander a SOUKUP Ondřej. On Tree-Restricted Regular-Controlled Context-Free Grammars. International Journal of Computer Mathematics: Computer Systems Theory. 2017, roč. 2, č. 4, s. 147-163. ISSN 2379-9927.
 DOBAI Roland, KOŘENEK Jan a SEKANINA Lukáš. Evolutionary design of hash function pairs for network filters. Applied Soft Computing. Amsterdam: Elsevier Science, 2017, roč. 56, č. 7, s. 173-181. ISSN 1568-4946.
 DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka a MOHELNÍK Petr. Measurement of light sources. Brno: Fakulta informačních technologií VUT v Brně, 2017.
 DRAHANSKÝ Martin, KANICH Ondřej a BŘEZINOVÁ Eva. Challenges for fingerprint recognition - spoofing, skin diseases and environmental effects. Handbook of Biometrics for Forensic Science. Cham: Springer Verlag, 2017, s. 63-83. ISBN 978-3-319-50671-5.
 DRAHANSKÝ Martin, MEISTER Torsten a NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, s. 64-69. ISBN 978-3-95853-316-5.
 DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej a BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, roč. 41, č. 7, s. 407-414. ISSN 1614-0702.
 DRAHANSKÝ Martin, SPURNÝ Martin a GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, roč. 41, č. 7, s. 415-421. ISSN 1614-0702.
 DRAHANSKÝ Martin. Multispectral Optical Properties of Human Hands Skin. Lillehammer, 2017.
 DVOŘÁK Michal a DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: Universita Obrany v Brně, 2017, s. 17-29. ISBN 978-80-7231-414-0.
 DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter a 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, s. 125-133. ISBN 978-3-95853-316-5.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. Formal Methods in System Design. Berlin: Springer Verlag, 2017, roč. 2017, č. 1, s. 1-33. ISSN 0925-9856.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, s. 302-309. ISSN 0302-9743.
 FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš a 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, s. 196-206. ISBN 978-1-5090-6032-0.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej a VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej a VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, s. 407-425. ISBN 978-3-662-54576-8.
 FÉR Radek, MATĚJKA Pavel, GRÉZL František, PLCHOT Oldřich, VESELÝ Karel a ČERNOCKÝ Jan. Multilingually Trained Bottleneck Features in Spoken Language Recognition. Computer Speech and Language. Amsterdam: Elsevier Science, 2017, roč. 2017, č. 46, s. 252-267. ISSN 0885-2308.
 GROCHOL David a 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, s. 64-76. ISBN 978-3-319-58088-3.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam a VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Cham: Springer Verlag, 2017, s. 288-309. ISBN 978-3-319-52234-0.
 HOMOLIAK Ivan, BARABAS Maroš a 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, s. 770-773. ISBN 978-3-319-59607-5.
 HOMOLIAK Ivan, BREITENBACHER Dominik a HANÁČEK Petr. Convergence Optimization of Backpropagation Artificial Neural Network Used for Dichotomous Classification of Intrusion Detection Dataset. Journal of Computers. Chengdu, Sichuan: 2017, roč. 12, č. 2, s. 143-155. ISSN 1796-203X.
 HOMOLIAK Ivan, ŠULÁK Ladislav a 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, s. 66-78. ISBN 978-3-319-56549-1.
 HON Jiří, MARTÍNEK Tomáš, ZENDULKA Jaroslav a LEXA Matej. pqsfinder: an exhaustive and imperfection-tolerant search tool for potential quadruplex-forming sequences in R. Bioinformatics. Oxford: Oxford University Press, 2017, roč. 33, č. 21, s. 3373-3379. ISSN 1367-4803.
 KANICH Ondřej a DRAHANSKÝ Martin. Simulation of Synthetic Fingerprint Generation Using Petri Nets. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, roč. 6, č. 6, s. 402-408. ISSN 2047-4938.
 KAZZAZ M. Mohanned a 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 a RYCHLÝ Marek. Restful-based Mobile Web Service Migration Framework. In: 2017 IEEE International Conference on AI & Mobile Services (AIMS). Honolulu: IEEE Computer Society, 2017, s. 70-75. ISBN 978-1-5386-1999-5.
 KAČIC Matej a BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, s. 133-141. ISBN 978-80-86813-30-1.
 KESIRAJU Santosh, ONDEL Lucas, BURGET Lukáš, DEHAK Najim, KHUDANPUR Sanjeev a ČERNOCKÝ Jan. Topic identification of spoken documents using unsupervised acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, s. 5745-5749. ISBN 978-1-5090-4117-6.
 KOCINA Filip, NEČASOVÁ Gabriela, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav a KUNOVSKÝ Jiří. Modelling VLSI Circuits Using Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, s. 1-4. ISSN 0094-243X.
 KOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017.
 KOŠTIALIK Daniel, MARUNIAK Lukáš a DRAHANSKÝ Martin. Symptoms Detection in Eye Retina Image. In: 2017 IEEE Symposium Series on Computational Intelligence. Hawaii: IEEE Computer Society, 2017, s. 3088-3093. ISBN 978-1-5386-4058-6.
 KOČÍ Radek a JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, roč. 10, č. 12, s. 121-131. ISSN 1942-2628.
 KOČÍ Radek a JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, s. 232-237. ISBN 978-1-61208-590-6.
 LAI Kenneth K., KANICH Ondřej, DVOŘÁK Michal, DRAHANSKÝ Martin, YANUSHKEVICH Svetlana a SHMERKO Vlad. P. Biometric-Enabled Watchlists Technology. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, roč. 6, č. 6, s. 1-10. ISSN 2047-4938.
 LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak a RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, s. 499-517. ISBN 978-3-662-46680-3.
 LOJDA Jakub a 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: Fakulta informačních technologií ČVUT, 2017, s. 79-80. ISBN 978-80-01-06178-7.
 LOJDA Jakub a 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: Slovenská technická univerzita v Bratislavě, 2017, s. 59-62. ISBN 978-80-972784-0-3.
 LOJDA Jakub, PODIVÍNSKÝ Jakub a 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, s. 359-364. ISBN 978-1-5386-3298-7.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk a 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, s. 273-278. ISBN 978-1-5386-3298-7.
 LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin a ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal. Žilina: Žilinská univerzita v Žiline, 2017, roč. 3, č. 1, s. 1-8. ISSN 2453-7314.
 MAREK Marcel, RYŠAVÝ Ondřej a 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, s. 50-57. ISBN 978-1-4503-4843-0.
 MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav a 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, s. 1-2. ISBN 978-1-4503-4885-0.
 MATOUŠEK Jiří, ANTICHI Gianni, LUČANSKÝ Adam, MOORE Andrew W. a 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, s. 204-216. ISBN 978-1-5090-6386-4.
 MEDUNA Alexander a 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, 2017, s. 170-179. ISSN 2075-2180.
 MRÁZEK Vojtěch, HRBÁČEK Radek, VAŠÍČEK Zdeněk a 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, s. 258-261. ISBN 978-3-9815370-9-3.
 NEVORAL Jan, ŠIMEK Václav a 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, s. 155-160. ISBN 978-1-5090-6376-5.
 NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav a 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, s. 1-4. ISSN 0094-243X.
 ONDEL Lucas, BURGET Lukáš, ČERNOCKÝ Jan a KESIRAJU Santosh. Bayesian phonotactic language model for Acoustic Unit Discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, s. 5750-5754. ISBN 978-1-5090-4117-6.
 PODIVÍNSKÝ Jakub a 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: Fakulta informačních technologií ČVUT, 2017, s. 81-82. ISBN 978-80-01-06178-7.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej, PÁNEK Richard a 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, s. 337-344. ISBN 978-1-5386-2146-2.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub, ZACHARIÁŠOVÁ Marcela, KRČMA Martin a KOTÁSEK Zdeněk. Functional Verification Based Platform for Evaluating Fault Tolerance Properties. Microprocessors and Microsystems. Amsterdam: Elsevier Science, 2017, roč. 52, č. 5, s. 145-159. ISSN 0141-9331.
 POLOK Lukáš a 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, s. 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 a 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, roč. 9, č. 1, s. 197-212. ISSN 1759-6653.
 PŘIBYL Bronislav, ZEMČÍK Pavel a ČADÍK Martin. Absolute Pose Estimation from Line Correspondences using Direct Linear Transformation. Computer Vision and Image Understanding. 2017, roč. 161, č. 1, s. 130-144. ISSN 1077-3142.
 RYCHLÝ Marek a 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, s. 561-567. ISBN 978-83-946253-7-5.
 SOCHOR Jakub, JURÁNEK Roman a HEROUT Adam. Traffic Surveillance Camera Calibration by 3D Model Bounding Box Alignment for Accurate Vehicle Speed Measurement. Computer Vision and Image Understanding. 2017, roč. 2017, č. 161, s. 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, s. 352-355. ISBN 978-1-5386-2146-2.
 STRNADEL Josef. Predictability Analysis of Interruptible Systems by Statistical Model Checking (pre-print; to be printed in 2018). IEEE Design & Test. Pistacaway: IEEE Circuits and Systems Society, 2017, roč. 2018, č. 1, s. 1-5. ISSN 2168-2356.
 SVOBODA Stanislav a BAŘINA David. New Transforms for JPEG Format. In: Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Mikulov: Vysoké učení technické v Brně, 2017, s. 25-30. ISBN 978-1-4503-9999-9. ISSN 1335-5694.
 SZURMAN Karel a KOTÁSEK Zdeněk. State Synchronization of Faulty Soft Core Processors in Reconfigurable TMR Architecture. In: Počítačové architektúry & diagnostika 2017. Smolenice: Slovenská technická univerzita v Bratislavě, 2017, s. 51-54. ISBN 978-80-972784-0-3.
 VEIGEND Petr, NEČASOVÁ Gabriela, KOCINA Filip, CHALOUPKA Jan, ŠÁTEK Václav a KUNOVSKÝ Jiří. Real Time Simulation of Transport Delay. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, s. 1-4. ISSN 0094-243X.
 WIGLASZ Michal a 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, s. 1300-1304. ISBN 978-1-5090-5989-8.
 ZEINALI Hossein, SAMETI Hossein a 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, roč. 25, č. 7, s. 1421-1435. ISSN 2329-9290.
 ZEINALI Hossein, SAMETI Hossein, BURGET Lukáš a ČERNOCKÝ Jan. Text-dependent speaker verification based on i-vectors, Neural Networks and Hidden Markov Models. Computer Speech and Language. Amsterdam: Elsevier Science, 2017, roč. 2017, č. 46, s. 53-71. ISSN 0885-2308.
 ZELENÝ Jan, BURGET Radek a ZENDULKA Jaroslav. Box Clustering Segmentation: A New Method for Vision-based Page Preprocessing. Information Processing and Management. 2017, roč. 53, č. 3, s. 735-750. ISSN 0306-4573.
 ŠIMEK Václav, NEVORAL Jan, CRHA Adam a RŮŽIČKA Richard. Towards Design Flow for Space-Efficient Implementation of Polymorphic Circuits Based on Ambipolar Components. ElectroScope. Plzeň: Západočeská univerzita v Plzni, 2017, roč. 11, č. 1, s. 1-10. ISSN 1802-4564.
 ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman, HEROUT Adam, MARŠÍK Lukáš a 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, s. 1-6. ISBN 978-1-5386-2939-0.
 ČEKAN Ondřej a 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ň: Technische Universitaet Wien, 2017, s. 356-359. ISBN 978-1-5386-2146-2.
 ČEKAN Ondřej a 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: Fakulta informačních technologií ČVUT, 2017, s. 43-44. ISBN 978-80-01-06178-7.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a 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, s. 416-423. ISBN 978-1-5386-3093-8.
 ČEŠKA Milan, ČEŠKA Milan a PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. Processing of Sixteenth International Conference on Computer Aided Systems Theory (Extended Abstract). Las Palmas de Gran Canaria, 2017.
 ČUDOVÁ Marta. Framework for Planning, Running and Monitoring Cooperating Computations. In: Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovenská technická univerzita v Bratislavě, 2017, s. 20-23. ISBN 978-80-972784-0-3.
2016ALDEGHERI Stefano, BARNAT Jiří, BOMBIERI Nicola, BUSATO Federico a Č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, s. 519-531. ISBN 978-3-319-58942-8.
 BAROTOVÁ Štěpánka, DRAHANSKÝ Martin a PERNICKÝ Radim. Detection of Ridge Damages in Fingerprint Recognition Caused by Skin Diseases. International Journal of Signal Processing, Image Processing and Pattern Recognition. 2016, roč. 9, č. 11, s. 125-146. ISSN 2005-4254.
 BARTOŠ Václav a KOŘENEK Jan. Evaluating Reputation of Internet Entities. In: Management and Security in the Age of Hyperconnectivity. Munich: Springer International Publishing, 2016, s. 132-136. ISBN 978-3-319-39813-6.
 BAŘINA David, KULA Michal a ZEMČÍK Pavel. Parallel Wavelet Schemes for Images. Journal of Real-Time Image Processing. 2016, roč. 9999, č. 9999, s. 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, s. 94-102. ISBN 978-989-758-201-1.
 BREITENBACHER Dominik, HOMOLIAK Ivan, JAROŠ Jiří a 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, s. 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 a ADÁMIK Matej. p53 Specifically Binds Triplex DNA In Vitro and in Cells. PLoS ONE. 2016, roč. 11, č. 12, s. 1-25. ISSN 1932-6203.
 BÁRTA Milan a DRAHANSKÝ Martin. Generation of Skin Diseases into Synthetic Fingerprints. International Journal of Image Processing. 2016, roč. 10, č. 5, s. 229-248. ISSN 1985-2304.
 CHARVÁT Lukáš, SMRČKA Aleš a 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: Fakulta informačních technologií VUT v Brně, 2016, s. 87-93. ISSN 2075-2180.
 DALECKÝ Štěpán, SNÁŠELOVÁ Petra, LUŽA Radim, ŽÁK Marek, ROZMAN Jaroslav a ZBOŘIL František V. SmartMowers as a Part of a SmartCity. In: Sbornik ICCC 2016. Tatranská Lomnica: Technická univerzita v Košiciach, 2016, s. 156-160. ISBN 978-1-4673-8605-0.
 DOLÍHAL Luděk a 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, s. 1-6. ISBN 978-1-61208-500-5.
 DRAHANSKÝ Martin, KANICH Ondřej, BŘEZINOVÁ Eva a SHINODA Koichi. Experiments with optical properties of skin on fingers. International Journal of Optics and Applications. Rosemead: Scientific & Academic Publishing, 2016, roč. 2016, č. 2, s. 37-46. ISSN 2168-5053.
 DYTRYCH Jaroslav a 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, s. 74-84. ISBN 978-989-758-172-4.
 GRÉZL František a 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, s. 629-636. ISBN 978-1-5090-4903-5.
 HOLÍK Lukáš, KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika, TRTÍK Marek a VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Zurich: Springer Verlag, 2016, s. 202-209. ISBN 978-3-319-49052-6.
 HOLÍK Lukáš, MEYER Roland a 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, s. 41-57. ISBN 978-3-95977-027-9.
 HRANICKÝ Radek, HOLKOVIČ Martin, MATOUŠEK Petr a RYŠAVÝ Ondřej. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law. 2016, roč. 11, č. 2, s. 79-96. ISSN 1558-7215.
 HRBÁČEK Radek, MRÁZEK Vojtěch a 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, s. 239-244. ISBN 978-1-5090-0335-8.
 HYNEK Jiří a HRUŠKA Tomáš. Pixel-Based Analysis of Information Dashboard Attributes. In: New Trends in Databases and Information Systems. CH: Springer International Publishing, 2016, s. 29-36. ISBN 978-3-319-44065-1. ISSN 1865-0929.
 IOSIF Radu, ROGALEWICZ Adam a 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, s. 71-89. ISBN 978-3-662-49673-2.
 KANICH Ondřej a DRAHANSKÝ Martin. Currently Used Swipe Fingerprint Sensors. International Journal of Bio-Science and Bio-Technology. Daedok: Středisko pro podporu vědy a technického výzkumu, 2016, roč. 8, č. 1, s. 381-386. ISSN 2233-7849.
 KARAFIÁT Martin, BASKAR Murali K., MATĚJKA Pavel, VESELÝ Karel, GRÉZL František a Č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, s. 637-643. ISBN 978-1-5090-4903-5.
 KESIRAJU Santosh, BURGET Lukáš, SZŐKE Igor a ČERNOCKÝ Jan. Learning document representations using subspace multinomial model. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, s. 700-704. ISBN 978-1-5108-3313-5.
 KOCINA Filip, KUNOVSKÝ Jiří, NEČASOVÁ Gabriela, ŠÁTEK Václav a 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, s. 302-309. ISBN 978-1-5090-2088-1.
 KOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. On Double-Jumping Finite Automata. In: Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). Wien: Osterreichische Computer Gesellschaft, 2016, s. 195-210. ISBN 978-3-903035-10-2.
 KOTÁSEK Zdeněk a 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 a 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, s. 160-165. ISBN 978-1-61208-498-5.
 KOŘENEK Jan a 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, s. 578-579. ISBN 978-2-8399-1844-2.
 KRČMA Martin, KOTÁSEK Zdeněk, LOJDA Jakub a KAŠTIL Jan. Comparison of FPNNs Approximation Capabilities. In: Proceedings of the Work in progress Session held in connection with DSD 2016. Limassol: Johannes Kepler University Linz, 2016, s. 1-2. ISBN 978-3-902457-46-2.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KRČMA Martin a 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, s. 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 a MORENO Pedro. On the use of deep feedforward neural networks for automatic language identification. Computer Speech and Language. Amsterdam: Elsevier Science, 2016, roč. 2016, č. 40, s. 46-59. ISSN 0885-2308.
 LOZANO-DIEZ Alicia, SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, PEŠÁN Jan, BURGET Lukáš a GONZALEZ-RODRIGUEZ Joaquin. Analysis and Optimization of Bottleneck Features for Speaker Recognition. In: Proceedings of Odyssey 2016. Bilbao: International Speech Communication Association, 2016, s. 352-357. ISSN 2312-2846.
 MALČÍK Dominik a DRAHANSKÝ Martin. Microscopic Analysis of Chips. International Journal of Security and Its Applications. Daejeon: Středisko pro podporu vědy a technického výzkumu, 2016, roč. 2016, č. 11, s. 47-66. ISSN 1738-9976.
 MATERNA Zdeněk, KAPINUS Michal, ŠPANĚL Michal, BERAN Vítězslav a SMRŽ Pavel. Simplified Industrial Robot Programming: Effects of Errors on Multimodal Interaction in WoZ experiment. In: Robot and Human Interactive Communication (RO-MAN). New York City: Institute of Electrical and Electronics Engineers, 2016, s. 1-6. ISBN 978-1-5090-3929-6.
 MRÁZEK Vojtěch, SARWAR Syed Shakib, SEKANINA Lukáš, VAŠÍČEK Zdeněk a 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, s. 811-817. ISBN 978-1-4503-4466-1.
 OTRUSINA Lubomír a 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, s. 1-4. ISBN 978-2-9517408-9-1.
 PACURA Dávid a DRAHANSKÝ Martin. CUDA Accelerated Real-time Digital Image Stabilization in a Video Stream. International Journal of Software Engineering and Its Applications. Daegu: Středisko pro podporu vědy a technického výzkumu, 2016, roč. 10, č. 6, s. 113-124. ISSN 1738-9984.
 PEŠÁN Jan, BURGET Lukáš a ČERNOCKÝ Jan. Sequence Summarizing Neural Networks for Spoken Language Recognition. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, s. 3285-3289. ISBN 978-1-5108-3313-5.
 PLASCENCIA Alfredo C. a 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, s. 246-254. ISBN 978-989-758-198-4.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub a 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, s. 289-290. ISBN 978-1-5090-5602-6.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub a 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, s. 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: Fakulta informačních technologií VUT v Brně, 2016, s. 101-104. ISBN 978-80-214-5376-0.
 POLOK Lukáš, ILA Viorela S. a 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, s. 1-8. ISBN 978-0-9928626-6-4.
 POSPÍŠIL Milan, BARTÍK Vladimír a 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, s. 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, roč. 2016, č. 12, s. 34-37. ISSN 1210-9592.
 PŘIBYL Bronislav, CHALMERS Alan, ZEMČÍK Pavel, HOOBERMAN Lucy a ČADÍK Martin. Evaluation of Feature Point Detection in High Dynamic Range Imagery. Journal of Visual Communication and Image Representation. Amsterdam: Elsevier Science, 2016, roč. 38, č. 1, s. 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: Fakulta informačních technologií VUT v Brně, 2016, s. 10-13. ISBN 978-80-214-5376-0.
 STRNADEL Josef a 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, s. 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: Slovenská technická univerzita v Bratislavě, 2016, s. 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, s. 166-181. ISBN 978-3-319-47166-2. ISSN 0302-9743.
 SZURMAN Karel, MIČULKA Lukáš a 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 a SEKANINA Lukáš. Error Mitigation using Approximate Logic Circuits: A Comparison of Probabilistic and Evolutionary Approaches. IEEE Transactions on Reliability. 2016, roč. 65, č. 4, s. 1871-1883. ISSN 0018-9529.
 VAVERKA Filip, HRBÁČEK Radek a SEKANINA Lukáš. Evolving Component Library for Approximate High Level Synthesis. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: IEEE Computational Intelligence Society, 2016, s. 1-8. ISBN 978-1-5090-4240-1.
 VAŠÍČEK Zdeněk, MRÁZEK Vojtěch a 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, s. 1-8. ISBN 978-1-5090-4240-1.
 VEĽAS Martin, ŠPANĚL Michal a 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, s. 4486-4491. ISBN 978-1-4673-8025-6.
 YANUSHKEVICH Svetlana, EASTWOOD Shawn C., DRAHANSKÝ Martin a 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, roč. 2016, č. 7, s. 1-15. ISSN 1548-5129.
 ZACHARIÁŠOVÁ Marcela, BELEŠOVÁ Michaela a 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, s. 380-387. ISBN 978-1-5090-2816-0.
 ZAPLETAL Dominik a 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, s. 1-7. ISBN 978-0-7695-4989-7.
 ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein, GLEMBEK Ondřej a 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, s. 24-30. ISSN 2312-2846.
 ZEINALI Hossein, SAMETI Hossein, BURGET Lukáš, ČERNOCKÝ Jan, MAGHSOODI Nooshin a 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, s. 440-444. ISBN 978-1-5108-3313-5.
 ZEMČÍK Pavel, MUSIL Petr a MUSIL Martin. High Dynamic Range Video. High Dynamic Range Video, 1st Edition. London: Elsevier Science, 2016, s. 145-154. ISBN 978-0-12-809477-8.
 ŽÁK Marek, ROZMAN Jaroslav a ZBOŘIL František V. Hexapod Robot: Test Platform for Bio-Inspired Controllers. In: Sbornik ICCC 2016. Tatranská Lomnica: Technická univerzita v Košiciach, 2016, s. 819-824. ISBN 978-1-4673-8605-0.
 ŽÁK Marek, ROZMAN Jaroslav a 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, roč. 2016, č. 8, s. 125-134. ISSN 2150-7988.
 ČEKAN Ondřej a 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 a 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, s. 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: Fakulta informačních technologií VUT v Brně, 2016, s. 97-100. ISBN 978-80-214-5376-0.
 ČEŠKA Milan, DANNENBERG Frits, KWIATKOWSKA Marta, PAOLETTI Nicola a BRIM Luboš. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica. 2016, roč. 2016, č. 1, s. 1-35. ISSN 0001-5903.

Vaše IPv4 adresa: 54.91.171.137
Přepnout na IPv6 spojení

DNSSEC [dnssec]