Publikace

Autor: Od roku: Roků:
Název: Klíčová slova:
Typ:
 
2018BORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: Západočeská univerzita v Plzni, 2018, s. 49-52. ISBN 978-80-261-0814-6.
 BREJCHA Jan a ČADÍK Martin. Camera Orientation Estimation in Natural Scenes Using Semantic Cues. In: 2018 International Conference on 3D Vision. Verona: IEEE Computer Society, 2018, s. 208-217. ISBN 978-1-5386-2610-8.
 BRUMMER Niko, SILNOVA Anna, BURGET Lukáš a 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, s. 349-356. ISSN 2312-2846.
 CABAL Jakub, BENÁČEK Pavel, KEKELY Lukáš, KEKELY Michal, PUŠ Viktor a 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, s. 249-258. ISBN 978-1-4503-5614-5.
 CRHA Adam, ŠIMEK Václav a 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, s. 1-2. ISBN 978-1-5386-5290-9.
 ČEKAN Ondřej a KOTÁSEK Zdeněk. Random Test Generation Through a Probabilistic Constrained Grammar. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, s. 5-8.
 ČEKAN Ondřej, PODIVÍNSKÝ Jakub a 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, s. 214-220. ISBN 978-1-5386-7376-8.
 ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, s. 155-175. ISSN 0302-9743.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a 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, s. 1-9.
 ČUDOVÁ Marta, TREEBY Bradley E. a 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, s. 1568-1575. ISBN 978-1-4503-5764-7.
 DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, KINOSHITA Keisuke, OGAWA Atsunori a NAKATANI Tomohiro. Single Channel Target Speaker Extraction and Recognition with Speaker Beam. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, s. 5554-5558. ISBN 978-1-5386-4658-8.
 DIEZ Sánchez Mireia, BURGET Lukáš a 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, s. 147-154. ISSN 2312-2846.
 EGOROVA Ekaterina a 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, s. 5919-5923. ISBN 978-1-5386-4658-8.
 FIEDOR Jan, MUŽIKOVSKÁ Monika, SMRČKA Aleš, VAŠÍČEK Ondřej a VOJNAR Tomáš. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018, s. 356-359. ISBN 978-1-4503-5699-2.
 FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš a ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Heidelberg: Springer Verlag, 2018, s. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743.
 FIŠER Petr a ŠIMEK Václav. Optimum Polymorphic Circuits Synthesis Method. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, s. 1-6. ISBN 978-1-5386-5290-9.
 GOLDMANN Tomáš, MARŠÁNOVÁ Lucie, NĚMCOVÁ Andrea, SMÍŠEK Radovan, SMITAL Lukáš a VÍTEK Martin. Automatic detection of P wave in ECG during ventricular extrasystoles. In: IFMBE Proceedings. Singapore: Springer International Publishing, 2018, s. 381-385. ISBN 978-981-10-9037-0. ISSN 1680-0737.
 GROCHOL David a SEKANINA Lukáš. Fast Reconfigurable Hash Functions for Network Flow Hashing in FPGAs. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh, 2018, s. 1-7. ISBN 978-1-5386-7753-7.
 GROCHOL David a SEKANINA Lukáš. Multi-Objective Evolution of Ultra-Fast General-Purpose Hash Functions. In: European Conference on Genetic Programming. Berlin: Springer International Publishing, 2018, s. 187-202. ISBN 978-3-319-77553-1.
 HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea a ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, s. 135-150. ISBN 978-1-4503-5698-5.
 HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp a 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, s. 96-127. ISBN 978-1-4503-5587-2.
 HUSA Jakub. A Comparative Study on Crossover in Cartesian Genetic Programming. In: Genetic Programming 21st European Conference, EuroGP 2018, Proceedings. Cham: Springer International Publishing, 2018, s. 203-219. ISBN 978-3-319-77553-1.
 CHARVÁT Michal a 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, s. 41-51. ISBN 978-3-95853-405-6.
 JAROŠ Marta. Scientific Workflows Management. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: Západočeská univerzita v Plzni, 2018, s. 25-28. ISBN 978-80-261-0814-6.
 KARAFIÁT Martin, BASKAR Murali K., VESELÝ Karel, GRÉZL František, BURGET Lukáš a ČERNOCKÝ Jan. Analysis of Multilingual BLSTM Acoustic Model on Lowand High Resource Languages. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, s. 5789-5793. ISBN 978-1-5386-4658-8.
 KLÍMA Ondřej, MADEJA Roman, ŠPANĚL Michal, ČUTA Martin, ZEMČÍK Pavel, STOKLÁSEK Pavel a MIZERA Aleš. Virtual 2D-3D Fracture Reduction with Bone Length Recovery Using Statistical Shape Models. In: ShapeMI MICCAI 2018: Workshop on Shape in Medical Imaging Proceedings. Granada: Springer International Publishing, 2018, s. 1-12. ISBN 978-3-642-33463-4.
 KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk a 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: Osterreichische Computer Gesellschaft, 2018, s. 117-132. ISBN 978-3-903035-21-8.
 KRÁLÍK Miroslav, KLÍMA Ondřej, POLCEROVÁ Lenka, URBANOVÁ Petra a ČUTA Martin. Morphometric Sex Estimation from the Hip Bone by Means of the HIP 1.1 Software. In: ShapeMI MICCAI 2018: Workshop on Shape in Medical Imaging Proceedings. Granada: Springer International Publishing, 2018, s. 1-12. ISBN 978-3-642-33463-4.
 KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel a 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, s. 99-108. ISBN 978-3-319-74726-2.
 KUČERA Jan, KEKELY Lukáš, PUŠ Viktor, PIECEK Adam a 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, s. 177-178. ISBN 978-1-4503-5902-3.
 LOJDA Jakub a KOTÁSEK Zdeněk. Automatizace návrhu spolehlivých systémů a její dílčí komponenty. In: Počítačové architektury & diagnostika 2018. Stachy: Západočeská univerzita v Plzni, 2018, s. 5-8. ISBN 978-80-261-0814-6.
 LOJDA Jakub a 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: Fakulta informačních technologií ČVUT, 2018, s. 31-32. ISBN 978-80-01-06456-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub a 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, s. 80-86. ISBN 978-1-5386-5709-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard a KOTÁSEK Zdeněk. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, s. 244-251. ISBN 978-1-5386-7376-8.
 LOZANO-DIEZ Alicia, PLCHOT Oldřich, MATĚJKA Pavel a GONZALEZ-RODRIGUEZ Joaquin. DNN Based Embeddings for Language Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, s. 5184-5188. ISBN 978-1-5386-4658-8.
 LOZANO-DIEZ Alicia, PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej a 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, s. 39-46. ISSN 2312-2846.
 MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav, SMRŽ Pavel a ZEMČÍK Pavel. Interactive Spatial Augmented Reality in Collaborative Robot Programming: User Experience Evaluation. In: Robot and Human Interactive Communication (RO-MAN). NanJing: Institute of Electrical and Electronics Engineers, 2018, s. 330-338. ISBN 978-1-5386-7980-7.
 MATOUŠEK Denis, KUBIŠ Juraj, MATOUŠEK Jiří a 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, s. 104-110. ISBN 978-1-4503-5902-3.
 MOŠNER Ladislav, MATĚJKA Pavel, NOVOTNÝ Ondřej a ČERNOCKÝ Jan. Dereverberation and Beamforming in Far-Field Speaker Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, s. 5254-5258. ISBN 978-1-5386-4658-8.
 MRÁZEK Vojtěch a VAŠÍČEK Zdeněk. Evolutionary Design of Large Approximate Adders Optimized for Various Error Criteria. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO '18). Kyoto: Association for Computing Machinery, 2018, s. 294-295. ISBN 978-1-4503-5764-7.
 MRÁZEK Vojtěch, SÝS Marek, VAŠÍČEK Zdeněk, SEKANINA Lukáš a MATYÁŠ Václav. Evolving Boolean Functions for Fast and Efficient Randomness Testing. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18). Kyoto: Association for Computing Machinery, 2018, s. 1302-1309. ISBN 978-1-4503-5618-3.
 MRÁZEK Vojtěch, VAŠÍČEK Zdeněk a SEKANINA Lukáš. Design of Quality-Configurable Approximate Multipliers Suitable for Dynamic Environment. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh, 2018, s. 1-8. ISBN 978-1-5386-7753-7.
 NEČASOVÁ Gabriela, VEIGEND Petr a ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 2. In: 17th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Horní Lomná: VŠB - Technická univerzita Ostrava, 2018, s. 211-220. ISBN 978-80-248-4135-9.
 NEVORAL Jan, RŮŽIČKA Richard a ŠIMEK Václav. CMOS Gates with Second Function. In: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Hong Kong: IEEE Computer Society, 2018, s. 82-87. ISBN 978-1-5386-7099-6.
 NEVORAL Jan, RŮŽIČKA Richard a Š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, s. 657-664. ISBN 978-1-5386-7376-8.
 NIKL Vojtěch, ŘÍHA Lubomír, VYSOCKÝ Ondřej a ZAPLETAL Jan. Optimal Hardware Parameters Prediction for Best Energy-to-Solution of Sparse Matrix Operations Using Machine Learning Techniques. In: INFOCOMP 2018. Barcelona: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2018, s. 43-48. ISBN 978-1-61208-655-2.
 NOVOTNÝ Ondřej, PLCHOT Oldřich, MATĚJKA Pavel, MOŠNER Ladislav a 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, s. 168-175. ISSN 2312-2846.
 ONDEL Lucas, GODARD Pierre, BESACIER Laurent, LARSEN Elin, HASEGAWA-JOHNSON Mark, SCHARENBORG Odette, DUPOUX Emmanuel, BURGET Lukáš, YVON Francois a KHUDANPUR Sanjeev. Bayesian Models for Unit Discovery on a Very Low Resource Language. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, s. 5939-5943. ISBN 978-1-5386-4658-8.
 PÁNEK Richard. Metodika návrhu řadiče rekonfigurace pro Systémy odolné proti poruchám. In: Počítačové architektury & diagnostika 2018. Stachy: Západočeská univerzita v Plzni, 2018, s. 21-24. ISBN 978-80-261-0814-6.
 PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub a 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, s. 129-134. ISBN 978-1-5386-5709-6.
 PASTUSHENKO Olena, HYNEK Jiří a 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, s. 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 a 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, s. 47-53. ISSN 2312-2846.
 PLUSKAL Jan, LICHTNER Ondrej a RYŠAVÝ Ondřej. Traffic Classification and Application Identification in Network Forensics. In: Fourteenth Annual IFIP WG 11.9 International Conference on Digital Forensics. New Delhi, 2018, s. 1-16.
 PODIVÍNSKÝ Jakub a 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: České vysoké učení technické, 2018, s. 33-34. ISBN 978-80-01-06456-6.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš a KOTÁSEK Zdeněk. A Processor Optimization Framework for a Selected Application. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, s. 564-574. ISBN 978-1-5386-5709-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub a 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, s. 63-69. ISBN 978-1-5386-5709-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub a 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, s. 9-12.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej a 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, s. 229-236. ISBN 978-1-5386-7376-8.
 ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldřich, MATĚJKA Pavel a 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, s. 4874-4878. ISBN 978-1-5386-4658-8.
 ROZMAN Jaroslav, ZBOŘIL František a KOČÍ Radek. Possibilities of Creation of Community Genealogical Database with Semantic Information and Uncertainty. In: Conference on Big Data and Smart Computing (ICBDSC 2018). Casablanca, 2018, s. 1-5. ISBN 978-1-4503-5438-7.
 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 a YU Zhou. Enhancement and Analysis of Conversational Speech: JSALT 2017. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, s. 5154-5158. ISBN 978-1-5386-4658-8.
 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 a 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, s. 4980-4984. ISBN 978-1-5386-4658-8.
 SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, NOVOTNÝ Ondřej, GRÉZL František, SCHWARZ Petr a ČERNOCKÝ Jan. BUT/Phonexia Bottleneck Feature Extractor. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, s. 283-287. ISSN 2312-2846.
 SOCHOR Jakub, ŠPAŇHEL Jakub, JURÁNEK Roman, DOBEŠ Petr a 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, s. 1-8. ISBN 978-1-4673-6964-0.
 STRNADEL Josef. Statistical Model Checking of Processor Systems in Various Interrupt Scenarios (in press, not published yet). In: Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA2018). Cham, 2018, s. 1-15. ISSN 0302-9743.
 ŠÁTEK Václav, VEIGEND Petr a NEČASOVÁ Gabriela. Taylor Series Based Solution of Nonlinear-quadratic ODE Systems. In: MATHMOD VIENNA 2018 - 9th Vienna International Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2018, s. 99-100. ISBN 978-3-901608-91-9.
 ŠŮSTEK Martin a ZBOŘIL František V. Obtaining word embedding from existing classification model. In: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, s. 540-547. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 UHLÍŘ Václav, ZBOŘIL František a 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, s. 589-596. ISBN 978-3-319-76347-7.
 VÍDEŇSKÝ František a ZBOŘIL František. Computer Aided Recognition and Classification of Coats of Arms. In: Proceedings ISDA 2017. Los Alamitos: Springer International Publishing, 2018, s. 63-73. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein a Č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, s. 372-377. ISSN 2312-2846.
 ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, NAKATANI Tomohiro a ČERNOCKÝ Jan. Optimization of Speaker-aware Multichannel Speech Extraction with ASR Criterion. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, s. 6702-6706. ISBN 978-1-5386-4658-8.
