Department of Computer Science and Engineering [people]: doc. Ing. Karel Richta, CSc.

doc. Ing. Karel Richta, CSc.

Associate Professor

Vice Chair for Education
Academic Board Member
Head of the research group
Supervisor
Teacher

Contact:

e-mail:	richta[at]fel·cvut·cz
phone:	+420-22435-7319
room:	Praha 2, Karlovo náměstí 13, E-432
more information:	http://cs.felk.cvut.cz/~richta

Research group: (1)

SWING (SoftWare engineerING) (Head)

Educational activities: time table at FEE

Courses currently taught: (2/4)

XML Technology [YD36XML] (1/2) time table at FEE
XML Technology [AD7B36XML] (1/2) time table at FEE

Taught or led seminars for courses: (35)

XML Technology [Y36XML]
Software Construction [Y36SI3]
Introduction to Software Engineering [Y36SIN]
Software Project II [Y36PR2]
Object-Oriented Software Design [Y36OOD]
Software Architectures [Y36ASS]
Analysis and Design of Web based Applications [Y13ANW]
XML Technology [YD36XML]
Introduction to Software Engineering [YD36SIN]
Software Project II [YD36PR2]
Semestral Project [YD36PRO]
Programming in the C++ Language [YD36PJC]
Bachelor Project [YD36BAP]
Software Technology [X36SWT]
Software Systems Management [X36SSP]
Software Engineering [X36SIN]
Team Project [X36PMT]
Individual projekt II, master's [X36PMI2]
Software Systems Architecture [X36ASS]
Algebraic Specifications Prototyping [XP36PAS]
Software Engineering [XE36SIN]
Semester Project [XE36BPJ]
Bachelor Project [XE36BAP]
Software Technology [XD36SWT]
Software Systems Management [XD36SSP]
Software Engineering [XD36SIN]
Team Project [XD36PMT]
Individual projekt II, magistr's [XD36PMI2]
Individual Project [XD36PMI]
Software Systems Architecture [XD36ASS]
Software Architectures [A7B36ASS]
Diploma Thesis [A0M36DIP]
XML Technology [AD7B36XML]
Software Engineering [AD7B36SIN]
Programming in the C++ Language [AD7B36PJC]

Publications: (6/128)

Publications - significant: (6)

