Miroslav Čermák, M.Sc.

cermak<at>ksi.mff.cuni.cz
Ph.D. student, supervisor Filip Zavoral, Ph.D.

Research groups

PARG

Research topics

  • semantization technologies
  • user interfaces
  • RDF data processing

Teachingtop

CodeTitleLinks
NSWI122Dissertation Thesis Preparation

Supervised thesestop

TitleStudentTypeStartedDefended
Framework for internet strategy & heroesJan PešekBS20112013

Research grantstop

  • Recovery methods for distributed data stream processing (GAUK 472313) 2013-2015 head investigator
  • Highly Scalable Parallel and Distributed Methods of Data Processing in e-Science (GACR P103-13-08195S) 2013-2015 cooperant
  • Abstraction and Automatic Extraction of Data for the Semantic Web (GAUK 28910) 2010-2012 head investigator

Publicationstop

2015

Refereed (journals/proceedings) (2)

  • 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 - text
  • [Best Paper Award]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

2014

Refereed (journals/proceedings) (2)

  • Č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
  • 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

2013

Refereed (journals/proceedings) (3)

  • Č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
  • 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
  • [Best Paper Award]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

2012

Refereed (journals/proceedings) (4)

  • Č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
  • [Journal (without IF)]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

2011

Refereed (journals/proceedings) (3)

  • Č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., 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

2010

Refereed (journals/proceedings) (2)

  • Č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

Software

Bobox, SPARQ parallel engine

Contactstop

The content of this web site is licensed under Creative Commons Attribution-NonCommercial 3.0 Czech Republic