2017ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed a 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, s. 602-617. ISBN 978-1-4503-4988-8.
 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 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, s. 23-31. ISBN 978-1-5386-2839-3.
 BAŘINA David, KULA Michal, MATÝŠEK Michal a ZEMČÍK Pavel. Accelerating Discrete Wavelet Transforms on GPUs. In: International Conference on Image Processing (ICIP). Beijing: IEEE Signal Processing Society, 2017, s. 2707-2710. ISBN 978-1-5090-2175-8.
 BAŘINA David, NAJMAN Pavel, KLEPÁRNÍK Petr, KULA Michal a 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, s. 1-6. ISBN 978-1-5106-1741-4. ISSN 0277-786X.
 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.
 BENEŠ Karel, BASKAR Murali K. a 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, s. 284-288. ISSN 1990-9772.
 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.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: Proceedings of 14th IEEE International Conference On Software Architecture. New Jersey: IEEE Computer Society, 2017, s. 131-140. ISBN 978-1-5090-5729-0.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta a PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: Proceedings of 14th International Conference on Quantitative Evaluation of SysTems. Heidelberg: Springer Verlag, 2017, s. 1-4. ISBN 978-3-319-66335-7.
 CARDELLI Luca, ČEŠKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola a WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. Heidelberg: Springer Verlag, 2017, s. 375-395. ISBN 978-3-319-63390-9.
 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.
 Č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, ČEŠKA Milan a 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, s. 38-46. ISBN 978-3-319-74727-9.
 Č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.
 Č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.
 DAS Amit, HASEGAWA-JOHNSON Mark a VESELÝ Karel. Deep Auto-encoder Based Multi-task Learning Using Probabilistic Transcriptions. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, s. 2073-2077. ISSN 1990-9772.
 DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. 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.
 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.
 DVOŘÁK Michal a DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: Universita Obrany, 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áš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, s. 302-309. ISBN 978-3-319-57287-1.
 FAJČÍK Martin, ZACHARIÁŠOVÁ Marcela a SMRŽ Pavel. Automation of Processor Verification Using Recurrent Neural Networks. In: 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV). Austin, Texas: Institute of Electrical and Electronics Engineers, 2017, s. 15-20. ISBN 978-1-5386-3351-9.
 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. ISSN 0302-9743.
 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.
 GROCHOL David a SEKANINA Lukáš. Multiobjective Evolution of Hash Functions for High Speed Networks. In: Proceedings of the 2017 IEEE Congress on Evolutionary Computation. San Sebastian: IEEE Computer Society, 2017, s. 1533-1540. ISBN 978-1-5090-4600-3.
 HANNEMANN Mirko, TRMAL Jan, ONDEL Lucas, KESIRAJU Santosh a BURGET Lukáš. Bayesian joint-sequence models for grapheme-to-phoneme conversion. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, s. 2836-2840. ISBN 978-1-5090-4117-6.
 HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav a POCHYLÝ František. Numerical Modelling of the Stokes Flow with Coulomb Slip Boundary Conditions. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki, 2017, s. 1-4.
 HELLEBRANDT Lukáš, HUJŇÁK Ondřej, HANÁČEK Petr a HOMOLIAK Ivan. Survey of Privacy Enabling Strategies in IoT Networks. In: Proceedings of the 2017 International Conference on Computer Science and Artificial Intelligence. Jakarta: Association for Computing Machinery, 2017, s. 216-221. ISBN 978-1-4503-5392-2.
 HIGUCHI Takuya, KINOSHITA Keisuke, DELCROIX Marc, ŽMOLÍKOVÁ Kateřina a NAKATANI Tomohiro. Deep clustering-based beamforming for separation with unknown number of sources. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, s. 1183-1187. ISSN 1990-9772.
 HLOSTA Martin, ZDRÁHAL Zdeněk a 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, s. 6-15. ISBN 978-1-4503-4870-6.
 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. ISSN 0302-9743.
 HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš a WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. In: SAS 2017: Static Analysis. Cham: Springer International Publishing, 2017, s. 169-191. ISBN 978-3-319-66706-5.
 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, Š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.
 HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant a WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, s. 421-438. ISSN 0302-9743.
 HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch a MATOUŠEK Petr. Distributed Password Cracking in a Hybrid Environment. In: Proceedings of SPI 2017. Brno: Universita Obrany, 2017, s. 75-90. ISBN 978-80-7231-414-0.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, s. 365-369. ISBN 978-3-662-54580-5.
 HUSA Jakub a DOBAI Roland. Designing Bent Boolean Functions With Parallelized Linear Genetic Programming. In: GECCO Companion '17 Proceedings of the Companion Publication of the 2017 on Genetic and Evolutionary Computation Conference. Berlín: Association for Computing Machinery, 2017, s. 1825-1832. ISBN 978-1-4503-4939-0.
 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.
 CHARVÁT Lucie a MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. In: Proceedings 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2017). Telč, 2017, s. 1-1.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, s. 1-12. ISBN 978-1-5090-3018-7.
 ILA Viorela S., POLOK Lukáš, ŠOLONY Marek a ISTENIČ Klemen. Fast Incremental Bundle Adjustment with Covariance Recovery. In: 2017 Fifth International Conference on 3D Vision. Qingdao: Institute of Electrical and Electronics Engineers, 2017, s. 1-9. ISBN 978-989-8425-47-8.
 ISMAEL Mazen. Detecting Anomalous Trajectories and Traffic Services. In: Data a znalosti 2017. Plzeň: Západočeská univerzita v Plzni, 2017, s. 1-5. ISBN 978-80-261-0720-0.
 ISTENIČ Klemen, ILA Viorela S., POLOK Lukáš, GRACIAS Nuno a GARCÍA Rafael. Mission-time 3D Reconstruction with Quality Estimation. In: Proceedings of MTS/IEEE Oceans '17 Aberdeen. Aberdeen: Institute of Electrical and Electronics Engineers, 2017, s. 1-9. ISBN 978-1-880653-88-3.
 JAROŠOVÁ Marta, KUČERA Radek a ŠÁTEK Václav. A Path-following Algorithm for Parallel Solving of the Stokes Problem with the Stick-slip Boundary Condition. In: The 5th International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Pécs, 2017, s. 1-12. ISSN 1759-3433.
 JAROŠOVÁ Marta, KUČERA Radek a ŠÁTEK Václav. Preconditioning in the path-following algorithm for the Stokes flow with stick-slip conditions. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, s. 274-285. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 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.
 KARAFIÁT Martin, BASKAR Murali K., MATĚJKA Pavel, VESELÝ Karel, GRÉZL František, BURGET Lukáš a Č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, s. 719-723. ISSN 1990-9772.
 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.
 KEKELY Michal a KOŘENEK Jan. Packet Classification with Limited Memory Resources. In: In proceedings 2017 Euromicro Conference on Digital System Design. Vieden: Institute of Electrical and Electronics Engineers, 2017, s. 179-183. ISBN 978-1-5386-2145-5.
 KESIRAJU Santosh, PAPPAGARI Raghavendra, ONDEL Lucas, BURGET Lukáš, DEHAK Najim, KHUDANPUR Sanjeev, ČERNOCKÝ Jan a 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, s. 5745-5749. ISBN 978-1-5090-4117-6.
 KEŠNER Filip, SEKANINA Lukáš a BRÁZDIL Milan. Modular Framework for Detection of Inter-ictal Spikes in iEEG. In: The 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'17). Los Alamos: Institute of Electrical and Electronics Engineers, 2017, s. 418-421. ISBN 978-1-5090-2809-2.
 KIDOŇ Marek a DOBAI Roland. Evolutionary design of hash functions for IP address hashing using genetic programming. In: 2017 IEEE Congress on Evolutionary Computation (CEC). San Sebastian: Institute of Electrical and Electronics Engineers, 2017, s. 1720-1727. ISBN 978-1-5090-4601-0.
 KLEPÁRNÍK Petr, ZEMČÍK Pavel a JAROŠ Jiří. Efficient Lossy Compression of Ultrasound Data. In: 2017 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT). Bilbao: Institute of Electrical and Electronics Engineers, 2017, s. 232-237. ISBN 978-1-5386-4662-5.
 KLÍMA Ondřej, CHROMÝ Adam, KLEPÁRNÍK Petr, ŠPANĚL Michal a ZEMČÍK Pavel. Model-based Radiostereometric Analysis Using Intensity-based 2D/3D Registration Pipeline: Feasibility Study. In: Conference Materials and Posters of Spring Conference on Computer Graphics SCCG 2017. Mikulov: Vysoké učení technické v Brně, 2017, s. 31-33. ISSN 1335-5694.
 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.
 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.
 KOŘENEK Jan a KEKELY Michal. Mapping of P4 Match Action Tables to FPGA. In: Preceedings of 27TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS. Ghent: Institute of Electrical and Electronics Engineers, 2017, s. 1-2. ISBN 978-90-90-30428-1.
 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.
 KRČMA Martin a KOTÁSEK Zdeněk. Approximation accuracy of different FPNN types. 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.
 KRČMA Martin, KOTÁSEK Zdeněk a 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, s. 125-132. ISBN 978-1-5386-3367-0.
 KRČMA Martin, LOJDA Jakub a 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, s. 1-6. ISBN 978-1-5386-3298-7.
 KUČERA Radek, ŠÁTEK Václav, HASLINGER Jaroslav, POCHYLÝ František, KOKO Jonas a SASSI Taoufik. Numerical Modelling of the Stokes Flow with Threshold Slip Boundary Conditions. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, s. 1-4. ISSN 0094-243X.
 LAURENTI Luca, ABATE Alessandro, BORTOLUSSI Luca, CARDELLI Luca, ČEŠKA Milan a KWIATKOWSKA Marta. Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision. In: Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, 2017, s. 55-64. ISBN 978-1-4503-4590-3.
 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. ISSN 0302-9743.
 LIU Chunxi, YANG Jinyi, SUN Ming, KESIRAJU Santosh, ROTT Alena, ONDEL Lucas, GHAHREMANI Pegah, DEHAK Najim, BURGET Lukáš a KHUDANPUR Sanjeev. An Empirical evaluation of zero resource acoustic unit discovery. In: Proceedings of ICASSP 2017. New Orleans: IEEE Signal Processing Society, 2017, s. 5305-5309. ISBN 978-1-5090-4117-6.
 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.
 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.
 MATĚJKA Pavel, NOVOTNÝ Ondřej, PLCHOT Oldřich, BURGET Lukáš, DIEZ Sánchez Mireia a ČERNOCKÝ Jan. Analysis of Score Normalization in Multilingual Speaker Recognition. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, s. 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 a ROHDIN Johan A. BUT- PT System Description for NIST LRE 2017. In: Proceedings of NIST Language Recognition Workshop 2017. Orlando, Florida: United States Department of Commerce, National Institute of Standards and Technology, 2017, s. 1-6.
 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.
 MATOUŠEK Petr, ONYANGO Collins Oduor, RYŠAVÝ Ondřej a SEVILLA Joseph. Delivering ICT Security Courses over 5.944 km. In: Proceedings of the 27th EAEEIE Annual Conference. Grenoble, 2017, s. 1-7.
 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: Open Publishing Association, 2017, s. 170-179. ISSN 2075-2180.
 MILKOVIČ Marek. Extraction of Information from .NET Executable Files. In: Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2017. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2017, s. 1-9. ISBN 978-80-87952-22-1.
 MINAŘÍK Miloš a SEKANINA Lukáš. On Evolutionary Approximation of Sigmoid Function for HW/SW Embedded Systems. In: 20th European Conference on Genetic Programming, EuroGP 2017. Berlin: Springer International Publishing, 2017, s. 343-358. ISBN 978-3-319-55696-3.
 MOTYČKOVÁ Kristina, KUČERA Radek, MAKROPOULOS Alexandros a ŠÁTEK Václav. Comparisons of the Semi-Smooth Newton Method for Solving Contact Problems in 2D and 3D. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, s. 1-4. ISSN 0094-243X.
 MRÁZEK Vojtěch a VAŠÍČEK Zdeněk. Parallel Optimization of Transistor Level Circuits using Cartesian Genetic Programming. In: GECCO Companion '17 Proceedings of the Companion Publication of the 2017 on Genetic and Evolutionary Computation Conference. Berlin: Association for Computing Machinery, 2017, s. 1849-1856. ISBN 978-1-4503-4939-0.
 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.
 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.
 NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, ŠÁTEK Václav a KUNOVSKÝ Jiří. Model of the Telegraph Line. In: Informatics 2017 - 14th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2017, s. 271-275. ISBN 978-1-5386-0888-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.
 NIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří a 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, s. 377-393. ISBN 978-3-319-58667-0.
 NOSKO Svetozár, MUSIL Martin, MUSIL Petr a ZEMČÍK Pavel. True HDR camera with bilateral filter based tone mapping. In: SCCG '17: Spring Conference on Computer Graphics 2017. Mikulov: Association for Computing Machinery, 2017, s. 1-9. ISBN 978-1-4503-5107-2.
 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.
 PÁNEK Richard. Systémy odolné proti poruchám - metodika návrhu řadiče rekonfigurace. In: Počítačové architektury & diagnostika 2017. Smolenice: Slovenská technická univerzita v Bratislavě, 2017, s. 24-27. ISBN 978-80-972784-0-3.
 PAPADOPOULOS Pavlos, TRAVADI Ruchir, VAZ Colin, MALANDRAKIS Nikolaos, HERMJAKOB Ulf, POURDAMGHANI Nima, PUST Michael, ZHANG Boliang, PAN Xiaoman, LU Di, LIN Ying, GLEMBEK Ondřej, BASKAR Murali K., KARAFIÁT Martin, BURGET Lukáš, HASEGAWA-JOHNSON Mark, JI Heng, MAY Jonathan, KNIGHT Kevin a NARAYANAN Shrikanth. Team ELISA System for DARPA LORELEI Speech Evaluation 2016. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, s. 2053-2057. ISSN 1990-9772.
 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 a BHATTACHARYA Gautam. Analysis and Description of ABC Submission to NIST SRE 2016. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, s. 1348-1352. ISSN 1990-9772.
 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.
 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.
 PRIVALOV Vladimir, BERAN Vítězslav a SMRŽ Pavel. Effectiveness of the Bag-of-Words approach on the object search problem in 3D domain. In: Proceedings of SCCG 2017. New York City, NY: Association for Computing Machinery, 2017, s. 138-145. ISBN 978-1-4503-5107-2.
 RICHTA Tomáš a JANOUŠEK Vladimír. Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2017, s. 1-10. ISBN 978-3-642-53855-1.
 RUDNITCKAIA Julia a 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, s. 1-10. ISBN 978-9984-818-86-3. ISSN 2367-3370.
 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.
 SHAFIQUE Muhammad, HAFIZ Rehan, JAVED Muhammad Usama, ABBAS Sarmad, SEKANINA Lukáš, VAŠÍČEK Zdeněk a MRÁZEK Vojtěch. Adaptive and Energy-Efficient Architectures for Machine Learning: Challenges, Opportunities, and Research Roadmap. In: 2017 IEEE Computer Society Annual Symposium on VLSI. Los Alamitos: IEEE Computer Society Press, 2017, s. 627-632. ISBN 978-1-5090-6762-6.
 SILNOVA Anna, BURGET Lukáš a ČERNOCKÝ Jan. Alternative Approaches to Neural Network based Speaker Verification. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, s. 1572-1575. ISSN 1990-9772.
 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.
 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. 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.
 Š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.
 VAŠÍČEK Zdeněk. Relaxed equivalence checking: a new challenge in logic synthesis. In: Proceedings 2017 IEEE 20th International Symposium on Design and Diagnotics of Electronic Circuit & Systems. Dresden: IEEE Computer Society, 2017, s. 1-6. ISBN 978-1-5386-0472-4.
 VAŠÍČEK Zdeněk, MRÁZEK Vojtěch a SEKANINA Lukáš. Towards Low Power Approximate DCT Architecture for HEVC Standard. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, s. 1576-1581. ISBN 978-3-9815370-9-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.
 VESELÝ Karel, BASKAR Murali K., DIEZ Sánchez Mireia a BENEŠ Karel. MGB-3 BUT System: Low-resource ASR on Egyptian YOUTUBE data. In: Proceedings of ASRU 2017. Okinawa: IEEE Signal Processing Society, 2017, s. 368-373. ISBN 978-1-5090-4788-8.
 VESELÝ Karel, BURGET Lukáš a ČERNOCKÝ Jan. Semi-supervised DNN training with word selection for ASR. In: Proceedings of Interspeech 2017. Stockholm: International Speech Communication Association, 2017, s. 3687-3691. ISSN 1990-9772.
 VLK Jan a 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, s. 1-9. ISBN 978-1-5386-0365-9.
 VYSOCKÝ Ondřej, BESEDA Martin, ŘÍHA Lubomír, ZAPLETAL Jan, NIKL Vojtěch, LYSAGHT Michael a KANNAN Venkatesh. Evaluation of the HPC Applications Dynamic Behavior in Terms of Energy Consumption. In: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, GRID AND CLOUD COMPUTING FOR ENGINEERING. Stirlingshire: Civil-Comp Press, 2017, s. 30-49. ISBN 978-1-905088-66-9.
 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.
 ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, OGAWA Atsunori a NAKATANI Tomohiro. Learning Speaker Representation for Neural Network Based Multichannel Speaker Extraction. In: Proceedings of ASRU 2017. Okinawa: IEEE Signal Processing Society, 2017, s. 8-15. ISBN 978-1-5090-4788-8.
 ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, OGAWA Atsunori a 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, s. 2655-2659. ISSN 1990-9772.
