Publications

2018 (1)

  • Míšek J., Zavoral F.: Semantic Analysis of Ambiguous Types in Dynamic Languages, in Journal of Ambient Intelligence and Humanized Computing, Vol. 9, Num. 9/2, ISSN: 1868-5137, pp. 1-13, 2018
back to top

2017 (8)

  • Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Data preprocessing of eSport game records: Counter-strike: Global offensive, in 6th International Conference on Data Science, Technology and Applications, DATA 2017, Madrid, SciTePress, ISBN: 978-989-758-255-4, pp. 269-276, 2017
  • Brabec M., Bednárek D.: Transforming procedural code for streaming environments, in 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, St. Petersburg, Institute of Electrical and Electronics Engineers Inc., ISBN: 978-1-5090-6058-0, ISSN: 1066-6192, pp. 167-175, 2017
  • Čermák M., Zavoral F.: In-Memory Parallel SPARQL Engine, in Proceedings of the 4th International Conference on Big Data Applications and Services, Tashkent, Uzbekistan, Korea Big Data Service Society, ISSN: 2466-135X, pp. 229-234, 2017
  • Dokulil J., Benkner S., Yaghob J.: The Open Community Runtime on the Intel Knights Landing Architecture, in ICA3PP 2017: Algorithms and Architectures for Parallel Processing, Helsinki, Finsko, Springer Verlag, ISBN: 978-3-319-65481-2, ISSN: 0302-9743, pp. 801-813, 2017
  • Honzátko D., Kruliš M.: Accelerating block-matching and 3D filtering method for image denoising on GPUs, in Journal of Real-Time Image Processing, Vol. Neuveden, Num. 29.11.2017, ISSN: 1861-8200, pp. 1-15, 2017
  • Míšek J., Fistein B., Zavoral F.: Inferring Common Language Infrastructure Metadata for an Ambiguous Dynamic Language Type, in ICOS 2015 - 2015 IEEE Conference on Open Systems, Langkawi, IEEE Computer Society, ISBN: 978-1-5090-2603-6, ISSN: 2473-3660, pp. 111-116, 2017
  • Míšek J., Zavoral F.: Binding Semantic Tree of Dynamic Languages to Static Language Constructs, in Proceedings of the 4th International Conference on Computer Science and Engineering, Vídeň, AIRCC, pp. 1-11, 2017
  • Míšek J., Zavoral F.: Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation, in Proceedings of the 7th International Symposium on Frontiers in Ambient and Mobile Systems, FAMS 2017, Funchal, Madeira, Elsevier, ISSN: 1877-0509, pp. 955-962, 2017
back to top

2016 (4)

  • Bednárek D., Brabec M., Kruliš M.: Improving matrix-based dynamic programming on massively parallel accelerators, in Information Systems, Vol. 64, Num. March 2017, ISSN: 0306-4379, pp. 175-193, 2016
  • Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Creating Distributed Execution Plans with BobolangNG, in Algorithms and Architectures for Parallel Processing, Granada, Springer International Publishing AG, ISBN: 978-3-319-49582-8, ISSN: 0302-9743, pp. 88-97, 2016
  • Galuščáková P., Batko M., Kruliš M., Lokoč J., Novák D., Pecina P.: CUNI at TRECVID 2015 Video Hyperlinking Task, in 2015 TREC Video Retrieval Evaluation Notebook Papers and Slides, Gaithersburg, Maryland, United States, NIST, pp. 1-7, 2016
  • Kruliš M., Osipyan H., Marchand-Maillet S.: Employing GPU Architectures for Permutation-based Indexing, in Multimedia Tools and Applications, ISSN: 1380-7501, 2016
back to top

