Prof. RNDr. Jiří Zlatuška, CSc.

Personal photo

 

 
2011

ZLATUŠKA, Jiří.
Autonomie univerzit versus reforma. In Vzdělanostní společnost: (věda a vzdělání ve 21. století): sborník z 3. mezinárodní vědecké konference. Praha : Vysoká škola finanční a správní, o.p.s. v edici Eupress, 2011. ISBN 978-80-7408-049-4, nestránkováno-6 pp. 2011, Praha.


more

 

ZLATUŠKA, Jiří.
Hodnocení výzkumu v informatice - přístupy a problémy. In Hovory s informatiky 2011: sborník studií. Praha : Ústav informatiky AV ČR, 2011. ISBN 978-80-87136-11-9, pp. 41-45. 2011, Praha.


more

 
2010

ZLATUŠKA, Jiří.
Informatika a problematické hodnocení inovací. In Hovory s informatiky 2010: sborník studií. Praha : Ústav informatiky AV ČR, 2010. ISBN 978-80-87136-09-6, pp. 118-137. 2010, Mikulov.


more

 
2000

ZLATUŠKA, Jiří.
Informační společnost a nová ekonomika. In Information and Communication Technology in Education. Vyd. 1. Ostrava : Ostravská univerzita, 2000. ISBN 80-7042-795-7, pp. 11-23. Rožnov pod Radhoštěm, 18-21.9.2000.


more

 

ZLATUŠKA, Jiří.
Informační technologie mění ekonomiku. Inside, Praha, Softwarové noviny, s.r.o. 2000, vol. 1, no. 10, pp. 16-21.


more

 

ZLATUŠKA, Jiří.
Promises and Perils of an Information Society. In Local and Regional Society (ISSS2000 - Internet ve státní správě a samosprávě). Hradec Králové : Triada, 2000. ISBN -, pp. 75-79. 27-28. března 2000, Hradec Králové.


more

 

ZLATUŠKA, Jiří.
Vysoké školy a priority České republiky. In Vzdělávání - brána k evropské integraci. Vyd. 1. Brno : Masarykova univerzita, 2000. ISBN 80-210-2419-4, pp. 18-21. Brno, září 2000.


more

 
1999

ZLATUŠKA, Jiří.
A Challenge of the World Turned Digital. In The Crossroads of European Culture 1998. Brno : VUTIUM Press, 1999. ISBN 80-214-1249-6, pp. 497-500. 30.9-4.10.1998, Brno.


more

 

ZLATUŠKA, Jiří.
Informační společnost. In Evropská integrace a české vzdělávání. Vyd. 1. Brno : Masarykova universita, 1999. ISBN 80-210-2187-X, pp. 28-58. Vranov nad Dyjí, 14.-15.10.1999.


more

 

ZLATUŠKA, Jiří.
NTS: Programming Languages and Paradigms. EuroTeX Proceedings, Heidelberg, Dante, e.v., Germany. ISSN 1438-9959, 1999, vol. -, no. -, pp. 241-246.


more

 
1998

BRANDEJS, Michal - ZLATUŠKA, Jiří.
Employing Intranets in Order to Facilitate Reform of Higher Education in Czech Republic. In Proc. of the 3-th Int.Conference. Minsk, Belarus : State Economic University, 1998. ISBN 985-426-136-0, pp. 16-19. 12-13 November 1998, Minsk, Belarus.


more

 

BRIM, Luboš - GRUSKA, Jozef - ZLATUŠKA, Jiří.
Mathematical Foundations of Computer Science 1998. Heidelberg : Springer Verlag, 1998. 846 pp. Lecture Notes in Computer Science, Vol. 1450. ISBN 3-540-64827-5.


more

 
1997

ZLATUŠKA, Jiří.
Education as an Information-Age Business. In RUFIS 97 international conference. Vyd. 1. Prague : RUFIS, 1997. ISBN 80-01-01710-9, pp. 49-56. Praha, září 1997.


more

 

ZLATUŠKA, Jiří.
Informace a etické standardy užití počítačů. In RUFIS'97. Praha : CVUT, 1997. ISBN 80-01-01710-9, pp. 167-173. Praha, zari 1997.