2016ABATE Alessandro, ČEŠKA Milan a KWIATKOWSKA Marta. Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. In: Proceedings of 14th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2016, s. 1-16. ISBN 978-3-319-46519-7.
 ALDEGHERI 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.
 ALMEIDA Ricardo, HOLÍK Lukáš a MAYR Richard. Reduction of Nondeterministic Tree Automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Berlin Heidelberg: Springer Verlag, 2016, s. 717-735. ISBN 978-3-662-49673-2.
 ARON Lukáš a HANÁČEK Petr. A Concept of Dynamic Permission Mechanism on Android. In: Progress in Applied Mathematics in Science and Engineering Proceedings. Bali, Indonesia: American Institute of Physics, 2016, s. 22-30. ISBN 978-0-7354-1352-8.
 ARON Lukáš a HANÁČEK Petr. Mobile Security for Banking on Android Platform. In: Proceedings of the International Conference on Computing Technology, Information Security and Risk Management. Dubai: The Society of Digital Information and Wireless Communications, 2016, s. 7-14. ISBN 978-1-941968-31-4.
 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, KLÍMA Ondřej a ZEMČÍK Pavel. Single-Loop Architecture for JPEG 2000. In: Image and Signal Processing. Cham: Springer International Publishing, 2016, s. 346-355. ISBN 978-3-319-33618-3.
 BAŘINA David, KULA Michal a ZEMČÍK Pavel. Simple Signal Extension Method for Discrete Wavelet Transform. In: Proceedings of 2016 IEEE International Conference on Signal and Image Processing. Beijing: Institute of Electrical and Electronics Engineers, 2016, s. 534-538. ISBN 978-1-5090-2375-2.
 BIDLO Michal. Evolution of Complex Emergent Behaviour in Multi-State Cellular Automata. In: Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2016, s. 157-158. ISBN 978-1-4503-4323-7.
 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.
 CRHA Adam. Polymorfní elektronika a metody syntézy. In: Počítačové architektury & diagnostika Česko-slovenský seminář pro studenty doktorského studia. Brno: Fakulta informačních technologií VUT v Brně, 2016, s. 93-97. ISBN 978-80-214-5376-0.
 Č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.
 Č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.
 ČEŠKA Milan, PILAŘ Petr, PAOLETTI Nicola, BRIM Luboš a KWIATKOWSKA Marta. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In: Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Springer International Publishing, 2016, s. 367-384. ISBN 978-3-662-49673-2. ISSN 0302-9743.
 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.
 DOBAI Roland, KOŘENEK Jan a SEKANINA Lukáš. Adaptive Development of Hash Functions in FPGA-Based Network Routers. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: IEEE Computational Intelligence Society, 2016, s. 1-8. ISBN 978-1-5090-4240-1.
 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, LUŽA Radim a ZBOŘIL František V. Localization of rescue robot in hybrid environment. In: ICCITR2016. Dubai: Higher Institute of Technological Studies , TUnisia, 2016, s. 1-4. ISBN 978-9973-9816-2-2.
 DRAHANSKÝ Martin, LUŽA Radim a ZBOŘIL František V. RUDA - Robot for Search for Human Beings in Debris and Avalanches. In: Proceedings of ISDA 2015. Marrakesh: Fakulta informačních technologií ČVUT, 2016, s. 1-6. ISBN 978-1-4673-8712-5.
 DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek a VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Berlin Heidelberg: Springer Verlag, 2016, s. 431-452. ISBN 978-3-662-49121-8.
 DVOŘÁČEK Petr a SEKANINA Lukáš. Evolutionary Approximation of Edge Detection Circuits. In: 19th European Conference on Genetic programming. Berlin: Springer International Publishing, 2016, s. 19-34. ISBN 978-3-319-30667-4.
 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.
 EGOROVA Ekaterina a SERRANO Jordi Lugue. Semi-Supervised Training of Language Model on Spanish Conversational Telephone Speech Data. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, s. 114-120. ISSN 1877-0509.
 GRASA Eduard, RYŠAVÝ Ondřej, LICHTNER Ondrej, ASGARI Hamid, DAY John a CHITKUSHEV Lou. From protecting protocols to layers: designing, implementing and experimenting with security policies in RINA. In: 2016 IEEE International Conference on Communications (ICC). Kuala-Lumpur: Institute of Electrical and Electronics Engineers, 2016, s. 1-7. ISBN 978-1-4799-6665-3.
 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.
 GRÉZL František a KARAFIÁT Martin. Bottle-Neck Feature Extraction Structures for Multilingual Training and Porting. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, s. 144-151. ISSN 1877-0509.
 GRÉZL František, EGOROVA Ekaterina a KARAFIÁT Martin. Study of Large Data Resources for Multilingual Training and System Porting. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, s. 15-22. ISSN 1877-0509.
 GROCHOL David a SEKANINA Lukáš. Evolutionary design of fast high-quality hash functions for network applications. In: GECCO '16 Proceedings of the 2016 on Genetic and Evolutionary Computation Conference. New York, NY: Association for Computing Machinery, 2016, s. 901-908. ISBN 978-1-4503-4206-3.
 GROCHOL David. Evoluční hardware v síťových aplikacích. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Fakulta informačních technologií VUT v Brně, 2016, s. 57-60. ISBN 978-80-214-5376-0.
 HAZIZA Frédéric, HOLÍK Lukáš, MEYER Roland a WOLF Sebastian. Pointer Race Freedom. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Berlin: Springer Verlag, 2016, s. 393-412. ISBN 978-3-662-49121-8.
 HELLEBRANDT Lukáš. URI-based HBAC in FreeIPA. In: SantaCrypt, proceedings. Bílovice nad Svitavou: Trusted Network Solutions, a.s., 2016, s. 45-46. ISBN 978-80-904257-8-1.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Run Forester, Run Backwards! (Competition Contribution). In: Proceedings of TACAS'16. Heidelberg: Springer Verlag, 2016, s. 923-926. ISBN 978-3-662-49673-2.
 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áš, LENGÁL Ondřej, ROGALEWICZ Adam, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology. In: 2nd Workshop on Approximate Computing (WAPCO 2016). Prague, 2016, s. 1-6.
 HOLÍK Lukáš, MEYER Roland a MUSKALLA Sebastian. Antichains for the Verification of Recursive Programs. In: Proceedings of International Conference on Networked Systems. Cham: Springer International Publishing, 2016, s. 322-336. ISBN 978-3-319-26849-1.
 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, MATOUŠEK Petr, RYŠAVÝ Ondřej a VESELÝ Vladimír. Experimental Evaluation of Password Recovery in Encrypted Documents. In: Proceedings of ICISSP 2016. Roma: SciTePress - Science and Technology Publications, 2016, s. 299-306. ISBN 978-989-758-167-0.
 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.
 HYRŠ Martin a SCHWARZ Josef. Advanced Parallel Copula Based EDA. In: 2016 IEEE Symposium Series on Computational Intelligence. Athens: Institute of Electrical and Electronics Engineers, 2016, s. 1-8. ISBN 978-1-5090-4239-5.
 HYRŠ Martin a SCHWARZ Josef. Kopulové EDA algoritmy. In: Počítačové architektury & diagnostika PAD 2016. Bořetice: Fakulta informačních technologií VUT v Brně, 2016, s. 105-108. ISBN 978-80-214-5376-0.
 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 informatiky MU, 2016, s. 87-93. ISBN 978-80-210-8362-2. ISSN 2075-2180.
 CHEN Yu-Fang, HSIEH Chiao, LENGÁL Ondřej, LII Tsung-Ju, TSAI Ming-Hsien, WANG Bow-Yaw a WANG Farn. PAC Learning-Based Verification and Model Synthesis. In: Proceedings of the 38th International Conference on Software Engineering. Austin, TX: Association for Computing Machinery, 2016, s. 714-724. ISBN 978-1-4503-3900-1.
 CHROMÝ Adam, ŽALUD Luděk a KLÍMA Ondřej. DeskBalance: Novel Gamified System for Diagnosis and Treatment of Postural Stability. In: 14th IFAC Conference on Programmable Devices and Embedded Systems PDES 2016 Brno, Czech Republic, 5-7 October 2016. Brno / Lednice: Elsevier Science, 2016, s. 200-205. ISSN 2405-8963.
 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.
 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.
 KARAFIÁT Martin, BURGET Lukáš, GRÉZL František, VESELÝ Karel a ČERNOCKÝ Jan. Multilingual Region-Dependent Transforms. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, s. 5430-5434. ISBN 978-1-4799-9988-0.
 KARMAZÍN Jaromír a OČENÁŠEK Pavel. The state of Near-Field Communication (NFC) on the Android platform. In: Human Aspects of Information Security, Privacy, and Trust. Toronto: Springer Verlag, 2016, s. 247-254. ISBN 978-3-319-39380-3.
 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.
 KLÍMA Ondřej, BAŘINA David, KLEPÁRNÍK Petr, ZEMČÍK Pavel, CHROMÝ Adam a ŠPANĚL Michal. Lossy Compression of 3-D Statistical Shape and Intensity Models of Femoral Bones Using JPEG 2000. In: 14th IFAC Conference on Programmable Devices and Embedded Systems PDES 2016 Brno, Czech Republic, 5-7 October 2016. Brno / Lednice: Elsevier Science, 2016, s. 115-120. ISSN 2405-8963.
 KLÍMA Ondřej, CHROMÝ Adam, ZEMČÍK Pavel, KLEPÁRNÍK Petr a ŠPANĚL Michal. A Study on Performance of Levenberg-Marquardt and CMA-ES Optimization Methods for Atlas-based 2D/3D Reconstruction. In: 14th IFAC Conference on Programmable Devices and Embedded Systems PDES 2016 Brno, Czech Republic, 5-7 October 2016. Brno / Lednice: Elsevier Science, 2016, s. 121-126. ISSN 2405-8963.
 KLÍMA Ondřej, KLEPÁRNÍK Petr, ŠPANĚL Michal a ZEMČÍK Pavel. Intensity-based femoral atlas 2D/3D registration using Levenberg-Marquardt optimisation. In: Biomedical Applications in Molecular, Structural, and Functional Imaging. San Diego: SPIE - the international society for optics and photonics, 2016, s. 1-6. ISBN 978-1-5106-0023-2.
 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 a MEDUNA Alexander. On Parallel Versions of Jumping Finite Automata. In: Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Cham: Springer International Publishing, 2016, s. 142-149. ISBN 978-3-319-46534-0.
 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.
 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.
 KOLÁŘ Martin, HRADIŠ Michal a ZEMČÍK Pavel. Deep Learning on Small Datasets using Online Image Search. In: Proceedings of 32nd Spring Conference on Computer Graphics. Bratislava: Univerzita Komenského v Bratislavě, 2016, s. 1-7. ISBN 978-1-4503-3693-2. ISSN 1335-5694.
 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.
 KOŠAŘ Vlastimil a KOŘENEK Jan. Dynamically Reconfigurable Architecture with Atomic Configuration Updates for Flexible Regular Expressions Matching in FPGA. In: Proceedings of The 19th Euromicro Conference on Digital Systems Design. Limassol: IEEE Computer Society, 2016, s. 591-598. ISBN 978-1-5090-2816-0.
 KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika a VOJNAR Tomáš. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In: Proceedings of TACAS 2016. Heidelberg: Springer Verlag, 2016, s. 942-945. ISBN 978-3-662-49673-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.
 KULA Michal, BAŘINA David a ZEMČÍK Pavel. Block-based Approach to 2-D Wavelet Transform on GPUs. In: Information Technology: New Generations. Las Vegas, Nevada: Springer International Publishing, 2016, s. 643-653. ISBN 978-3-319-32467-8.
 KULA Michal, BAŘINA David a ZEMČÍK Pavel. New Non-Separable Lifting Scheme for Images. In: Proceedings of 2016 IEEE International Conference on Signal and Image Processing. Beijing: Institute of Electrical and Electronics Engineers, 2016, s. 292-295. ISBN 978-1-5090-2375-2.
 LI Ruizhi, MALLIDI Sri Harish, PLCHOT Oldřich, BURGET Lukáš a DEHAK Najim. Exploiting Hidden-Layer Responses of Deep Neural Networks for Language Recognition. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, s. 2365-2369. ISBN 978-1-5108-3313-5.
 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.
 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.
 LUŽA Radim, ZBOŘIL František V. a DRAHANSKÝ Martin. High-level control of RUDA - the robot for rescuing people in debris and under avalanches. In: ICCC. Tatranská Lomnica: Technická univerzita v Košiciach, 2016, s. 467-472. ISBN 978-1-4673-8605-0.
 MATĚJKA Pavel, GLEMBEK Ondřej, NOVOTNÝ Ondřej, PLCHOT Oldřich, GRÉZL František, BURGET Lukáš a ČERNOCKÝ Jan. Analysis Of DNN Approaches To Speaker Identification. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, s. 5100-5104. ISBN 978-1-4799-9988-0.
 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.
 MATOUŠEK Denis, KOŘENEK Jan a PUŠ Viktor. High-speed Regular Expression Matching with Pipelined Automata. In: Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016, s. 93-100. ISBN 978-1-5090-5602-6.
 MERTA Michal, ZAPLETAL Jan a JAROŠ Jiří. Many Core Acceleration of the Boundary Element Method. In: Proceedings of High Performance Computing in Science and Engineering. Basel: Springer International Publishing, 2016, s. 116-125. ISBN 978-3-319-40360-1.
 MRÁZEK Vojtěch a VAŠÍČEK Zdeněk. Automatic Design of Arbitrary-Size Approximate Sorting Networks with Error Guarantee. In: Power and Timing Modeling, Optimization and Simulation (PATMOS), 2016 26rd International Workshop on. Bremen: Institute of Electrical and Electronics Engineers, 2016, s. 221-228. ISBN 978-1-5090-0733-2.
 MRÁZEK Vojtěch. Evoluční snižování příkonu: Od obvodů na úrovni tranzistorů po neuronové sítě na čipu. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Fakulta informačních technologií VUT v Brně, 2016, s. 61-64. ISBN 978-80-214-5376-0.
 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.
 NEVORAL Jan. Polymorfní obvody na bázi ambipolárních tranzistorů. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Fakulta informačních technologií VUT v Brně, 2016, s. 45-48. ISBN 978-80-214-5376-0.
 NEVORAL Jan, RŮŽIČKA Richard a MRÁZEK Vojtěch. Evolutionary Design of Polymorphic Gates Using Ambipolar Transistors. 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.
 NIKL Vojtěch. High Performance Computing on Low Power Devices. In: Computer achitectures and diagnostics 2016. Brno: Fakulta informačních technologií VUT v Brně, 2016, s. 81-84. ISBN 978-80-214-5376-0.
 NOVOTNÝ Ondřej, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, GRÉZL František, BURGET Lukáš a ČERNOCKÝ Jan. Analysis of the DNN-Based SRE Systems in Multi-language Conditions. In: Proceedings of SLT 2016. San Diego: IEEE Signal Processing Society, 2016, s. 199-204. ISBN 978-1-5090-4903-5.
 NOVOTNÝ Ondřej, MATĚJKA Pavel, PLCHOT Oldřich, GLEMBEK Ondřej, BURGET Lukáš a ČERNOCKÝ Jan. Analysis of Speaker Recognition Systems in Realistic Scenarios of the SITW 2016 Challenge. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, s. 828-832. ISBN 978-1-5108-3313-5.
 ONDEL Lucas, BURGET Lukáš a ČERNOCKÝ Jan. Variational Inference for Acoustic Unit Discovery. In: Procedia Computer Science. Yogyakarta: Elsevier Science, 2016, s. 80-86. ISSN 1877-0509.
 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.
 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.
 PLCHOT Oldřich, BURGET Lukáš, ARONOWITZ Hagai a MATĚJKA Pavel. Audio Enhancing With DNN Autoencoder For Speaker Recognition. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, s. 5090-5094. ISBN 978-1-4799-9988-0.
 PLCHOT Oldřich, MATĚJKA Pavel, FÉR Radek, GLEMBEK Ondřej, NOVOTNÝ Ondřej, PEŠÁN Jan, VESELÝ Karel, ONDEL Lucas, KARAFIÁT Martin, GRÉZL František, KESIRAJU Santosh, BURGET Lukáš, BRUMMER Niko, SWART Albert du Preez, CUMANI Sandro, MALLIDI Sri Harish a LI Ruizhi. BAT System Description for NIST LRE 2015. In: Proceedings of Odyssey 2016, The Speaker and Language Recognition Workshop. Bilbao: International Speech Communication Association, 2016, s. 166-173. ISSN 2312-2846.
 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.
 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.
 POLČÁK Libor, CALDAROLA Leo, CUDA Davide, DONDERO Marco, FICARA Domenico, FRANKOVÁ Barbora, HOLKOVIČ Martin, CHOUKIR Amine, MUCCIFORA Roberto a TRIFILO Antonio. High Level Policies in SDN. In: E-Business and Telecommunications. Berlin: Springer International Publishing, 2016, s. 39-57. ISBN 978-3-642-35754-1. ISSN 1865-0929.
 POLOK Lukáš a SMRŽ Pavel. Increasing Double Precision Throughput on NVIDIA Maxwell GPUs. In: Proceedings of the 24th High Performance Computing Symposium. Pasadena / Los Angeles: Association for Computing Machinery, 2016, s. 1-8. ISBN 978-1-5108-2318-1.
 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.
 POVOLNÝ Filip, MATĚJKA Pavel, HRADIŠ Michal, POPKOVÁ Anna, OTRUSINA Lubomír, SMRŽ Pavel, WOOD Ian, ROBIN Cécile a LAMEL Lori. Multimodal Emotion Recognition for AVEC 2016 Challenge. In: AVEC '16 Proceedings of the 6th International Workshop on Audio/Visual Emotion Challenge. Amsterdam: Association for Computing Machinery, 2016, s. 75-82. ISBN 978-1-4503-4516-3.
 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.
 RŮŽIČKA Richard a TESAŘ Radek. Lets Move Polymorphism Downwards: On the Multifunctional Logic Based on Ambipolar Behaviour of Semiconductor Devices. In: Proceedings of the 11th International Conference on Design & Technology of Integrated Systems in Nanoscale Era. Istanbul: Istanbul Sehir University, 2016, s. 275-279. ISBN 978-1-5090-0335-8.
 SEKANINA Lukáš a KAPUSTA Vlastimil. Visualisation and Analysis of Genetic Records Produced by Cartesian Genetic Programming. In: GECCO'16 Companion. New York: Association for Computing Machinery, 2016, s. 1411-1418. ISBN 978-1-4503-4323-7.
 SEKANINA Lukáš a VAŠÍČEK Zdeněk. Genetic Improvement for Approximate Computing. In: 2nd Workshop on Approximate Computing (WAPCO 2016). Prague, 2016, s. 1-2.
 SEKANINA Lukáš. Introduction to Approximate Computing: Embedded Tutorial. In: 19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Košice: Institute of Electrical and Electronics Engineers, 2016, s. 90-95. ISBN 978-1-5090-2467-4.
 SMETKA Tomáš, HOMOLIAK Ivan a HANÁČEK Petr. On the Application of Symbolic Regression and Genetic Programming for Cryptanalysis of Symmetric Encryption Algorithm. In: Proceedings of 2016 IEEE International Carnahan Conference on Security Technology. Orlando, Fl: Institute of Electrical and Electronics Engineers, 2016, s. 1-8. ISBN 978-1-5090-1072-1.
 SOCHOR Jakub, HEROUT Adam a HAVEL Jiří. BoxCars: 3D Boxes as CNN Input for Improved Fine-Grained Vehicle Recognition. In: The IEEE Conference on Computer Vision and Pattern Recognition (CVPR). Las Vegas: IEEE Computer Society, 2016, s. 3006-3015. ISBN 978-1-4673-8851-1. ISSN 1063-6919.
 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.
 SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. a CLEVELAND Robin. Nonlinear 3-D simulation of high-intensity focused ultrasound therapy in the kidney. In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Orlando: Institute of Electrical and Electronics Engineers, 2016, s. 5648-5651. ISBN 978-1-4577-0220-4.
 SVOBODA Pavel, HRADIŠ Michal, MARŠÍK Lukáš a ZEMČÍK Pavel. CNN for license plate motion deblurring. In: IEEE International Conference on Image Processing (ICIP). Phoenix: IEEE Signal Processing Society, 2016, s. 1-4. ISBN 978-1-4673-9961-6.
 ŠIMEK Václav, STŘÍTESKÝ Stanislav, ŘEZNÍČEK Michal, CRHA Adam a RŮŽIČKA Richard. Towards Implementation of Logic Circuits Based on Intrinsically Reconfigurable Organic Transistors. In: Proceedings of the 6th Electronics System-Integration Technology Conference. Grenoble: Institute of Electrical and Electronics Engineers, 2016, s. 1-6. ISBN 978-1-5090-1401-9.
 ŠIMEK Václav, TESAŘ Radek, RŮŽIČKA Richard a CRHA Adam. Modelling and Physical Implementation of Ambipolar Components Based on Organic Materials. In: Proceedings of the 28th International Conference on Microelectronics (ICM 2016). Cairo: IEEE Circuits and Systems Society, 2016, s. 341-344. ISBN 978-1-5090-5721-4.
 TESAŘ Radek. Nekonvenční technologie pro číslicové systémy. In: Počítačové architektury a diagnostika PAD 2016. Bořetice: Fakulta informačních technologií VUT v Brně, 2016, s. 109-115. ISBN 978-80-214-5376-0.
 TREEBY Bradley E., JAROŠ Jiří a COX Ben T. Advanced photoacoustic image reconstruction using the k-Wave toolbox. In: SPIE Proceedings Vol. 9708: Photons Plus Ultrasound: Imaging and Sensing 2016. San Francisco: SPIE - the international society for optics and photonics, 2016, s. 1-14. ISBN 978-1-62841-942-9.
 VAŠÍČEK Zdeněk a SEKANINA Lukáš. Search-based synthesis of approximate circuits implemented into FPGAs. In: 26th International Conference on Field Programmable Logic and Applications. Lausanne: Institute of Electrical and Electronics Engineers, 2016, s. 1-4. ISBN 978-2-8399-1844-2.
 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.
 VAVERKA Filip. Case Study on Multi-domain Decomposition of k-Wave Simulation Framework. In: Computer achitectures and diagnostics 2016. Brno: Fakulta informačních technologií VUT v Brně, 2016, s. 37-40. ISBN 978-80-214-5376-0.
 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.
 VEĽAS Martin a ŠPANĚL Michal. Improving Multi-view Object Recognition by Detecting Changes in Point Clouds. In: IEEE Symposium on Computational Intelligence for Multimedia, Signal and Vision Processing. Atény: IEEE Computer Society, 2016, s. 1-7. ISBN 978-1-5090-4239-5.
 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.
 VESELÝ Karel, WATANABE Shinji, ŽMOLÍKOVÁ Kateřina, KARAFIÁT Martin, BURGET Lukáš a ČERNOCKÝ Jan. Sequence Summarizing Neural Network for Speaker Adaptation. In: Proceedings of the 41th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2016), 2016. Shanghai: IEEE Signal Processing Society, 2016, s. 5315-5319. ISBN 978-1-4799-9988-0.
 VESELÝ Vladimír, REK Vít a RYŠAVÝ Ondřej. Babel Routing Protocol for OMNeT++ - More than just a new simulation module for INET framework. In: Proceedings of 3rd OMNeT++ Community Summit. Ithaca, NY: Cornell University Library, 2016, s. 1-5. ISSN 2331-8422.
 VOJVODA Jakub a BERAN Vítězslav. Feature extraction for efficient image and video segmentation. In: Proceedings of SCCG 2016. Smolenice: Association for Computing Machinery, 2016, s. 1-7. ISBN 978-1-4503-3693-2.
 WIGLASZ Michal a DRAHOŠOVÁ Michaela. Plastic Fitness Predictors Coevolved with Cartesian Programs. In: 19th European Conference on Genetic programming. Berlin: Springer International Publishing, 2016, s. 164-179. ISBN 978-3-319-30667-4.
 ZACHARIÁŠ Michal a HEROUT Adam. Color Theme-Based Digital Art for Augmented Environment. In: Proceedings of the 2016 International Conference on Digital Arts, Media and Technology. Chiang Rai, 2016, s. 1-6. ISBN 978-1-5090-5209-7.
 ZACHARIÁŠ Michal, SZENTANDRÁSI István a HEROUT Adam. Visual Correction of Position Drift using Uniform Marker Fields. In: Proceedings of the 32nd Spring conference on Computer Graphics. Bratislava: Association for Computing Machinery, 2016, s. 1-5. ISBN 978-1-4503-4436-4.
 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.
 ŽÁ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. In: Proceedings of ISDA 2015. Marrakesh: Machine Intelligence Research Labs, 2016, s. 160-165. ISBN 978-1-4673-8712-5.
 ŽMOLÍKOVÁ Kateřina, KARAFIÁT Martin, VESELÝ Karel, DELCROIX Marc, WATANABE Shinji, BURGET Lukáš a ČERNOCKÝ Jan. Data selection by sequence summarizing neural network in mismatch condition training. In: Proceedings of Interspeech 2016. San Francisco: International Speech Communication Association, 2016, s. 2354-2358. ISBN 978-1-5108-3313-5.

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

DNSSEC [dnssec]