| |
 |
|
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: (35)
|
Publications: (6/128)
| |
Publications - significant: (6)
- 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: (128)
- Transformation of relationships from UML/OCL to SQL
(Paper in Electronic Proceedings (CD-ROM or web))
2011, RICHTA K., RYBOLA Z.
In ITAT 2011: Zborník príspevkov prezentovaných na konferencii ITAT [CD-ROM]. 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.
- 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.
- 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).
- 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.
- STORING XML DATA – THE ExDB AND CellStore WAY IN THE CONTEXT OF CURRENT APPROACHES
()
2011, LOUPAL P., MLÝNKOVÁ I., NEČASKÝ M., RICHTA K., STRNAD P.
Informatica. 2011, . ISSN 0868-4952.
- 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.
- DATESO 2010
(Proceedings)
2010, RICHTA K., POKORNÝ J., SNÁŠEL V.
Praha: Matfyzpress, 2010. 198 s. ISBN 978-80-7378-116-3.
- 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 in Electronic Proceedings)
2010, RICHTA K.
In Moderní databáze 2010. Praha: Komix, 2010, . (in Czech).
- 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).
- 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.
- 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.
- 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).
- 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.
- 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.
- DATESO 2007: Databases, Texts, Specifications, Objects 2007
(Conference Proceedings (on CD-ROM or web))
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.
- 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.
- 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.
Ostrava: VSB-TUO, Department of Computer Science of FEI, 2006. ISBN 80-248-1025-5.
- 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
(Conference Proceedings (on CD-ROM or web))
2006, SNÁŠEL V., RICHTA K., POKORNÝ J.
Aachen: Technical University, 2006. 120 p. ISSN 1613-0073.
- 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
(Conference Proceedings (on CD-ROM or web))
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).
- 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).
- DATESO 2004
(Proceedings)
2004, RICHTA K., POKORNÝ J., SNÁŠEL V.
Olomouc: Vydavatelství UP Olomouc, 2004. 176 p. ISBN 80-248-0457-3.
- 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.
- 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.
- 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 Electronic Proceedings (CD-ROM or web))
2003, RICHTA K.
In AED 2003 [CD-ROM]. 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).
- 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 Type Systems in XML Data Transformations
(PhD Thesis)
2003, VALENTA M., RICHTA K.
[PhD Thesis]. Prague: CTU, Faculty of Electrical Engineering, 2003. 96 p.
- 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.
- 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).
- 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).
- 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.
- 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 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.
- 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.
- 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.
- Integrity Constraint Specification and Maintenance
(PhD Thesis)
2002, BADAWY M., RICHTA K.
[PhD Thesis]. Prague: CTU, Faculty of Electrical Engineering, 2002. 89 p.
- 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).
- 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).
- 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 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.
- 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).
- 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.
- 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.
- 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).
- Formats XML and XSL
(Paper in Conference Proceedings)
2000, RICHTA K.
In Moderní Databáze 2000. Praha: Komix, 2000, s. 1-23. (in Czech).
- HTML in XML = XHTML
(Paper)
2000, RICHTA K.
Chip. 2000, roč. 10, č. 4, s. 120-123. 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).
- Software Reuse: Essence & Innate Difficulties
()
2000, XIA F., RICHTA K.
IEEE Software. 2000, vol. 17, no. 1, p. 1-9. 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.
- Component Testability and Component Testing Challenges
()
2000, GAO J., RICHTA K.
IEEE Software. 2000, vol. 14, p. 1-6. 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.
- 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).
- Proceedings of the DATASEM'99
(Proceedings)
1999, RICHTA K.
Brno: Masaryk University, 1999. 331 p. ISBN 80-210-2181-0.
- XSL - eXtesible Stylesheet Language
(Unpublished Lecture)
1999, RICHTA K.
[Nepublikovaná přednáška]. Praha: ITS a.s.. 1999-03-09. (in Czech).
- 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.
- XML - eXtensible Markup Language
(Unpublished Lecture)
1999, RICHTA K.
[Nepublikovaná přednáška]. Volyně: ITS a.s.. 1999-05-11. (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 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).
- 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.
- 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.
- 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.
- 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).
- 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.
- 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).
- 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).
- 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.
- 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).
- 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).
- Software Engineering I
(University Lecture Notes)
1996, RICHTA K., SOCHOR J.
1. vyd. Prague: CTU, 1996. 228 s. (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.
- 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).
- Stepwise Development Using VDM
(Paper in Conference Proceedings)
1995, RICHTA K., VLK T.
In Workshop 95. Prague: CTU, 1995, vol. I, p. 245-246.
- 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).
- Programming Systems Design
(University Lecture Notes)
1994, RICHTA K., SOCHOR J.
Prague: CTU, 1994. 169 s. ISBN 80-01-01070-8. (in Czech).
- Algebraic Specification
(Paper in Conference Proceedings)
1994, RICHTA K.
In CTU Seminar 94. Prague: CTU, 1994, vol. B, p. 61-62.
- OBJ Specification Prototyping
(Paper in Conference Proceedings)
1993, RICHTA K.
In Workshop 93. Prague: CTU, 1993, p. 117-118.
- Programming Language C
(University Lecture Notes)
1993, RICHTA K., BRŮHA I.
1. ed. Prague: CTU, Faculty of Electrical Engineering, 1993. 196 p.
- 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).
- System Programmes
(University Textbook)
1991, RICHTA K.
1. vyd. Prague: CTU, 1991. 49 s. ISBN 80-01-00730-8. (in Czech).
- Programming Technology
(University Lecture Notes)
1991, RICHTA K.
1. vyd. Prague: CTU, 1991. 152 s. ISBN 80-01-00533-X. (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).
- 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/4)
| |
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:
- Alfonso Rodriguez and Ignacio Garcia-Rodriguez de Guzmán and Eduardo Fernandez-Medina and Mario Piattini
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: (4)
- 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: (17)
| |
- MDD supporting tool (PhD Project Supervisor)
2010 - 2011,
- XML Data Processing ()
2009 - 2011, Standard projects , Czech Grant Agency
- 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, Standard projects , Czech Grant Agency
- Development of a Native Storage for XML Data (Person responsible for the grant at the CTU)
2006 - 2008, Standard projects , Czech Grant Agency
- Longshanks - The long term educational program of software lifecycle management and introduction of software tools into small or middle companies ()
2006 - 2006,
- Formalization of UML profile for safety critical systems (PhD Project Supervisor)
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, Standard projects , Czech Grant Agency
- 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, Standard projects , Czech Grant Agency
|
Projects: (1)
Editorial Boards: (0/1)
Conference Commitees: (1/81)
| |
Conference Commitees - significant: (1)
- EDBT 2002,
2001 - 2002
EDBT
Conference Commitees - others: (81)
- SOFSEM 2012 - 38th International Conference on Current Trends in Theory and Practice of Computer Science,
2012 - 2012
Ústav informatiky AV ČR
- DATAKON 2011,
2011 - 2011
MFF UK
- International Workshop on Engineering Service-Oriented Applications 2011,
2011 - 2011
International Conference on Service Oriented Computing
- Advanced Software Engineering & Its Applications 2011,
2011 - 2011
Science & Engineering Research Support soCiety, Korea
- 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
- 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
- ITAT 2010 - Informačné technológie - aplikácie a teória,
2010 - 2010
Univerzita P.J.Šafárika
- DATESO 2010: Databases, Texts, Specifications, and Objects,
2010 - 2010
UK MFF
- DATAKON 2009,
2009 - 2009
Matematicko-fyzikální fakulta, UK Praha
- 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
- Databases, Texts, Specifications and Objects 2009,
2009 - 2009
MFF UK
- Advanced Software Engineering & Its Applications 2009,
2009 - 2009
Catholic University of Daegu
- DATAKON 2009,
2009 - 2009
Matematicko-fyzikální fakulta, UK Praha
- SOFSEM 2008,
2008 - 2008
Univerzita P.J.Šafárika
- Objekty 2008,
2008 - 2008
Žilinská univerzita v Žilině
- Data, Texts, Specifications, and Objects 2008,
2008 - 2008
UK MFF
- DATAKON 2008,
2008 - 2008
Masarykova univerzita v Brně Fakulta informatiky
- Informačné Technológie - Aplikácie a Teória ,
2008 - 2008
UK MFF
- Software Engineering Research, Management and Applications 2008,
2008 - 2008
IEEE CS
- Advances in Databases and Information Systems 2008,
2008 - 2008
Tampere University of Technology, Pori, Finland
- Information Systems Development 2008,
2008 - 2008
University of Cyprus
- DATAKON 2007,
2007 - 2007
ČVUT FEL Katedra počítačů
- Databases, Texts, Specifications and Objects 2007,
2007 - 2007
MFF UK
- Moderní databáze 2007,
2007 - 2007
Komix
- Objekty 2007,
2007 - 2007
ČZU
- Central and East-European Conference on Software Engineering Techniques 2007,
2007 - 2007
Poznan University of Technology
- Informačné technológie - aplikácie a teória 2007,
2007 - 2007
Univerzita P.J.Šafárika
- Information Systems Implementation and Modeling 2007,
2007 - 2007
Brno University of Technology
- Information Systems Development 2007,
2007 - 2007
National University of Ireland , Galway
- Advances in Databases and Information Systems 2007,
2007 - 2007
TU Varna
- Information Systems Development 2006,
2006 - 2006
Budapest University of Technology and Economics
- DATAKON 2006,
2006 - 2006
ČVUT FEL Katedra počítačů
- DATAKON 2006,
2006 - 2006
ČVUT FEL Katedra počítačů
- Objekty 2006,
2006 - 2006
ČZU
- SOFSEM 2006,
2006 - 2006
AV ČR
- 10th East European Conference on Advances in Databases and Information Systems 2006,
2006 - 2006
Yannis Manolopoulos
- Information Systems Implementation and Modelling,
2006 - 2006
Vysoké učení technické v Brně Fakulta inform. technologií
- Databases, Texts, Specifications and Objects 2006,
2006 - 2006
Vysoká škola báňská - Technická univerzita v Ostravě
- IFIP Working Conference on Software Engineering Techniques,
2006 - 2006
IFIP
- Moderní databáze 2006,
2006 - 2006
Komix
- DATAKON 2005,
2005 - 2005
ČVUT FEL
- DATESO 2005,
2005 - 2005
ČVUT FEL
- SOFSEM 2005,
2005 - 2005
Slovak University of Technology
- DATAKON 2005,
2005 - 2005
ČVUT FEL
- DATAKON 2004,
2004 - 2004
MU Brno
- Moderní databáze 2004,
2004 - 2004
Komix, s.r.o.
- DATESO 2004,
2004 - 2004
FI VŠB-TUO, MFF UK, FEL ČVUT
- Objekty 2004,
2004 - 2004
ČZU ve spolupráci s dalšími institucemi
- DATAKON 2004,
2004 - 2004
MU Brno
- Objekty 2003,
2003 - 2003
ČZU
- Moderní databáze,
2003 - 2003
Komix
- DATAKON 2003,
2003 - 2003
ČSIS
- DATESO 2003,
2003 - 2003
FEL+MFF+KIT
- DATAKON 2002,
2002 - 2002
Česká informatická společnost + další (viz www.datakon.cz)
- Objekty 2002,
2002 - 2002
ČZU - PEF, ČVUT - FEL, VŠB - TU
- Moderní databáze 2002,
2002 - 2002
Komix a.s.
- DATESO 2002,
2002 - 2002
MFF UK, FEL ČVUT, VŠB TU
- Objekty 2001,
2001 - 2001
- DATAKON,
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
- Objekty'99,
1998 - 1999
- DATASEM'99,
1999 - 1999
- SEES,
1998 - 1998
- DATASEM'98,
1998 - 1998
- DATASEM'97,
1997 - 1997
- RUFIS'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 - 2011
- ČVUT - Fakulta Informačních Technologií,, Oborová rada pro doktorské studium , 2010 - 2011
- PEF ČZU Praha,, oborová rada , 2004 - 2011
- MFF UK Praha,, Rada doktorského studijního oboru 4 I2 - Softwarové systémy , 2008 - 2011
- Bankovní institut - Certifikační komise,, Bankovní institut - Certifikační komise , 1997 - 2009
- FEL ČVUT,, Oborová rada studijního oboru 2612V025 "Informatika a výpočetní technika" , 2008 - 2009
- FEL ČVUT v Praze,, Oborová rada studijního oboru PGS "Informatika a výpočetní technika" , 1998 - 2007
- MFF UK v Praze,, Rigorózní komise Informatika, Softwarové systémy , 1999 - 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: (3)
| |
- ČSSI
1994 - 2011
- ACM
, ACM Czech Chapter
1995 - 2011
- Grada Publishing, a.s.
, Ediční rada ediční řady Management v informační společnosti
2006 - 2011
|
Others activities - specializations: (1)
| |
- Supervisor of PhD students at FEE CTU
|
|
 
|