2015 (18)

  • Bednárek D., Brabec M., Kruliš M.: On Parallel Evaluation of Matrix-Based Dynamic Programming Algorithms, in Eighth Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2015), Amsterdam, Neuveden, pp. nestránkováno, 2015
  • Bednárek D., Kruliš M., Malý P., Yaghob J., Zavoral F., Pokorný J.: Combining Distributed Computing and Massively Parallel Devices to Accelerate Stream Data Processing, in Proceedings of the The Seventh International Conference on Advances in Databases, Knowledge, and Data Applications, Řím, IARIA, ISBN: 978-1-61208-408-4, ISSN: 2308-4332, pp. 1-8, 2015
  • Bednárek D., Yaghob J., Zavoral F.: Metro-NG: Computer-Aided Scheduling and Collision Detection, in Computing and Informatics, Vol. 34, Num. 2, ISSN: 1335-9150, pp. 277-304, 2015
  • Brabec M., Bednárek D.: Procedural Code Representation in a Flow Graph, in DATESO 2015 - Databases, Texts, Specifications, Objects 2015, Nepřívěc u Sobotky, Jičín, CEUR Workshop Proceedings, ISBN: 978-80-7378-285-6, ISSN: 1613-0073, pp. 89-100, 2015
  • Falt Z., Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Towards Efficient Locality Aware Parallel Data Stream Processing, in Journal of Universal Computer Science, Vol. 21, Num. 6, ISSN: 0948-6968, pp. 816-841, 2015
  • Krížik L., Falt Z., Čermák M., Zavoral F.: Using Static Code Analysis for Improvement of Job Data Availability in Bobox Task Scheduling, accepted for publication in Proceeedings of the 2nd International Conference on Communication and Computer Engineering, Phuket, Springer International Publishing, ISBN: 978-3-319-24582-9, ISSN: 1876-1100, pp. 1-8, 2015
  • Krížik L., Zavoral F., Čermák M.: Using Static Code Analysis to Improve Coarse Task Granularity in Bobox, in The 10th International Conference on Digital Information Management - ICDIM 2015, Jeju, Korejská republika, IEEE, ISBN: 978-1-4673-9152-8, pp. 237-242, 2015
  • Kruliš M.: Critical Evaluation of Existing External Sorting Methods in the Perspective of Modern Hardware, in Proceedings of the Dateso 2015 Workshop, Nepřívěc u Sobotky, Jičín, Czech Republic, MATFYZPRESS, ISBN: 978-80-7378-285-6, ISSN: 1613-0073, pp. 77-88, 2015
  • Kruliš M.: Is There a Free Lunch for Image Feature Extraction in Web Applications, in Similarity Search and Applications, Glasgow, Springer, ISBN: 978-3-319-25086-1, ISSN: 0302-9743, pp. 283-294, 2015
  • Kruliš M., Bednárek D., Brabec M.: Improving Parallel Processing of Matrix-based Similarity Measures on Modern GPUs, in Similarity Search and Applications, Glasgow, Springer, ISBN: 978-3-319-25086-1, ISSN: 0302-9743, pp. 283-294, 2015
  • Kruliš M., Bednárek D., Falt Z., Yaghob J., Zavoral F.: Towards Semi-automated Parallelization of Data Stream Processing, in Intelligent Distributed Computing IX, Guimarães, Portugal, Springer International Publishing, ISBN: 978-3-319-25015-1, ISSN: 1860-949X, pp. 235-245, 2015
  • Kruliš M., Lokoč J., Skopal T.: Efficient Extraction of Clustering-Based Feature Signatures Using GPU Architectures, in Multimedia Tools and Applications, Vol. 2015, Num. 27.6.2015, ISSN: 1380-7501, pp. 1-33, 2015
  • Kruliš M., Osipyan H., Marchand-Maillet S.: Optimizing Sorting and Top-k Selection Steps in Permutation Based Indexing on GPUs, in New Trends in Databases and Information Systems, Poitiers, France, Springer, ISBN: 978-3-319-23200-3, ISSN: 1865-0929, pp. 305-317, 2015
  • Kruliš M., Osipyan H., Marchand-Maillet S.: Permutation Based Indexing for High Dimensional Data on GPU Architectures, in 13th International Workshop on Content-Based Multimedia Indexing (CBMI), Prague, Czech Republic, IEEE, ISBN: 978-1-4673-6870-4, ISSN: 1949-3991, pp. 1-6, 2015
  • Kruliš M., Stefan P., Yaghob J., Zavoral F.: Assessing Applicability of Power-Efficient Embedded Devices for Micro-Cloud Computing, in Information Technologies - Applications and Theory, Čingov, Slovakia, CEUR Workshop Proceedings, ISBN: 978-1-5151-2065-0, ISSN: 1613-0073, pp. 17-22, 2015
  • Kupka O., Zavoral F.: On Architecture and Design of Event-Based Continuous Integration Server, in International Journal of Computer Science: Theory and Application, Vol. 3, Num. 2, ISSN: 2336-0984, pp. 1-9, 2015
  • Osypian H., Kruliš M., Marchand-Maillet S.: A Survey of CUDA-based Multidimensional Scaling on GPU Architecture, in Imperial College Computing Student Workshop (ICCSW 2015), London, Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik, ISBN: 978-3-95977-000-2, ISSN: 2190-6807, pp. 37-45, 2015
  • Pokorný J., Škoda P., Zelinka I., Bednárek D., Zavoral F., Kruliš M., Šaloun P.: Big Data Movement: A Challenge in Data Processing, in Big Data in Complex Systems, Springer International Publishing, ISBN: 978-3-319-11055-4, pp. 29-69, 2015
back to top

