Karel Richta, Assoc. Prof.

Research groups

XRG

Research topics

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

Teachingtop

Ph.D. studentstop

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

Supervised thesestop

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)

• Richta K.: Jazyk OCL a modelem řízený vývoj, accepted for publication in Moderní databáze 2010, Nesuchyně, Komix, pp. 1-10, 2010 - https://www.ksi.mff.cuni.cz/~richta/publications/Richta-MD-2010.pdf
• Richta K.: On the Denotational Semantics of XML-Lambda, accepted for publication in ITAT 2010 - Informačné Technologie - Aplikácie a Teória, Smrekovica, Slovensko, Univerzita P. J. Šafárika, pp. 33-38, 2010 - https://www.ksi.mff.cuni.cz/~richta/publications/ITAT-2010-LR.pdf
• Richta K.: Rekonstrukce OCL z SQL, in DATAKON 2010, Mikulov, Ostravská Univerzita v Ostravě, ISBN: 978-80-7368-424-2, pp. 71-80, 2010 - https://www.ksi.mff.cuni.cz/~richta/publications/Datakon-2010-Richta.pdf
• Richta K., Loupal P.: Denotational Semantics of the XML-Lambda Query Language, accepted for publication in Proceedings of the Dateso 2010 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Stedronin-Plazy, Czech Republic, MATFYZPRESS, ISSN: 1613-0073, pp. 139-146, 2010 - http://ceur-ws.org/Vol-567/poster22.pdf
• Richta K., Vrana I., Vrána J.: Evaluation criteria for management of large communication networks, in Systémová integrace, Vol. 17, Num. 1, ISSN: 1210-9479, pp. 7-17, 2010 - WWW

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

• Private Page - Private Page
• Publications - Publications

Contactstop

• richta<at>ksi.mff.cuni.cz
• http://www.ksi.mff.cuni.cz/~richta/
• room 209, 2nd floor
• +420 221 914 316