Department of Intelligent Systems

Publications

Author: From year: Years:
Title: Keywords:
Type:
   
2017BAROTOVÁ Štěpánka and DRAHANSKÝ Martin. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In: Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Darmstadt: Springer Verlag, 2017, pp. 267-274. ISBN 978-3-88579-664-0.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Recent Advances in Designing Robust Probabilistic Systems. 2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract). Berlin, 2017.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: Proceedings of 14th IEEE International Conference On Software Architecture. To appear in IEEE: IEEE Computer Society, 2017, pp. 131-140. ISBN 978-1-5090-5729-0.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: 14th International Conference on Quantitative Evaluation of SysTems. To appear in LNCS: Springer Verlag, 2017, pp. 1-4.
 CARDELLI Luca, ČEŠKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola and WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. To appear in LNCS, 2017, pp. 1-20.
 CHALOUPKA Jan, KOCINA Filip, VEIGEND Petr, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Multiple Integral Computations. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX, 2017, pp. 1-12.
 DRAHANSKÝ Martin and KANICH Ondřej. Skin Diseases in Fingerprints. Praha, 2017.
 DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka and MOHELNÍK Petr. Measurement of light sources. Brno: Faculty of Information Technology BUT, 2017.
 DRAHANSKÝ Martin, KANICH Ondřej and BŘEZINOVÁ Eva. Challenges for fingerprint recognition - spoofing, skin diseases and environmental effects. Handbook of Biometrics for Forensic Science. Cham: Springer Verlag, 2017, pp. 63-83. ISBN 978-3-319-50671-5.
 DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5.
 DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej and BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 407-414. ISSN 1614-0702.
 DRAHANSKÝ Martin, SPURNÝ Martin and GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 415-421. ISSN 1614-0702.
 DRAHANSKÝ Martin. Detector of Weapons in Video. Praha, 2017.
 DRAHANSKÝ Martin. Multispectral Optical Properties of Human Hands Skin. Lillehammer, 2017.
 DRAHANSKÝ Martin. Bezpečnosť biometrických systémov. PC Revue. Bratislava: unknown, 2017, vol. 2017, no. 5, pp. 96-99. ISSN 1335-0226.
 DVOŘÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: Brno University of Defence, 2017, pp. 17-29. ISBN 978-80-7231-414-0.
 DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. Formal Methods in System Design. Berlin: Springer Verlag, 2017, vol. 2017, no. 1, pp. 1-33. ISSN 0925-9856.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISSN 0302-9743.
 FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš and VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 407-425. ISBN 978-3-662-54576-8.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Cham: Springer Verlag, 2017, pp. 288-309. ISBN 978-3-319-52234-0.
 HOMOLIAK Ivan, BARABAS Maroš and HANÁČEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5.
 HOMOLIAK Ivan, BREITENBACHER Dominik and HANÁČEK Petr. Convergence Optimization of Backpropagation Artificial Neural Network Used for Dichotomous Classification of Intrusion Detection Dataset. Journal of Computers. Chengdu, Sichuan: 2017, vol. 12, no. 2, pp. 143-155. ISSN 1796-203X.
 HOMOLIAK Ivan, ŠULÁK Ladislav and HANÁČEK Petr. Features for Non-payload Based Behavioral Intrusion Detection of Connectionless Network Buffer Overflow Attacks. In: Information Security Applications - 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers. Jeju Island: Springer International Publishing, 2017, pp. 66-78. ISBN 978-3-319-56549-1.
 HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, pp. 1-15. ISSN 0302-9743.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Brno: Faculty of Information Technology BUT, 2017.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 365-369. ISBN 978-3-662-54580-5.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁ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, pp. 1-12. ISSN 1759-3433.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁ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, pp. 274-285. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 KANICH Ondřej and DRAHANSKÝ Martin. Simulation of Synthetic Fingerprint Generation Using Petri Nets. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 6, no. 3, pp. 1-17. ISSN 2047-4938.
 KAČIC Matej and BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1.
 KOCINA Filip, NEČASOVÁ Gabriela, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Modelling VLSI Circuits Using Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
 KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6.
 KUČERA Radek, ŠÁTEK Václav, HASLINGER Jaroslav, FIALOVÁ Simona and POCHYLÝ František. Modeling of hydrophobic surfaces by the Stokes problem with the stick-slip boundary conditions. Journal of Fluids Engineering. 2017, vol. 2017, no. 139, pp. 1-9. ISSN 0098-2202.
 KUČERA Radek, ŠÁTEK Václav, HASLINGER Jaroslav, POCHYLÝ František, KOKO Jonas and 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, pp. 1-4. ISSN 0094-243X.
 LAI Kenneth K., KANICH Ondřej, DVOŘÁK Michal, DRAHANSKÝ Martin, YANUSHKEVICH Svetlana and SHMERKO Vlad. P. Biometric-Enabled Watchlists Technology. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 6, no. 6, pp. 1-10. ISSN 2047-4938.
 LAURENTI Luca, ABATE Alessandro, BORTOLUSSI Luca, CARDELLI Luca, ČEŠKA Milan and 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, pp. 55-64. ISBN 978-1-4503-4590-3.
 LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak and RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 499-517. ISBN 978-3-662-46680-3.
 LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin and ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal. Žilina: University of Žilina, 2017, vol. 3, no. 1, pp. 1-8. ISSN 2453-7314.
 MOTYČKOVÁ Kristina, KUČERA Radek, MAKROPOULOS Alexandros and ŠÁ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, pp. 1-4. ISSN 0094-243X.
 NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Solving Wave Equation Using Finite Differences and Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 VEIGEND Petr, NEČASOVÁ Gabriela, KOCINA Filip, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Real Time Simulation of Transport Delay. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA. To appear in IEEE, 2017, pp. 1-8. ISBN 978-1-5386-3093-8.
 ČEŠKA Milan, ČEŠKA Milan and PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. Processing of Sixteenth International Conference on Computer Aided Systems Theory (Extended Abstract). Las Palmas de Gran Canaria, 2017.