2014 (14)

  • Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Employing Evolutionary Algorithms for Classification of Astrophysical Spectra, accepted for publication in ITAT 2014 with Selected Papers from Znalosti 2014, Jasná, Slovakia, Ústav informatiky AV ČR, vvi;, ISSN: 1613-0073, pp. 7-12, 2014
  • Brabec M., Bednárek D., Malý P.: Transformation of Pipeline Stage Algorithms to Event-Driven Code, accepted for publication in ITAT 2014 with Selected Papers from Znalosti 2014, Jasná, Slovakia, Ústav informatiky AV ČR, vvi;, ISSN: 1613-0073, pp. 13-20, 2014
  • Čermák M., Zavoral F.: Achieving High Availability in D-Bobox, in DBKDA 2014 The Sixth International Conference on Advances in Databases, Knowledge, and Data Applications, Chamonix, IARIA, ISBN: 978-1-61208-334-6, pp. 92-97, 2014
  • Falt Z., Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Bobolang - A Language for Parallel Streaming Applications, in Proceedings of the 23rd International ACM Symposium on High-Performance Parallel and Distributed Computing, Vancouver, ACM, ISBN: 978-1-4503-2749-7, pp. 311-314, 2014
  • Falt Z., Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Locality Aware Task Scheduling in Parallel Data Stream Processing, in Proceedings of the 8th International Symposium on Intelligent Distributed Computing - IDC'2014, Madrid, Springer Verlag, ISBN: 978-3-319-10421-8, ISSN: 1860-949X, pp. 331-342, 2014
  • Galuščáková P., Kruliš M., Lokoč J., Pecina P.: CUNI at MediaEval 2014 Search and Hyperlinking Task: Visual and Prosodic Features in Hyperlinking, accepted for publication in Working Notes Proceedings of the MediaEval 2014 Workshop, Barcelona, Spain, CEUR-WS.org, ISSN: 1613-0073, pp. 1-2, 2014
  • Jiráček Z., Martínek V., Čermák M.: Deviations prediction in timetables based on AVL dat, in ITAT 2014 Informační technologie - aplikace a teorie, část I: sborník z 14. konference ITAT 2014, Jasná, Slovakia, Ústav informatiky AV ČR, vvi;, ISBN: 978-80-87136-18-8, ISSN: 1613-0073, pp. 54-60, 2014
  • Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Employing Similarity Methods for Stellar Spectra Classification in Astroinformatics, in Similarity Search and Applications, Los Cabos, Mexiko, Springer Berlin Heidelberg, ISBN: 978-3-319-11987-8, ISSN: 0302-9743, pp. 229-240, 2014
  • Kruliš M., Falt Z., Zavoral F.: Exploiting HTML5 Technologies for Distributed Parasitic Web Storge, in DATESO 2014 Databases, Texts, Specifications, Objects, Roudnice n. Labem, Česká republika, České vysoké učení technické v Praze, ISBN: 978-80-01-05482-6, pp. 71-80, 2014
  • Kruliš M., Kirchhoff S., Yaghob J.: Perils of Combining Parallel Distance Computations with Metric and Ptolemaic Indexing in kNN Queries, in Similarity Search and Applications, Los Cabos, Mexiko, Springer Berlin Heidelberg, ISBN: 978-3-319-11987-8, ISSN: 0302-9743, pp. 127-138, 2014
  • Kupka O., Zavoral F.: Cider: An Event-driven Continuous Integration Server, in Proceedings of the 38th Annual International Computers, Software & Applications Conference, Vasteras, IEEE, ISBN: 978-1-4799-3574-1, ISSN: 0730-3157, pp. 646-647, 2014
  • Novotný M., Zavoral F.: Resistance of Trust Management Systems against Malicious Collectives, in Proceedings of 2nd International Conference on Context-Aware Systems and Applications, PhuQuoc, Springer Verlag, ISBN: 978-3-319-05938-9, ISSN: 1867-8211, pp. 67-76, 2014
  • Yaghob J., Bednárek D., Kruliš M., Zavoral F.: Column-oriented Data Store for Astrophysical Data, in 25th International Workshop on Database and Expert Systems Applications, Munich, Germany, IEEE Computer Society, ISBN: 978-1-4799-5722-4, ISSN: 1529-4188, pp. 258-262, 2014
  • Zavoral F., Yaghob J., Bednárek D., Kruliš M.: Contemplating Efficiency of the ROOT File Format for Data Intensive Simulations in Particle Physics, accepted for publication in ITAT 2014 with Selected Papers from Znalosti 2014, Jasná, Slovakia, Ústav informatiky AV ČR, ISSN: 1613-0073, pp. 1-5, 2014
back to top

2013 (9)

  • Bednárek D.: Effective Datalog-like representation of procedural programs, accepted for publication in CEUR Workshop Proceedings, Belianske Tatry; Slovakia, CEUR-WS.org, ISSN: 1613-0073, pp. 9-16, 2013
  • Brabec M., Bednárek D.: Programming parallel pipelines using non-parallel C# code, accepted for publication in CEUR Workshop Proceedings, Donovaly, Slovakia, CEUR-WS.org, ISSN: 1613-0073, pp. 82-87, 2013
  • Čermák M., Zavoral F.: Dosiahnutie vysokej dostupnosti v D-Boboxe, in ITAT 2013: Information Technologies—Applications and Theory Proceedings, Donovaly, Slovakia, CreateSpace Independent Publishing Platform, ISBN: 978-1-4909-5200-0, ISSN: 1613-0073, pp. 69-74, 2013
  • Dokulil J., Katreniaková J., Bednárek D.: Shortest Path Approach to Edge Routing, in 17th International Conference on Information Visualisation, London, IEEE Computer Society's Conference Publishing Services, ISBN: 978-0-7695-5049-7, ISSN: 1550-6037, pp. 428-434, 2013
  • Falt Z., Čermák M., Zavoral F.: Highly Scalable Sort-Merge Join Algorithm for RDF Querying, in Proceedings of the International Conference on Data Technologies and Applications, Reyjkvajík, Island, SciTePress, ISBN: 978-989-8565-67-9, pp. 293-300, 2013
  • Falt Z., Kruliš M., Yaghob J.: Bobolang - jazyk pro systém Bobox, in ITAT 2013: Information Technologies—Applications and Theory (Proceedings), Donovaly, Slovensko, CreateSpace Independent Publishing Platform, ISBN: 978-1-4909-5200-0, ISSN: 1613-0073, pp. 75-81, 2013
  • Galgonek J., Kruliš M., Hoksza D.: On the Parallelization of the SProt Measure and the TM-score Algorithm, in Euro-Par 2012: Parallel Processing Workshops, Rhodes Island, Greece, Springer Berlin Heidelberg, ISBN: 978-3-642-36948-3, ISSN: 0302-9743, pp. 238-247, 2013
  • Kruliš M., Čermák M., Falt Z., Yaghob J.: Revize metod externího třídění pro moderní hardware, in ITAT 2013: Information Technologies—Applications and Theory (Proceedings), Donovaly, Slovakia, CreateSpace Independent Publishing Platform, ISBN: 978-1-4909-5200-0, ISSN: 1613-0073, pp. 65-68, 2013
  • Kruliš M., Lokoč J., Skopal T.: Efficient Extraction of Feature Signatures Using Multi-GPU Architecture, in Advances in Multimedia Modeling, Huangshan, China, Springer Heidelberg Dordrecht, ISBN: 978-3-642-35727-5, ISSN: 0302-9743, pp. 446-456, 2013
back to top