Evaluation criteria for management of large communication networks (Paper)
2010,
Systémová integrace. 2010, vol. 17, no. 1, p. 7-17. ISSN 1210-9479.
XML Technology (Book)
2008,
Praha: Grada, 2008. 265 s. ISBN 978-80-247-2725-7. (in Czech).
Rules and Processes for Enterprise Information Systems Deployment (Book)
2004,
1. vyd. Praha: Grada, 2004. 192 s. ISBN 80-247-1103-6. (in Czech).
Using XSL in IS Development (Chapter in Book)
2002,
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,
1. vyd. Prague: CTU, 1999. 636 s. ISBN 80-01-02028-2. (in Czech).
Peripheral Interfacing to PC (Book)
1996,
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,
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,
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,
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,
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,
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,
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,
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,
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,
Informatica. 2011, . ISSN 0868-4952.
How to Store XML Data (Technical Report)
2010,
[Technical Report]. Praha: Matfyz, 2010. 2010/2. 30 p.
Reconstruction of OCL from SQL (Paper in Conference Proceedings)
2010,
In DATAKON 2010. Ostrava: Ostravská univerzita, 2010, s. 1-10. ISBN 978-80-7368-424-2. (in Czech).
Information Systems Development 2010 (Proceedings)
2010,
Heidelberg: Springer, 2010. 800 s.
DATESO 2010 (Proceedings)
2010,
Praha: Matfyzpress, 2010. 198 s. ISBN 978-80-7378-116-3.
On the Denotational Semantics of XML-Lambda (Paper in Conference Proceedings)
2010,
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,
In Moderní databáze 2010. Praha: Komix, 2010, . (in Czech).
Model Driven Development and its Teaching (Paper in Conference Proceedings)
2010,
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,
In DATESO 2010. Praha: Matfyzpress, 2010, p. 139-146. ISBN 978-80-7378-116-3.
Databases, Texts, Specifications, and Objects (Proceedings)
2009,
Praha: ČVUT v Praze, 2009. 174 s. ISBN 978-80-01-04323-3.
General Schema Editor (Paper in Conference Proceedings)
2009,
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,
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,
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,
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,
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,
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,
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,
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,
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,
Aachen: RWTH, 2007. 136 p. ISSN 1613-0073.
Data, Texts, Objects, Specifications 2007 (Proceedings)
2007,
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,
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,
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,
Ostrava: VSB-TUO, Department of Computer Science of FEI, 2006. ISBN 80-248-1025-5.
Optimalization in the Relational DBMS (Invited Paper)
2006,
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,
Aachen: Technical University, 2006. 120 p. ISSN 1613-0073.
XML Technology (University Lecture Notes)
2006,
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,
Praha: Ediční středisko ČVUT, 2005. 140 p. ISSN 1613-0073.
DATESO 2005 (Proceedings)
2005,
Prague: CTU, Faculty of Electrical Engineering, 2005. 140 p. ISBN 80-01-03204-3.
Novelties in the UML 2.0 Format (Invited Paper)
2005,
In Moderní databáze 2005. Praha: Komix, 2005, s. 12-23. (in Czech).
Optimize Decisions of Oracle 10g Optimizer (Paper in Conference Proceedings)
2005,
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,
In EurOpen - XXIV. konference. Praha: EuroOpen CZ, 2004, s. 95-121. ISBN 80-86583-06-6. (in Czech).
DATESO 2004 (Proceedings)
2004,
Olomouc: Vydavatelství UP Olomouc, 2004. 176 p. ISBN 80-248-0457-3.
Business Functions Prototyping via XSLT (Chapter in Book)
2004,
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,
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,
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,
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,
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,
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,
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,
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,
IEEE Software. 2003, vol. 20, no. 1, p. 1-11. ISSN 0740-7459.
Using Type Systems in XML Data Transformations (PhD Thesis)
2003,
[PhD Thesis]. Prague: CTU, Faculty of Electrical Engineering, 2003. 96 p.
Deriving Triggers from UML/OCL Specification (Paper in Conference Proceedings)
2002,
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,
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,
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,
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,
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,
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,
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,
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,
Acta Polytechnica. 2002, vol. 42, no. 6, p. 39-44. ISSN 1210-2709.
Integrity Constraint Specification and Maintenance (PhD Thesis)
2002,
[PhD Thesis]. Prague: CTU, Faculty of Electrical Engineering, 2002. 89 p.
Algoritmizace a programování v "C" (University Lecture Notes)
2002,
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,
1. vyd. Prague: CTU, 2001. 253 s. ISBN 80-01-01890-3. (in Czech).
XML-schemas (Paper in Conference Proceedings)
2001,
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,
In ISM'01. Ostrava: MARQ, 2001, p. 133-138. ISBN 80-85988-51-8.
Using XSL in IS Development (Paper in Conference Proceedings)
2001,
In ISD 2001. New York: Kluwer Academic / Plenum Publishers, 2001, p. 1-12.
Types in XML and XML-schemas (Paper in Conference Proceedings)
2001,
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,
In ICPR 2001. Prague: CTU, 2001, p. 1-12.
Generation of Object-Oriented Databases from Relational Databases (Paper in Conference Proceedings)
2001,
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,
In ICPR 2001. Prague: CTU, 2001, p. 12-21.
Case Closed: the 500 Language Problem is Cracked ()
2001,
IEEE Software. 2001, vol. 15, p. 1-19. ISSN 0740-7459.
Why XML? (Paper)
2000,
Chip. 2000, roč. 10, č. 2, s. 98-99. ISSN 1210-0684. (in Czech).
Formats XML and XSL (Paper in Conference Proceedings)
2000,
In Moderní Databáze 2000. Praha: Komix, 2000, s. 1-23. (in Czech).
HTML in XML = XHTML (Paper)
2000,
Chip. 2000, roč. 10, č. 4, s. 120-123. ISSN 1210-0684. (in Czech).
XSL = Tool for XML Prezentation (Paper)
2000,
Chip. 2000, roč. 10, č. 6, s. 112-115. ISSN 1210-0684. (in Czech).
Software Reuse: Essence & Innate Difficulties ()
2000,
IEEE Software. 2000, vol. 17, no. 1, p. 1-9. ISSN 0740-7459.
Transformation of UML Models into XML (Paper in Conference Proceedings)
2000,
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,
IEEE Software. 2000, vol. 14, p. 1-6. ISSN 0740-7459.
The Tao of COTS-Based Systems ()
2000,
IEEE Software. 2000, vol. 6, no. 4, p. 1-13. ISSN 0740-7459.
XML and Semistructured Data (Paper in Conference Proceedings)
2000,
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,
Brno: Masaryk University, 1999. 331 p. ISBN 80-210-2181-0.
XSL - eXtesible Stylesheet Language (Unpublished Lecture)
1999,
[Nepublikovaná přednáška]. Praha: ITS a.s.. 1999-03-09. (in Czech).
System Structure & Implementation Steps (Technical Report)
1999,
[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,
[Nepublikovaná přednáška]. Volyně: ITS a.s.. 1999-05-11. (in Czech).
Specification-Driven Maintenance of Integrity Constraints (Paper in Conference Proceedings)
1999,
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,
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,
IEEE Software. 1999, vol. 16, no. 1, p. 1-9. ISSN 0740-7459.
Database Integration Inconsistencies Removal ()
1999,
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,
In Workshop 98. Prague: CTU, 1998, vol. I, p. 209-210.
The C Programming Language (University Lecture Notes)
1998,
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,
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,
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,
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,
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,
[Unpublished Lecture]. Praha: CEEPUS Summer School Advanced Control. 1998-09-01.
Formal Specifications in Software Development (Paper)
1998,
ERCIM News. 1998, vol. 9, no. 32, p. 29-30. ISSN 0926-4981.
Programming Language Semantics (University Lecture Notes)
1997,
1. vyd. Praha: Karolinum, 1997. 170 s. ISBN 80-7184-327-X. (in Czech).
Formal Specification & CASE Systems (Paper in Conference Proceedings)
1997,
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,
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,
In Workshop 96. Prague: CTU, 1996, vol. I, p. 241-242.
Object-Oriented Methodics (Paper in Conference Proceedings)
1996,
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,
In DATASEM'96. Brno: CS-COMPEX, 1996, s. 259-266. ISBN 80-902250-5-5. (in Czech).
Software Engineering I (University Lecture Notes)
1996,
1. vyd. Prague: CTU, 1996. 228 s. (in Czech).
Programming Language C (University Lecture Notes)
1996,
1. ed. Prague: CTU, 1996. 196 p. ISBN 80-01-00942-4.
Programming Language C (University Lecture Notes)
1996,
2. ed. Prague: CTU, 1996. 196 p. ISBN 80-01-00942-4.
Quo Vadis, CASE? (Paper in Conference Proceedings)
1995,
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,
In Workshop 95. Prague: CTU, 1995, vol. I, p. 245-246.
Software Engineering I (University Lecture Notes)
1995,
Prague: CTU, 1995. 232 s. (in Czech).
CASE and Formal Specification (Paper in Conference Proceedings)
1994,
In DATASEM'94. Brno: CCB, 1994, s. 132-141. ISBN 80-900047-9-2. (in Czech).
Programming Systems Design (University Lecture Notes)
1994,
Prague: CTU, 1994. 169 s. ISBN 80-01-01070-8. (in Czech).
Algebraic Specification (Paper in Conference Proceedings)
1994,
In CTU Seminar 94. Prague: CTU, 1994, vol. B, p. 61-62.
OBJ Specification Prototyping (Paper in Conference Proceedings)
1993,
In Workshop 93. Prague: CTU, 1993, p. 117-118.
Programming Language C (University Lecture Notes)
1993,
1. ed. Prague: CTU, Faculty of Electrical Engineering, 1993. 196 p.
Software Technology (University Lecture Notes)
1993,
Prague: CTU, 1993. 200 s. (in Czech).
Introduction to Programming II - exercises (University Lecture Notes)
1993,
Prague: CTU, 1993. 170 p.
The abstract rewriting machine (Technical Report)
1991,
[Technical Report]. Prague: CTU, 1991. DC-91-04. 32 p.
Operating System CP/M (Book)
1991,
Praha: SNTL, 1991. 300 s. (in Czech).
System Programmes (University Textbook)
1991,
1. vyd. Prague: CTU, 1991. 49 s. ISBN 80-01-00730-8. (in Czech).
Programming Technology (University Lecture Notes)
1991,
1. vyd. Prague: CTU, 1991. 152 s. ISBN 80-01-00533-X. (in Czech).
The C Programming Language (University Lecture Notes)
1991,
1. vyd. Praha: Ediční středisko ČVUT, 1991. 221 s. (in Czech).
The Introduction to Operating System UNIX (University Lecture Notes)
1991,
1. vyd. Praha: Ediční středisko ČVUT, 1991. 182 s. (in Czech).
The Operating System MS-DOS for Programmers (University Textbook)
1990,
1. vyd. Prague: CTU, 1990. 200 s. (in Czech).
Principles of PC Operating Systems (University Textbook)
1989,
1. vyd. Prague: CTU, 1989. 102 s. (in Czech).
Computers and Programming 2. - Excercises (University Lecture Notes)
1989,
1. vyd. Prague: CTU, Faculty of Electrical Engineering, 1989. 191 s. (in Czech).
User's Guide to Operationg System UNIX (Technical Report)
1988,
[Technická zpráva]. Praha: ČSVTS-FEL-ČVUT, 1988. (in Czech).
The Mathematical Theory of Programming (University Lecture Notes)
1987,
1. vyd. Prague: CTU, Faculty of Electrical Engineering, 1987. 95 s. (in Czech).
Data Structures (University Lecture Notes)
1986,
1. vyd. Prague: CTU, Faculty of Electrical Engineering, 1986. 101 s. (in Czech).
Operating System CP/M for Microcomputers (Technical Report)
1985,
[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,
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,
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,
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,
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,
[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,
[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)

Inteligent Web Technologies, 2006 - 2008

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

Generated: 22.01.2012 17:01