Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
doc. Ing.
Ph.D., M.A.
FIT, UIFS – docent
+420 54114 1108matousp@fit.vut.cz
Odeslat VUT zprávu
2024
MUTUA, N.; NADJM-TEHRANI, S.; MATOUŠEK, P. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. 2024. s. 1-19. Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. Proceedings of 20th International Conference on Network and Service Management. Prague: 2024. s. 1-5. Detail | WWW
2023
HAVLENA, V.; MATOUŠEK, P.; RYŠAVÝ, O.; HOLÍK, L. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, 2023, roč. 2023, č. 14, s. 2352-2366. ISSN: 1949-3053.Detail | WWW
2022
POLČÁK, L.; MATOUŠEK, P. Metering Homes: Do Energy Efficiency and Privacy Need to be in Conflict?. In Proceedings of the 19th International Conference on Security and Cryptography. Lisabon: SciTePress - Science and Technology Publications, 2022. s. 47-58. ISBN: 978-989-758-590-6.Detail | WWW | Plný text v Digitální knihovně
2021
BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Anomaly Detection of ICS Communication Using Statistical Models. In Proceedings of the 17th International Conference on Network Service Management (CNSM 2021). Izmir: Institute of Electrical and Electronics Engineers, 2021. s. 166-172. ISBN: 978-3-903176-36-2.Detail | WWW
MATOUŠEK, P. Bezpečnostní rizika IoT. Brno: 2021. s. 1-12. Detail | WWW
MATOUŠEK, P. Security of Smart Grid Communication. Brno: Faculty of Information Technology BUT, 2021. s. 0-0. Detail | WWW
MATOUŠEK, P.; GROFČÍK, P. ICS Virtual Testbed. FIT-TR-2021-02, Brno: Faculty of Information Technology BUT, 2021. s. 0-0. Detail | WWW
MUTUA, N.; MATOUŠEK, P. Outlier Detection in Smart Grid Communication. Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference. Munich: 2021. s. 1-4. Detail | WWW
BURGETOVÁ, I.; MATOUŠEK, P.; MUTUA, N. Statistical Methods for Anomaly Detection in Industrial Communication. IT-TR-2021-01, Brno: Faculty of Information Technology BUT, 2021. s. 0-0. Detail | WWW
RYŠAVÝ, O.; MATOUŠEK, P. A Network Traffic Processing Library for ICS Anomaly Detection. In ECBS '21: Proceedings of the 7th Conference on the Engineering of Computer Based Systems. Novi Sad: Association for Computing Machinery, 2021. s. 144-151. ISBN: 978-1-4503-9057-6.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; POLČÁK, L. Unified SNMP Interface for IoT Monitoring. In Proceedings of the IM 2021 - 2021 IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021. s. 938-943. ISBN: 978-3-903176-32-4.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O. Teaching ICS Security in Blended Classroom Environment. In Proceedings of the 2021 30th Annual Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE). Prague: Czech Technical University, 2021. s. 148-153. ISBN: 978-1-7281-9324-3.Detail | WWW
MATOUŠEK, P.; HAVLENA, V.; HOLÍK, L. Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. In Proceedings of IFIP/IEEE International Symposium on Integrated Network Management. Bordeaux: International Federation for Information Processing, 2021. s. 81-89. ISBN: 978-3-903176-32-4.Detail | WWW
MATOUŠEK, P.; BURGETOVÁ, I.; RYŠAVÝ, O.; VICTOR, M. On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. In Digital Forensics and Cyber Crime. ICDF2C 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Boston: Springer International Publishing, 2021. s. 1-22. ISBN: 978-3-030-68733-5.Detail | WWW
MATOUŠEK, P.; KRAJČ, P. Monitoring of IoT Devices Using SNMP. IT-TR-2020-10, Brno: Faculty of Information Technology BUT, 2021. s. 0-0. Detail | WWW
MATOUŠEK, P.; PRISTAŠ, J.; MASÁROVÁ, M. Simulation of Industrial Processes using I/O Factory and UniPi. IT-TR-2020-09, Brno: Faculty of Information Technology BUT, 2021. s. 0-0. Detail | WWW
2020
HAVLENA, V.; HOLÍK, L.; MATOUŠEK, P. Learning Probabilistic Automata in the Context of IEC 104. IT-TR-2020-01, Brno: Faculty of Information Technology BUT, 2020. s. 0-0. Detail | WWW
MATOUŠEK, P.; BURGETOVÁ, I.; VICTOR, M. Mobile Device Fingerprinting. FIT-TR-2020-05, Brno: 2020. s. 0-0. Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; HAVLENA, V.; GRÉGR, M. Flow based monitoring of ICS communication in the smart grid. Journal of Information Security and Applications, 2020, roč. 2020, č. 54, s. 102535-102535. ISSN: 2214-2126.Detail | WWW
POLČÁK, L.; RYŠAVÝ, O.; MATOUŠEK, P. Identity Linking in Computer Networks. In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, DCNET, OPTICS, SIGMAP and WINSYS. Setubal: SciTePress - Science and Technology Publications, 2020. s. 45-52. ISBN: 978-989-758-445-9.Detail | WWW
2019
RYŠAVÝ, O.; MATOUŠEK, P. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Faculty of Information Technology BUT, 2019. s. 0-0. Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M. Increasing Visibility of IEC 104 Communication in the Smart Grid. 6th International Symposium for ICS & SCADA Cyber Security Research 2019. Swindon: BCS Learning and Development Ltd., 2019. s. 21-30. ISBN: 978-1-78017-523-2.Detail | WWW | Plný text v Digitální knihovně
MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M. Security Monitoring of IoT Communication Using Flows. In Proceedings of the 6th Conference on the Engineering of Computer Based Systems. ECBS '19. New York: Association for Computing Machinery, 2019. s. 1-9. ISBN: 978-1-4503-7636-5.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; BURGETOVÁ, I. Extending Networking Curriculum with Applied Artificial Intelligence. In Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019. s. 11-16. ISBN: 978-1-7281-3222-8.Detail | WWW
2018
MATOUŠEK, P. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Faculty of Information Technology BUT, 2018. s. 0-0. Detail | WWW
MATOUŠEK, P.; SCHMIEDECKER, M. Digital Forensics and Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Cham: Springer International Publishing, 2018. 235 s. ISBN: 978-3-319-73697-6.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; JAMES, J.; JANG, Y. Interconnecting Education and Research Through International Partnership: IoT Case Study. In 2018 28th EAEEIE Annual Conference, EAEEIE 2018. Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018. s. 1-6. ISBN: 978-1-5386-7711-7.Detail | WWW
2017
MATOUŠEK, P. Analysis of DLMS Protocol. FIT-TR-2017-13, Brno: 2017. s. 0-0. Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; ONYANGO, C.; SEVILLA, J. Delivering ICT Security Courses over 5.944 km. In Proceedings of the 27th EAEEIE Annual Conference. Grenoble: Grenoble Institute of Technology, 2017. s. 1-7. ISBN: 978-1-7281-0907-7.Detail | WWW
HRANICKÝ, R.; ZOBAL, L.; VEČEŘA, V.; MATOUŠEK, P. Distributed Password Cracking in a Hybrid Environment. Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017. s. 75-90. ISBN: 978-80-7231-414-0.Detail | WWW
MATOUŠEK, P. Description and analysis of IEC 104 Protocol. FIT-TR-2017-12, Brno: Faculty of Information Technology BUT, 2017. s. 0-0. Detail | WWW
MATOUŠEK, P.; LOUB, R. On the Similarity of User-specific Features on Mobile Devices. Proceedings of SPI 2017. Brno: University of Defence in Brno, 2017. s. 1-11. Detail | WWW
MATOUŠEK, P. Detekce mobilních zařízení v síťové komunikaci. FIT-TR-2017-08, Brno: Fakulta informačních technologií VUT v Brně, 2017. s. 0-0. Detail | WWW
2016
HRANICKÝ, R.; MATOUŠEK, P.; RYŠAVÝ, O.; VESELÝ, V. 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.Detail | WWW
HRANICKÝ, R.; HOLKOVIČ, M.; MATOUŠEK, P.; RYŠAVÝ, O. On Efficiency of Distributed Password Recovery. The Journal of Digital Forensics, Security and Law, 2016, roč. 11, č. 2, s. 79-95. ISSN: 1558-7215.Detail | WWW
PLUSKAL, J.; RYŠAVÝ, O.; MATOUŠEK, P. On the Identification of Applications from Captured Network Traffic. New York: 2016. s. 0-0. Detail | WWW
2015
MATOUŠEK, P.; MUSIL, M.; MUSIL, P.; ZEMČÍK, P. Souhrnná zpráva projektu VoIP. Brno: CAMEA, spol. s r. o., 2015. s. 0-0. Detail
PLUSKAL, J.; MATOUŠEK, P.; RYŠAVÝ, O.; KMEŤ, M.; VESELÝ, V.; KARPÍŠEK, F.; VYMLÁTIL, M. Netfox Detective: A tool for advanced network forensics analysis. Proceedings of Security and Protection of Information (SPI) 2015. Brno: University of Defence in Brno, 2015. s. 147-163. ISBN: 978-80-7231-997-8.Detail | WWW
MATOUŠEK, P. Podrobný přehled výstupů projektu MV SEC6NET. Brno: 2015. s. 0-0. Detail | WWW
MATOUŠEK, P.; PLUSKAL, J.; RYŠAVÝ, O.; VESELÝ, V.; KMEŤ, M.; KARPÍŠEK, F.; VYMLÁTIL, M. Advanced Techniques for Reconstruction of Incomplete Network Data. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2015, roč. 2015, č. 157, s. 69-84. ISSN: 1867-8211.Detail | WWW
2014
MATOUŠEK, P. Souhrnná zpráva projektu VoIP - Architektura a bezpečnost komunikačních nástrojů v mobilních technologiích. Brno: CAMEA, spol. s r. o., 2014. s. 0-0. Detail
GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring on Campus - Best Practice Document. Vědecký sborník, 2014, roč. 2014, č. 1, s. 1-20. ISSN: 0572-3043.Detail | WWW
MATOUŠEK, P.; KMEŤ, M.; BASEL, M. On-line Monitoring of VoIP Quality Using IPFIX. Advances in Electrical and Electronic Engineering - intenetový časopis (http://advances.utc.sk), 2014, roč. 2014, č. 4, s. 325-333. ISSN: 1804-3119.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; GRÉGR, M.; VYMLÁTIL, M. Towards Identification of Operating Systems from the Internet Traffic. IPFIX Monitoring with Fingerprinting and Clustering. In DCNET2014. Proceedings of the 5th International Conference on Data Communication Networking. Wien: SciTePress - Science and Technology Publications, 2014. s. 21-27. ISBN: 978-989-758-042-0.Detail | WWW
POLČÁK, L.; JIRÁSEK, J.; MATOUŠEK, P. Comment on "Remote Physical Device Fingerprinting". IEEE Transactions on Dependable and Secure Computing, 2014, roč. 11, č. 5, s. 494-496. ISSN: 1545-5971.Detail | WWW
POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. Host Identity Detection in IPv6 Networks. In E-Business and Telecommunications. Communications in Computer and Information Science. Berlin: Springer Verlag, 2014. s. 74-89. ISBN: 978-3-662-44787-1. ISSN: 1865-0929.Detail | WWW
MATOUŠEK, P. Síťové služby a jejich architektura. Brno: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2014. 396 s. ISBN: 978-80-214-3766-1.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; KMEŤ, M. Fast RTP Detection and Codecs Classification in Internet Traffic. The Journal of Digital Forensics, Security and Law, 2014, roč. 2014, č. 2, s. 99-110. ISSN: 1558-7215.Detail | WWW
2013
VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast simulation and modeling in OMNeT++. SimuTools '13 Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. Brussels: International Communication Sciences and Technology Association, 2013. s. 142-145. ISBN: 978-1-4503-2464-9.Detail
DE SILVA, G.; RYŠAVÝ, O.; MATOUŠEK, P.; ŠVÉDA, M. On formal reachability analysis in networks with dynamic behavior. TELECOMMUNICATION SYSTEMS, 2013, roč. 52, č. 2, s. 919-929. ISSN: 1018-4864.Detail | WWW
POLČÁK, L.; HRANICKÝ, R.; MATOUŠEK, P. Hiding TCP Traffic: Threats and Counter-measures. Security and Protection of Information 2013, Proceedings of the Conference. Brno: University of Defence in Brno, 2013. s. 83-96. ISBN: 978-80-7231-922-0.Detail | WWW
POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. A New Approach for Detection of Host Identity in IPv6 Networks. In Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems. Reykjavík: SciTePress - Science and Technology Publications, 2013. s. 57-63. ISBN: 978-989-8565-72-3.Detail | WWW
MATOUŠEK, P.; MUSIL, M.; MUSIL, P.; ZEMČÍK, P. Sumarizace požadavků na třídy VoIP protokolů a jejich zpracování včetně možnosti implementace v FPGA - průběžná technická zpráva. Brno: 2013. s. 0-0. Detail
2012
VESELÝ, V.; MATOUŠEK, P.; ŠVÉDA, M. Multicast Simulation and Modeling in OMNeT++. Proceedings of the IEEE 5th International ICST Conference on Simulation Tools and Techniques. Desenzano del Garda: International Communication Sciences and Technology Association, 2012. s. 298-301. ISBN: 978-1-936968-47-3.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Static Analysis of Routing and Firewall Policy Configurations. In e-Business and Telecommunications. Communications in Computer and Information Science. LNCS CCIS, Vol.222. Heidelberg: Springer Science+Business Media B.V., 2012. s. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929.Detail | WWW
2011
POLČÁK, L.; GRÉGR, M.; KAJAN, M.; MATOUŠEK, P.; VESELÝ, V. Designing Lawful Interception in IPv6 Networks. Security and Protection of Information. Brno: University of Defence in Brno, 2011. s. 114-126. ISBN: 978-80-7231-777-6.Detail | WWW
GRÉGR, M.; MATOUŠEK, P.; PODERMAŃSKI, T.; ŠVÉDA, M. Practical IPv6 Monitoring - Challenges and Techniques. Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011). Dublin: IEEE Computer Society, 2011. s. 660-663. ISBN: 978-1-4244-9220-6.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P. Supporting Safe and Secure Networked System Design. Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. s. 22-23. ISBN: 978-84-693-9560-8.Detail
ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Reachability Analysis in Dynamically Routed Networks. Proceedings of the IEEE ECBS 2011. Piscataway, NJ: IEEE Computer Society, 2011. s. 197-205. ISBN: 978-0-7695-4379-6.Detail | WWW
2010
ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J. An Approach for Automated Network-Wide Security Analysis. Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010. s. 294-299. ISBN: 978-0-7695-3979-9.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O.; DE SILVA, G.; DANKO, M. Combination of Simulation and Formal Methods to Analyse Network Survivability. Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010. s. 150-155. ISBN: 978-963-9799-87-5.Detail | WWW
ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J.; ČEJKA, R. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010. s. 5-11. ISBN: 978-989-8425-25-6.Detail
DE SILVA, G.; MATOUŠEK, P.; RYŠAVÝ, O.; ŠVÉDA, M. Formal Analysis Approach on Networks with Dynamic Behaviours. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Moscow: IEEE Computer Society, 2010. s. 545-551. ISBN: 978-1-4244-7285-7.Detail | WWW
2009
MATOUŠEK, P.; SKOKANOVÁ, J. Nový univerzitní kurz "Multimédia v počítačových sítích". Brno: 2009. s. 0-0. Detail | WWW
2008
MATOUŠEK, P.; RYŠAVÝ, O.; RÁB, J.; ŠVÉDA, M. A Formal Model for Network-wide Security Analysis. Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems. Belfast: University of Ulster, 2008. s. 171-181. ISBN: 0-7695-3141-5.Detail | WWW
2007
SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. In Formal Methods: Applications and Technology. Lecture Notes in Computer Science. Lecture Notes in Computer Science 4346. Bonn: Springer Verlag, 2007. s. 148-164. ISBN: 978-3-540-70951-0. ISSN: 0302-9743.Detail
MATOUŠEK, P. Automatická analýza síťové bezpečnosti. Brno: 2007. s. 0-0. Detail | WWW
MATOUŠEK, P. Bezpečné připojení jedním zařízením. Journal CONNECT!, 2007, roč. 2007, č. 1, s. 62-63. ISSN: 1211-3085.Detail | WWW
MATOUŠEK, P. Kombinované řešení switch/router. Journal CONNECT!, 2007, roč. 2007, č. 4, s. 40-41. ISSN: 1211-3085.Detail | WWW
MATOUŠEK, P.; RYŠAVÝ, O. A Path to Become a Skillful CCNP Expert During your University Studies. Istanbul: 2007. s. 0-0. Detail | WWW
2006
MATOUŠEK, P. Praktické úlohy z počítačových sítí. Brno: 2006. s. 0-0. Detail | WWW
MATOUŠEK, P. Tools for Verification of Security Protocols. Brno: 2006. s. 0-0. Detail | WWW
SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. Proceedings of FMICS 2006. Bonn: 2006. s. 140-155. Detail
MATOUŠEK, P. Dobrého nespálí. Test firewallů pro sítě do 150 uživatelů. Journal CONNECT!, 2006, roč. 2006, č. 6, s. 26-29. ISSN: 1211-3085.Detail | WWW
2005
MATOUŠEK, P. Symbolic Data Structure Based on Intervals for Parametric Verification. Seminary UIFS, FIT VUT Brno: 2005. s. 0-0. Detail | WWW
MATOUŠEK, P.; SMRČKA, A.; VOJNAR, T. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/2005. Berlin: Springer Verlag, 2005. s. 371-375. ISBN: 978-3-540-29105-3. ISSN: 0302-9743.Detail | WWW
MATOUŠEK, P. Symbolic Data Structures for Parametric Verification. Brno: Faculty of Information Technology BUT, 2005. s. 0-0. Detail | WWW
MATOUŠEK, P. Není datům v síti těsno?. Journal CONNECT!, 2005, roč. 2005, č. 11, s. 7-8. ISSN: 1211-3085.Detail | WWW
SMRČKA, A., MATOUŠEK, P., VOJNAR, T. High-level Modelling, Analysis and Verification on FPGA-based Hardware Design. Brno: CESNET National Research and Education Network, 2005.Detail | WWW
MATOUŠEK, P. TReX and IF. ParaDiSe seminary, FI MU Brno: 2005. s. 0-0. Detail | WWW
2004
MATOUŠEK, P. A New Data Structure Based on Intervals. Proceedings of MOVEP'04. Bruxelles: 2004. s. 16-21. Detail | WWW
MATOUŠEK, P. Tools for Parametric Verification: A Comparison on a Case Study. Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004. s. 45-55. ISBN: 1-85769-197-0.Detail | WWW
MATOUŠEK, P. Plánování a příprava nového předmětu na FIT VUT. Brno: 2004. s. 0-0. Detail | WWW
MATOUŠEK, P.; SIGHIREANU, M. Parametric Analysis of PGM protocol. Advance meeting, Paris: 2004. s. 0-0. Detail | WWW
MATOUŠEK, P. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science, 2004, roč. 10, č. 10, s. 1469-1495. ISSN: 0948-6968.Detail | WWW
2001
MATOUŠEK, P. The Use of Conditional Grammars for Specifying and Verifying Communication Protocols. Modelling and Simulation 2001. Praha: Czech Technical University, 2001. s. 59-62. ISBN: 1-56555-225-3.Detail | WWW
MATOUŠEK, P. Protocol Proving Using PVS: A Case Study. Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec n/M: 2001. s. 67-73. ISBN: 80-85988-57-7.Detail | WWW
2000
MATOUŠEK, P. Protocol Verification Using PVS. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000. s. 201-203. ISBN: 80-7240-155-X.Detail | WWW
1999
MATOUŠEK, P. Fuzzy matching as a technique for the name correction. MOSIS '99, Proceedings. Rožnov p.R.: unknown, 1999. s. 85-91. ISBN: 80-85988-33-X.Detail | WWW
MATOUŠEK, P. Global directory over LDAP with index servers. In Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999. s. 85-86. ISBN: 80-214-1155-4.Detail | WWW
DVOŘÁK, V.; MATOUŠEK, P. Highly Efficient Parallel ANN Implementation for Real-Time Processing. Proceedings of conference Computer Engineering and Informatics CE&I'99. Kosice - Herlany, Slovakia: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 1999. s. 186-191. ISBN: 80-88922-05-4.Detail | WWW
1998
MATOUŠEK, P. Mailrouter-Automatic correction of mistyped email addresses using fuzzy match. Lyon: unknown, 1998. s. 0-0. Detail | WWW
MATOUŠEK, P. LDAP - Electronic White Pages. Lyon: 1998. s. 0-0. Detail | WWW
MATOUŠEK, P. LDAP replication at CERN. CERN: unknown, 1998. s. 0-0. Detail | WWW
MATOUŠEK, P. HEP Global Directory over LDAP. Batavia-Illinois: unknown, 1998. s. 0-0. Detail | WWW
1997
MATOUŠEK, P. Uživatelský přístup k elektronickým bílým stránkám. Brno: Vysoké učení technické v Brně, 1997. s. 0-0. Detail | WWW
MATOUŠEK, P. Elektronické bílé stránky na FEI VUT. In Sborník prací studentů a doktorandů 1997. Brno: Fakulta elektrotechniky a informatiky VUT, 1997. s. 151-153. ISBN: 80-214-0637-2.Detail
*) Citace publikací se generují jednou za 24 hodin.