2012 (12)

  • Bednárek D.: Bulk Evaluation of XQuery, LAP Lambert Academic Publishing, ISBN: 978-3-659-27023-9, 2012
  • Bednárek D.: Effective Datalog-like representation of procedural programs, in Information Technologies - Applications and Theory, Conference on Theory and Practice of Information Technologies, Proceedings, Ždiar, Slovakia, Slovenská spoločnosť pre umelú inteligenciu, ISBN: 978-80-971144-0-4, pp. 9-16, 2012
  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: Bobox: Parallelization Framework for Data Processing, accepted for publication in Advances in Information Technology and Applied Computing, Denpasar, AITAC, ISSN: 2251-3418, pp. 189-194, 2012
  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: Data-Flow Awareness in Parallel Data Processing, in Intelligent Distributed Computing VI, Calabria, Springer, ISBN: 978-3-642-32523-6, ISSN: 1860-949X, pp. 149-154, 2012
  • Čermák M., Dokulil J., Katerniaková J.: Boundary labeling of graph edges using colors, in 16th International Conference on Information Visualisation (IV 2012), Montpellier, France, IEEE Computer Society's Conference Publishing Services, ISBN: 978-1-4673-2260-7, ISSN: 1550-6037, pp. 460-463, 2012
  • Čermák M., Falt Z., Zavoral F.: D-Bobox: O distribuovatelnosti Boboxu, in Zborník príspevkov prezentovaných na konferencii Informačné technológie – Aplikácie a Teória, ITAT 2012, Monkova dolina, Slovensko, Neuveden, ISBN: 978-80-971144-1-1, pp. 41-46, 2012
  • Falt Z., Bednárek D., Čermák M., Zavoral F.: On Parallel Evaluation of SPARQL Queries, in The Fourth International Conference on Advances in Databases, Knowledge, and Data Applications DBKDA 2012, Saint Gilles, Reunion Island, Xpert Publishing Services, ISBN: 978-1-61208-185-4, pp. 97-102, 2012
  • Falt Z., Bulánek J., Yaghob J.: On Parallel Sorting of Data Streams, in Advances in Databases and Information Systems, Poznan, Poland, Springer, ISBN: 978-3-642-32740-7, ISSN: 2194-5357, pp. 69-77, 2012
  • Falt Z., Čermák M., Dokulil J., Zavoral F.: Parallel SPARQL Query Processing Using Bobox, in International Journal On Advances in Intelligent Systems, Vol. 5, Num. 3, ISSN: 1942-2679, pp. 302-314, 2012
  • Kruliš M., Falt Z., Bednárek D., Yaghob J.: Task Scheduling in Hybrid CPU-GPU Systems, in Zborník príspevkov prezentovaných na konferencii Informačné technológie – Aplikácie a Teória, ITAT 2012, Monkova dolina, Slovensko, PONT s. r. o., ISBN: 978-80-971144-1-1, pp. 17-24, 2012
  • Kruliš M., Skopal T., Lokoč J., Beecks C.: Combining CPU and GPU architectures for fast similarity search, in DISTRIBUTED AND PARALLEL DATABASES, Vol. 30, Num. 3-4, ISSN: 0926-8782, pp. 179-207, 2012  [PDF]
  • Stárka J., Svoboda M., Sochna J., Schejbal J., Mlýnková I., Bednárek D.: Analyzer - A Complex System for Data Analysis, in Computer Journal, Vol. 55, Num. 5, ISSN: 0010-4620, pp. 590-615, 2012
back to top

2011 (14)

  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: Čím zaplnit prostor mezi manuální a automatickou paralelizací?, in Informačné Technológie - Aplikácie a Teória, Terchová, Slovakia, PONT s.r.o., ISBN: 978-80-89557-02-8, pp. 87-88, 2011
  • Čermák M., Dokulil J., Falt Z.: Vyhodnocování SPARQL dotazů systémem Bobox, in Informačné Technológie - Aplikácie a Teória, Vrátná dolina, Slovensko, PONT s. r. o., ISBN: 978-80-89557-01-1, pp. 63-68, 2011
  • Čermák M., Falt Z., Dokulil J., Zavoral F.: SPARQL Query Processing Using Bobox Framework, in The Fifth International Conference on Advances in Semantic Processing SEMAPRO 2011, Lisbon, Portugal, Xpert Publishing Services, ISBN: 978-1-61208-175-5, pp. 104-109, 2011
  • Dokulil J., Bednárek D., Yaghob J.: The Bobox Project: Parallelization Framework and Server for Data Processing, technical report no. 2011/1, Department of Software Engineering, 39 pages, 2011
  • Dokulil J., Katerniaková J., Čermák M.: Edge routing and bundling for graphs with fixed node positions, in 2011 15th International Conference on Information Visualisation, London, United Kingdom, IEEE Computer Society, ISBN: 978-0-7695-4476-2, ISSN: 1550-6037, pp. 475-481, 2011
  • Falt Z., Kruliš M., Yaghob J.: Optimalizace třídicích algoritmů pro systémy proudového zpracování dat, in Informačné Technológie - Aplikácie a Teória, Vrátná dolina, PONT s. r. o., ISBN: 978-80-89557-01-1, pp. 69-74, 2011
  • Falt Z., Töpfer P.: Mezinárodní olympiáda v informatice IOI 2011, in Matematika - fyzika - informatika, Vol. 21, Num. 4, ISSN: 1210-1761, pp. 244-245, 2011
  • Falt Z., Yaghob J.: Task Scheduling in Data Stream Processing, in Proceedings of the Dateso 2011 Workshop on DAtabases, TExts, Specifications and Objects, Písek, Czech Republic, Vysoká škola báňská - Technická univerzita Ostrava, ISBN: 978-80-248-2391-1, pp. 85-96, 2011
  • Kruliš M., Lokoč J., Beecks C., Skopal T., Seidl T.: Processing the Signature Quadratic Form Distance on Many-Core GPU Architectures, in Compilation Proceedings of CIKM 2011 and the co-located Workshops, Glasgow, ACM, ISBN: 978-1-4503-0717-8, pp. 2373-2376, 2011
  • Kruliš M., Yaghob J.: Revision of Relational Joins for Multi-Core And Many-Core Architectures, accepted for publication in Proceedings of the Dateso 2011 Workshop on DAtabases, TExts, Specifications and Objects, Písek, Czech Republic, Vysoká škola báňská - Technická univerzita Ostrava, pp. 229-240, 2011
  • Novotný M., Zavoral F.: Resistance Against Malicious Collectives in BubbleTrust, in PDCAT 2011 - 12th International Conference on Parallel and Distributed Computing, Gwangju, Korea, IEEE Computer Society, ISBN: 978-0-7695-4564-6, pp. 56-61, 2011
  • Stárka J., Svoboda M., Schejbal J., Mlýnková I., Bednárek D.: XML Document Correction and XQuery Analysis with Analyzer, in Proceedings of the Dateso 2011 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Písek, Czech Republic, VŠB - Technical University of Ostrava, ISBN: 978-80-248-2391-1, pp. 61-72, 2011
  • Šindelář Š., Zavoral F.: Design Patterns Support in Development Environments, technical report no. 2011/2, Department of Software Engineering, 56 pages, 2011
  • Šindelář Š., Zavoral F.: Pattern4Net: Efficient Development Using Design Patterns, in Informačné Technológie - Aplikácie a Teória, Terchová, Slovakia, PONT s.r.o., ISBN: 978-80-89557-02-8, pp. 47-54, 2011