2016ABATE Alessandro, ČEŠKA Milan and 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, pp. 1-16. ISBN 978-3-319-46519-7.
 ALDEGHERI Stefano, BARNAT Jiří, BOMBIERI Nicola, BUSATO Federico and ČEŠKA Milan. Parametric Multi-Step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components. In: Proceedings of 2nd Workshop on Performance Engineering for Large Scale Graph Analytics. Cham: Springer Verlag, 2016, pp. 519-531. ISBN 978-3-319-58942-8.
 ALMEIDA Ricardo, HOLÍK Lukáš and MAYR Richard. Reduction of Nondeterministic Tree Automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Berlin Heidelberg: Springer Verlag, 2016, pp. 717-735. ISBN 978-3-662-49673-2.
 ARON Lukáš and 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, pp. 22-30. ISBN 978-0-7354-1352-8.
 ARON Lukáš and HANÁČEK Petr. Dynamic Permission Mechanism on Android. Journal of Software. Oulu: 2016, vol. 2016, no. 12, pp. 1124-1230. ISSN 1796-217X.
 ARON Lukáš and 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, pp. 7-14. ISBN 978-1-941968-31-4.
 BAROTOVÁ Štěpánka, DRAHANSKÝ Martin and PERNICKÝ Radim. Detection of Ridge Damages in Fingerprint Recognition Caused by Skin Diseases. International Journal of Signal Processing, Image Processing and Pattern Recognition. 2016, vol. 9, no. 11, pp. 125-146. ISSN 2005-4254.
 BREITENBACHER Dominik, HOMOLIAK Ivan, JAROŠ Jiří and HANÁČEK Petr. Impact of Optimization and Parallelism on Factorization Speed of SIQS. In: Proceedings of The 20th World Multi-Conference on Systemics, Cybernetics and Informatics. Orlando: The International Institute of Informatics and Systemics, 2016, pp. 55-62. ISBN 978-1-941763-41-4.
 BREITENBACHER Dominik, HOMOLIAK Ivan, JAROŠ Jiří and HANÁČEK Petr. Impact of Optimization and Parallelism on Factorization Speed of SIQS. Journal on Systemics, Cybernetics and Informatics. 2016, vol. 14, no. 3, pp. 51-58. ISSN 1690-4524.
 BÁRTA Milan and DRAHANSKÝ Martin. Generation of Skin Diseases into Synthetic Fingerprints. International Journal of Image Processing. 2016, vol. 10, no. 5, pp. 229-248. ISSN 1985-2304.
 CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Hades: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016). Sydney: School of Computer Science and Engineering, University of New South Wales, 2016, pp. 87-93. ISSN 2075-2180.
 CHEN Yu-Fang, HSIEH Chiao, LENGÁL Ondřej, LII Tsung-Ju, TSAI Ming-Hsien, WANG Bow-Yaw and 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, pp. 714-724. ISBN 978-1-4503-3900-1.
 DALECKÝ Štěpán, SNÁŠELOVÁ Petra, LUŽA Radim, ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. SmartMowers as a Part of a SmartCity. In: Sbornik ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 156-160. ISBN 978-1-4673-8605-0.
 DRAHANSKÝ Martin, KANICH Ondřej, BŘEZINOVÁ Eva and SHINODA Koichi. Experiments with optical properties of skin on fingers. International Journal of Optics and Applications. Rosemead: Scientific & Academic Publishing, 2016, vol. 2016, no. 2, pp. 37-46. ISSN 2168-5053.
 DRAHANSKÝ Martin, LUŽA Radim and ZBOŘIL František V. Localization of rescue robot in hybrid environment. In: ICCITR2016. Dubai: Higher Institute of Technological Studies, 2016, pp. 1-4. ISBN 978-9973-9816-2-2.
 DRAHANSKÝ Martin, LUŽA Radim and ZBOŘIL František V. RUDA - Robot for Search for Human Beings in Debrits and Avalanches. In: Proceedings of ISDA 2015. Marrakesh: Faculty of Information Technology, Czech Technical University, 2016, pp. 1-6. ISBN 978-1-4673-8712-5.
 DRAHANSKÝ Martin. Moderní biometrické systémy založené na více charakteristikách a jejich vlastnosti. Vědecké spisy Vysokého učení technického v Brně. Brno: Publishing house of Brno University of Technology VUTIUM, 2016. ISBN 978-80-214-5451-4.
 DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek and VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03. Brno, 2016.
 DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek and VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Berlin Heidelberg: Springer Verlag, 2016, pp. 431-452. ISBN 978-3-662-49121-8.
 EASTWOOD Shawn C., SHMERKO Vlad. P., YANUSHKEVICH Svetlana, DRAHANSKÝ Martin and GORODNICHY Dmitry. Biometric-Enabled Authentication Machines: A Survey of Open-Set Real-World Applications. IEEE Transactions on Human-Machine Systems. Washington: Institute of Electrical and Electronics Engineers, 2016, vol. 46, no. 2, pp. 2168-2291. ISSN 2168-2291.
 HAZIZA Frédéric, HOLÍK Lukáš, MEYER Roland and WOLF Sebastian. Pointer Race Freedom. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Berlin: Springer Verlag, 2016, pp. 393-412. ISBN 978-3-662-49121-8.
 HENZL Martin and HANÁČEK Petr. A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards. Radioengineering. 2016, vol. 2016, no. 1, pp. 132-139. ISSN 1210-2512.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Run Forester, Run Backwards! (Competition Contribution). In: Proceedings of TACAS'16. Heidelberg: Springer Verlag, 2016, pp. 923-926. ISBN 978-3-662-49673-2.
 HOLÍK Lukáš, KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika, TRTÍK Marek and VOJNAR Tomáš. Predator Shape Analysis Tool Suite. In: Proceedings of HVC 2016. Zurich: Springer Verlag, 2016, pp. 202-209. ISBN 978-3-319-49052-6.
 HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology. In: 2nd Workshop on Approximate Computing (WAPCO 2016). Prague, 2016, pp. 1-6.
 HOLÍK Lukáš, MEYER Roland and MUSKALLA Sebastian. An Anti Chain-based Approach to Recursive Program Verification. In: Proceedings of International Conference on Networked Systems. Cham: Springer International Publishing, 2016, pp. 322-336. ISBN 978-3-319-26849-1.
 HOLÍK Lukáš, MEYER Roland and MUSKALLA Sebastian. Summaries for Context-Free Games. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, pp. 41-57. ISBN 978-3-95977-027-9.
 IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. In: Tools and Algorithms for the Construction and Analysis of Systems. Heidelberg: Springer Verlag, 2016, pp. 71-89. ISBN 978-3-662-49673-2.
 KANICH Ondřej and DRAHANSKÝ Martin. Currently Used Swipe Fingerprint Sensors. International Journal of Bio-Science and Bio-Technology. Daedok: Science & Engineering Research Support Center, 2016, vol. 8, no. 1, pp. 381-386. ISSN 2233-7849.
 KOCINA Filip, KUNOVSKÝ Jiří, NEČASOVÁ Gabriela, ŠÁTEK Václav and VEIGEND Petr. Parallel solution of higher order differential equations. In: Proceedings of the 2016 International Conference on High Performance Computing & Simulation (HPCS 2016). Insbruck: Institute of Electrical and Electronics Engineers, 2016, pp. 302-309. ISBN 978-1-5090-2088-1.
 KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In: Proceedings of TACAS 2016. Heidelberg: Springer Verlag, 2016, pp. 942-945. ISBN 978-3-662-49673-2.
 KOČÍ Radek and JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, pp. 160-165. ISBN 978-1-61208-498-5.
 LUŽA Radim, ZBOŘIL František V. and DRAHANSKÝ Martin. High-level control of RUDA - the robot for rescuing people in debris and under avalanches. In: ICCC. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 467-472. ISBN 978-1-4673-8605-0.
 MALČÍK Dominik and DRAHANSKÝ Martin. Microscopic Analysis of Chips. International Journal of Security and Its Applications. Daejeon: Science & Engineering Research Support Center, 2016, vol. 2016, no. 11, pp. 47-66. ISSN 1738-9976.
 PACURA Dávid and DRAHANSKÝ Martin. CUDA Accelerated Real-time Digital Image Stabilization in a Video Stream. International Journal of Software Engineering and Its Applications. Daegu: Science & Engineering Research Support Center, 2016, vol. 10, no. 6, pp. 113-124. ISSN 1738-9984.
 PLASCENCIA Alfredo C. and ROZMAN Jaroslav. Towards a User-Wheelchair Shared Control Paradigm for Individuals with Severe Motor Impairments. In: ICINCO 2016 13th International Conference on Informatics in Control, Automation and Robotics. Lisabon: Institute for Systems and Technologies of Information, Control and Communication, 2016, pp. 246-254. ISBN 978-989-758-198-4.
 SMETKA Tomáš, HOMOLIAK Ivan and 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, pp. 1-8. ISBN 978-1-5090-1072-1.
 VANČO Matúš and ARON Lukáš. Dynamic Security Policy Enforcement on Android. International Journal of Security and Its Applications. Daejeon: Science & Engineering Research Support Center, 2016, vol. 2016, no. 10, pp. 141-148. ISSN 1738-9976.
 VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2016. Brno: Red Hat Czech, 2016.
 VÁVRA Petr and DRAHANSKÝ Martin. Ovládání inteligentní domácnosti. Brno, 2016.
 YANUSHKEVICH Svetlana, EASTWOOD Shawn C., DRAHANSKÝ Martin and SHMERKO Vlad. P. Understanding and taxonomy of uncertainty in modeling, simulation, and risk profiling for border control automation. Journal of Defence Modeling and Simulation. Thousand Oak: SAGE Publications, 2016, vol. 2016, no. 7, pp. 1-15. ISSN 1548-5129.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Hexapod Robot: Test Platform for Bio-Inspired Controllers. In: Sbornik ICCC 2016. Tatranská Lomnica: The University of Technology Košice, 2016, pp. 819-824. ISBN 978-1-4673-8605-0.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. In: Proceedings of ISDA 2015. Marrakesh: Machine Intelligence Research Labs, 2016, pp. 160-165. ISBN 978-1-4673-8712-5.
 ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Overview of Bio-Inspired Control Mechanisms for Hexapod Robot. International Journal of Computer Information Systems and Industrial Management Applications. 2016, vol. 2016, no. 8, pp. 125-134. ISSN 2150-7988.
 ČEŠKA Milan, DANNENBERG Frits, KWIATKOWSKA Marta, PAOLETTI Nicola and BRIM Luboš. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica. 2016, vol. 2016, no. 1, pp. 1-35. ISSN 0001-5903.
 ČEŠKA Milan, PILAŘ Petr, PAOLETTI Nicola, BRIM Luboš and 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, pp. 367-384. ISBN 978-3-662-49673-2. ISSN 0302-9743.
