Masaryk University

Publication Records

česky | in English

Filter publications

    2018

  1. MÍČ, Vladimír, David NOVÁK and Pavel ZEZULA. Binary Sketches for Secondary Filtering. ACM Transactions on Information Systems, New York: ACM Press, 2018, vol. 37, No 1, p. "1:1"-"1:28". ISSN 1046-8188. doi:10.1145/3231936.
  2. 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. doi:10.1007/s00500-016-2103-4.
  3. MÍČ, Vladimír, David NOVÁK, Lucia VADICAMO and Pavel ZEZULA. Selecting Sketches for Similarity Search. 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, 15 pp. ISBN 978-3-319-98398-1.
  4. KUČERA, Adam and Tomáš PITNER. Semantic BMS: Allowing usage of building automation data in facility benchmarking. Advanced Engineering Informatics, 2018, Volume 35, January 2018, p. 69-84. ISSN 1474-0346. doi:10.1016/j.aei.2018.01.002.
  5. 2017

  6. 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. doi:10.1109/MCOM.2017.1600972.
  7. 2016

  8. 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. doi:10.1002/cav.1674.
  9. 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. 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, 5 pp. ISBN 978-4-87974-716-7.
  10. 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. doi:10.1186/s13635-016-0030-7.
  11. 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, 8 pp. ISBN 978-3-319-31164-7. doi:10.1007/978-3-319-31165-4_5.
  12. 2015

  13. 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. doi:10.1002/nem.1901.
  14. 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, 18 pp. ISBN 978-3-319-23403-8. doi:10.1007/978-3-319-23404-5_6.
  15. 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, 8 pp. ISBN 978-3-319-21689-8. doi:10.1007/978-3-319-21690-4_31.
  16. 2014

  17. 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, 10 pp. ISBN 978-3-319-07147-3. doi:10.1007/978-3-319-07148-0_17.
  18. 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. doi:10.1016/j.patcog.2013.09.021.
  19. 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. 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, 4 pp. ISBN 978-1-937284-75-6.
  20. 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, 6 pp. ISBN 978-1-4799-5208-3. doi:10.1109/ICPR.2014.215.
  21. 2013

  22. 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, 8 pp. ISBN 978-3-642-41150-2. doi:10.1007/978-3-642-41151-9_49.
  23. 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, 13 pp. ISBN 978-3-319-02894-1. doi:10.1007/978-3-319-02895-8_60.
  24. 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, 15 pp. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_4.
  25. LÍŠKA, Martin. Evaluation of Mathematics Retrieval. školitel diplomové práce. Brno: Masarykova univerzita, 2013. 63 pp.
  26. 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, 8 pp. ISBN 978-3-905673-98-2.
  27. 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, 10 pp. ISBN 978-3-642-41150-2. doi:10.1007/978-3-642-41151-9_57.
  28. 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. doi:10.2196/jmir.2590.
  29. MATERNA, Jiří. Parameter Estimation for LDA-Frames. 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, 5 pp. ISBN 978-1-937284-47-3.
  30. Š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.
  31. JAKUBÍČEK, Miloš, Adam KILGARRIFF, Vojtěch KOVÁŘ, Pavel RYCHLÝ and Vít SUCHOMEL. The TenTen Corpus Family. In 7th International Corpus Linguistics Conference CL 2013. Lancaster, 2013. p. 125-127, 3 pp.
  32. 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.
  33. 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, 12 pp. ISBN 978-3-642-41150-2. doi:10.1007/978-3-642-41151-9_58.
  34. 2012

  35. 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". ISSN 1553-7358. doi:10.1371/journal.pcbi.1002708.
  36. 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. doi:10.1016/j.jpdc.2011.10.015.
  37. 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, 16 pp. ISBN 978-3-642-31423-0. doi:10.1007/978-3-642-31424-7_7.
  38. SUCHOMEL, Vít and Jan POMIKÁLEK. Efficient Web Crawling for Large Text Corpora. In Adam Kilgarriff, Serge Sharoff. Proceedings of the seventh Web as Corpus Workshop (WAC7). Lyon, 2012. p. 39-43, 5 pp.
  39. 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.
  40. 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. doi:10.1016/j.ic.2012.08.001.
  41. 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, 15 pp. ISBN 978-3-642-33825-0. doi:10.1007/978-3-642-33826-7_4.
  42. 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. doi:10.1016/j.tcs.2012.07.030.
  43. 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. doi:10.1016/j.cmpb.2012.05.002.
  44. STETSKO, Andriy, Tobiáš SMOLKA, Filip JURNEČKA and Václav MATYÁŠ. On the Credibility of Wireless Sensor Network Simulations: Evaluation of Intrusion Detection System. In SIMUTOOLS '12: Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques. Belgium: ICST, 2012. p. 75-84, 10 pp. ISBN 978-1-4503-1510-4.
  45. 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. doi:10.1103/PhysRevA.86.062308.
  46. 2011

  47. 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, 11 pp. ISBN 978-3-642-25866-4. doi:10.1007/978-3-642-25867-1_18.
  48. 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, 12 pp. ISBN 978-1-61284-372-8.
  49. 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. ISSN 1804-7890.
  50. 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. 2. vyd. Hradec Králové: MAGNANIMITAS, 2011. ISBN 978-80-904877-7-2.
  51. 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.
  52. 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, 16 pp. ISBN 978-3-642-22672-4. doi:10.1007/978-3-642-22673-1_16.
  53. SOJKA, Petr and Martin LÍŠKA. The Art of Mathematics Retrieval. 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, 4 pp. ISBN 978-1-4503-0863-2. doi:10.1145/2034691.2034703.
  54. 2010

  55. 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, 7 pp. ISBN 978-3-642-14099-0. doi:10.1007/978-3-642-14100-3_52.
  56. 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. 2010. vyd. Funchal, Portugal: INSTICC – Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 32-39, 8 pp. ISBN 978-989-8425-04-1.
  57. 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, 9 pp. ISBN 978-80-87342-10-7.
  58. KASPRZAK, Jan and Michal BRANDEJS. Improving the Reliability of the Plagiarism Detection System. In Notebook Papers of CLEF 2010 LABs and Workshops. Padova: University of Padova, 2010. p. 1-10, 10 pp. ISBN 978-88-904810-0-0.
  59. 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, 8 pp. ISBN 978-4-905166-00-9.
  60. 2009

  61. 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, 6 pp. ISBN 1-60132-110-4.
  62. STETSKO, Andriy and Václav MATYÁŠ. Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks. In EC2ND 2009 : European Conference on Computer Network Defense. Los Alamitos (CA, USA): IEEE Computer Society, 2009. p. 21-28, 8 pp. ISBN 978-0-7695-3983-6.
  63. 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, 5 pp. ISSN 1613-0073.
  64. 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, 5 pp. ISBN 978-83-7177-746-2.
  65. 2008

  66. 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.
  67. 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, 8 pp. ISBN 3-540-70539-2.
  68. 2007

  69. 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, 9 pp. ISBN 978-3-540-74627-0.
Display details
Displayed: 21. 1. 2019 23:44