| |
 |
|
doc. Ing. Karel Richta, CSc.
Associate Professor
Vice Chair for Education
Academic Board Member
Head of the research group
Supervisor
Teacher
|
Contact:
Research group: (1)
Educational activities:
time table at FEE
| |
Courses currently taught: (2/4)
Taught or led seminars for courses: (48)
|
Publications: (7/136)
| |
Publications - significant: (7)
- STORING XML DATA - THE ExDB AND CellStore WAY IN THE CONTEXT OF CURRENT APPROACHES
(Paper)
2012, LOUPAL P., MLÝNKOVÁ I., NEČASKÝ M., RICHTA K., STRNAD P.
Informatica. 2012, vol. 23, no. 2, p. 247-282. ISSN 0868-4952.
- Evaluation criteria for management of large communication networks
(Paper)
2010, RICHTA K., VRANA I., VRÁNA J.
Systémová integrace. 2010, vol. 17, no. 1, p. 7-17. ISSN 1210-9479.
- XML Technology
(Book)
2008, MLÝNKOVÁ I., NEČASKÝ M., POKORNÝ J., RICHTA K., TOMAN K., TOMAN V.
Praha: Grada, 2008. 265 s. ISBN 978-80-247-2725-7. (in Czech).
- Rules and Processes for Enterprise Information Systems Deployment
(Book)
2004, RICHTA K., VRANA I.
1. vyd. Praha: Grada, 2004. 192 s. ISBN 80-247-1103-6. (in Czech).
- Using XSL in IS Development
(Chapter in Book)
2002, RICHTA K.
In New Perspectives on Information Systems Development: Theory, Methods, and Practice. New York: Kluwer Academic / Plenum Publishers, 2002, p. 309-319. ISBN 0-306-47251-1.
- Compiler Construction
(Book)
1999, MELICHAR B., ČEŠKA M., JEŽEK K., RICHTA K.
1. vyd. Prague: CTU, 1999. 636 s. ISBN 80-01-02028-2. (in Czech).
- Peripheral Interfacing to PC
(Book)
1996, ŠNOREK M., RICHTA K.
1. vyd. Praha: Grada, 1996. 304 s. ISBN 80-7169-146-1. (in Czech).
Publications - others: (136)
- How can formalization of SOA help in finding solutions for IT systems
(Paper in Conference Proceedings)
2013, SKŘIVÁNEK Z., RICHTA K.
In DATESO 2013. Ostrava: Dept.of Computer Science, FEECS, VŠB-TUO, 2013, p. 70-79. ISBN 978-80-248-2968-5.
- DATESO 2013
(Proceedings)
2013, SNÁŠEL V., POKORNÝ J., RICHTA K.
Ostrava: Dept.of Computer Science, FEECS, VŠB-TUO, 2013. 158 s. ISBN 978-80-248-2968-5.
- Modeling and Evolution of XML Schemas
(Paper in Conference Proceedings)
2012, RICHTA K., KLÍMEK J., NEČASKÝ M., MALÝ J.
In DATAKON 2012. Košice: Technical University of Košice, 2012, s. 117-126. ISBN 978-80-553-1049-7. (in Czech).
- Modeling of XML Schemas
(Paper in Conference Proceedings)
2012, RICHTA K., NEČASKÝ M., KLÍMEK J., MALÝ J.
In Moderní databáze 2012. Praha: Komix, 2012, s. 12-23. ISBN 978-80-905231-0-4. (in Czech).
- Validation of stereotypes' usage in UML class model by generated OCL constraints
(Paper in Conference Proceedings)
2012, RYBOLA Z., RICHTA K.
In Information Technologies - Applications and Theory 2012. Košice: Technical University of Košice, 2012, p. 25-32. ISBN 978-80-971144-1-1.
- Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations
(Paper in Conference Proceedings)
2012, RYBOLA Z., RICHTA K.
In Federated Conference on Computer Science and Information Systems (FedCSIS 2012). New York: IEEE, 2012, p. 1357-1364. ISBN 978-83-60810-48-4.
- Using OCL in Model Validation According to Stereotypes
(Paper in Conference Proceedings)
2012, RYBOLA Z., RICHTA K.
In DATESO 2012. Prague: MATFYSPRESS, 2012, p. 93-102. ISBN 978-80-7378-171-2.
- DATESO 2012
(Proceedings)
2012, POKORNÝ J., RICHTA K., SNÁŠEL V.
Prague: MATFYSPRESS, 2012. 164 p. ISBN 978-80-7378-171-2.
- Transformation of relationships from UML/OCL to SQL
(Paper in Conference Proceedings)
2011, RICHTA K., RYBOLA Z.
In ITAT 2011: Zborník príspevkov prezentovaných na konferencii ITAT. Košice: Univerzita P.J.Šafárika , 2011, p. 31-37. ISBN 978-80-89557-01-1.
- Realization of Constraints for Relationship Multiplicities in Relational Databases
(Paper in Conference Proceedings)
2011, RYBOLA Z., RICHTA K.
In DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011, s. 93-102. ISBN 978-80-214-4329-7. (in Czech).
- Transformation of Binary Relationships with Particular Multiplicity
(Paper in Conference Proceedings)
2011, RYBOLA Z., RICHTA K.
In DATESO 2011. Ostrava: VŠB - Technical University of Ostrava, 2011, p. 25-38. ISBN 978-80-248-2391-1.
- Open Design Architecture for Round Trip Engineering
(Paper in Conference Proceedings)
2011, BELIČÁK M., POKORNÝ J., RICHTA K.
In Information Systems Development ISD 2009: Challenge of Practice and Theory in Web-based Information Services. Heidelberg: Springer, 2011, p. 281-293. ISBN 978-1-4419-7205-7.
- Service-Oriented Architectures
(Invited Paper)
2011, NEČASKÝ M., KUSÁK D., RICHTA K.
In DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011, s. 1-26. ISBN 978-80-214-4329-7. (in Czech).
- Exploring Dependencies in Java-Based Software Ecosystems
(Paper in Conference Proceedings)
2011, PROCHÁZKA A., LUNGU M., RICHTA K.
In DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011, s. 31-41. ISBN 978-80-214-4329-7. (in Czech).
- Information Systems Development Information Systems Development
(Book)
2011, POKORNÝ J., REPA V., RICHTA K., WOJTKOWSKI W., LINGER H., BARRY C., LANG M.
1. ed. Berlin: Springer Science+Business Media , 2011. 781 p. ISBN 978-1-4419-9645-9.
- DATESO 2011
(Proceedings)
2011, SNÁŠEL V., POKORNÝ J., RICHTA K.
Ostrava: VŠB - Technical University of Ostrava, 2011. 254 s. ISBN 978-80-248-2391-1.
- How to Store XML Data
(Technical Report)
2010, RICHTA K., MLÝNKOVÁ I., NEČASKÝ M., VALENTA M., LOUPAL P.
[Technical Report]. Praha: Matfyz, 2010. 2010/2. 30 p.
- Reconstruction of OCL from SQL
(Paper in Conference Proceedings)
2010, RICHTA K.
In DATAKON 2010. Ostrava: Ostravská univerzita, 2010, s. 1-10. ISBN 978-80-7368-424-2. (in Czech).
- Information Systems Development 2010
(Proceedings)
2010, RICHTA K., POKORNÝ J.
Heidelberg: Springer, 2010. 800 s.
- Model Driven Development and its Teaching
(Paper in Conference Proceedings)
2010, RICHTA K.
In Informatika XXIII/2010. Brno: Mendelova zemědělská a lesnická univerzita v Brně, 2010, s. 101-102. ISBN 978-80-7375-394-8. (in Czech).
- On the Denotational Semantics of XML-Lambda
(Paper in Conference Proceedings)
2010, RICHTA K., LOUPAL P.
In ITAT 2010 - Informačné Technologie - Aplikácie a Teória. Košice : Univerzita P. J. Šafárika, 2010, p. 1-6.
- OCL and Model Driven Development
(Invited Paper)
2010, RICHTA K.
In Moderní databáze 2010. Praha: Komix, 2010, . (in Czech).
- DATESO 2010
(Proceedings)
2010, RICHTA K., POKORNÝ J., SNÁŠEL V.
Praha: Matfyzpress, 2010. 198 s. ISBN 978-80-7378-116-3.
- Denotational Semantics of the XML-Lambda Query Language
(Paper in Conference Proceedings)
2010, LOUPAL P., RICHTA K.
In DATESO 2010. Praha: Matfyzpress, 2010, p. 139-146. ISBN 978-80-7378-116-3.
- Databases, Texts, Specifications, and Objects
(Proceedings)
2009, RICHTA K., STRNAD P.
Praha: ČVUT v Praze, 2009. 174 s. ISBN 978-80-01-04323-3.
- Model Driven Development
(Invited Paper)
2009, RICHTA K.
In LATES 2009. Praha: Komix, 2009, . (in Czech).
- General Schema Editor
(Paper in Conference Proceedings)
2009, KARAS M., RICHTA K.
In DATAKON 2009. Praha: Univerzita Karlova, Matematicko-fyzikální fakulta, 2009, s. 135-144. ISBN 978-80-245-1568-7. (in Czech).
- XML Query Evaluation Using a Lambda-Calculus Based Framework
(Paper in Conference Proceedings)
2009, LOUPAL P., RICHTA K.
In SOFSEM 2009. Heidelberg: Springer, 2009, p. 1-13. ISBN 978-3-540-95890-1.
- The BPM to UML Activity Diagram Transformation Using XSLT
(Paper in Conference Proceedings)
2009, MACEK O., RICHTA K.
In Databases, Texts, Specifications, and Objects. Praha: ČVUT v Praze, 2009, p. 119-129. ISBN 978-80-01-04323-3.
- Minimization of Teaching Load
(Paper in Conference Proceedings)
2009, KOMÁREK M., RICHTA K., MLEJNEK J.
In Sborník abstraktů z mezinárodní odborné pedagogicky zaměřené konference Informatika XXII/2009. Brno: Konvoj, 2009, s. 22-23. ISBN 978-80-7302-125-8. (in Czech).
- Integration of weakly heterogeneous semistructured data
(Paper in Conference Proceedings)
2009, FEUERLICHT G., POKORNÝ J., RICHTA K., RUTTANANONTSATEAN N.
In Information Systems Development (ISD2008). New York: Springer, 2009, p. 69-78. ISBN 978-0-387-84809-9.
- Formal Models of Object-Oriented Databases
(Paper in Conference Proceedings)
2008, RICHTA K., TOTH D.
In Objekty 2008. Žilina: Žilinská univerzita v Žiline, Fakulta riadenia a informatiky, 2008, p. 204-217. ISBN 978-80-8070-927-3.
- Evaluation of XPath Fragments Using Lambda Calculi
(Paper in Conference Proceedings)
2008, LOUPAL P., RICHTA K.
In Information Technologies - Applications and Theory. Košice : Univerzita P. J. Šafárika, 2008, p. 73-76. ISBN 978-80-969184-9-2.
- UML, alea iacta est
(Invited Paper)
2008, BENEŠOVSKÝ M., RICHTA K.
In DATAKON 2008. Brno: Masaryk University, 2008, s. 100-122. ISBN 978-80-7355-081-3. (in Czech).
- Object-Relational Database Design: Can Your Application Benefit From SQL:2003?
(Paper in Conference Proceedings)
2007, POKORNÝ J., RICHTA K., FEUERLICHT G.
In Information Systems Development 2007. Galway: National University of Ireland, 2007, p. 975-988. ISBN 978-0-387-78577-6.
- DATESO 2007: Databases, Texts, Specifications, Objects 2007
(Proceedings)
2007, POKORNÝ J., RICHTA K., SNÁŠEL V.
Aachen: RWTH, 2007. 136 p. ISSN 1613-0073.
- Data, Texts, Objects, Specifications 2007
(Proceedings)
2007, POKORNÝ J., RICHTA K., SNÁŠEL V.
Prague: MATFYSPRESS, 2007. 136 p. ISBN 80-7378-002-X.
- CellStore: Educational and Experimental XML-Native DBMS
(Paper in Conference Proceedings)
2007, POKORNÝ J., RICHTA K., VALENTA M.
In Information Systems Development 2007. Galway: National University of Ireland, 2007, p. 989-1000. ISBN 978-0-387-78577-6.
- Languages XQuery and XPath
(Paper in Conference Proceedings)
2006, RICHTA K.
In Moderní databáze 2006. Praha: Komix, 2006, s. 19-29. ISBN 80-239-7109-3. (in Czech).
- DATESO 2006: Databases, Texts, Specifications, Objects
(Proceedings)
2006, SNÁŠEL V., RICHTA K., POKORNÝ J.
Aachen: Technical University, 2006. 120 p. ISSN 1613-0073.
- Optimalization in the Relational DBMS
(Invited Paper)
2006, HALAŠKA I., RICHTA K.
In DATAKON 2006. Brno: Masaryk University, 2006, s. 21-40. ISBN 80-210-4102-1. (in Czech).
- DATESO 2006: Databases, Texts, Specifications, Objects
(Proceedings)
2006, SNÁŠEL V., RICHTA K., POKORNÝ J.
Ostrava: VSB-TUO, Department of Computer Science of FEI, 2006. ISBN 80-248-1025-5.
- XML Technology
(University Lecture Notes)
2006, MLÝNKOVÁ I., POKORNÝ J., RICHTA K., TOMAN K., TOMAN V.
Prague: Charles University, 2006. 186 s. ISBN 80-246-1272-0. (in Czech).
- DATESO 2005: Databases, Texts, Specifications, Objects
(Proceedings)
2005, RICHTA K., POKORNÝ J., SNÁSEL V.
Praha: Ediční středisko ČVUT, 2005. 140 p. ISSN 1613-0073.
- DATESO 2005
(Proceedings)
2005, RICHTA K., POKORNÝ J., SNÁŠEL V.
Prague: CTU, Faculty of Electrical Engineering, 2005. 140 p. ISBN 80-01-03204-3.
- Novelties in the UML 2.0 Format
(Invited Paper)
2005, RICHTA K.
In Moderní databáze 2005. Praha: Komix, 2005, s. 12-23. (in Czech).
- Optimize Decisions of Oracle 10g Optimizer
(Paper in Conference Proceedings)
2005, HALAŠKA I., RICHTA K.
In DATAKON2005. Brno: University of Technology, 2005, s. 371-384. ISBN 80-210-3813-6. (in Czech).
- DATESO 2004
(Proceedings)
2004, RICHTA K., POKORNÝ J., SNÁŠEL V.
Olomouc: Vydavatelství UP Olomouc, 2004. 176 p. ISBN 80-248-0457-3.
- The Family of XML formats
(Invited Paper)
2004, RICHTA K.
In EurOpen - XXIV. konference. Praha: EuroOpen CZ, 2004, s. 95-121. ISBN 80-86583-06-6. (in Czech).
- Business Functions Prototyping via XSLT
(Chapter in Book)
2004, RICHTA K.
In Constructing the Infrastructure for the Knowledge Economy: Methods and Tools, Theory and Practice. New York: Kluwer Academic / Plenum Publishers, 2004, p. 209-221. ISBN 0-306-48554-0.
- Active Databases and Rule Driven Databases
(Invited Paper)
2004, RICHTA K.
In Moderní databáze 2004. Praha: Komix, 2004, s. 17-28. ISBN 80-239-2871-6. (in Czech).
- Approximate Tree Embedding Problem - An Algebraic Approach
(Paper in Conference Proceedings)
2004, SNÁŠEL V., ŠEPTÁKOVÁ E., HRAZDIL I., RICHTA K., VALENTA M.
In Proceedings of the First Twente Data Management Workshop. Twente: CTIT - Centre for Telematics and Information Technology, 2004, p. 39-43. ISSN 0929-0672.
- Business Function Prototyping via XSLT
(Paper in Conference Proceedings)
2003, RICHTA K.
In ISD 2003. New York: Kluwer Academic / Plenum Publishers, 2003, p. 209-221.
- Deriving Database from UML/OCL Specification
(Paper in Conference Proceedings)
2003, RICHTA K.
In AED 2003. Praha: Procesní inženýrství Ing. J. Novosad, 2003, p. 1-7. ISBN 80-86059-35-9.
- Web Services Standards WSDL, UDDI
(Invited Paper)
2003, RICHTA K.
In Moderní databáze 2003. Praha: Komix, 2003, s. 19-30. ISBN 80-239-0753-0. (in Czech).
- Unified Modeling Language UML
(Invited Paper)
2003, RICHTA K.
In Systems Integration 2003. Praha: Česká společnost pro systémovou integraci, 2003, s. 386-393. ISBN 80-245-0522-3. (in Czech).
- Web Services and WSDL
(Paper in Conference Proceedings)
2003, RICHTA K.
In DATESO 2003. Ostrava: VSB-TUO, 2003, p. 40-53. ISBN 80-248-0330-5.
- Using Type Systems in XML Data Transformations
(PhD Thesis)
2003, VALENTA M., RICHTA K.
[PhD Thesis]. Prague: CTU, Faculty of Electrical Engineering, 2003. 96 p.
- Signpost: Matching Program Behavior against Known Causes of Failure
()
2003, ANDREWS M., RICHTA K.
IEEE Software. 2003, vol. 20, no. 1, p. 1-11. ISSN 0740-7459.
- Using Metadata to Information Transfer
(Paper in Conference Proceedings)
2002, RICHTA K., VALENTA M.
In Proceedings of Workshop 2002. Prague: CTU, 2002, vol. A, p. 182-183. ISBN 80-01-02511-X.
- Transformations Driven by XSLT
(Invited Paper)
2002, RICHTA K.
In Moderní databáze 2002. Praha: Komix, 2002, s. 33-48. ISBN 80-238-8750-5. (in Czech).
- Using XSLT for IS Simulation
(Paper in Conference Proceedings)
2002, RICHTA K., LONG P.
In DATESO 2002. Ostrava: VSB-TUO, 2002, p. 66-78. ISBN 80-248-0080-2.
- Deriving Triggers from UML/OCL Specification
(Paper in Conference Proceedings)
2002, RICHTA K., BADAWY M.
In ISD 2002. New York: Kluwer Academic / Plenum Publishers, 2002, p. 305-316. ISBN 0-306-47698-3.
- UML - Teorie a praxe I
(Invited Paper)
2002, RICHTA K.
In Proceedings of Annual Database Conference DATAKON 2002. Brno: Masaryk University, 2002, s. 1-25. ISBN 80-210-2958-7. (in Czech).
- Integrity Constraints Specification in the Tuple Relational Calculus
(Paper in Conference Proceedings)
2002, BADAWY M., RICHTA K.
In Proceedings of Workshop 2002. Prague: CTU, 2002, vol. A, p. 214-215. ISBN 80-01-02511-X.
- A Comparison of Declarative and Procedual Constraints in Database Management Systems
(Paper in Conference Proceedings)
2002, BADAWY M., RICHTA K.
In Tvorba softwaru 2002. Ostrava: Tanger, 2002, p. 5-12. ISBN 80-85988-74-7.
- Integrity Constraint Specification and Maintenance
(PhD Thesis)
2002, BADAWY M., RICHTA K.
[PhD Thesis]. Prague: CTU, Faculty of Electrical Engineering, 2002. 89 p.
- Deriving Triggers from Integrity Constraint Specifications in the Database Management Systems
(Paper)
2002, BADAWY M., RICHTA K.
Acta Polytechnica. 2002, vol. 42, no. 6, p. 39-44. ISSN 1210-2709.
- Mapping Integrity Constraints into Relational Model
(Paper in Conference Proceedings)
2002, BADAWY M., RICHTA K.
In Proceedings of Workshop 2002. Prague: CTU, 2002, vol. A, p. 370-371. ISBN 80-01-02511-X.
- Algoritmizace a programování v "C"
(University Lecture Notes)
2002, BRECHLEROVÁ D., JELEN S., VESELÝ A., RICHTA K.
1. vyd. Prague: Czech University of Agriculture, 2002. 248 s. ISBN 80-213-0918-0. (in Czech).
- Using XML and XSL to Express Formal Semantics
(Paper in Conference Proceedings)
2001, RICHTA K.
In ISM'01. Ostrava: MARQ, 2001, p. 133-138. ISBN 80-85988-51-8.
- XML-schemas
(Paper in Conference Proceedings)
2001, RICHTA K.
In Moderní databáze 2001. Praha: Komix, 2001, s. 22-33. ISBN 80-238-7046-7. (in Czech).
- Using XSL in IS Development
(Paper in Conference Proceedings)
2001, RICHTA K.
In ISD 2001. New York: Kluwer Academic / Plenum Publishers, 2001, p. 1-12.
- Types in XML and XML-schemas
(Paper in Conference Proceedings)
2001, RICHTA K.
In DATESO'01 - Proceedings of Workshop on Databases, Texts, Specifications, and Objects. Prague: CTU, 2001, s. 20-32. ISBN 80-01-02376-1. (in Czech).
- The C Programming Language
(University Lecture Notes)
2001, RICHTA K., ŠALOUN P.
1. vyd. Prague: CTU, 2001. 253 s. ISBN 80-01-01890-3. (in Czech).
- Generation of Object-Oriented Databases from Relational Databases
(Paper in Conference Proceedings)
2001, BADAWY M., RICHTA K.
In Proceedings of Workshop 2001. Prague: CTU, 2001, vol. A, p. 150-151. ISBN 80-01-02335-4.
- Declarative Constraints and Triggers in Database Systems
(Paper in Conference Proceedings)
2001, BADAWY M., RICHTA K.
In ICPR 2001. Prague: CTU, 2001, p. 12-21.
- Integrity Enforcement in a Database Using Constraints and Triggers
(Paper in Conference Proceedings)
2001, BADAWY M., RICHTA K.
In ICPR 2001. Prague: CTU, 2001, p. 1-12.
- Case Closed: the 500 Language Problem is Cracked
()
2001, LAMMEL R., VERHOEF C., RICHTA K.
IEEE Software. 2001, vol. 15, p. 1-19. ISSN 0740-7459.
- Why XML?
(Paper)
2000, RICHTA K.
Chip. 2000, roč. 10, č. 2, s. 98-99. ISSN 1210-0684. (in Czech).
- XSL = Tool for XML Prezentation
(Paper)
2000, RICHTA K.
Chip. 2000, roč. 10, č. 6, s. 112-115. ISSN 1210-0684. (in Czech).
- HTML in XML = XHTML
(Paper)
2000, RICHTA K.
Chip. 2000, roč. 10, č. 4, s. 120-123. ISSN 1210-0684. (in Czech).
- Formats XML and XSL
(Paper in Conference Proceedings)
2000, RICHTA K.
In Moderní Databáze 2000. Praha: Komix, 2000, s. 1-23. (in Czech).
- Component Testability and Component Testing Challenges
()
2000, GAO J., RICHTA K.
IEEE Software. 2000, vol. 14, p. 1-6. ISSN 0740-7459.
- XML and Semistructured Data
(Paper in Conference Proceedings)
2000, POKORNÝ J., RICHTA K.
In Proceedings of DATASEM 2000. Brno: Masaryk University, 2000, s. 47-63. ISBN 80-210-2428-3. (in Czech).
- Software Reuse: Essence & Innate Difficulties
()
2000, XIA F., RICHTA K.
IEEE Software. 2000, vol. 17, no. 1, p. 1-9. ISSN 0740-7459.
- The Tao of COTS-Based Systems
()
2000, OBERNDORF P., RICHTA K.
IEEE Software. 2000, vol. 6, no. 4, p. 1-13. ISSN 0740-7459.
- Transformation of UML Models into XML
(Paper in Conference Proceedings)
2000, BISOVÁ V., RICHTA K.
In Proceedings of Challenges 2000 ADBIS-DASFAA. Prague: MATFYSPRESS, 2000, p. 33-45. ISBN 80-85863-56-1.
- System Structure & Implementation Steps
(Technical Report)
1999, RICHTA K.
[Technical Report]. Prague: CTU, Faculty of Electrical Engineering, Department of Computer Science and Engineering, 1999. TR_CZ02D. 24 p.
- Proceedings of the DATASEM'99
(Proceedings)
1999, RICHTA K.
Brno: Masaryk University, 1999. 331 p. ISBN 80-210-2181-0.
- XML and XSL
(Paper in Conference Proceedings)
1999, RICHTA K.
In OBJEKTY 1999. Prague: Czech University of Agriculture, 1999, s. 25-38. ISBN 80-213-0552-5. (in Czech).
- Specification-Driven Maintenance of Integrity Constraints
(Paper in Conference Proceedings)
1999, RICHTA K.
In Evolution and Challenges in System Development. New York: Kluwer Academic / Plenum Publishers, 1999, p. 271-280. ISBN 0-306-46053-X.
- XML - eXtensible Markup Language
(Unpublished Lecture)
1999, RICHTA K.
[Nepublikovaná přednáška]. Volyně: ITS a.s.. 1999-05-11. (in Czech).
- XSL - eXtesible Stylesheet Language
(Unpublished Lecture)
1999, RICHTA K.
[Nepublikovaná přednáška]. Praha: ITS a.s.. 1999-03-09. (in Czech).
- Ambiguity and Formalisation: An Industrial Designer's Approach to Software Design
()
1999, ADELSON P., RICHTA K.
IEEE Software. 1999, vol. 16, no. 1, p. 1-9. ISSN 0740-7459.
- Database Integration Inconsistencies Removal
()
1999, STULLER J., RICHTA K.
Neural Network World. 1999, vol. 9, no. 1, p. 1-12. ISSN 1210-0552.
- OBJ3 and LEGO as Specification Tools
(Paper in Conference Proceedings)
1998, RICHTA K., VALENTA M.
In Workshop 98. Prague: CTU, 1998, vol. I, p. 209-210.
- The C Programming Language
(University Lecture Notes)
1998, RICHTA K., ŠALOUN P.
1. vyd. Prague: CTU, 1998. 253 s. ISBN 80-01-01890-3. (in Czech).
- Development of Software Engineering Educational Model at CTU Prague
(Paper in Conference Proceedings)
1998, RICHTA K., SLAVÍK P., MIKOVEC Z.
In Software Engineering Education Symposium'98. Poznan: Scientific Publishers OWN, PAS, 1998, p. 164-169. ISBN 83-85481-99-0.
- OBJ3 and LEGO As Tools for The Specification of Functional Model
(Paper in Conference Proceedings)
1998, RICHTA K., VALENTA M.
In Tvorba softwaru'98. Ostrava: Tanger, 1998, s. 147-157. ISBN 80-86122-15-8. (in Czech).
- Specification-Driven Development of Integrity Constraints
(Paper in Conference Proceedings)
1998, RICHTA K.
In Proceedings of VII. Int. Conf. on Information Systems Development'98. New York: Plenum Publishing Corporation, 1998, p. 1-11.
- Introduction to Software Engineering
(Paper in Conference Proceedings)
1998, RICHTA K.
In Proceedings of ACM Summer School on Software Architecture in Practice. New York: ACM, 1998, p. 1-50. ISBN 0-201-19930-0.
- Software Development via Algebraic Specifications
(Unpublished Lecture)
1998, RICHTA K.
[Unpublished Lecture]. Praha: CEEPUS Summer School Advanced Control. 1998-09-01.
- Formal Specifications in Software Development
(Paper)
1998, RICHTA K.
ERCIM News. 1998, vol. 9, no. 32, p. 29-30. ISSN 0926-4981.
- Formal Specification & CASE Systems
(Paper in Conference Proceedings)
1997, RICHTA K., VLK T.
In Proceedings of Sixth International Conference on Information Systems Development '97. New York: Plenum Publishing Corporation, 1997, p. 313-325. ISBN 0-306-45693-1.
- Searching in Large Libraries of Objects
(Paper in Conference Proceedings)
1997, RICHTA K.
In Moderní databáze '97. Ústí nad Labem: House of Technology, 1997, s. 34-41. (in Czech).
- Programming Language Semantics
(University Lecture Notes)
1997, RICHTA K., VELEBIL J.
1. vyd. Praha: Karolinum, 1997. 170 s. ISBN 80-7184-327-X. (in Czech).
- Splendour and Misery of CASE Systems
(Paper in Conference Proceedings)
1996, RICHTA K.
In DATASEM'96. Brno: CS-COMPEX, 1996, s. 259-266. ISBN 80-902250-5-5. (in Czech).
- Black Hole in the Middle Case Tools
(Paper in Conference Proceedings)
1996, RICHTA K.
In Workshop 96. Prague: CTU, 1996, vol. I, p. 241-242.
- Software Engineering I
(University Lecture Notes)
1996, RICHTA K., SOCHOR J.
1. vyd. Prague: CTU, 1996. 228 s. (in Czech).
- Object-Oriented Methodics
(Paper in Conference Proceedings)
1996, RICHTA K.
In Moderní databáze'96. Ústí nad Labem: House of Technology, 1996, s. 16-26. (in Czech).
- Programming Language C
(University Lecture Notes)
1996, BRUHA I., RICHTA K.
1. ed. Prague: CTU, 1996. 196 p. ISBN 80-01-00942-4.
- Programming Language C
(University Lecture Notes)
1996, BRŮHA I., RICHTA K.
2. ed. Prague: CTU, 1996. 196 p. ISBN 80-01-00942-4.
- Stepwise Development Using VDM
(Paper in Conference Proceedings)
1995, RICHTA K., VLK T.
In Workshop 95. Prague: CTU, 1995, vol. I, p. 245-246.
- Quo Vadis, CASE?
(Paper in Conference Proceedings)
1995, RICHTA K.
In DATASEM'95. Brno: CS-COMPEX, 1995, s. 249-264. ISBN 80-900066-9-8. (in Czech).
- Software Engineering I
(University Lecture Notes)
1995, RICHTA K., SOCHOR J.
Prague: CTU, 1995. 232 s. (in Czech).
- CASE and Formal Specification
(Paper in Conference Proceedings)
1994, RICHTA K., VLK T.
In DATASEM'94. Brno: CCB, 1994, s. 132-141. ISBN 80-900047-9-2. (in Czech).
- Algebraic Specification
(Paper in Conference Proceedings)
1994, RICHTA K.
In CTU Seminar 94. Prague: CTU, 1994, vol. B, p. 61-62.
- Programming Systems Design
(University Lecture Notes)
1994, RICHTA K., SOCHOR J.
Prague: CTU, 1994. 169 s. ISBN 80-01-01070-8. (in Czech).
- Programming Language C
(University Lecture Notes)
1993, RICHTA K., BRŮHA I.
1. ed. Prague: CTU, Faculty of Electrical Engineering, 1993. 196 p.
- OBJ Specification Prototyping
(Paper in Conference Proceedings)
1993, RICHTA K.
In Workshop 93. Prague: CTU, 1993, p. 117-118.
- Software Technology
(University Lecture Notes)
1993, RICHTA K., SOCHOR J.
Prague: CTU, 1993. 200 s. (in Czech).
- Introduction to Programming II - exercises
(University Lecture Notes)
1993, POLÁK J., RICHTA K., SLAVÍK P.
Prague: CTU, 1993. 170 p.
- The abstract rewriting machine
(Technical Report)
1991, RICHTA K., NEŠVERA Š.
[Technical Report]. Prague: CTU, 1991. DC-91-04. 32 p.
- Operating System CP/M
(Book)
1991, RICHTA K.
Praha: SNTL, 1991. 300 s. (in Czech).
- The C Programming Language
(University Lecture Notes)
1991, RICHTA K., BRŮHA I.
1. vyd. Praha: Ediční středisko ČVUT, 1991. 221 s. (in Czech).
- Programming Technology
(University Lecture Notes)
1991, RICHTA K.
1. vyd. Prague: CTU, 1991. 152 s. ISBN 80-01-00533-X. (in Czech).
- System Programmes
(University Textbook)
1991, RICHTA K.
1. vyd. Prague: CTU, 1991. 49 s. ISBN 80-01-00730-8. (in Czech).
- The Introduction to Operating System UNIX
(University Lecture Notes)
1991, NEŠVERA Š., RICHTA K., ZEMÁNEK P.
1. vyd. Praha: Ediční středisko ČVUT, 1991. 182 s. (in Czech).
- The Operating System MS-DOS for Programmers
(University Textbook)
1990, RICHTA K.
1. vyd. Prague: CTU, 1990. 200 s. (in Czech).
- Principles of PC Operating Systems
(University Textbook)
1989, RICHTA K.
1. vyd. Prague: CTU, 1989. 102 s. (in Czech).
- Computers and Programming 2. - Excercises
(University Lecture Notes)
1989, POLÁK J., RICHTA K., SLAVÍK P.
1. vyd. Prague: CTU, Faculty of Electrical Engineering, 1989. 191 s. (in Czech).
- User's Guide to Operationg System UNIX
(Technical Report)
1988, RICHTA K., ZAJÍC J., ZEMÁNEK P.
[Technická zpráva]. Praha: ČSVTS-FEL-ČVUT, 1988. (in Czech).
- The Mathematical Theory of Programming
(University Lecture Notes)
1987, RICHTA K.
1. vyd. Prague: CTU, Faculty of Electrical Engineering, 1987. 95 s. (in Czech).
- Data Structures
(University Lecture Notes)
1986, RICHTA K.
1. vyd. Prague: CTU, Faculty of Electrical Engineering, 1986. 101 s. (in Czech).
- Operating System CP/M for Microcomputers
(Technical Report)
1985, RICHTA K., ZAJÍC J.
[Technická zpráva]. Praha: ČSVTS-FEL-ČVUT, 1985. 76 s. (in Czech).
|
Citations: (3/5)
| |
Citations - significant: (3)
- The BPM to UML Activity Diagram Transformation Using XSLT
(Paper in Conference Proceedings)
2009, MACEK O., RICHTA K.
In Databases, Texts, Specifications, and Objects. Praha: ČVUT v Praze, 2009, p. 119-129. ISBN 978-80-01-04323-3.
Cited in:
- Rodriguez A, de Guzman IGR, Fernandez-Medina E, et al.
Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach
INFORMATION AND SOFTWARE TECHNOLOGY, ISSN 0950-5849, SCI Expanded, 2010
- Transformation of UML Models into XML
(Paper in Conference Proceedings)
2000, BISOVÁ V., RICHTA K.
In Proceedings of Challenges 2000 ADBIS-DASFAA. Prague: MATFYSPRESS, 2000, p. 33-45. ISBN 80-85863-56-1.
Cited in:
- David W. Embley, Wai Y. Mok
Developing XML Documents with Guaranteed "Good" Properties
Conceptual Modeling - ER 2001 : 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001. Proceedings, ISSN 0302-9743, SCI Expanded, 2001
- Dongwon, L. - Murali, M. - Wesley, W. Chu
Solving Schema Conversion Problem between XML and Relational Models
Information and Software Technology 48 (2006) 245–252 Knowledge Transformation for the Semantic Web, IOS, ISSN 0950-5849, SCI Expanded, 2006
Citations - others: (5)
- The BPM to UML Activity Diagram Transformation Using XSLT
(Paper in Conference Proceedings)
2009, MACEK O., RICHTA K.
In Databases, Texts, Specifications, and Objects. Praha: ČVUT v Praze, 2009, p. 119-129. ISBN 978-80-01-04323-3.
Cited in:
- Necaský, Martin, and Irena Mlýnková.
A framework for efficient design, maintaining, and evolution of a system of XML applications
Proceedings of the Databases, Texts, Specifications, and Objects, DATESO’10, ISSN , 2010
- Transformation of UML Models into XML
(Paper in Conference Proceedings)
2000, BISOVÁ V., RICHTA K.
In Proceedings of Challenges 2000 ADBIS-DASFAA. Prague: MATFYSPRESS, 2000, p. 33-45. ISBN 80-85863-56-1.
Cited in:
- Ozgur Balsoy
XML Technologies for Garnet Collaboration System
Florida State University, Computer Science Department, Survey Paper, ISSN , 2002
- Compiler Construction
(Book)
1999, MELICHAR B., ČEŠKA M., JEŽEK K., RICHTA K.
1. vyd. Prague: CTU, 1999. 636 s. ISBN 80-01-02028-2. (in Czech).
Cited in:
- RNDr. Petr Šaloun, Ph.D.
PARALELNÍ SYNTAKTICKÁ ANALÝZA A JEJÍ SIMULACE
Habilitační práce, Fakulta elektrotechniky a informatiky, VŠB-TUO OSTRAVA, ISSN , 2003
- Software Development via Algebraic Specifications
(Unpublished Lecture)
1998, RICHTA K.
[Unpublished Lecture]. Praha: CEEPUS Summer School Advanced Control. 1998-09-01.
Cited in:
- Emil Stănescu, Eugenie Stăicuţ
Intaccomp – Integrated Network of RTD Accomplishments
INTACCOMP, ISSN , 2000
- The abstract rewriting machine
(Technical Report)
1991, RICHTA K., NEŠVERA Š.
[Technical Report]. Prague: CTU, 1991. DC-91-04. 32 p.
Cited in:
- Lutz Hamel
Introducing TRIM
Dept. of Computer Science and Statistics, University of Rhode Island, Kingston, R.I. 02881, USA, TR01-283, ISSN , 2001
|
Grants: (18)
| |
- Modelling of web applications and services (PhD Project Supervisor)
2012 - 2012,
- MDD supporting tool (PhD Project Supervisor)
2010 - 2011,
- XML Data Processing ()
2009 - 2011,
- Business Process Model Transformation (PhD Project Supervisor)
2009 - 2009,
- Measurement and eEaluation of Measurement of Transactional Throughput Using taDOM Locking Protocol in the CellStore Project (PhD Project Supervisor)
2008 - 2008,
- Flexible Web System for Support Software Engineering Classes (PhD Project Supervisor)
2007 - 2007,
- Intelligent Web Technologies (Team Member)
2006 - 2008,
- Development of a Native Storage for XML Data (Person responsible for the grant at the CTU)
2006 - 2008,
- Formalization of UML profile for safety critical systems (PhD Project Supervisor)
2006 - 2006,
- Longshanks - The long term educational program of software lifecycle management and introduction of software tools into small or middle companies ()
2006 - 2006,
- Research in the Area of the Prospective Information and Navigation Technologies (Team Member)
2005 - 2011,
- The Presentation of Research Results on Conferencies CITSA, ISD, and ADBIS ()
2004 - 2004,
- XML Documents Searching and Indexing (Person responsible for the grant at the CTU)
2003 - 2005,
- Using Metadata in Information Transfer (Person responsible for the grant at the CTU)
2001 - 2001,
- MetaCASE Learning System (Team Member)
2000 - 2000,
- Description and Implementation of Integrity Constraints (Person responsible for the grant at the CTU)
1998 - 1998,
- Educational Modul for Software Prototyping (Person responsible for the grant at the CTU)
1997 - 1997,
- Laboratory for Education and Development of CASE Systems (Person responsible for the grant at the CTU)
1993 - 1994,
|
Projects: (1)
Editorial Boards: (0/1)
Conference Commitees: (1/87)
| |
Conference Commitees - significant: (1)
- EDBT 2002,
2001 - 2002
EDBT
Conference Commitees - others: (87)
- Informačné Technológie - Aplikácie a Teória 2013,
2013 - 2013
Univerzita P.J.Šafárika
- Software Technology 2013,
2013 - 2013
Korean Advanced Institute of Science & Technology
- Informačné technológie - Aplikácie a teória,
2012 - 2012
PROFINIT
- DATAKON 2012,
2012 - 2012
Technical university Košice
- Advanced Software Engineering & Its Applications 2012,
2012 - 2012
Science & Engineering Research Support soCiety, Korea
- SOFSEM 2012 - 38th International Conference on Current Trends in Theory and Practice of Computer Science,
2012 - 2012
Ústav informatiky AV ČR
- DATESO 2012: Databases, Texts, Specifications, and Objects,
2012 - 2012
VŠB Ostrava technická universita
- ITAT 2011 - Informačné technológie - aplikácie a teória,
2011 - 2011
Univerzita P.J.Šafárika
- Information Systems Development 2011,
2011 - 2011
HWU
- DATESO 2011: Databases, Texts, Specifications, and Objects,
2011 - 2011
FEI-VŠB
- International Workshop on Engineering Service-Oriented Applications 2011,
2011 - 2011
International Conference on Service Oriented Computing
- DATAKON 2011,
2011 - 2011
MFF UK
- Advanced Software Engineering & Its Applications 2011,
2011 - 2011
Science & Engineering Research Support soCiety, Korea
- Information Systems Development 2010,
2010 - 2010
Univerzita Karlova v Praze Matematicko-fyzikální fakulta
- Advanced Software Engineering & Its Applications 2010,
2010 - 2010
Science & Engineering Research Support soCiety, Korea.
- DATAKON 2010,
2010 - 2010
Conforg
- DATESO 2010: Databases, Texts, Specifications, and Objects,
2010 - 2010
UK MFF
- ITAT 2010 - Informačné technológie - aplikácie a teória,
2010 - 2010
Univerzita P.J.Šafárika
- Informačné Technológie - Aplikácie a Teória,
2009 - 2009
Univerzita P.J.Šafárika
- Information System Development 2009,
2009 - 2009
Jiangxi University of Finance and Economics
- Advanced Software Engineering & Its Applications 2009,
2009 - 2009
Catholic University of Daegu
- Databases, Texts, Specifications and Objects 2009,
2009 - 2009
MFF UK
- DATAKON 2009,
2009 - 2009
Matematicko-fyzikální fakulta, UK Praha
- DATAKON 2009,
2009 - 2009
Matematicko-fyzikální fakulta, UK Praha
- Advances in Databases and Information Systems 2008,
2008 - 2008
Tampere University of Technology, Pori, Finland
- Information Systems Development 2008,
2008 - 2008
University of Cyprus
- Informačné Technológie - Aplikácie a Teória ,
2008 - 2008
UK MFF
- Software Engineering Research, Management and Applications 2008,
2008 - 2008
IEEE CS
- DATAKON 2008,
2008 - 2008
Masarykova univerzita v Brně Fakulta informatiky
- Data, Texts, Specifications, and Objects 2008,
2008 - 2008
UK MFF
- SOFSEM 2008,
2008 - 2008
Univerzita P.J.Šafárika
- Objekty 2008,
2008 - 2008
Žilinská univerzita v Žilině
- Central and East-European Conference on Software Engineering Techniques 2007,
2007 - 2007
Poznan University of Technology
- Objekty 2007,
2007 - 2007
ČZU
- Databases, Texts, Specifications and Objects 2007,
2007 - 2007
MFF UK
- Moderní databáze 2007,
2007 - 2007
Komix
- DATAKON 2007,
2007 - 2007
ČVUT FEL Katedra počítačů
- Information Systems Implementation and Modeling 2007,
2007 - 2007
Brno University of Technology
- Information Systems Development 2007,
2007 - 2007
National University of Ireland , Galway
- Informačné technológie - aplikácie a teória 2007,
2007 - 2007
Univerzita P.J.Šafárika
- Advances in Databases and Information Systems 2007,
2007 - 2007
TU Varna
- IFIP Working Conference on Software Engineering Techniques,
2006 - 2006
IFIP
- 10th East European Conference on Advances in Databases and Information Systems 2006,
2006 - 2006
Yannis Manolopoulos
- SOFSEM 2006,
2006 - 2006
AV ČR
- DATAKON 2006,
2006 - 2006
ČVUT FEL Katedra počítačů
- DATAKON 2006,
2006 - 2006
ČVUT FEL Katedra počítačů
- Objekty 2006,
2006 - 2006
ČZU
- Moderní databáze 2006,
2006 - 2006
Komix
- Information Systems Development 2006,
2006 - 2006
Budapest University of Technology and Economics
- Databases, Texts, Specifications and Objects 2006,
2006 - 2006
Vysoká škola báňská - Technická univerzita v Ostravě
- Information Systems Implementation and Modelling,
2006 - 2006
Vysoké učení technické v Brně Fakulta inform. technologií
- DATAKON 2005,
2005 - 2005
ČVUT FEL
- SOFSEM 2005,
2005 - 2005
Slovak University of Technology
- DATAKON 2005,
2005 - 2005
ČVUT FEL
- DATESO 2005,
2005 - 2005
ČVUT FEL
- DATAKON 2004,
2004 - 2004
MU Brno
- Moderní databáze 2004,
2004 - 2004
Komix, s.r.o.
- DATAKON 2004,
2004 - 2004
MU Brno
- DATESO 2004,
2004 - 2004
FI VŠB-TUO, MFF UK, FEL ČVUT
- Objekty 2004,
2004 - 2004
ČZU ve spolupráci s dalšími institucemi
- Objekty 2003,
2003 - 2003
ČZU
- DATESO 2003,
2003 - 2003
FEL+MFF+KIT
- Moderní databáze,
2003 - 2003
Komix
- DATAKON 2003,
2003 - 2003
ČSIS
- Moderní databáze 2002,
2002 - 2002
Komix a.s.
- DATESO 2002,
2002 - 2002
MFF UK, FEL ČVUT, VŠB TU
- Objekty 2002,
2002 - 2002
ČZU - PEF, ČVUT - FEL, VŠB - TU
- DATAKON 2002,
2002 - 2002
Česká informatická společnost + další (viz www.datakon.cz)
- DATAKON,
2001 - 2001
- Objekty 2001,
2001 - 2001
- DATAKON 2001,
2000 - 2001
- Moderní databáze 2001,
2001 - 2001
- Moderní databáze,
1999 - 2000
- Objekty 2000,
2000 - 2000
- DATASEM 2000,
2000 - 2000
- DATASEM'99,
1999 - 1999
- DATASEM'99,
1999 - 1999
- Objekty'99,
1998 - 1999
- SEES,
1998 - 1998
- DATASEM'98,
1998 - 1998
- RUFIS'97,
1997 - 1997
- DATASEM'97,
1997 - 1997
- DATASEM'96,
1996 - 1996
- DATASEM'95,
1995 - 1995
- DATASEM'95,
1995 - 1995
- DATASEM'94,
1994 - 1994
- DATASEM'94,
1994 - 1994
|
International Society Boards: (0/1)
| |
International Society Boards - others: (1)
- Český normalizační institut - TNK 20
, Software Engineering, 2001 - 2007
|
Academic Boards: (11)
| |
- ČSKI,, Vědecká rada ČSKI , 2000 - 2012
- MFF UK Praha,, Rada doktorského studijního oboru 4 I2 - Softwarové systémy , 2008 - 2012
- PEF ČZU Praha,, oborová rada , 2004 - 2012
- ČVUT - Fakulta Informačních Technologií,, Oborová rada pro doktorské studium , 2010 - 2012
- FEL ČVUT,, Oborová rada studijního oboru 2612V025 "Informatika a výpočetní technika" , 2008 - 2009
- Bankovní institut - Certifikační komise,, Bankovní institut - Certifikační komise , 1997 - 2009
- MFF UK v Praze,, Rigorózní komise Informatika, Softwarové systémy , 1999 - 2007
- FEL ČVUT v Praze,, Oborová rada studijního oboru PGS "Informatika a výpočetní technika" , 1998 - 2007
- PEF ČZU,, oborová rada pro program "Systémové inženýrství a informatika" , 2003 - 2003
- MFF UK v Praze,, Komise pro rigorózní zkoušky , 1995 - 2002
- MFF UK v Praze,, Komise pro vědecké hodnosti , 1997 - 1999
|
Membership in organizations: (4)
Others activities - specializations: (1)
| |
- Supervisor of PhD students at FEE CTU
|
|
 
|