back to top

2010 (20)

  • Bednárek D.: R-Programs: A Framework for Distributing XML Structural Joins across Function Calls, in Lecture Notes in Computer Science, Vol. 2010, Num. 5901, ISSN: 0302-9743, pp. 176-187, 2010
  • Bednárek D., Dokulil J.: TriQuery: Modifying XQuery for RDF and Relational Data, in 2010 Workshops on Database and Expert Systems Applications, Bilbao, Spain, IEEE Computer Society, ISBN: 978-0-7695-4174-7, ISSN: 1529-4188, pp. 342-346, 2010
  • Bednárek D., Dokulil J., Kruliš M., Yaghob J.: Systémy (polo)automatického hodnocení studentských prací, in Informačné technológie - Aplikácie a Teória, Smrekovica, Slovensko, PONT, ISBN: 978-80-970179-3-4, pp. 3-8, 2010
  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: MetroNG: multimodal interactive scheduling interface, in Proceedings of the International Conference on Advanced Visual Interfaces, Roma, Italy, ACM, ISBN: 978-1-4503-0076-6, pp. 317-320, 2010
  • Bednárek D., Yaghob J., Zavoral F.: Collision Detection and Visualization in Computer-Aided Scheduling, accepted for publication in ICSEMA 2010, Kathmandu, Nepal, OLS Journals, pp. 1-10, 2010
  • Čermák M., Dokulil J., Zavoral F.: Kompilátor Sparql pre Bobox, in Informačné technológie - Aplikácia a Teória, ITAT 2010, Smrekovica, Pont s.r.o., ISBN: 978-80-970179-3-4, pp. 119-120, 2010
  • Čermák M., Dokulil J., Zavoral F.: SPARQL Compiler for Bobox, in The Fourth International Conference on Advances in Semantic Processing, Florence, Italy, Xpert Publishing Services, ISBN: 978-1-61208-000-0, pp. 100-105, 2010
  • Dokulil J., Katreniaková J.: Bobox Model Visualization, in 2010 14th International Conference Information Visualisation, London, UK, IEEE Computer Society, ISBN: 978-0-7695-4165-5, ISSN: 1550-6037, pp. 537-542, 2010
  • Dokulil J., Katreniaková J.: WikiNavigator: jak se neztratit mezi záložkami v prohlížeči, in Informačné technológie - Aplikácie a Teória, Smrekovica, Slovensko, PONT, ISBN: 978-80-970179-3-4, pp. 121-122, 2010
  • Dokulil J., Yaghob J., Zavoral F.: Semantic Infrastructures, in Semantic Web, In-Tech, ISBN: 978-953-7619-33-6, pp. 1-13, 2010
  • Galgonek J., Knap T., Kruliš M., Nečaský M.: SMILE - A Framework for Semantic Applications, in Lecture Notes in Computer Science, Vol. 2010, Num. říjen, ISSN: 0302-9743, pp. 53-54, 2010
  • Kruliš M., Yaghob J.: Efficient Implementation of XPath Processor on Multi-Core CPUs, in Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Stedronin-Plazy, Czech Republic, MATFYZPRESS, ISBN: 978-80-7378-116-3, ISSN: 1613-0073, pp. 60-71, 2010
  • Kruliš M., Yaghob J.: Obecné výpočty na grafických kartách - použitelnost, vlastnosti, praktické zkušenosti, in Proceedings of Malý informatický seminář (MIS), Josefův Důl, Czech Rep., Matfyzpress, Charles University, ISBN: 978-80-7378-148-4, pp. 55-64, 2010  [PDF]
  • Kruliš M., Yaghob J.: The Location Path to Hell Is Paved With Unoptimized Axes: XPath Implementation Tips, in Communications in Computer and Information Science, Vol. 2010, Num. 88, ISSN: 1865-0929, pp. 474-487, 2010
  • Míšek J., Zavoral F.: High-Level Web Data Abstraction Using Language Integrated Query, in Intelligent Distributed Computing IV, Tanger, Springer Verlag, ISBN: 978-3-642-15210-8, pp. 13-22, 2010
  • Míšek J., Zavoral F.: Mapping of Dynamic Language Constructs into Static Abstract Syntax Trees, in 9th IEEE/ACIS International Conference on Computer and Information Science, Yamagata, IEEE Computer Society, ISBN: 978-0-7695-4147-1, pp. 625-632, 2010
  • Novotný M., Zavoral F.: BubbleTrust: A Reliable Trust Management for Large P2P Networks, accepted for publication in Proceedings of the Third International Conference on Network Security & Applications, Chennai, Springer Verlag, pp. 81-95, 2010
  • Opočenská K., Yaghob J., Zavoral F.: Dynamic Setup for Clusters with Multi-Master Architecture, accepted for publication in IEEE International Conference on Software – Science, Technology & Engineering, Herzliya, IEEE Computer Society, pp. 22-29, 2010
  • Wojnar A., Mlýnková I., Dokulil J.: Structural and Semantic Aspects of Similarity of Document Type Definitions and XML Schemas, in Information Sciences, Vol. 180, Num. 10, ISSN: 0020-0255, pp. 1817-1836, 2010
  • Zavoral F., Bednárek D., Yaghob J., Dokulil J.: Automatic Extraction Of Navigation Structure In Scheduling Tools, in Modelling and Simulation 2010: Data Modelling, Banff, Alberta, Canada, Acta Press, ISBN: 978-0-88986-843-4, pp. 15-17, 2010