2015ABDULLA Parosh A., ATIG Mohamed F., HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed, RUMMER Philipp and STENMAN Jari. Norn: An SMT Solver for String Constraints. In: Computer Aided Verification. Cham: Springer International Publishing, 2015, pp. 462-469. ISBN 978-3-319-21689-8.
 ABDULLA Parosh A., HAZIZA Frédéric and HOLÍK Lukáš. Parameterized verification through view abstraction. International Journal on Software Tools for Technology Transfer. 2015, vol. 2016, no. 5, pp. 495-516. ISSN 1433-2779.
 ABDULLA Parosh A., HAZIZA Frédéric and HOLÍK Lukáš. View Abstraction - A Tutorial. In: 2nd International Workshop on Synthesis of Complex Parameters. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015, pp. 1-15. ISBN 978-3-939897-82-8.
 ABDULLA Parosh A., HOLÍK Lukáš, JONSSON Bengt, LENGÁL Ondřej, TRINH Quy Cong and VOJNAR Tomáš. Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica. 2015, vol. 53, no. 4, pp. 357-385. ISSN 0001-5903.
 ARON Lukáš and HANÁČEK Petr. Introduction to Android 5 Security. In: Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015. Pec pod Snezkou: CEUR-WS.org, 2015, pp. 103-112. ISBN 978-80-87136-20-1.
 ARON Lukáš and HANÁČEK Petr. Overview of security on mobile devices. In: The 2nd IEEE World Symposium on Web Application and Networking (WSWAN'2015). Sousse: N&N Global Technology, 2015, pp. 2-16. ISBN 978-9938-9563-3-7.
 ARON Lukáš. Security Threats on Mobile Devices. Handbook of Research on New Threats and Countermeasures in Digital Crime and Cyber Terrorism. St. Louis: IGI Global, 2015, pp. 30-53. ISBN 978-1-4666-8345-7.
 BERAN Vítězslav, KAPINUS Michal, KLICNAR Lukáš, MATERNA Zdeněk, HRADIŠ Michal, FRÖML Vojtěch, VOLF Tomáš, MRÁČEK Štěpán, ZENDULKA Jaroslav and ZEMČÍK Pavel. VideoTerror demonstrator. Event-based Video Analytic Tool (EVIDANT). Technical Report FIT - VG20102015006 - 2015 - 02, Brno, 2015.
 BREITENBACHER Dominik, HOMOLIAK Ivan and HANÁČEK Petr. Parallelized Self-Initializing Quadratic Sieve using OpenMP. In: Santa's Crypto Get-Together 2015. Praha: Trusted Network Solutions, a.s., 2015, pp. 39-40. ISBN 978-80-904257-7-4.
 CHALOUPKA Jan, KUNOVSKÝ Jiří, MARTINKOVIČOVÁ Alžbeta, ŠÁTEK Václav and THONHOFER Elvira. Multiple Integral Computations Using Taylor Series. In: 12th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 CHALOUPKA Jan, KUNOVSKÝ Jiří, ŠÁTEK Václav, VEIGEND Petr and MARTINKOVIČOVÁ Alžbeta. Numerical Integration of Multiple Integrals Using Taylor's Polynomial. In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Colmar: SciTePress - Science and Technology Publications, 2015, pp. 163-171. ISBN 978-989-758-120-5.
 CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory (EUROCAST 2015). Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 193-194. ISBN 978-84-606-5438-4.
 CHMELAŘ Petr, DROZD Michal, ŠEBEK Michal and ZENDULKA Jaroslav. Real-Time Indexing of Complex Data Streams. In: Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering. Cham: Springer International Publishing, 2015, pp. 371-378. ISBN 978-3-319-06772-8.
 DALECKÝ Štěpán and ZBOŘIL František V. An Approach to ANFIS Performance. In: Advances in Intelligent Systems and Computing. Brno, 2015, pp. 195-206. ISBN 978-3-319-19823-1.
 DRAHANSKÝ Martin and KANICH Ondřej. Vulnerabilities of Biometric Systems. In: Security and Protection of Information 2015. Brno: Brno University of Defence, 2015, pp. 53-60. ISBN 978-80-7231-997-8.
 DRAHANSKÝ Martin, HANÁČEK Petr, ZBOŘIL František, HENZL Martin, ZBOŘIL František V., YIM Jaegeol and SHIM Kyubark. Cryptomodules in Wireless Networks using Biometric Authentication: Securing Nodes in Wireless Networks. Improving Information Security Practices through Computational Intelligence. Washington: IGI Global, 2015, pp. 198-227. ISBN 978-1-4666-9426-2.
 DRAHANSKÝ Martin, KOLÁŘ Radim and MŇUK Tomáš. Elektronické zařízení pro snímání obrazu sítnice a duhovky oka. Česká a slovenská oftalmologie. 2015, vol. 71, no. 6, pp. 302-308. ISSN 1211-9059.
 DRAHANSKÝ Martin. Biometrics - Liveness Detection, Recognition of Finger Veins, 3D Hand, Eye Iris and Retina, 3D Face and Thermo-Face. Brno, 2015.
 DRAHANSKÝ Martin. Experiments with fingers, finger fakes and finger and hand veins. Gjovik, 2015.
 DRAHANSKÝ Martin. Úskalí biometrických systémů. Praha, 2015.
 FIALA Jiří and KOČÍ Radek. Computer as Therapy in role of alternative and augmentative communication. In: Proceedings of 4th International Conference on Advanced in Computing and Emerging E-Learning Technology. Singapore, 2015, pp. 34-42.
 FIEDOR Jan, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. Advances in Noise-based Testing of Concurrent Programs. Software Testing, Verification and Reliability. 2015, vol. 25, no. 3, pp. 272-309. ISSN 1099-1689.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 177-178. ISBN 978-84-606-5438-4.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Heidelberg: Springer Verlag, 2015, pp. 555-564. ISBN 978-3-319-27339-6.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Heidelberg: Springer Verlag, 2015, pp. 73-87. ISBN 978-3-319-14895-3.
 FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Nested Antichains for WS1S. In: Proceedings of TACAS'15. Heidelberg: Springer Verlag, 2015, pp. 658-674. ISBN 978-3-662-46680-3.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: Shape Analysis Using Tree Automata (Competition Contribution). In: Proceedings of TACAS'15. Heidelberg: Springer Verlag, 2015, pp. 431-434. ISBN 978-3-662-46680-3.
 HOLÍK Lukáš, ISBERNER Malte and JONSSON Bengt. Mediator Synthesis in a Component Algebra with Data. In: Correct System Design. Berlin: Springer Verlag, 2015, pp. 238-259. ISBN 978-3-319-23505-9.
 HÁJEK Josef, DRAHANSKÝ Martin, KOLÁŘ Radim, ODSTRČILÍK Jan and BOROVSKÝ Ján. Bimodal eye imaging system. In: Signal-Image Technology and Internet-Based Systems. Bangkok: Institute of Electrical and Electronics Engineers, 2015, pp. 572-575. ISBN 978-1-4673-9721-6.
 IAREMKO Iaroslav, ARON Lukáš and HANÁČEK Petr. Improving IP Geolocation Using Network Measurement Characteristics. In: HKICEAS. Hong Kong: Higher Education Forum, 2015, pp. 210-220. ISBN 978-986-87417-4-4.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁTEK Václav. A New Variant of the Path-Following Algorithm for the Parallel Solving of the Stokes Problem with Friction. In: CCP: 107 PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, GRID AND CLOUD COMPUTING FOR ENGINEERING. Stirlingshire, 2015, pp. 1-12. ISBN 978-1-905088-62-1. ISSN 1759-3433.
 KOCINA Filip, KUNOVSKÝ Jiří, MAREK Martin, NEČASOVÁ Gabriela, SCHIRRER Alexander and ŠÁTEK Václav. New Trends in Taylor Series Based Computations. In: 12th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 KOCINA Filip, VEIGEND Petr, NEČASOVÁ Gabriela and KUNOVSKÝ Jiří. Parallel Computations of Differential Equations. In: Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: Ing. Vladislav Pokorný - Litera, 2015, pp. 28-35. ISBN 978-80-214-5254-1.
 KOCINA Filip, ŠÁTEK Václav, VEIGEND Petr, NEČASOVÁ Gabriela, VALENTA Václav and KUNOVSKÝ Jiří. New Trends in Taylor Series Based Applications. In: 13rd International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 KOLÁŘ Radim, SEMERÁD Lukáš, DRAHANSKÝ Martin, ODSTRČILÍK Jan, HÁJEK Josef and BOROVSKÝ Ján. Bimodal Eye Imaging System for Biometric and Medical Applications. In: Security and Protection of Information 2015. Brno: Brno University of Defence, 2015, pp. 83-95. ISBN 978-80-7231-997-8.
 KOČÍ Radek and JANOUŠEK Vladimír. The Object Oriented Petri Net Component Model. In: The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015, pp. 18-24. ISBN 978-1-61208-438-1.
 KUNOVSKÝ Jiří, ŠÁTEK Václav, NEČASOVÁ Gabriela, VEIGEND Petr and KOCINA Filip. The Positive Properties of Taylor Series Method. In: Proceedings of the 13th International Conference Informatics' 2015. Poprad: Institute of Electrical and Electronics Engineers, 2015, pp. 156-160. ISBN 978-1-4673-9867-1.
 KUNOVSKÝ Jiří, ŠÁTEK Václav, VALDMAN Jan and VALENTA Václav. Construction of P1 Gradient from P0 Gradient by Averaging. In: 12th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1287-3. ISSN 0094-243X.
 KUNOVSKÝ Jiří. Modern Taylor Series Method. In: Proceedings of the 2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015. Poprad: Institute of Electrical and Electronics Engineers, 2015, pp. 1-8. ISBN 978-1-4673-9867-1.
 MRÁČEK Štěpán, DVOŘÁK Radim, VÁŇA Jan, NOVOTNÝ Tomáš and DRAHANSKÝ Martin. 3D Face Recognition Utilizing a Low-Cost Depth Sensor. In: 11th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2015). Ljubljana, 2015, pp. 1-1.
 MRÁČEK Štěpán. Real-time Face Recognition. Utilization of face recognition algorithms in real-time environment. Technical Report FIT - VG20102015006 - 2015 - 03, Brno, 2015.
 MÜLLER Petr, PERINGER Petr and VOJNAR Tomáš. Predator Hunting Party (Competition Contribution). In: Proceedings of TACAS'15. Heidelberg: Springer Verlag, 2015, pp. 443-446. ISBN 978-3-662-46680-3.
 NEČASOVÁ Gabriela, KUNOVSKÝ Jiří, ŠÁTEK Václav, CHALOUPKA Jan and VEIGEND Petr. Multiple Integral Computations Using Taylor Series. In: MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2015, pp. 705-706. ISBN 978-3-901608-46-9.
 NOVOSAD Petr and ČEŠKA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015.
 NOVOSAD Petr and ČEŠKA Milan. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 183-184. ISBN 978-84-606-5438-4.
 ORSÁG Filip. Aplikace Anonymizér. Technická zpráva FIT - VG20102015006 - 2015 - 05, Brno, 2015.
 ORSÁG Filip. Funkční vzor sledovacího systému - závěrečná zpráva. Technická zpráva FIT - VG20102015006 - 2015 - 04, Brno, 2015.
 RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Dynamic Software Architecture for Distributed Embedded Control Systems. In: ADECS '15. Bruxelles: CEUR-WS.org, 2015, pp. 1-15. ISBN 1-234-56789-X. ISSN 1613-0073.
 SEMERÁD Lukáš and DRAHANSKÝ Martin. Biometric entropy of retina. In: Proceedings of Information and Digital Technologies 2015. Žilina: University of Žilina, 2015, pp. 291-293. ISBN 978-1-4673-7185-8.
 SMETKA Tomáš, HOMOLIAK Ivan and HANÁČEK Petr. Cryptanalysis of Symmetric Encryption Algorithm Using Symbolic Regression and Genetic Programming. In: Santa's Crypto Get-Together 2015. Praha: TNS, 2015, pp. 43-44. ISBN 978-80-904257-7-4.
 SNÁŠELOVÁ Petra and ZBOŘIL František V. Genetic Algorithm using Theory of Chaos. Procedia Computer Science. 2015, vol. 2015, no. 51, pp. 316-325. ISSN 1877-0509.
 SPURNÝ Jan, KANICH Ondřej, DRAHANSKÝ Martin, DOLEŽEL Michal and SHINODA Koichi. New materials for spoofing touch-based fingerprint scanners. In: Proceedings of International Conference on Computer Application Technologies 2015. Matsue: IEEE Computer Society, 2015, pp. 207-211. ISBN 978-1-4673-8211-3.
 STUCHLÍK Mikoláš, DRAHANSKÝ Martin, BLAHA Marek and SEPŠI Milan. Aplikace pro iOS na rozpoznání hematomu. Brno, 2015.
 SVOBODA Jan, BRONSTEIN Michael and DRAHANSKÝ Martin. Contactless biometric hand geometry recognition using a low-cost 3D camera. In: Proceedings 2015 International Conference on Biometrics. Phuket: IEEE Biometric Council, 2015, pp. 452-457. ISBN 978-1-4799-7824-3.
 VALENTA Václav, NEČASOVÁ Gabriela, KUNOVSKÝ Jiří, ŠÁTEK Václav and KOCINA Filip. Adaptive Solution of the Wave Equation. In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Colmar: SciTePress - Science and Technology Publications, 2015, pp. 154-162. ISBN 978-989-758-120-5.
 VEIGEND Petr, KUNOVSKÝ Jiří, KOCINA Filip, NEČASOVÁ Gabriela, ŠÁTEK Václav and VALENTA Václav. Electronic Representation of Wave Equation. In: 13rd International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2015, pp. 1-4. ISBN 978-0-7354-1392-4. ISSN 0094-243X.
 VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2015. Brno: Red Hat Czech, 2015.
 YANUSHKEVICH Svetlana, EASTWOOD Shawn C., MANDERSON Travis L., SAMOIL Steven, DRAHANSKÝ Martin and SHMERKO Vlad. P. Taxonomy and Modeling of Impersonation in e-Border Authentication. In: Proceedings of EST 2015. Braunschweig: Technische Universität Braunschweig, 2015, pp. 1-6. ISBN 978-1-61208-427-5.
 ŠÁTEK Václav, KOCINA Filip, KUNOVSKÝ Jiří and SCHIRRER Alexander. Taylor Series Based Solution of Linear ODE Systems and MATLAB Solvers Comparison. In: MATHMOD VIENNA 2015 - 8th Vienna Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2015, pp. 693-694. ISBN 978-3-901608-46-9.
 ŽÁK Marek and ROZMAN Jaroslav. Design, Construction and Control of Hexapod Walking Robot. In: Infromatics 2015 Proceedings. Poprad: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2015, pp. 302-307. ISBN 978-1-4673-9867-1.

Your IPv4 address: 23.20.86.177
Switch to IPv6 connection

DNSSEC [dnssec]