Publikace
- SOFSEM 2016. 42nd International Conference on Current Trends in Theory and Practice of Computer Science (2016)
- SOFSEM 2015. 41st International Conference on Current Trends in Theory and Practice of Computer Science (2015)
- 7. Intenzivní škola (2013)
- 6. Intenzivní škola (2013)
- 5. Intenzivní škola (2013)
- 8. Intenzivní škola (2013)
- 4. Intenzivní škola (2013)
- SOFSEM 2013. International Conference on Current Trends in Theory and Practice of Computer Science /39./ (2013)
- SOFSEM 2012. International Conference on Current Trends in Theory and Practice of Computer Science /38./ (2012)
- SOFSEM 2010. International Conference on Current Trends in Theory and Practice of Computer Science /36./ (2010)
- Tvorba ontologie huminových látek (2010)
- ITAT 2008. Conference on Theory and Practice of Information Theory (2008)
- Local Safety of an Ontology (2008)
- SEMWEB 2008. Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu. Závěrečný pracovní seminář (2008)
- Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu (2008)
- ITAT 2007. Conference on Theory and Practice of Information Technologies (2007)
- SOFSEM 2007. Conference on Current Trends in Theory and Practice of Computer Science /33./ (2007)
- SemWeb 2006. Seminář projektu programu Informační společnost. Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu (2006)
- SOFSEM 2006. Conference on Current Trends in Theory and Practice of Computer Science /32./ (2006)
- Sémantický web - vízie, príncipy a nástroje (2004)
- SOFSEM 2004: Theory and Practice of Computer Science. Proceedings Volume II (2004)
- SOFSEM 2004: Theory and Practice of Computer Science (2004)
- The Czech Society for Cybernetics and Informatics (CSKI) (2004)
- Proceedings of EDBT 2002 PhD Workshop (2002)
- Data Integration Inconsistencies Resolution (2001)
- Proceedings of Challenges. Symposium on Advances in Databases and Information Systems. Enlarged Fourth East-European Conference on Advances in Databases and Information Systems (2000)
- Current Issues in Databases and Information Systems (2000)
- Existence Conditions for the Inconsistencies in the Databases Integration (1998)
- Classification of the Inconsistencies in the Databases Integration (1998)
- Životní styl, zdraví a prospěch studentů lékařské fakulty. [Life Style, Health and Achievements of Students of the Faculty of Medicine] (1997)
- Database Systems and Logic - I (1997)
- Supplement to the Report for the Evalution of the Institute (1996)
- Report for the Evalution of the Institute (1996)
- Overview List of Technical Reports and Dissertations. Completed at the Occasion of 20th Anniversary of Institute Foundation (1995)
- Ordered Modified Gram-Schmidt Orthogonalization Revised (1995)
- Zdraví a možnosti preventivní péče o studenty prvního ročníku 3.lékařské fakulty UK Praha. [Health and Prevention Care Possibilities for First Year Students of the Charles University 3rd Medical Faculty at Prague] (1995)
- Inconsistency Resolution in the Integration of Databases (1995)
- Zpráva o výsledcích výzkumu pro Centrum klastrové medicíny za rok 1993 (1994)
- Konceptuálný model činnosti Centra clustrovej medicíny (1994)
- Some Comments on the Ordered Modified Gram-Schmidt Orthogonalization (1994)
- Mathematiques. Exercices a 1'usage des étudiants de MI 2 (1993)
- Distributions. Cours a l'usage des étudiants de Elec 3 - Ener 3 - Mec 3 (Fascicules 1-4) (1992)
- Transformations intégrales. Cours a l'usage des étudiants de Elec 3 - Ener 3 - Mec 3 (Fascicules 1-2) (1992)
- Fonctions de la variable complexe. Cours a l'usage des étudiants de Elec 3 - Ener 3 - Mec 3 (Fascicules 1-3) (1991)
- Algebre linéaire. Cours a l'usage des étudiants de AP1 (Fascicules 1-5) (1990)
- Algebre générale. Cours a l'usage des étudiants de AP1 (Fascicules 1-3) (1989)
- Atribút v konceptuálnom modelovaní (1988)
- Dynamické aspekty v konceptuálnom modelovaní (1988)
- Interaktívny systém pre konceptuálne modelovanie v databázových systémoch. (1988)
- Soubor přednášek z 1. semináře o integrovaných informačních a výpočetních systémech (1988)
- Databanka DPZ (1988)
- Databázové systémy (1988)
- Pořizování a zpracování apriorních podpůrných dat pro DPZ (1987)
- Informačný systém o ECS '87 (1987)
- Štúdia modelov pre konceptuálne modelovanie (1987)
- Návrh jazyka CSL na vytváranie konceptuálnej schémy (1986)
- Možnosti využitia expertných systémov pri tvorbe konceptuálnej schémy databázového systému (1986)
- Matematické aspekty konceptuálneho modelovania (1986)
- Práca s IDMS DB 5.7 - IDD 3.0 - DC 2.0 na počítači VK2M45 (1986)
- Skladanie a rozklad objektov v konceptuálnom modelovaní (1986)
- Klasifikácia v konceptuálnom modelovaní (1986)
- História a súčasnost konceptuálneho modelovania (1986)
- Databázové systémy v SVT ČSAV (1985)
- JCL procedúry pre prácu s IDMS na počítači VK2M45 (1984)
- JCL procedúry pre prácu s IDMS (1984)
- Databanka pre Archeologický ústav ČSAV (1984)
- Teoretické základy databázových systémov. Práca ku kandidátskému minimu (1983)
- Databanka pre Archeologický ústav ČSAV (1982)
- Metódy synchronizácie paralelných akcií v počítači (1979)
Projekty
- 100 vědců do středních škol (2012–2014)
- Pokročilé sanační technologie a procesy (2005–2009)
- Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu (2004–2008)