more

 

ZLATUŠKA, Jiří.
Stepping Stones to an Information Society. In SOFSEM 97 conference. Heidelberg : Springer Verlag, 1997. ISBN 3-540-63774-5, pp. 349-372.


more

 

ZLATUŠKA, Jiří.
Vzdělání pro informační společnost. In RUFIS'97. Praha : CVUT, 1997. ISBN 80-01-01710-9, pp. 59-68. CVUT Praha.


more

 
1996

SOJKA, Petr - HAN THE, Thanh - ZLATUŠKA, Jiří.
The Joy of TeX2PDF - Acrobatics with an Alternative to DVI Format. TUGboat : The Communications of the TeX Users Group, San Francisco, TeX Users Group, Portland, Oregon, USA, USA. ISSN 0896-3207, 1996, vol. 17, no. 3, pp. 244-251.


more

 
1995

ZLATUŠKA, Jiří.
When METAFONT does it alone. TUGboat : the communications of the TEX Users Group, San Francisco, TEX Users Group, USA. ISSN 0896-3207, 1995, vol. 16, no. 3, pp. 227-332.


more

 
1994

ZLATUŠKA, Jiří.
From specifications to programs. In Gilbert, David - Hogger, Chris. Logic Program Synthesis and Transformation. Vyd. 1. Hamburg : Springer, 1994. ISBN 3-540-58792-6, pp. 93-98. Pisa, June 19-22, 1994.


more

 

ZLATUŠKA, Jiří.
Linear logic semantics for Concurrent Prolog. In Extensions of Logic Programming. Vyd. 1. Hamburg : Springer, 1994. LNAI 798, ISBN 3-540-53590-X, pp. 85-96.


more

 

ZLATUŠKA, Jiří.
Surviving in a multi-lingual world with multiple font encodings. In Euro TeX 94. Gdansk : R. Bzyl and T. Plata-Przechlewski, eds., 1994. pp. 188-195.


more

 
1993

ZLATUŠKA, Jiří.
Committed-choice logic programming in linear logic. In Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93). Vyd. 1. New York : Springer, 1993. LNCS 713, ISBN 0-387-57184-1, pp. 337-348-337+1.


more

 

ZLATUŠKA, Jiří.
Concurrent logic programming in linear logic. In Workshop on Concurrency in Computational Logic. Vyd. 1. London : ALP-UK, 1993. pp. 19-36-19+1. Londyn, 1993.


more

 

ZLATUŠKA, Jiří.
Lambda-kalkul. Vyd. 1. Brno : Masarykova univerzita Brno, 1993. 240 pp. ISBN 80-210-0826-1.


more

 

ZLATUŠKA, Jiří.
Linear logic semantics for Concurrent Prolog. In Fourth International Workshop on Extensions of Logic Programming. St. Andrews, Scotland : R. Dyckhoff, ed., 1993. pp. 157-166.


more

 
1992

ZLATUŠKA, Jiří.
Object modelling using lambda-calculus for information systems (abstract). In Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229). : E. Börger, Y. Gurevich, H.Kleine-Büning, M. M. Richter, eds., 1992. p. 23-23.


more

 
1991

ZLATUŠKA, Jiří.
Modelling inheritance in a strongly typed functional model. In Next Generation Information System Technology. Springer : Schmidt, J.W., and Stogny, A.A.,eds.LNCS 504, 1991. pp. 212-227.


more

 

ZLATUŠKA, Jiří.
Od logického programování k paralelismu. Informačné systémy, Bratislava, Alfa. 1991.


more

 

ZLATUŠKA, Jiří.
Od logického programování k paralelismu. Informačné systémy, Bratislava, Alfa. 1991.


more

 
1990

ZLATUŠKA, Jiří.
Od logického programování k paralelismu. In Proc. SOFSEM 90. : 1990. pp. 329-347.


more

 

ZLATUŠKA, Jiří.
Od logiky k logickému programování. Informačné systémy, Bratislava, Alfa. 1990, pp. 611-668.


more

 
1989

