Masaryk University

Publication Records

česky | in English

Filter publications

    2023

    1. BPMN4FRSS: An BPMN Extension to Support Risk-Based Development of Forensic-Ready Software Systems
      DAUBNER, Lukáš, Raimundas MATULEVIČIUS, Barbora BÜHNOVÁ and Tomáš PITNER. BPMN4FRSS: An BPMN Extension to Support Risk-Based Development of Forensic-Ready Software Systems. Online. In Evaluation of Novel Approaches to Software Engineering. Cham: Springer Nature Switzerland, 2023, p. 20-43. ISBN 978-3-031-36596-6. Available from: https://dx.doi.org/10.1007/978-3-031-36597-3_2.
      URL
      RIV/00216224:14330/23:00131217 Proceedings paper. English.
      Daubner, Lukáš (203 Czech Republic, guarantor, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Forensic readiness;Forensic-ready software systems;Modelling;BPMN;Software design;Risk management;Security
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:06.
      More: https://is.muni.cz/publication/2297178/en
    2. Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication
      BULLA, Lukas, Matej PIVOLUSKA, Kristian HJORTH, Oskar KOHOUT, Jan LANG, Sebastian ECKER, Sebastian P NEUMANN, Julius BITTERMANN, Robert KINDLER, Marcus HUBER, Martin BOHMANN and Rupert URSIN. Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication. Physical Review X. College Park: American Physical Society, 2023, vol. 13, No 2, p. 1-12. ISSN 2160-3308. Available from: https://dx.doi.org/10.1103/PhysRevX.13.021001.
      URL
      Name (in English): Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication
      RIV/00216224:14610/23:00131028 Article in a journal. English. United States of America.
      Pivoluska, Matej (703 Slovakia, guarantor, belonging to the institution)
      Keywords in English: KEY DISTRIBUTION;ENTANGLEMENT;LASER
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 20/3/2024 15:42.
      More: https://is.muni.cz/publication/2293017/en

    2022

    1. Business Process Model and Notation for Forensic-Ready Software Systems
      DAUBNER, Lukáš, Raimundas MATULEVIČIUS, Barbora BÜHNOVÁ and Tomáš PITNER. Business Process Model and Notation for Forensic-Ready Software Systems. Online. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering. Setúbal, Portugal: SciTePress, 2022, p. 95-106. ISBN 978-989-758-568-5. Available from: https://dx.doi.org/10.5220/0011041000003176.
      URL
      RIV/00216224:14330/22:00125901 Proceedings paper. English.
      Daubner, Lukáš (203 Czech Republic, guarantor, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Forensic Readiness; Forensic-Ready Software Systems; Modelling; BPMN; Software Design
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Lukáš Daubner, Ph.D., učo 410034. Changed: 1/2/2023 14:24.
      More: https://is.muni.cz/publication/1856737/en
    2. Concept of Relational Similarity Search
      MÍČ, Vladimír and Pavel ZEZULA. Concept of Relational Similarity Search. In Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella. Similarity Search and Applications: 15th International Conference, SISAP 2022, Bologna, Italy, October 5 - October 7, 2022, Proceedings. Cham: Springer, 2022, p. 89-103. ISBN 978-3-031-17848-1. Available from: https://dx.doi.org/10.1007/978-3-031-17849-8_8.
      URL
      RIV/00216224:14330/22:00127336 Proceedings paper. English. Switzerland.
      Míč, Vladimír (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Efficient similarity search;Relational similarity;Similarity comparisons;Effective similarity search
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vladimír Míč, Ph.D., učo 359890. Changed: 22/11/2023 16:43.
      More: https://is.muni.cz/publication/2236342/en
    3. Data-dependent Metric Filtering
      MÍČ, Vladimír and Pavel ZEZULA. Data-dependent Metric Filtering. Information systems. 2022, vol. 108, 12.5.2022, p. "101980", 21 pp. ISSN 0306-4379. Available from: https://dx.doi.org/10.1016/j.is.2021.101980.
      URL
      RIV/00216224:14330/22:00125539 Article in a journal. English. Netherlands.
      Míč, Vladimír (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Metric Space Searching;Similarity Search;Metric Filtering;Data Dependent Filtering
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2024 16:36.
      More: https://is.muni.cz/publication/1841617/en
    4. Enhancing Requirements Completeness of Automated Driving System in Concept Phase
      ABBADI, Ahmad and Václav PŘENOSIL. Enhancing Requirements Completeness of Automated Driving System in Concept Phase. In Mazal. International Conference on Modelling and Simulation for Autonomous Systems / MESAS 2021: Modelling and Simulation for Autonomous Systems. 1st. Switzerland: Springer Nature Switzerland AG, 2022, p. 377-396. ISBN 978-3-030-98259-1. Available from: https://dx.doi.org/10.1007/978-3-030-98260-7_24.
      URL
      Name in Czech: Zvyšování požadavků na úplnost systému automatizovaného řízení ve fázi konceptu
      Name (in English): Enhancing Requirements Completeness of Automated Driving System in Concept Phase
      RIV/00216224:14330/22:00125656 Proceedings paper. English. Switzerland.
      Abbadi, Ahmad (203 Czech Republic, guarantor, belonging to the institution) -- Přenosil, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: requirement engineering; system engineering; holistic thinking; automated driving system
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 10:12.
      More: https://is.muni.cz/publication/1846767/en

    2021

    1. Genre Annotation of Web Corpora: Scheme and Issues
      SUCHOMEL, Vít. Genre Annotation of Web Corpora: Scheme and Issues. In Kohei Arai, Supriya Kapoor, Rahul Bhatia. Proceedings of the Future Technologies Conference (FTC) 2020, Volume 1. Vancouver, Canada: Springer Nature Switzerland AG, 2021, p. 738-754. ISBN 978-3-030-63127-7. Available from: https://dx.doi.org/10.1007/978-3-030-63128-4_55.
      Elektronická verze sborníku
      RIV/00216224:14330/21:00118741 Proceedings paper. English. United Kingdom of Great Britain and Northern Ireland.
      Suchomel, Vít (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Corpus annotation; Inter-annotator agreement; Text genre; Web corpora
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Suchomel, Ph.D., učo 139723. Changed: 10/1/2023 11:49.
      More: https://is.muni.cz/publication/1663744/en
    2. Risk-Oriented Design Approach For Forensic-Ready Software Systems
      DAUBNER, Lukáš and Raimundas MATULEVIČIUS. Risk-Oriented Design Approach For Forensic-Ready Software Systems. Online. In The 16th International Conference on Availability, Reliability and Security (ARES 2021). New York, NY, USA: Association for Computing Machinery, 2021, p. 1-10. ISBN 978-1-4503-9051-4. Available from: https://dx.doi.org/10.1145/3465481.3470052.
      Name (in English): Risk-Oriented Design Approach For Forensic-Ready Software Systems
      RIV/00216224:14330/21:00122160 Proceedings paper. English. United States of America.
      Daubner, Lukáš (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Forensic Readiness; Forensic-Ready Software Systems; Information System Security Risk Management
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/6/2022 11:56.
      More: https://is.muni.cz/publication/1787617/en
    3. Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations
      ZÁKOPČANOVÁ, Kristína, Marko ŘEHÁČEK, Jozef BÁTRNA, Daniel PLAKINGER, Sergej STOPPEL and Barbora KOZLÍKOVÁ. Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations. IEEE Transactions on Visualization and Computer Graphics. IEEE, 2021, vol. 27, No 2, p. 881-890. ISSN 1077-2626. Available from: https://dx.doi.org/10.1109/TVCG.2020.3030356.
      URL
      Name (in English): Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations
      RIV/00216224:14330/21:00120051 Article in a journal. English. United States of America.
      Zákopčanová, Kristína (203 Czech Republic, belonging to the institution) -- Řeháček, Marko (703 Slovakia, belonging to the institution) -- Bátrna, Jozef (703 Slovakia, belonging to the institution) -- Plakinger, Daniel (703 Slovakia, belonging to the institution) -- Stoppel, Sergej (276 Germany) -- Kozlíková, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Criminal investigation;visualization;network;exploration;interaction;tracking;diagram
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 08:30.
      More: https://is.muni.cz/publication/1681798/en

    2020

    1. Accelerating Metric Filtering by Improving Bounds on Estimated Distances
      MÍČ, Vladimír and Pavel ZEZULA. Accelerating Metric Filtering by Improving Bounds on Estimated Distances. In Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór JónssonRasmus Pagh. Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings. Cham: Springer, 2020, p. 3-17. ISBN 978-3-030-60935-1. Available from: https://dx.doi.org/10.1007/978-3-030-60936-8_1.
      URL
      RIV/00216224:14330/20:00116699 Proceedings paper. English. Switzerland.
      Míč, Vladimír (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Metric space;Similarity search;Triangle inequality;Metric filtering;Estimating unknown distance
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 10/5/2021 06:02.
      More: https://is.muni.cz/publication/1686161/en
    2. On the Application of Convex Transforms to Metric Search
      CONNOR, Richard, Alan DEARLE, Vladimír MÍČ and Pavel ZEZULA. On the Application of Convex Transforms to Metric Search. Pattern Recognition Letters. 2020, vol. 138, October 2020, p. 563-570. ISSN 0167-8655. Available from: https://dx.doi.org/10.1016/j.patrec.2020.08.008.
      URL
      RIV/00216224:14330/20:00116150 Article in a journal. English. Netherlands.
      Connor, Richard (826 United Kingdom of Great Britain and Northern Ireland) -- Dearle, Alan (826 United Kingdom of Great Britain and Northern Ireland) -- Míč, Vladimír (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: similarity search; transformation of distance function; metric space; convex transform
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 10/5/2021 05:51.
      More: https://is.muni.cz/publication/1673423/en

    2019

    1. Binary Sketches for Secondary Filtering
      MÍČ, Vladimír, David NOVÁK and Pavel ZEZULA. Binary Sketches for Secondary Filtering. ACM Transactions on Information Systems. New York: ACM Press, 2019, vol. 37, No 1, p. "1:1"-"1:28", 28 pp. ISSN 1046-8188. Available from: https://dx.doi.org/10.1145/3231936.
      URL
      RIV/00216224:14330/19:00107167 Article in a journal. English. United States of America.
      Míč, Vladimír (203 Czech Republic, belonging to the institution) -- Novák, David (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Top-k retrieval in databases;Retrieval efficiency;Retrieval effectiveness;Similarity measures;
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/4/2020 23:22.
      More: https://is.muni.cz/publication/1421494/en

    2018

    1. Hybrid rule-based motion planner for mobile robot in cluttered workspace
      ABBADI, Ahmad and Radomil MATOUSEK. Hybrid rule-based motion planner for mobile robot in cluttered workspace. Soft computing. Germany: Springer, 2018, vol. 22, No 6, p. 1815-1831. ISSN 1432-7643. Available from: https://dx.doi.org/10.1007/s00500-016-2103-4.
      URL
      RIV/00216224:14330/18:00101937 Article in a journal. Use of computers, robotics and its application. English. Germany.
      Abbadi, Ahmad (760 Syrian Arab Republic, belonging to the institution) -- Matousek, Radomil (203 Czech Republic)
      Keywords in English: Motion planning; Path planning; Rule-based; Sampling-based planner; Guided planner; RRT; Cell decomposition; Adaptive sampling
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 3/5/2019 14:53.
      More: https://is.muni.cz/publication/1339218/en
    2. Selecting Sketches for Similarity Search
      MÍČ, Vladimír, David NOVÁK, Lucia VADICAMO and Pavel ZEZULA. Selecting Sketches for Similarity Search. Online. In András Benczúr, Bernhard Thalheim, Tomáš Horváth. Advances in Databases and Information Systems : 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018. Cham: Springer International Publishing, 2018, p. 127-141. ISBN 978-3-319-98397-4. Available from: https://dx.doi.org/10.1007/978-3-319-98398-1_9.
      Name (in English): Selecting Sketches for Similarity Search
      RIV/00216224:14330/18:00101009 Proceedings paper. English. Switzerland.
      Míč, Vladimír (203 Czech Republic, belonging to the institution) -- Novák, David (203 Czech Republic, belonging to the institution) -- Vadicamo, Lucia (380 Italy) -- Zezula, Pavel (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: bit string sketches;similarity search;selecting technique
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 07:41.
      More: https://is.muni.cz/publication/1420844/en
    3. Semantic BMS: Allowing usage of building automation data in facility benchmarking
      KUČERA, Adam and Tomáš PITNER. Semantic BMS: Allowing usage of building automation data in facility benchmarking. Advanced Engineering Informatics. 2018, vol. 35, January, p. 69-84. ISSN 1474-0346. Available from: https://dx.doi.org/10.1016/j.aei.2018.01.002.
      URL
      RIV/00216224:14330/18:00102257 Article in a journal. Informatics. English. Netherlands.
      Kučera, Adam (203 Czech Republic, guarantor, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Facility management; Building automation systems; Semantic sensor network ontology; Decision support; Data integration
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 3/5/2019 13:25.
      More: https://is.muni.cz/publication/1406272/en

    2017

    1. Toward Stream-Based IP Flow Analysis
      JIRSÍK, Tomáš, Milan ČERMÁK, Daniel TOVARŇÁK and Pavel ČELEDA. Toward Stream-Based IP Flow Analysis. IEEE Communications Magazine. IEEE, 2017, vol. 55, No 7, p. 70-76. ISSN 0163-6804. Available from: https://dx.doi.org/10.1109/MCOM.2017.1600972.
      URL
      Name (in English): Toward Stream-Based IP Flow Analysis
      RIV/00216224:14610/17:00094364 Article in a journal. Informatics. English. United States of America.
      Jirsík, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Čermák, Milan (203 Czech Republic, belonging to the institution) -- Tovarňák, Daniel (203 Czech Republic, belonging to the institution) -- Čeleda, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: IP networks; Monitoring; Real-time systems; Data analysis; Computer security; Delays; Telecommunication traffic
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Milan Čermák, Ph.D., učo 325314. Changed: 12/4/2018 09:10.
      More: https://is.muni.cz/publication/1385935/en

    2016

    1. Assessing similarity models for human-motion retrieval applications
      VALČÍK, Jakub, Jan SEDMIDUBSKÝ and Pavel ZEZULA. Assessing similarity models for human-motion retrieval applications. Computer Animation and Virtual Worlds. John Wiley & Sons Ltd, 2016, vol. 27, No 5, p. 484-500. ISSN 1546-4261. Available from: https://dx.doi.org/10.1002/cav.1674.
      RIV/00216224:14330/16:00087724 Article in a journal. Informatics. English. United States of America.
      Valčík, Jakub (203 Czech Republic, belonging to the institution) -- Sedmidubský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: human-motion retrieval; similarity model; effectiveness evaluation; motion capture data; action recognition
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Jan Sedmidubský, Ph.D., učo 60474. Changed: 16/4/2019 07:36.
      More: https://is.muni.cz/publication/1305925/en
    2. DSL Shared task 2016: Perfect Is The Enemy of Good Language Discrimination Through Expectation-Maximization and Chunk-based Language Model
      HERMAN, Ondřej, Vít SUCHOMEL, Vít BAISA and Pavel RYCHLÝ. DSL Shared task 2016: Perfect Is The Enemy of Good Language Discrimination Through Expectation-Maximization and Chunk-based Language Model. Online. In Preslav Nakov, Marcos Zampieri, Liling Tan, Nikola Ljubešić, Jörg Tiedemann, Shervin Malmasi. Proceedings of the Third Workshop on NLP for Similar Languages, Varieties and Dialects (VarDial3). Osaka: Association for Natural Language Processing (ANLP), Osaka, Japan, 2016, p. 114-118. ISBN 978-4-87974-716-7.
      URL
      RIV/00216224:14330/16:00092557 Proceedings paper. Informatics. English. Czech Republic.
      Herman, Ondřej (203 Czech Republic, guarantor, belonging to the institution) -- Suchomel, Vít (203 Czech Republic, belonging to the institution) -- Baisa, Vít (203 Czech Republic, belonging to the institution) -- Rychlý, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: language discrimination;expectation maximization;language model
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Suchomel, Ph.D., učo 139723. Changed: 1/11/2017 12:13.
      More: https://is.muni.cz/publication/1366107/en
    3. HTTPS Traffic Analysis and Client Identification Using Passive SSL/TLS Fingerprinting
      HUSÁK, Martin, Milan ČERMÁK, Tomáš JIRSÍK and Pavel ČELEDA. HTTPS Traffic Analysis and Client Identification Using Passive SSL/TLS Fingerprinting. EURASIP Journal on Information Security. 2016, vol. 2016, No 1, p. 1-14. ISSN 2510-523X. Available from: https://dx.doi.org/10.1186/s13635-016-0030-7.
      URL
      RIV/00216224:14610/16:00089221 Article in a journal. Informatics. English. Germany.
      Husák, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Čermák, Milan (203 Czech Republic, belonging to the institution) -- Jirsík, Tomáš (203 Czech Republic, belonging to the institution) -- Čeleda, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: Network monitoring;HTTPS;User-Agent;SSL;TLS;Fingerprinting
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 18/4/2019 15:31.
      More: https://is.muni.cz/publication/1321931/en
    4. Semantic BMS: Ontology for Analysis of Building Automation Systems Data
      KUČERA, Adam and Tomáš PITNER. Semantic BMS: Ontology for Analysis of Building Automation Systems Data. In Luis M. Camarinha-Matos, António J. Falcão, Nazanin Vafaei, Shirin Najdi. DoCEIS 2016: Technological Innovation for Cyber-Physical Systems. Cham: Springer International Publishing, 2016, p. 46-53. ISBN 978-3-319-31164-7. Available from: https://dx.doi.org/10.1007/978-3-319-31165-4_5.
      URL
      RIV/00216224:14330/16:00090418 Proceedings paper. Informatics. English. Germany.
      Kučera, Adam (203 Czech Republic, guarantor, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Computer-aided facility management;Building management systems;Intelligent buildings;Building automation systems;Semantic web;Ontology;Semantic sensor network ontology;Data integration
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Adam Kučera, Ph.D., učo 255658. Changed: 13/4/2018 15:56.
      More: https://is.muni.cz/publication/1350086/en

    2015

    1. A Survey of Methods for Encrypted Traffic Classification and Analysis
      VELAN, Petr, Milan ČERMÁK, Pavel ČELEDA and Martin DRAŠAR. A Survey of Methods for Encrypted Traffic Classification and Analysis. International Journal of Network Management. John Wiley & Sons, Ltd., 2015, vol. 25, No 5, p. 355-374. ISSN 1055-7148. Available from: https://dx.doi.org/10.1002/nem.1901.
      URL URL
      Name in Czech: Přehled metod pro klasifikaci a analýzu šifrovaného síťového provozu
      RIV/00216224:14610/15:00080523 Article in a journal. Informatics. English. United States of America.
      Velan, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Čermák, Milan (203 Czech Republic, belonging to the institution) -- Čeleda, Pavel (203 Czech Republic, belonging to the institution) -- Drašar, Martin (203 Czech Republic, belonging to the institution)
      Keywords in English: encrypted traffic; monitoring; network; traffic classification; traffic analysis; machine learning; encryption protocols
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 27/4/2018 13:17.
      More: https://is.muni.cz/publication/1305020/en
    2. On Refinement of Büchi Automata for Explicit Model Checking
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR and Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Heidelberg, New York, Dordrecht, London: Springer International Publishing, 2015, p. 66-83. ISBN 978-3-319-23403-8. Available from: https://dx.doi.org/10.1007/978-3-319-23404-5_6.
      Name in Czech: O zpřesňování Büchiho automatů pro explicitní metodu ověřování modelu.
      RIV/00216224:14330/15:00080986 Proceedings paper. Informatics. English. Switzerland.
      Blahoudek, František (203 Czech Republic, belonging to the institution) -- Duret-Lutz, Alexandre (250 France) -- Rujbr, Vojtěch (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: linear temporal logic; Büchi automata; explicit model checking; specification refinement
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 20:47.
      More: https://is.muni.cz/publication/1309631/en
    3. The Hanoi Omega-Automata Format
      BABIAK, Tomáš, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, Jan KŘETÍNSKÝ, David MÜLLER, David PARKER and Jan STREJČEK. The Hanoi Omega-Automata Format. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, p. 479-486. ISBN 978-3-319-21689-8. Available from: https://dx.doi.org/10.1007/978-3-319-21690-4_31.
      RIV/00216224:14330/15:00080919 Proceedings paper. Informatics. English. Switzerland.
      Babiak, Tomáš (703 Slovakia, belonging to the institution) -- Blahoudek, František (203 Czech Republic, belonging to the institution) -- Duret-Lutz, Alexandre (250 France) -- Klein, Joachim (276 Germany) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Müller, David (276 Germany) -- Parker, David (826 United Kingdom of Great Britain and Northern Ireland) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: automata; infinite words; verification
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 14:24.
      More: https://is.muni.cz/publication/1306808/en

    2014

    1. Comparison of 3D Texture-based Image Descriptors in Fluorescence Microscopy
      MAJTNER, Tomáš and David SVOBODA. Comparison of 3D Texture-based Image Descriptors in Fluorescence Microscopy. In Reneta P. Barneva, Valentin E. Brimkov, Josef Šlapal. 16th International Workshop on Combinatorial Image Analysis (IWCIA) 2014. Switzerland: Springer International Publishing, 2014, p. 186-195. ISBN 978-3-319-07147-3. Available from: https://dx.doi.org/10.1007/978-3-319-07148-0_17.
      URL
      RIV/00216224:14330/14:00073552 Proceedings paper. Use of computers, robotics and its application. English. Switzerland.
      Majtner, Tomáš (703 Slovakia, guarantor, belonging to the institution) -- Svoboda, David (203 Czech Republic, belonging to the institution)
      Keywords in English: 3D images; Texture descriptors; Fluorescence microscopy; Local Binary Patterns
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Ing. Bc. Tomáš Majtner, Ph.D., učo 172786. Changed: 9/1/2015 15:37.
      More: https://is.muni.cz/publication/1173483/en
    2. Efficient k-NN based HEp-2 cells classifier
      STOKLASA, Roman, Tomáš MAJTNER and David SVOBODA. Efficient k-NN based HEp-2 cells classifier. PATTERN RECOGNITION. OXFORD: PERGAMON-ELSEVIER SCIENCE LTD, 2014, vol. 47, No 7, p. 2409-2418. ISSN 0031-3203. Available from: https://dx.doi.org/10.1016/j.patcog.2013.09.021.
      URL
      RIV/00216224:14330/14:00073423 Article in a journal. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Stoklasa, Roman (703 Slovakia, guarantor, belonging to the institution) -- Majtner, Tomáš (703 Slovakia, belonging to the institution) -- Svoboda, David (203 Czech Republic, belonging to the institution)
      Keywords in English: HEp-2 cells; Classifier; Image descriptor; Classification; Nearest neighbours; IIF; Indirect Immunofluorescence
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 21:41.
      More: https://is.muni.cz/publication/1129437/en
    3. Finding Terms in Corpora for Many Languages with the Sketch Engine
      KILGARRIFF, Adam, Miloš JAKUBÍČEK, Vojtěch KOVÁŘ, Pavel RYCHLÝ and Vít SUCHOMEL. Finding Terms in Corpora for Many Languages with the Sketch Engine. Online. In Proceedings of the Demonstrations at the 14th Conferencethe European Chapter of the Association for Computational Linguistics. Gothenburg, Sweden: The Association for Computational Linguistics, 2014, p. 53-56. ISBN 978-1-937284-75-6.
      Plný text výsledku
      RIV/00216224:14330/14:00075387 Proceedings paper. Informatics. English. Czech Republic.
      Kilgarriff, Adam (826 United Kingdom of Great Britain and Northern Ireland) -- Jakubíček, Miloš (203 Czech Republic, guarantor, belonging to the institution) -- Kovář, Vojtěch (203 Czech Republic, belonging to the institution) -- Rychlý, Pavel (203 Czech Republic, belonging to the institution) -- Suchomel, Vít (203 Czech Republic, belonging to the institution)
      Keywords in English: terminology; terms; corpora; sketch engine
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Suchomel, Ph.D., učo 139723. Changed: 29/10/2014 09:19.
      More: https://is.muni.cz/publication/1181590/en
    4. RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells
      MAJTNER, Tomáš, Roman STOKLASA and David SVOBODA. RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells. In 22nd International Conference on Pattern Recognition. Los Alamitos, California: IEEE Computer Society, 2014, p. 1194-1199. ISBN 978-1-4799-5208-3. Available from: https://dx.doi.org/10.1109/ICPR.2014.215.
      RIV/00216224:14330/14:00073550 Proceedings paper. Use of computers, robotics and its application. English. United States of America.
      Majtner, Tomáš (703 Slovakia, guarantor, belonging to the institution) -- Stoklasa, Roman (703 Slovakia, belonging to the institution) -- Svoboda, David (203 Czech Republic, belonging to the institution)
      Keywords in English: texture descriptor;rsurf;hep-2
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Ing. Bc. Tomáš Majtner, Ph.D., učo 172786. Changed: 9/1/2015 15:37.
      More: https://is.muni.cz/publication/1173479/en

    2013

    1. A framework for monitoring and evaluation of learning processes
      PEKÁRKOVÁ, Lucie, Patrícia EIBENOVÁ and Tomáš PITNER. A framework for monitoring and evaluation of learning processes. In Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. Environmental Software Systems. Fostering Information Sharing. Berlin: Springer Berlin Heidelberg, 2013, p. 525-532. ISBN 978-3-642-41150-2. Available from: https://dx.doi.org/10.1007/978-3-642-41151-9_49.
      RIV/00216224:14330/13:00069770 Proceedings paper. Informatics. English. Austria.
      Pekárková, Lucie (203 Czech Republic, belonging to the institution) -- Eibenová, Patrícia (703 Slovakia, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: course on introduction to environmental science; Medusy project; process-oriented teaching and learning
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2014 23:24.
      More: https://is.muni.cz/publication/1126407/en
    2. A Key-Pose Similarity Algorithm for Motion Data Retrieval
      SEDMIDUBSKÝ, Jan, Jakub VALČÍK and Pavel ZEZULA. A Key-Pose Similarity Algorithm for Motion Data Retrieval. In J. Blanc-Talon et al. (Eds.). Proceedings of 12th International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS 2013), LNCS 8192. Switzerland: Springer International Publishing, 2013, p. 669-681. ISBN 978-3-319-02894-1. Available from: https://dx.doi.org/10.1007/978-3-319-02895-8_60.
      RIV/00216224:14330/13:00065724 Proceedings paper. Informatics. English. Poland.
      Sedmidubský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Valčík, Jakub (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: motion capture data; motion retrieval; subsequence retrieval; similar sub-motions
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2014 00:25.
      More: https://is.muni.cz/publication/1117913/en
    3. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
      BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, p. 24-38. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_4.
      Name in Czech: Efektivní překlad LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066175 Proceedings paper. Informatics. English. United States of America.
      Blahoudek, František (203 Czech Republic, belonging to the institution) -- Babiak, Tomáš (703 Slovakia, belonging to the institution) -- Křetínský, Mojmír (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: linear temporal logic; deterministic omega-automata
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 15/11/2013 23:58.
      More: https://is.muni.cz/publication/1111172/en
    4. Evaluation of Mathematics Retrieval
      LÍŠKA, Martin. Evaluation of Mathematics Retrieval. školitel diplomové práce. Brno: Masarykova univerzita, 2013, 63 pp.
      Archiv závěrečné práce
      RIV/00216224:14330/13:00067658 Special-purpose publication. Informatics. English. Czech Republic.
      Líška, Martin (703 Slovakia, guarantor, belonging to the institution)
      Keywords in English: information retrieval; IR; mathematics; search; MIR; MIaS; precision; recall; formula; collection; IR history; relevance judgment; query; NTCIR; EuDML
      Changed by: RNDr. Martin Líška, učo 255768. Changed: 25/1/2013 13:57.
      More: https://is.muni.cz/publication/1083259/en
    5. Geometry-based Algorithm for Detection of Asymmetric Tunnels in Protein Molecules
      BYŠKA, Jan, Adam JURČÍK and Jiří SOCHOR. Geometry-based Algorithm for Detection of Asymmetric Tunnels in Protein Molecules. In Silvester Czanner and Wen Tang. TPCG 2013. Germany: Eurographics Association, 2013, p. 17-24. ISBN 978-3-905673-98-2.
      Name in Czech: Geometrické algoritmy pro detekci asymetrických tunelů v proteinech
      RIV/00216224:14330/13:00069322 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Byška, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Jurčík, Adam (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution)
      Keywords in English: voxels;protein; tunnel; computational geometry; visualization
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. Ing. Jiří Sochor, CSc., učo 2446. Changed: 27/11/2013 09:45.
      More: https://is.muni.cz/publication/1122641/en
    6. Intelligent Facility Management for Sustainability and Risk Management
      KUČERA, Adam and Tomáš PITNER. Intelligent Facility Management for Sustainability and Risk Management. In Hřebíček, J.; Schimak, G.; Kubásek, M.; Rizzoli, A.E. Environmental Software Systems. Fostering Information Sharing. Berlin Heidelberg: Springer, 2013, p. 608-617. ISBN 978-3-642-41150-2. Available from: https://dx.doi.org/10.1007/978-3-642-41151-9_57.
      URL
      RIV/00216224:14330/13:00070309 Proceedings paper. Informatics. English. Germany.
      Kučera, Adam (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: building management systems; business intelligence; computer-aided facility management; energy management; intelligent buildings; monitoring systems; risk management; sustainable development
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 24/4/2014 22:03.
      More: https://is.muni.cz/publication/1131212/en
    7. Interactive algorithms for teaching and learning acute medicine in the network of medical faculties MEFANET
      SCHWARZ, Daniel, Petr ŠTOURAČ, Martin KOMENDA, Hana HARAZIM, Martina KOSINOVÁ, Jakub GREGOR, Richard HŮLEK, Olga SMÉKALOVÁ, Ivo KŘIKAVA, Roman ŠTOUDEK and Ladislav DUŠEK. Interactive algorithms for teaching and learning acute medicine in the network of medical faculties MEFANET. Journal of medical Internet research. Toronto: JMIR Publications Inc., 2013, vol. 15, No 7, p. 298-311. ISSN 1438-8871. Available from: https://dx.doi.org/10.2196/jmir.2590.
      Name (in English): Interactive algorithms for teaching and learning acute medicine in the network of medical faculties MEFANET
      RIV/00216224:14110/13:00069216 Article in a journal. Other medical fields. English. Canada.
      Schwarz, Daniel (203 Czech Republic, guarantor, belonging to the institution) -- Štourač, Petr (203 Czech Republic, belonging to the institution) -- Komenda, Martin (203 Czech Republic, belonging to the institution) -- Harazim, Hana (703 Slovakia, belonging to the institution) -- Kosinová, Martina (203 Czech Republic, belonging to the institution) -- Gregor, Jakub (203 Czech Republic, belonging to the institution) -- Hůlek, Richard (203 Czech Republic, belonging to the institution) -- Smékalová, Olga (203 Czech Republic, belonging to the institution) -- Křikava, Ivo (203 Czech Republic, belonging to the institution) -- Štoudek, Roman (203 Czech Republic, belonging to the institution) -- Dušek, Ladislav (203 Czech Republic, belonging to the institution)
      Keywords in English: algorithms; community networks; medical education; patient simulation; problem-based learning; serious games; students; survey
      International impact: yes
      Reviewed: yes
      Changed by: Soňa Böhmová, učo 232884. Changed: 17/3/2014 11:27.
      More: https://is.muni.cz/publication/1121757/en
    8. Parameter Estimation for LDA-Frames
      MATERNA, Jiří. Parameter Estimation for LDA-Frames. Online. In Lucy Vanderwende, Hal Daume III, Katrin Kirchhoff. Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Atlanta, Georgia: Association for Computational Linguistics, 2013, p. 482-486. ISBN 978-1-937284-47-3.
      URL
      Name in Czech: Odhad parametrů pro LDA rámce
      RIV/00216224:14330/13:00069065 Proceedings paper. Informatics. English. Czech Republic.
      Materna, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: LDA-Frames; semantic frames; valency frames; non-parametric methods
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 21/2/2018 15:57.
      More: https://is.muni.cz/publication/1119969/en
    9. Testování při výuce medicíny. Konstrukce a analýza testů na lékařských fakultách. (Student Assessment in Medical Education. Construction and analysis of tests at medical schools.)
      ŠTUKA, Čestmír, Patrícia MARTINKOVÁ, Martin VEJRAŽKA, Jan TRNKA and Martin KOMENDA. Testování při výuce medicíny. Konstrukce a analýza testů na lékařských fakultách. (Student Assessment in Medical Education. Construction and analysis of tests at medical schools.). Vyd. 1. Praha: Karolinum, 2013, 156 pp. ISBN 978-80-246-2369-6.
      URL
      Name (in English): Student Assessment in Medical Education. Construction and analysis of tests at medical schools.
      RIV/00216224:14110/13:00069481 Book on a specialized topic. Other medical fields. Czech. Czech Republic.
      Štuka, Čestmír (203 Czech Republic) -- Martinková, Patrícia (203 Czech Republic) -- Vejražka, Martin (203 Czech Republic) -- Trnka, Jan (203 Czech Republic) -- Komenda, Martin (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: knowledge testing; electronic test; medical education; e-learning
      Changed by: Ing. Mgr. Věra Pospíšilíková, učo 9005. Changed: 1/10/2013 14:51.
      More: https://is.muni.cz/publication/1123292/en
    10. The TenTen Corpus Family
      JAKUBÍČEK, Miloš, Adam KILGARRIFF, Vojtěch KOVÁŘ, Pavel RYCHLÝ and Vít SUCHOMEL. The TenTen Corpus Family. Online. In 7th International Corpus Linguistics Conference CL 2013. Lancaster, 2013, p. 125-127.
      Webové stránky konference Konferenční sborník abstraktů

      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/3/2024 11:47.
      More: https://is.muni.cz/publication/1120431/en
    11. Towards a System of Enhanced Transparency of Medical Curriculum
      KOMENDA, Martin, Daniel SCHWARZ and Ladislav DUŠEK. Towards a System of Enhanced Transparency of Medical Curriculum. European Journal for Biomedical Informatics. 2013. ISSN 1801-5603.
      URL
      Informatics. English. Czech Republic.
      Keywords in English: Medical curriculum, outcome-based approach, computer- aided management system
      Reviewed: yes
      Changed by: Ing. Mgr. Věra Pospíšilíková, učo 9005. Changed: 12/10/2015 09:11.
      More: https://is.muni.cz/publication/1131373/en
    12. Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools
      KOMENDA, Martin and Daniel SCHWARZ. Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools. In Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. Environmental Software Systems : Fostering Information Sharing. IFIP AICT vol. 413. Heidelberg: Springer, 2013, p. 618-629. ISBN 978-3-642-41150-2. Available from: https://dx.doi.org/10.1007/978-3-642-41151-9_58.
      Name (in English): Visual Analytics in Environmental Research: A Survey on Challenges, Methods and Available Tools
      RIV/00216224:14110/13:00069611 Proceedings paper. Informatics. English. Czech Republic.
      Komenda, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Schwarz, Daniel (203 Czech Republic, belonging to the institution)
      Keywords in English: Visual analytics; learning analytics; human cognition; environmental data visualization
      Changed by: Ing. Mgr. Věra Pospíšilíková, učo 9005. Changed: 26/4/2014 14:06.
      More: https://is.muni.cz/publication/1124567/en

    2012

    1. CAVER 3.0: A Tool for the Analysis of Transport Pathways in Dynamic Protein Structures
      CHOVANCOVÁ, Eva, Antonín PAVELKA, Petr BENEŠ, Ondřej STRNAD, Jan BREZOVSKÝ, Barbora KOZLÍKOVÁ, Artur Wiktor GORA, Vilém ŠUSTR, Martin KLVAŇA, Petr MEDEK, Lada BIEDERMANNOVÁ, Jiří SOCHOR and Jiří DAMBORSKÝ. CAVER 3.0: A Tool for the Analysis of Transport Pathways in Dynamic Protein Structures. PLoS Computational Biology. 2012, vol. 8, No 10, p. "nestránkováno", 12 pp. ISSN 1553-7358. Available from: https://dx.doi.org/10.1371/journal.pcbi.1002708.
      URL
      Name in Czech: CAVER 3.0: nástroj pro analýzu transportních cest v dynamických proteinových strukturách
      Name (in English): CAVER 3.0: A Tool for the Analysis of Transport Pathways in Dynamic Protein Structures
      RIV/00216224:14310/12:00057117 Article in a journal. Biochemistry. English. United States of America.
      Chovancová, Eva (203 Czech Republic, belonging to the institution) -- Pavelka, Antonín (203 Czech Republic, belonging to the institution) -- Beneš, Petr (203 Czech Republic, belonging to the institution) -- Strnad, Ondřej (203 Czech Republic, belonging to the institution) -- Brezovský, Jan (203 Czech Republic, belonging to the institution) -- Kozlíková, Barbora (203 Czech Republic, belonging to the institution) -- Gora, Artur Wiktor (616 Poland, belonging to the institution) -- Šustr, Vilém (203 Czech Republic, belonging to the institution) -- Klvaňa, Martin (203 Czech Republic, belonging to the institution) -- Medek, Petr (203 Czech Republic, belonging to the institution) -- Biedermannová, Lada (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Damborský, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: software tool; tunnel; channel; structural analysis; protein design; drug design; CAVER; dynamics
      International impact: yes
      Reviewed: yes
      Changed by: Ing. Andrea Mikešková, učo 137293. Changed: 12/4/2013 13:20.
      More: https://is.muni.cz/publication/1070113/en
    2. Designing Fast LTL Model Checking Algorithms for Many-core GPUs
      BARNAT, Jiří, Petr BAUCH, Luboš BRIM and Milan ČEŠKA. Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Journal of Parallel and Distributed Computing. Elsevier, 2012, vol. 72, No 9, p. 1083-1097. ISSN 0743-7315. Available from: https://dx.doi.org/10.1016/j.jpdc.2011.10.015.
      URL
      Name (in English): Designing Fast LTL Model Checking Algorithms for Many-core GPUs
      RIV/00216224:14330/12:00057210 Article in a journal. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic, belonging to the institution) -- Bauch, Petr (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Češka, Milan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Parallel model checking; Linear temporal logic; Massively parallel architectures; CUDA technology; Multiple CUDA devices
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Petr Bauch, Ph.D., učo 208047. Changed: 12/12/2012 11:09.
      More: https://is.muni.cz/publication/958069/en
    3. Deterministic Automata for the (F,G)-fragment of LTL
      KŘETÍNSKÝ, Jan and Javier ESPARZA. Deterministic Automata for the (F,G)-fragment of LTL. In Computer Aided Verification - 24th International Conference. Heidelberg Dordrecht London New York: Springer, 2012, p. 7-22. ISBN 978-3-642-31423-0. Available from: https://dx.doi.org/10.1007/978-3-642-31424-7_7.
      RIV/00216224:14330/12:00057483 Proceedings paper. Informatics. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Esparza, Javier (724 Spain)
      Keywords in English: linear temporal logic; automata; determinism
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 22/4/2013 23:42.
      More: https://is.muni.cz/publication/987377/en
    4. Efficient Web Crawling for Large Text Corpora
      SUCHOMEL, Vít and Jan POMIKÁLEK. Efficient Web Crawling for Large Text Corpora. Online. In Adam Kilgarriff, Serge Sharoff. Proceedings of the seventh Web as Corpus Workshop (WAC7). Lyon, 2012, p. 39-43.
      Proceedings of the seventh Web as Corpus Workshop (WAC7)
      Name in Czech: Efektivní automatické stahování z webu pro velké textové korpusy
      Informatics. English. Czech Republic.
      Keywords in English: crawler; web crawling; corpus; web corpus; text corpus
      International impact: yes
      Changed by: RNDr. Vít Suchomel, Ph.D., učo 139723. Changed: 9/4/2013 11:49.
      More: https://is.muni.cz/publication/991660/en
    5. Encryption with weakly random keys using quantum ciphertext
      BOUDA, Jan, Matej PIVOLUSKA and Martin PLESCH. Encryption with weakly random keys using quantum ciphertext. Quantum Information and Computing. Princeton, USA: Rinton, 2012, vol. 12, 5-6, p. 395-403. ISSN 1533-7146.
      Name (in English): Encryption with weakly random keys using quantum ciphertext
      RIV/00216224:14330/12:00057319 Article in a journal. Informatics. English. United States of America.
      Bouda, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Pivoluska, Matej (703 Slovakia, belonging to the institution) -- Plesch, Martin (703 Slovakia, belonging to the institution)
      Keywords in English: quantum cryptography weak randomness encryption
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 15:46.
      More: https://is.muni.cz/publication/977098/en
    6. EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems
      BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN and Jiří SRBA. EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems. Information and Computation. Elsevier, 2012, vol. 218, September, p. 54-68. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2012.08.001.
      RIV/00216224:14330/12:00057563 Article in a journal. Informatics. English. Netherlands.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Larsen, Kim G. (208 Denmark) -- Srba, Jiří (203 Czech Republic, belonging to the institution)
      Keywords in English: modal transition systems; refinement; computational complexity
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 24/10/2013 16:17.
      More: https://is.muni.cz/publication/991084/en
    7. Checking Sanity of Software Requirements
      BARNAT, Jiří, Petr BAUCH and Luboš BRIM. Checking Sanity of Software Requirements. In George Eleftherakis , Mike Hinchey and Mike Holcombe. Proceedings of the 10th International Conference on Software Engineering and Formal Methods. Thessaloniki: Springer, 2012, p. 48-62. ISBN 978-3-642-33825-0. Available from: https://dx.doi.org/10.1007/978-3-642-33826-7_4.
      URL
      RIV/00216224:14330/12:00057623 Proceedings paper. Informatics. English. Greece.
      Barnat, Jiří (203 Czech Republic, belonging to the institution) -- Bauch, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution)
      Keywords in English: model checking; sanity checking; consistency; vacuity; completeness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 13:25.
      More: https://is.muni.cz/publication/1066876/en
    8. Improving the Hadamard extractor
      BOUDA, Jan, Matej PIVOLUSKA and Martin PLESCH. Improving the Hadamard extractor. Theoretical Computer Science. Amsterdam: Elsevier, 2012, vol. 459, 9 Nov 2012, p. 69-76. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2012.07.030.
      URL
      Name in Czech: Improving the Hadamard extractor
      RIV/00216224:14330/12:00057909 Article in a journal. Informatics. English. Netherlands.
      Bouda, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Pivoluska, Matej (703 Slovakia, belonging to the institution) -- Plesch, Martin (703 Slovakia, belonging to the institution)
      Keywords in English: Weak randomness; Randomness extractor; Hadamard matrix
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 12:17.
      More: https://is.muni.cz/publication/1077733/en
    9. Medical faculties educational network: Multidimensional quality assessment
      KOMENDA, Martin, Daniel SCHWARZ, Jitka FEBEROVÁ, Stanislav ŠTÍPEK, Vladimír MIHÁL and Ladislav DUŠEK. Medical faculties educational network: Multidimensional quality assessment. Computer Methods and Programs in Biomedicine. ELSEVIER, 2012, vol. 108, No 3, p. 900-909. ISSN 0169-2607. Available from: https://dx.doi.org/10.1016/j.cmpb.2012.05.002.
      URL
      RIV/00216224:14110/12:00057424 Article in a journal. Informatics. English. Czech Republic.
      Komenda, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Schwarz, Daniel (203 Czech Republic, belonging to the institution) -- Feberová, Jitka (203 Czech Republic) -- Štípek, Stanislav (203 Czech Republic) -- Mihál, Vladimír (203 Czech Republic) -- Dušek, Ladislav (203 Czech Republic, belonging to the institution)
      Keywords in English: Educational portal; E-learning; Computer communication network; E-publishing; Quality assessment tools; Medical education
      International impact: yes
      Changed by: Ing. Mgr. Věra Pospíšilíková, učo 9005. Changed: 16/4/2013 16:36.
      More: https://is.muni.cz/publication/984037/en
    10. On the Credibility of Wireless Sensor Network Simulations: Evaluation of Intrusion Detection System
      STETSKO, Andriy, Tobiáš SMOLKA, Filip JURNEČKA and Václav MATYÁŠ. On the Credibility of Wireless Sensor Network Simulations: Evaluation of Intrusion Detection System. Online. In SIMUTOOLS '12: Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques. Belgium: ICST, 2012, p. 75-84. ISBN 978-1-4503-1510-4.
      RIV/00216224:14330/12:00057321 Proceedings paper. Informatics. English. Belgium.
      Stetsko, Andriy (804 Ukraine, guarantor, belonging to the institution) -- Smolka, Tobiáš (703 Slovakia, belonging to the institution) -- Jurnečka, Filip (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: Intrusion detection;Castalia;Cooja;comparison;evaluation;MiXiM;simulator;wireless sensor network;WSNet
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Andrij Stecko, Ph.D., učo 184905. Changed: 1/4/2013 10:16.
      More: https://is.muni.cz/publication/977194/en
    11. Weak randomness seriously limits the security of quantum key distribution
      BOUDA, Jan, Matej PIVOLUSKA, Martin PLESCH and Colin WILMOTT. Weak randomness seriously limits the security of quantum key distribution. Physical Review A. New York: American physical society, 2012, vol. 86, No 6, p. 0623081-0623085. ISSN 1050-2947. Available from: https://dx.doi.org/10.1103/PhysRevA.86.062308.
      URL
      RIV/00216224:14330/12:00057910 Article in a journal. Informatics. English. United States of America.
      Bouda, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Pivoluska, Matej (703 Slovakia, belonging to the institution) -- Plesch, Martin (703 Slovakia, belonging to the institution) -- Wilmott, Colin (372 Ireland, belonging to the institution)
      Keywords in English: weak randomness; quantum key distribution
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 15:51.
      More: https://is.muni.cz/publication/1077735/en

    2011

    1. Attack Detection vs. Privacy - How to Find the Link or How to Hide it?
      KŮR, Jiří, Václav MATYÁŠ, Andriy STETSKO and Petr ŠVENDA. Attack Detection vs. Privacy - How to Find the Link or How to Hide it? In B. Christianson et al. Security Protocols XIX - 19th International Workshop, Cambridge, UK, March 2011, Revised Selected Papers. Neuveden: Springer Heidelberg Dordrecht London New York, 2011, p. 189-199. ISBN 978-3-642-25866-4. Available from: https://dx.doi.org/10.1007/978-3-642-25867-1_18.
      RIV/00216224:14330/11:00050343 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Kůr, Jiří (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution) -- Stetsko, Andriy (804 Ukraine, guarantor, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: intrusion detection; privacy mechanism; wireless sensor network
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jiří Kůr, Ph.D., učo 98692. Changed: 10/4/2013 15:09.
      More: https://is.muni.cz/publication/964898/en
    2. Computing Strongly Connected Components in Parallel on CUDA
      BARNAT, Jiří, Petr BAUCH, Luboš BRIM and Milan ČEŠKA. Computing Strongly Connected Components in Parallel on CUDA. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK: IEEE Computer Society, 2011, p. 544 - 555. ISBN 978-1-61284-372-8.
      URL
      RIV/00216224:14330/11:00049681 Proceedings paper. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic, belonging to the institution) -- Bauch, Petr (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Češka, Milan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: parallel graph algorithms; strongly connected components; CUDA
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 20/12/2011 14:28.
      More: https://is.muni.cz/publication/920569/en
    3. EMEE – Well-founded feedback in learning management systems
      KOMENDA, Martin, Lucie PEKÁRKOVÁ and Daniel SCHWARZ. EMEE – Well-founded feedback in learning management systems. AD ALTA - Journal of Interdisciplinary Research. Magnanimitas, 2011, p. 142-145, 164 pp. ISSN 1804-7890.
      URL
      Name (in English): EMEE – Well-founded feedback in learning management systems

      Keywords in English: feedback, learning management system, analytic tool, e-learning, Moodle
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Komenda, Ph.D., MBA, učo 98951. Changed: 3/2/2012 09:26.
      More: https://is.muni.cz/publication/969360/en
    4. EMEE – Well-founded feedback in learning management systems
      KOMENDA, Martin, Lucie PEKÁRKOVÁ and Daniel SCHWARZ. EMEE – Well-founded feedback in learning management systems. In Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2011. 2nd ed. Hradec Králové: MAGNANIMITAS, 2011. ISBN 978-80-904877-7-2.

      Keywords in English: feedback, learning management system, analytic tool, e-learning, Moodle
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Komenda, Ph.D., MBA, učo 98951. Changed: 22/1/2012 10:11.
      More: https://is.muni.cz/publication/964332/en
    5. HOTSPOT WIZARD: WEB APPLICATION FOR PROTEIN ENGINEERING AND STRUCTURAL ANNOTATION
      PAVELKA, Antonín, Eva CHOVANCOVÁ and Jiří DAMBORSKÝ. HOTSPOT WIZARD: WEB APPLICATION FOR PROTEIN ENGINEERING AND STRUCTURAL ANNOTATION. In 3Dsig 2011, Structural Bioinformatics and Computational Biophysics, Vienna,. 2011.
      RIV/00216224:14310/11:00049453 Presentations at conferences. Informatics. English. Romania.
      Pavelka, Antonín (203 Czech Republic, belonging to the institution) -- Chovancová, Eva (203 Czech Republic, belonging to the institution) -- Damborský, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: PROTEIN ENGINEERING; HOTSPOT WIZARD
      Type of participation: active participation (giving a lecture, organization, etc.)
      Changed by: prof. Mgr. Jiří Damborský, Dr., učo 1441. Changed: 12/8/2011 12:54.
      More: https://is.muni.cz/publication/947540/en
    6. Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues
      SOJKA, Petr and Martin LÍŠKA. Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues. In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe. Intelligent Computer Mathematics Lecture Notes in Computer Science, 2011, Volume 6824/2011. Berlin / Heidelberg: Springer, 2011, p. 228-243. ISBN 978-3-642-22672-4. Available from: https://dx.doi.org/10.1007/978-3-642-22673-1_16.
      DOI
      Name in Czech: Indexování a vyhledávání matematiky v digitálních knihovnách -- Architektura, návrh a škálovatelnost
      RIV/00216224:14330/11:00067289 Proceedings paper. Informatics. English. Czech Republic.
      Sojka, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Líška, Martin (703 Slovakia, belonging to the institution)
      Keywords in English: math indexing and retrieval; mathematical digital libraries; information systems; information retrieval; mathematical content search; document ranking of mathematical papers; math text mining; MIaS; WebMIaS
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2014 04:01.
      More: https://is.muni.cz/publication/945754/en
    7. The Art of Mathematics Retrieval
      SOJKA, Petr and Martin LÍŠKA. The Art of Mathematics Retrieval. Online. In Matthew R. B. Hardy, Frank Wm. Tompa. Proceedings of the 2011 ACM Symposium on Document Engineering. Mountain View, CA, USA: ACM, 2011, p. 57--60. ISBN 978-1-4503-0863-2. Available from: https://dx.doi.org/10.1145/2034691.2034703.
      conference web DOI poster preprint
      Name in Czech: Umění indexování a vyhledávání matematiky
      RIV/00216224:14330/11:00053335 Proceedings paper. Informatics. English. Czech Republic.
      Sojka, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Líška, Martin (703 Slovakia, belonging to the institution)
      Keywords in English: math indexing and retrieval; mathematical digital libraries; information systems; information retrieval; mathematical content search; document ranking of mathematical papers; math text mining; MIaS; WebMIaS
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Changed: 10/5/2013 12:43.
      More: https://is.muni.cz/publication/952011/en

    2010

    1. A Context-Based Grammar Generation in Mixed Initiative Dialogue System for Visually Impaired
      PLHÁK, Jaromír. A Context-Based Grammar Generation in Mixed Initiative Dialogue System for Visually Impaired. In Computers Helping People with Special Needs, 12th International Conference. 6180/2010. Berlin: Springer-Verlag, 2010, p. 354-360. ISBN 978-3-642-14099-0. Available from: https://dx.doi.org/10.1007/978-3-642-14100-3_52.
      RIV/00216224:14330/10:00065877 Proceedings paper. Informatics. English. Germany.
      Plhák, Jaromír (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: web page creation; dialogue system; grammar; accessibility; visually impaired
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2014 04:18.
      More: https://is.muni.cz/publication/892569/en
    2. Access Rights in Enterprise Full-text Search
      KASPRZAK, Jan, Michal BRANDEJS, Matěj ČUHEL and Tomáš OBŠÍVAČ. Access Rights in Enterprise Full-text Search. In ICEIS 2010: Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 1: Databases and Information Systems Integration. 2010th ed. Funchal, Portugal: INSTICC – Institute for Systems and Technologies of Information, Control and Communication, 2010, p. 32-39. ISBN 978-989-8425-04-1.
      URL
      Name in Czech: Přístupová práva ve fulltextovém vyhledávání v podnikových systémech
      RIV/00216224:14330/10:00044274 Proceedings paper. Informatics. English. Portugal.
      Kasprzak, Jan (203 Czech Republic, belonging to the institution) -- Brandejs, Michal (203 Czech Republic, guarantor, belonging to the institution) -- Čuhel, Matěj (203 Czech Republic, belonging to the institution) -- Obšívač, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Full-text search; Intranet; Security; Access rights; Document permissions; Document-level security
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. Michal Brandejs, CSc., učo 2116. Changed: 24/11/2012 20:48.
      ID=890027
      More: https://is.muni.cz/publication/890027/en
    3. GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
      MATELA, Jiří, Vít RUSŇÁK and Petr HOLUB. GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. In MEMICS 2010 Proceedings. first. Brno: NOVPRESS, 2010, p. 126-134. ISBN 978-80-87342-10-7.
      RIV/00216224:14330/10:00057180 Proceedings paper. Informatics. English. Czech Republic.
      Matela, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Rusňák, Vít (203 Czech Republic, belonging to the institution) -- Holub, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: EBCOT;JPEG2000;Tier-1;GPU;context modeller
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jiří Matela, Ph.D., učo 99087. Changed: 15/2/2013 18:45.
      More: https://is.muni.cz/publication/904619/en
    4. Improving the Reliability of the Plagiarism Detection System
      KASPRZAK, Jan and Michal BRANDEJS. Improving the Reliability of the Plagiarism Detection System. Online. In Notebook Papers of CLEF 2010 LABs and Workshops. Padova: University of Padova, 2010, p. 1-10. ISBN 978-88-904810-0-0.
      URL
      RIV/00216224:14330/10:00045065 Proceedings paper. Informatics. English. Italy.
      Kasprzak, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Brandejs, Michal (203 Czech Republic, belonging to the institution)
      Keywords in English: plagiarism; document similarity; external plagiarism; intrinsic plagiarism
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jan Kasprzak, Ph.D., učo 1885. Changed: 11/5/2015 22:27.
      More: https://is.muni.cz/publication/902466/en
    5. Through Low-Cost Annotation to Reliable Parsing Evaluation
      JAKUBÍČEK, Miloš, Vojtěch KOVÁŘ and Marek GRÁC. Through Low-Cost Annotation to Reliable Parsing Evaluation. In PACLIC 24 Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation. Tokyo: Waseda University, 2010, p. 555-562. ISBN 978-4-905166-00-9.
      URL
      RIV/00216224:14330/10:00065887 Proceedings paper. Linguistics. English. Japan.
      Jakubíček, Miloš (203 Czech Republic, belonging to the institution) -- Kovář, Vojtěch (203 Czech Republic, guarantor, belonging to the institution) -- Grác, Marek (703 Slovakia, belonging to the institution)
      Keywords in English: noun phrases;parsing;parser evaluation;annotation;inter-annotator agreement
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2014 10:04.
      More: https://is.muni.cz/publication/908010/en

    2009

    1. Detection and Annotation of Graphical Objects in Raster Images within the GATE Project
      KOPEČEK, Ivan, Radek OŠLEJŠEK, Jaromír PLHÁK and Fedor TIRŠEL. Detection and Annotation of Graphical Objects in Raster Images within the GATE Project. In Proceedings of the 2009 International Conference on Internet Computing ICOMP 2009. USA: CSREA Press, 2009, p. 285-290. ISBN 1-60132-110-4.
      Name in Czech: Detekce a anotace grafických objektů v rastrových obrázcích v rámci projektu GATE
      RIV/00216224:14330/09:00029425 Proceedings paper. Informatics. English. United States of America.
      Kopeček, Ivan (203 Czech Republic, guarantor, belonging to the institution) -- Ošlejšek, Radek (203 Czech Republic, belonging to the institution) -- Plhák, Jaromír (203 Czech Republic, belonging to the institution) -- Tiršel, Fedor (703 Slovakia, belonging to the institution)
      Keywords in English: object detection; annotation
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 19/7/2013 16:05.
      More: https://is.muni.cz/publication/840919/en
    2. Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks
      STETSKO, Andriy and Václav MATYÁŠ. Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks. Online. In EC2ND 2009 : European Conference on Computer Network Defense. Los Alamitos (CA, USA): IEEE Computer Society, 2009, p. 21-28. ISBN 978-0-7695-3983-6.
      URL
      RIV/00216224:14330/09:00044286 Proceedings paper. Informatics. English. United States of America.
      Stetsko, Andriy (804 Ukraine, guarantor, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: evaluation metrics;intrusion detection system;wireless sensor network
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Andrij Stecko, Ph.D., učo 184905. Changed: 1/4/2013 10:33.
      More: https://is.muni.cz/publication/890249/en
    3. Finding Plagiarism by Evaluating Document Similarities
      KASPRZAK, Jan, Michal BRANDEJS and Miroslav KŘIPAČ. Finding Plagiarism by Evaluating Document Similarities. In Proceedings of the SEPLN'09 Workshop on Uncovering Plagiarism, Authorship and Social Software Misuse. Vol. 502. San Sebastian, Španělsko: CEUR Workshop Proceedings, 2009, p. 24-28. ISSN 1613-0073.
      Stránky soutěže a workshopu Sborník v PDF
      Name in Czech: Hledání plagiátů pomocí vyhodnocení podobností dokumentů
      RIV/00216224:14330/09:00036624 Proceedings paper. Informatics. English. Spain.
      Kasprzak, Jan (203 Czech Republic, guarantor) -- Brandejs, Michal (203 Czech Republic) -- Křipač, Miroslav (203 Czech Republic)
      Keywords in English: Plagiarism Similar Documents Document Overlap Distributed Computing Parallelism
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jan Kasprzak, Ph.D., učo 1885. Changed: 26/3/2010 11:52.
      More: https://is.muni.cz/publication/845820/en
    4. Syntactic Analysis as Pattern Matching: The SET Parsing System
      KOVÁŘ, Vojtěch, Aleš HORÁK and Miloš JAKUBÍČEK. Syntactic Analysis as Pattern Matching: The SET Parsing System. In Proceedings of 4th Language & Technology Conference. Poznań (Poland): Wydawnictwo Poznańskie, 2009, p. 100-104. ISBN 978-83-7177-746-2.
      Name in Czech: Syntaktická analýza s využitím konečných vzorků: Analyzátor SET
      RIV/00216224:14330/09:00037189 Proceedings paper. Informatics. English. Poland.
      Kovář, Vojtěch (203 Czech Republic, belonging to the institution) -- Horák, Aleš (203 Czech Republic, guarantor, belonging to the institution) -- Jakubíček, Miloš (203 Czech Republic, belonging to the institution)
      Keywords in English: syntactic analysis;pattern matching;SET
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vojtěch Kovář, Ph.D., učo 139915. Changed: 20/9/2012 11:48.
      More: https://is.muni.cz/publication/855311/en

    2008

    1. The Satisfiability Problem for Probabilistic CTL
      BRÁZDIL, Tomáš, Vojtěch FOREJT, Jan KŘETÍNSKÝ and Antonín KUČERA. The Satisfiability Problem for Probabilistic CTL. In 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California: IEEE Computer Society, 2008, p. 391-402, 10 pp. ISBN 978-0-7695-3183-0.
      Name in Czech: Problém splnitelnosti pro pravděpodobnostní CTL
      RIV/00216224:14330/08:00026224 Proceedings paper. Informatics. English. United States of America.
      Brázdil, Tomáš (203 Czech Republic) -- Forejt, Vojtěch (203 Czech Republic) -- Křetínský, Jan (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor)
      Keywords in English: Stochastic systems; branching-time temporal logics
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/5/2009 15:16.
      More: https://is.muni.cz/publication/771768/en
    2. Visually Impaired Users Create Web Pages
      BÁRTEK, Luděk and Jaromír PLHÁK. Visually Impaired Users Create Web Pages. In 11th International Conference on Computers Helping People with Special Needs. Berlin: Springer-Verlag, 2008, p. 466-473. ISBN 3-540-70539-2.
      Name in Czech: Zrakově postižení uživatelé vytvařejí stránky
      RIV/00216224:14330/08:00026666 Proceedings paper. Information theory. English. Czech Republic.
      Bártek, Luděk (203 Czech Republic, guarantor) -- Plhák, Jaromír (203 Czech Republic)
      Keywords in English: web creation; dialogue; accessibility
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jaromír Plhák, Ph.D., učo 60773. Changed: 31/3/2010 09:40.
      More: https://is.muni.cz/publication/789475/en

    2007

    1. Dependency and Phrasal Parsers of the Czech Language: A Comparison
      HORÁK, Aleš, Tomáš HOLAN, Vladimír KADLEC and Vojtěch KOVÁŘ. Dependency and Phrasal Parsers of the Czech Language: A Comparison. In Proceedings of 10th International Conference on Text, Speech, and Dialogue (TSD 2007). Berlin, Heidelberg: Springer, 2007, p. 76-84. ISBN 978-3-540-74627-0.
      Name in Czech: Porovnání závislostních a frázových syntaktických analyzátorů pro češtinu
      RIV/00216224:14330/07:00019525 Proceedings paper. Informatics. English. Czech Republic.
      Horák, Aleš (203 Czech Republic, guarantor, belonging to the institution) -- Holan, Tomáš (203 Czech Republic) -- Kadlec, Vladimír (203 Czech Republic, belonging to the institution) -- Kovář, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: parsing; Czech
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vojtěch Kovář, Ph.D., učo 139915. Changed: 8/11/2011 13:33.
      More: https://is.muni.cz/publication/746063/en
Displayed: 19/9/2024 06:16