Karel Richta, Assoc. Prof.
richta<at>ksi.mff.cuni.cz
associate professor

Research groups

XRG

Research topics

  • Formal Specifications
  • Modelling and Model Driven Development
  • XML Technologies

Teachingtop

CodeTitleLinks
NPRG046Software Praxis
NSWI026Advanced aspects of software engineering
NSWI041Introduction to Software Engineering
NSWI122Dissertation Thesis Preparation
NSWI130Software System Architectures
NSWI149Software Engineering in Practice
NTIN043Formal Specification Methods
NTIN044Semantics of Programming Languages

Ph.D. studentstop

Miroslav Beličák, M.Sc., David Kusák, M.Sc., Zdeněk Skřivánek, M.Sc.

Supervised thesestop

TitleStudentTypeStartedDefended
Dynamic Maintenance of EntitiesJiří MizeraMS20112013
Dynamic Maintenance of EntitiesJiří MizeraMS2011
Transformation from OCL into SQLPetr SobotkaMS20112012
Information System for Translation AgencyProkop SeverýnMS20112012
(show all)

Research grantstop

  • Agile Systems and Service-Oriented Software (GACR 201/09/0983) 2009-2011 cooperant
  • XML Documents Searching and Indexing (GACR 201/03/0912) 2003-2005 investigator
  • Development of a Native Storage for XML Data (GACR 201/06/0756) 2006-2008 investigator
  • Processing of XML Data (GACR 201/09/0990) 2009-2011 investigator
  • Modern Methods, Structures and Systems of Computer Science (MSMT MSM0021620838) 2005-2011 cooperant
  • (show all)

Publicationstop

2012

Refereed (journals/proceedings) (3)

  • Mlýnková I., Nečaský M., Richta K., Loupal P., Strnad P.: Storing XML Data - the ExDB and CellStore Way in the Context of Current Approaches, in Informatica, ISSN: 0868-4952, 2012
  • Richta K., Klímek J., Nečaský M., Malý J.: Modelování a evoluce XML schémat, in DATAKON 2012 Příspěvky, Mikulov, Česká republika, Technická univerzita v Košiciach, ISBN: 978-80-553-1049-7, pp. 117-126, 2012
  • Richta K., Rybola Z.: Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations, in Federated Conference on Computer Science and Information Systems (FedCSIS 2012), Wroclaw, IEEE Computer Society, ISBN: 978-83-60810-51-4, pp. 1357-1364, 2012

2011

Refereed (journals/proceedings) (5)

  • Nečaský M., Kusák D., Richta K.: Servisně Orientované Architektury, in DATAKON 2011, Tutorials, Mikulov, Vysoké učení technické Brno, ISBN: 978-80-214-4330-3, pp. 49-74, 2011
  • Richta K., Procházka A., Lungu M.: Získávání informací o závislostech mezi projekty v softwarových ekosystémech platformy Java, in DATAKON 2011, Proceedings of the Annual Database Conference, Mikulov, Vysoké učení technické Brno, ISBN: 978-80-214-4329-7, pp. 153-162, 2011
  • Richta K., Rybola Z.: Realizace omezení pro násobnosti vztahů mezi entitami v relačních databázích, in DATAKON 2011, Proceedings of the Annual Database Conference, Mikulov, Vysoké učení technické Brno, ISBN: 978-80-214-4329-7, pp. 93-102, 2011
  • Richta K., Rybola Z.: Transformation of Binary Relationships with Particular Multiplicity, 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. 25-38, 2011
  • Richta K., Rybola Z.: Transformation of Relationships from UML/OCL to SQL, 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. 31-38, 2011

Book chapters (1)

  • Běličák M., Pokorný J., Richta K.: Open Design Architecture for Round Trip Engineering, in Information Systems Development: Asian Experiences, Springer Science+Business Media, ISBN: 978-1-4419-7205-7, pp. 281-294, 2011

2010

Refereed (journals/proceedings) (5)

Book chapters (1)

  • Richta K., Pokorný J., Feuerlicht J., Ruttananontsatean N.: Integration of Weakly Heterogeneous Semistructured Data, in Information Systems Development - Towards a Service Provision Society, SPRINGER, ISBN: 978-0-387-84809-9, pp. 69-78, 2010 - Odkaz na Springerlink

2009

Refereed (journals/proceedings) (4)

  • Feuerlicht G., Pokorný J., Richta K.: Object-Relational database design: Can your application benefit from SQL:2003?, in ISD Challenges in Practice, Theory, and Education. , Galway, Srpinger Scence+Business Media, LLC, ISBN: 978-0-387-78577-6, pp. 975-988, 2009 - WWW
  • Pokorný J., Richta K., Valenta M.: Cellstore: Educational And Experimental XML-Native DBMS, in ISD Challenges in Practice, Theory, and Education. , Galway, Srpinger Scence+Business Media, LLC, ISBN: 978-0-387-78577-6, pp. 989-1000, 2009 - WWW
  • Richta K., Loupal P.: XML Query Evaluation Using a Lambda-Calculus Based Framework, in SOFSEM 2009: Theory and Practice of Computer Science II., MFF Press, ISBN: 978-80-7378-059-3, pp. 47-59, January 2009 - WWW
  • Richta K., Macek O.: The BPM to UML Activity Diagram Transformation Using XSLT, in DATESO 2009, Spindleruv Mlyn, Czech Republic, Czech Technical University in Prague, ISBN: 978-80-01-04323-3, ISSN: 1613-0073, pp. 119-129, 2009 - WWW

2008

Refereed (journals/proceedings) (3)

  • Richta K., Benešovský M.: UML, alea,iacta est, in DATAKON 2008, Hotel Santon, Brno, Czech Republic, ISBN: 978-80-7355-081-3, pp. 100-122, October 2008 - WWW
  • Richta K., Loupal P.: Evaluation of XPath Fragments Using Lambda Calculi, 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. 73-76, September 2008 - WWW
  • Richta K., Toth D.: Formal Models of Object-Oriented Databases, in Objekty 2008, EDIS Žilinská univerzita, ISBN: 978-80-8070-927-3, pp. 204-217, 2008 - WWW

Books (1)

  • Mlýnková I., Nečaský M., Pokorný J., Richta K., Toman K., Toman V.: Technologie XML: Principy a aplikace v praxi, Grada Publishing, a.s., ISBN: 978-80-247-2725-7, 272 pages, 2008 - WWW

2006

Books (1)

  • Mlýnková I., Pokorný J., Richta K., Toman K., Toman V.: XML technologie, Karolinum, ISBN: 80-246-1272-0, 186 pages, 2006

Membership (detailed list)top

member of program committee

  • DATAKON 2012
  • DATESO 2012
  • ISD 2012
  • ITAT 2012
  • SOFSEM 2013

session chair

  • ACM Czech Chapter
  • IFIP TC2

member of editorial board

  • ČSSI - MIS

Additional information

Contactstop

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