ZLATUŠKA, Jiří.
Od logiky k logickému programování. In Sb. SOFSEM 89. : 1989. pp. 323-354.


more

 
1988

FRANEK, Jiří - ZLATUŠKA, Jiří.
Kancelářský datový systém SIRAEL. Mechanizace a automatizace administrativy. 1988, vol. 1, p. 4-4.


more

 
1986

ZLATUŠKA, Jiří.
Data Bases and the Lambda Calculus. In Proc. 10th IFIP World Computer Congres. : 1986. pp. 97-104.


more

 

ZLATUŠKA, Jiří - FELIX, O..
Datový model HIT po pěti letech. In Proc. SOFSEM 86. : 1986. pp. 119-153.


more

 

FRANEK, Jiří - ZLATUŠKA, Jiří.
SIRAEL - disketový systém pro práci s daty. Informačné systémy, Bratislava, Alfa. 1986, vol. 2, pp. 171-190.


more

 
1985

ZLATUŠKA, Jiří.
HIT Data Model. Data Bases from the Functional Point of View. In Proceedings of 11th International Conference on Very Large Data Bases. Stockholm, Sweden : Alain Pirotte and Yannis Vassiliou, 1985. pp. 470-477.


more

 

ZLATUŠKA, Jiří.
Keeping integrity in the HIT data base model. Scripta Facultatis Scientiarum Naturalium Universitatis Purkynianae Brunensis - Mathematica, Brno, Přírodovědecká fakulta Univerzity J.E. Purkyně. 1985, vol. 15, no. 4, pp. 187-198.


more

 

ZLATUŠKA, Jiří - CHRZ, T. - MATERNA, P..
Lambda kalkul. In Proc. SOFSEM 85. : 1985. pp. 195-242.


more

 

ZLATUŠKA, Jiří.
Normal forms in the typed lambda-calculus with tuple types. Kybernetika. ISSN 0023-5954, 1985, vol. 21, no. 5, pp. 366-381.


more

 

ZLATUŠKA, Jiří - FELIX, O..
Transforming External Queries into Ralational Operations with Data Using HIT Data Model. In Proc. 8th Int. Sem. on DBMS. Piešťany : 1985. pp. 31-47.


more

 
1984

ZLATUŠKA, Jiří.
HIT data model. A functional approach to data bases. In Proc. 8 th. Sem. on DBMS. Varna (Bulgaria) : 1984. pp. 21-23.


more

 

FRANEK, Jiří - ZLATUŠKA, Jiří.
SIRAEL - disketový systém pro práci s daty. In Proc. SOFSEM 84. : 1984. pp. 311-314.


more

 
1983

ZLATUŠKA, Jiří.
Extending Some Classes of Program Schemata with Decidable Equivalence Problem. Computers and Artificial Intelligence, Bratislava, Slovac Academy of Science, Veda. ISSN 0232-0274, 1983, no. 3, pp. 259-268.


more

 

ZLATUŠKA, Jiří.
Integritní omezení v modelu HIT. In Proc. SOFSEM 83. : 1983. pp. 485-489.


more

 
1982

ZLATUŠKA, Jiří.
Externí pohledy a aktualizace v modelu HIT. In Proc. SOFSEM 82. : 1982. pp. 410-412.


more

 
1981

ZLATUŠKA, Jiří.
Databázový model HIT. In Proc. DATASEM 81. : 1981. pp. 41-60.


more

 

MATERNA, Pavel - KREJČÍ, F. - ZLATUŠKA, Jiří - POKORNÝ, J. - FELIX, O..
HIT - databázový model. In Proc. SOFSEM 81. : 1981. pp. 195-225.


more

 
1980

ZLATUŠKA, Jiří.
Realizace teorie typu v Algolu 68. In Proc. SOFSEM 80. : 1980. pp. 421-422.


more

 
1979

ZLATUŠKA, Jiří.
Použití algolu 68 jako databázového jazyka. In Proc. SOFSEM 79. : 1979. pp. 412-414.


more

 
1978

ZLATUŠKA, Jiří.
Utváření pojmu na základě rostoucích pyramidálních sítí. In Proc. SOFSEM 78. : 1978. pp. 479-480.


more