back to top

2009 (16)

  • Abonyi A., Balaš D., Beňo M., Míšek J., Zavoral F.: Phalanger Improvements, technical report no. 2009/5, Department of Software Engineering, 60 pages, 2009
  • Bednárek D.: Bulk Evaluation of User-Defined Functions in XQuery, Ph.D. thesis, 158 pages, 2009
  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: The Bobox Project - A Parallel Native Repository for Semi-structured Data and the Semantic Web, in ITAT 2009 - IX. Informačné technológie - aplikácie a teória, PONT Slovakia, ISBN: 978-80-970179-1-0, pp. 44-59, September 2009
  • Bednárek D., Dokulil J., Yaghob J., Zavoral F.: Using Methods of Parallel Semi-structured Data Processing for SemanticWeb, in 3rd International Conference on Advances in Semantic Processing, SEMAPRO, Sliema, Malta, IEEE Computer Society Press, ISBN: 978-0-7695-3833-4, pp. 44-49, October 2009
  • Beňo M., Míšek J., Zavoral F.: AgentMat: Framework for Data Scraping and Semantization, in 3rd International Conference on Research Challenges in Information Science, Fez, Morocco, IEEE Computer Society Press, ISBN: 978-1-4244-2864-9, pp. 253-264, 2009
  • Dokulil J., Katreniaková J.: RDF Visualization - Thinking Big, in 20th International Workshop on Database and Expert Systems Application, Johannes Kepler University, Linz, Austria, IEEE Computer Society, ISBN: 978-0-7695-3763-4, pp. 459-463, September 2009
  • Dokulil J., Katreniaková J.: Using Clusters in RDF Visualization, in 3rd International Conference on Advances in Semantic Processing, SEMAPRO, Sliema, Malta, IEEE Computer Society Press, ISBN: 978-0-7695-3833-4, pp. 62-66, October 2009
  • Dokulil J., Katreniaková J., Yaghob J.: Visual Representation of Reifications in RDF Visualizer, in 13th International Conference Information Visualization (IV '09), Universitat Pompeu Fabra, EEE Computer Society, ISBN: 978-0-7695-3733-7, pp. 289-291, July 2009
  • Dokulil J., Obdržálek D., Yaghob J., Zavoral F.: DataPile: Uncertainty and Consistency Management, in International Journal of Computing & Information Technology, Vol. 1, Num. 2, pp. 109-134, 2009
  • Dvořáková J., Zavoral F.: A Low-Memory SSXT Algorithm for XSLT Transformations, in Journal of Information Assurance and Security, Vol. 3, Num. 3, pp. 230-239, 2009
  • Dvořáková J., Zavoral F.: Using Input Buffers for Streaming XSLT Processing, in International Conference on Advances in Databases - GlobeNet/DB, Gosier, IEEE Computer Society Press, ISBN: 978-1-4244-3467-1 , pp. 50-55, March 2009
  • Míšek J., Balaš D., Zavoral F.: Phalanger IntelliSense: Syntactic and semantic prediction, in ITAT 2009 - IX. Informačné technológie - aplikácie a teória, PONT Slovakia, ISBN: 978-80-970179-1-0, pp. 55-63, September 2009
  • Míšek J., Zavoral F.: Syntactic and Semantic Prediction in Dynamic Languages, in 7th ACIS International Conference on Software Engineering Research, Management and Applications, IEEE Computer Society Press, pp. 1-6, 2009
  • Novotný M., Zavoral F.: Matrix Model of Trust Management in P2P Networks, in 3rd International Conference on Research Challenges in Information Science, Fez, Morocco, IEEE Computer Society Press, ISBN: 978-1-4244-2864-9, pp. 519-528, 2009
  • Novotný M., Zavoral F.: Towards Reliable Trust Management in Insecure P2P Environments, in 3rd International Symposium on Intelligent Distributed Computing, Aya Napa, Cyprus, Springer-Verlag, ISBN: 978-3-642-03213-4, ISSN: 1860-949X, pp. 283-288, October 2009
  • Zavoral F., Dvořáková J.: Perfomance of XSLT Processors on Large Data Sets, in Second International Conference on the Applications of Digital Information and Web Technologies, London, IEEE Computer Society Press, ISBN: 978-1-4244-4457-1, pp. 1-10, 2009
back to top

2008 (18)

  • Bednárek D.: Extending Datalog to Cover XQuery, in Information Technologies - Applications and Theory, Hrebienok, Slovakia, PONT s.r.o., Seňa, Slovakia, ISBN: 978-80-969184-9-2, pp. 1-6, 2008
  • Bednárek D.: Output-Driven XQuery Evaluation, in 2nd International Symposium on Intelligent Distributed Computing, Springer-Verlag, ISBN: 978-3-540-85256-8, ISSN: 1860-949X, pp. 55-64, September 2008
  • Bednárek D.: Reducing Temporary Trees in XQuery, in Advances in Databases and Information Systems, Pori, Finland, Springer-Verlag Berlin Heidelberg, ISBN: 978-3-540-85712-9, ISSN: 0302-9743, pp. 30-45, 2008
  • Bednárek D., Yaghob J., Zavoral F.: Fine Grained Access Rights Definition in a Three Tiered Information System, in 5th International Conference on Innovations in Information Technology, Al Ain, United Arab Emirates, IEEE Communication Society, ISBN: 978-1-4244-3396-4, pp. 1-5, December 2008
  • Dokulil J., Katreniaková J.: Edge Routing with Fixed Node Positions, in 12th International Conference Information Visualization (IV '08), London South Bank University, UK, IEEE Computer Society, ISBN: 978-0-7695-3268-4, pp. 626-631, July 2008
  • Dokulil J., Katreniaková J.: Navigation in RDF Data, in 12th International Conference Information Visualization (IV '08), London South Bank University, UK, IEEE Computer Society, ISBN: 978-0-7695-3268-4, pp. 26-31, July 2008
  • Dokulil J., Katreniaková J.: RDF Query Generator, in 12th International Conference Information Visualization (IV '08), London South Bank University, UK, IEEE Computer Society, ISBN: 978-0-7695-3268-4, pp. 191-193, July 2008
  • Dokulil J., Katreniaková J.: RDF vizualizátor, in MIS 2008 12.–19.1.2008, Josefův Důl, Sborník semináře, MATFYZPRESS, ISBN: 978-80-7378-076-0, pp. 3-10, 2008
  • Dokulil J., Katreniaková J.: Visual exploration of RDF data, in SOFSEM 2008: Theory and Practice of Computer Science, Nový Smokovec, Slovakia, Springer-Verlag Berlin Heidelberg, ISBN: 978-3-540-77565-2, ISSN: 0302-9743, pp. 672-683, January 2008
  • Dokulil J., Katreniaková J., Yaghob J.: Everything You Ever Wanted to Learn from the Semantic Web but Were Unable to Ask, in Second International Conference on Advanced Engineering Computing and Applications in Sciences, Valencia, Spain, IEEE Computer Society, ISBN: 978-0-7695-3369-8, pp. 21-26, October 2008
  • Dvořáková J., Zavoral F.: A Low-Memory Streaming Algorithm for XSLT Processing Implemented in Xord Framework, in Proceedings of ICADIWT 2008 - First IEEE International Conference on the Applications of Digital Information and Web Technologies, Ostrava, Czech Republic, IEEE Computer Society, ISBN: 978-1-4244-2624-9, pp. 24-29, 2008
  • Dvořáková J., Zavoral F.: BUXT Engine in Xord: Fragment Buffers for Streaming XSLT Transformations, in 5th International Conference on Innovations in Information Technology, Al Ain, United Arab Emirates, IEEE Communication Society, ISBN: 978-1-4244-3396-4, pp. 1-5, December 2008
  • Dvořáková J., Zavoral F.: Determining XSLT Streamability Using New Hierarchical XSD Model, in ITAT 2008 Information Technologies - Applications and Theory, Hrebienok, Vysoké Tatry, Slovakia, PONT Slovakia, ISBN: 978-80-969184-9-2, pp. 7-12, September 2008
  • Dvořáková J., Zavoral F.: Schema-Based Analysis of XSLT Streamability, in ADVCOMP 2008 - The Second International Conference on Advanced Engineering Computing and Applications in Sciences , Valencia, Spain, IEEE Computer Society, ISBN: 978-0-7695-3369-8, pp. 187-192, 2008
  • Dvořáková J., Zavoral F.: Xord: An Implementation Framework for Efficient XSLT Processing, in 2nd International Symposium on Intelligent Distributed Computing, Springer-Verlag, ISBN: 978-3-540-85256-8, ISSN: 1860-949X, pp. 95-104, September 2008
  • Novotný M., Zavoral F.: Reputation Based Methods for Building Secure P2P Networks, in Proceedings of ICADIWT 2008 - First IEEE International Conference on the Applications of Digital Information and Web Technologies, Ostrava, Czech Republic, IEEE Computer Society, ISBN: 978-1-4244-2624-9, pp. 403-408, 2008
  • Podzimek M., Dokulil J., Yaghob J., Zavoral F.: Mám hlad: pomůže mi Sémantický web?, in ITAT 2008 Informačné Technológie - Aplikácie a Teória, Hrebienok, Slovakia, September 2008, Hrebienok, Vysoké Tatry, Slovakia, PONT Slovakia, ISBN: 978-80-969184-8-5, pp. 91-94, September 2008
  • Wojnar A., Mlýnková I., Dokulil J.: Similarity of DTDs Based on Edit Distance and Semantics, in 2nd International Symposium on Intelligent Distributed Computing, Springer-Verlag, ISBN: 978-3-540-85256-8, ISSN: 1860-949X, pp. 207-216, September 2008
back to top

2007 (7)

  • Bednárek D.: Optimizing XQuery/XSLT programs using backward analysis, in Information Technologies - Applications and Theory, Poľana, Slovakia, PONT s.r.o., Seňa, Slovakia, ISBN: 978-80-969184-7-8, pp. 17-22, September 2007
  • Dokulil J., Katreniaková J.: Visualization of large schemaless RDF data, in International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2007), includes: SEMAPRO 2007, WSNEXT 2007, MUTL 2007, VVSSearch 2007, Papeete, French Polynesia, IEEE Computer Society, ISBN: 978-0-7695-2997-4, pp. 243-248, 2007
  • Dokulil J., Katreniaková J.: Vizualizácia RDF dát pomocou techniky zlučovania vrcholov, in ITAT 2007 Informačné Technológie - Aplikácie a Teória, Polana, Slovakia, September 2007, Polana, Slovensko, ISBN: 978-80-969184-6-1, pp. 23-28, September 2007
  • Dokulil J., Tykal J., Yaghob J., Zavoral F.: Experimantal Platform for the Semantic Web, in ITAT 2007 Informačné Technológie - Aplikácie a Teória, Polana, Slovakia, September 2007, Polana, Slovensko, ISBN: 978-80-969184-6-1, pp. 67-72, September 2007
  • Dokulil J., Tykal J., Yaghob J., Zavoral F.: Semantic Web Infrastructure, in First IEEE International Conference on Semantic Computing, Irvine, California, IEEE Computer Society, ISBN: 978-0-7695-2997-4, pp. 209-215, 2007
  • Dokulil J., Tykal J., Yaghob J., Zavoral F.: Semantic Web Repository And Interfaces, in International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2007), includes: SEMAPRO 2007, WSNEXT 2007, MUTL 2007, VVSSearch 2007, Papeete, French Polynesia, IEEE Computer Society, ISBN: 978-0-7695-2997-4, pp. 223-228, 2007
  • Matoušek T., Zavoral F.: Extracting Zing Models from C Source Code, in SOFSEM 2007: Theory and Practice of Computer Science, Harrachov, Czech Republic, Springer-Verlag Berlin Heidelberg, ISBN: 978-3-540-69506-6, ISSN: 0302-9743, pp. 900-910, January 2007
back to top

2006 (9)

  • Bednárek D.: Turingovské vzory v XSLT programech, in ITAT 2006 Information Technologies - Applications and Theory, Bystrá dolina, Slovakia, September 2006, Bystrá dolina, Slovakia, ISBN: 80-969184-4-3, pp. 11-16, 2006
  • Dokulil J.: Dotazování nad RDF daty, master thesis, 77 pages, 2006
  • Dokulil J.: Evaluation of SPARQL Queries Using Relational Databases, in 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Georgia Center for Continuing Education, Athens, GA, USA, ISBN: 978-3-540-49029-6, ISSN: 0302-9743, pp. 972-973, November 2006
  • Dokulil J.: Použití metod sémantického webu ve stohově orientovaných systémech, in MIS 2006, Josefův Důl, Czech Republic, 2006, MATFYZPRESS, ISBN: 80-7378-000-3, pp. 29-36, December 2006
  • Dokulil J.: Použití relačních databází pro vyhodnocení SPARQL dotazů, in ITAT 2006 Information Technologies - Applications and Theory, Bystrá dolina, Slovakia, September 2006, Bystrá dolina, Slovakia, ISBN: 80-969184-4-3, pp. 23-28, 2006
  • Dokulil J.: Transforming Data from DataPile Structure into RDF, in DATESO 2006, Desna, Czech Republic, Department of Computer Science, FEECS, VŠB-TU Ostrava, ISBN: 978-80-248-1025-6, ISSN: 1613-0073, pp. 54-62, 2006
  • Dokulil J., Yaghob J., Zavoral F.: Infrastruktura pro dotazování nad sémantickými daty, in Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Akademie věd ČR, ISBN: 80-903298-7-X, pp. 10-26, 2006
  • Yaghob J., Zavoral F.: Budování infrastruktury sémantického webu, in ITAT 2006 Information Technologies - Applications and Theory, Bystrá dolina, Slovakia, September 2006, Bystrá dolina, Slovakia, ISBN: 80-969184-4-3, 2006
  • Yaghob J., Zavoral F.: Semantic Web Infrastructure using DataPile, in The 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Itelligent Agent Technology, Hong Kong, China, IEEE Computer Society Press, ISBN: 0-7695-2749-3, pp. 630-633, December 2006
back to top

2005 (4)

  • Bednárek D.: Statická typová kontrola XSLT programů, in ITAT 2005 Information Technologies - Applications and Theory, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika v Košiciach, ISBN: 80-7097-609-8, pp. 13-22, 2005
  • Bednárek D., Obdržálek D., Yaghob J., Zavoral F.: Data Integration Using DataPile Structure, in Advances in Databases and Information Systems, Springer Verlag, ISBN: 3-540-42555-1, pp. 178-188, 2005
  • Dokulil J., Yaghob J., Zavoral F.: Evoluce replikačních algoritmů v stohově orientovaných systémech, in ITAT 2005 Information Technologies - Applications and Theory, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika v Košiciach, ISBN: 80-7097-609-8, pp. 393-401, 2005
  • Štanclová J., Zavoral F.: Hierarchical Associative Memories: The Neural Network for Prediction in Spatial Maps, in Image Analysis and Processing - ICIAP 2005, 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings, ISBN: 3-540-28869-4, ISSN: 0302-9743, pp. 786-793, 2005
back to top

2003 (3)

  • Bednárek D., Obdržálek D., Yaghob J., Zavoral F.: DDDS - The Replicated Database System, in ITAT 2002 Information Technologies - Applications and Theory, UPJŠ Košice, ISBN: 80-7097-499-0, pp. 59-66, 2003
  • Kotal V., Petříček V., Yaghob J.: NetScreen 5XT na tapetě, in Network Computing, Vol. 2003, Num. 11, ISSN: 1213-1180 , pp. 27-29, 2003
  • Yaghob J.: The T4 Microkernel - Microkernel For Distributed Operating System, Ph.D. thesis, 64 pages, 2003
back to top

2000 (1)

  • Yaghob J.: The T4 microkernel, technical report, KSI, MFF UK, 44 pages, 2000
back to top

1999 (1)

  • Bednárek D.: Using Petri nets in processor modelling, technical report, KSI MFF UK, 21 pages, 1999
The content is available under Creative Commons BY-NC 3.0 License