Jakub Míšek, M.Sc.

Ph.D. student, supervisor Filip Zavoral, Ph.D.

Supervised thesestop

Compilation of a dynamic language Generators into MSILPetr HouškaBS20172017

Research grantstop

  • Abstraction and Automatic Extraction of Data for the Semantic Web (GAUK 28910) 2010-2012 head investigator
  • Semantization of the Web (GACR P202/10/0761) 2010-2012 cooperant
  • Modern methods and applications of software engineering (GAUK SVV-2010-261312) 2010-2010 cooperant



Refereed (journals/proceedings) (1)

  • [IF Journal]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 - text


Refereed (journals/proceedings) (3)

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


Refereed (journals/proceedings) (2)

  • 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


Refereed (journals/proceedings) (3)

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

Technical reports (1)

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


AgentMat, LinqToWeb, Phalanger Improvements, Phalanger IntelliSense


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