Selected publications of J. Zlatuska

  1. Zlatuska, J.: Stepping Stones to an Information Society, Proc. SOFSEM'97 conference (invited talk), Jeffery, K. and Plasil, F., eds., LNCS 1338, Springer, 1997, 349-372.

  2. Zlatuska, J.: Education as an Information-Age Business, to be presented at RUFIS'97 conference (Role of Universities in the Future Information Society), Prague, September, 1997.

  3. Zlatuska, J.: Vzdelani pro informacni spolecnost (Education for the Information Society, in Czech), invited talk at RUFIS'97 conference (Role of Universities in the Future Information Society), Prague, September, 1997.

  4. Zlatuska, J.: Informace a eticke standardy pouziti pocitacu (Information and Ethical Standards of the Use of Computers, in Czech), invited talk at RUFIS'97 conference (Role of Universities in the Future Information Society), Prague, September, 1997.

  5. Han, T.T., Sojka, P., Zlatuska, J.: The Joy of TeX2PDF -- Acrobatics with an Alternative to DVI Format, TUGBoat, Vol. 17, No. 3, 1996.

  6. Zlatuska, J.: When METAFONT does it alone, in: Proc. TUG 95 (R. Fairbains, ed.), St. Petersburg, FL, 1995, 1-6; also in: EuroTeX'95 (W. Dol, ed.), NTG, Arnhem, 1995, 431-441.

  7. Zlatuska, J.: Surviving in a multi-lingual world with multiple font encodings, in: EuroTeX'94 (R. Bzyl and T. Plata-Przechlewski, eds.), Gdansk, 1994, 188-195.

  8. Gilbert, D., Hogger, C., Zlatuska, J.: From specifications to programs, LOPSTR'94 (Fourth International Workshop on Logic Programming Synthesis and Transformation), Pisa, June 19-22, 1994. (here for a preliminary version as a City University TR 93-6)

  9. Zlatuska, J.: Linear logic semantics for Concurrent Prolog, in: Extensions of Logic Programming (R. Dyckhoff, ed.), Springer, LNAI 798, 1994.

  10. Zlatuska, J.: Concurrent logic programming in linear logic, in: Proc. Workshop on Concurrency in Computational Logic (D.R.Gilbert, J.-M.Jaquet, eds.), London, ALP-UK, 1993, 19-36.

  11. Zlatuska, J.: The experience of TeX: typesetting and beyond (Taylor, P., Zlatuska, J.: Electronic typesetting and TeX, part 1), Proc. SOFSEM'93 Conference, Hrdonov, 1993, 279-291.

  12. Zlatuska, J.: Committed-choice logic programming in linear logic, in: Computational Logic and Proof Theory (Third Kurt Gödel Colloquium, KGC'93; G. Gottlob, A. Leitsch, and D. Mundici, eds.), LNCS 713, Springer, 1993, 337-348.

  13. Zlatuska, J.: Linear logic semantics for Concurrent Prolog, in: Proc. Fourth International Workshop on Extensions of Logic Programming (R. Dyckhoff, ed.), St. Andrews, Scotland, 1993, 157-166.

  14. Zlatuska, J.: Lambda-kalkul (Lambda-calculus, in Czech), 240pp, MU Brno, 1993.

  15. Zlatuska, J.: Object modelling using lambda-calculus for information systems (abstract). in: Computer Science Logic (E. Börger, Y. Gurevich, H. Kleine-Büning, M. M. Richter, eds.), Dagstuhl-Seminar-Report 40 (9229), 1992, 23.

  16. Zlatuska, J.: Automatic generation of virtual fonts with accented letters for TeX, Cahiers GUTenberg, 10-11, 1991, 57-68. (Cathy Booth prize for the best paper at 6th EuroTeX & GUTenberg'91 in Paris.)

  17. Zlatuska, J.: The ACCENTS Processor. WEB commented source. UVT MU, 1991.

  18. Zlatuska, J.: Modelling inheritance in a strongly typed functional model, in: Next Generation Information System Technology (Schmidt,J.W., and Stogny,A.A., eds.), LNCS 504, Springer 1991, 212-227; also reprinted in Proc. Rennes Sister Cities Computer Science Research Centers Workshop, IRISA Rennes, 1991, 69-78.

  19. Zlatuska, J.: Logika, logicke programovani a paralelismus. (Logic, logic programming and paralelism, in Czech), UVT MU, 1991, 50 pp.

  20. Zlatuska, J.: Od logickeho programovan k paralelismu. (From logic programming to paralelism, in Czech) Informacne systemy, 1991.

  21. Zlatuska,J.: Od logiky k logickemu programovani. (From logic to logic programming, in Czech) Informacne systemy, 1990, 611-668.

  22. Zlatuska, J.: Od logickeho programovan k paralelismu. (From logic programming to paralelism, in Czech) Sb. SOFSEM'90, 1990, 329-347.

  23. Materna, P., Pala, K., Zlatuska, J.: Logicka analyza prirozeneho jazyka. (Logical Analysis of natural language, in Czech) Academia, 1990.

  24. Siegelova, J., Feitova, S., Prikryl, P., Kunovska, V., Dusek, J., Zlatuska, J., Vondracek, V., Kvetnansky, R.: Respiratory variability in patients with essential hypertension. in: Proc. Intl. Symp. on Hypertension, Brno, 1990, 47-54.

  25. Zlatuska,J.: Od logiky k logickemu programovani. (From logic programming to paralelism, in Czech) Sb. SOFSEM'89, 1989, 323-354.

  26. Zlatuska, J.: Functional data modelling, lecture notes Pisa, October 1989

  27. Zlatuska, J., Felix, O.: Mapping semantic data modelling constructs into their implementation. TR 89-21, Dept. of Comp. and Info. Sci., University of Delaware, 1989, 29pp.

  28. Franek, J., Zlatuska, J.: Kancelarsky datovy system SIRAEL, (SIRAEL office information system, in Czech) Mechanizace a automatizace administrativy, 1, 1988, 4.

  29. Franek, J., Zlatuska, J.: Kancelarsky datovy system SIRAEL, (SIRAEL office information system, in Czech) Vypocetn technika na vysokych skolach, 8, 1987, 22-23.

  30. Zlatuska, J.: Data Bases and the Lambda Calculus, Proc. 10th IFIP World Computer Congres, 1986, 97-104.

  31. Zlatuska, J., Felix, O.: Datovy model HIT po peti letech, (The HIT data model after five years, in Czech) Proc. SOFSEM'86, 1986

  32. Franek, J., Zlatuska, J.: SIRAEL - disketovy system pro praci s daty, (SIRAEL - a diskette system for data manipulation, in Czech) Informacne systemy, 2, 1986, 171-190.

  33. Zlatuska, J.: HIT Data Model. Data Bases from the Functional Point of View, Proc. VLDB'85, Stockholm, 1985, 470-477

  34. Zlatuska, J.: Normal forms in the typed lambda-calculus with tuple types. Kybernetika, Vol. 21. No. 5, 1985, 366-381.

  35. Zlatuska, J.: Keeping integrity in the HIT data base model. Scripta Fac. Sci. Nat. Univ. Purk. Brun., 15, 4(Mathematica), 1985, 187-198.

  36. Zlatuska, J., Felix, O.: Transforming External Queries into Relational Operations with Data Using HIT Data Model, Proc. 8th Int.Sem. on DBMS, Piestany, 1985, 31-47.

  37. Zlatuska, J., Chrz, T., Materna, P.: Lambda kalkul, (Lambda-alculus, in Czech) Proc. SOFSEM'85, 1985, 195-242.

  38. Franek, J., Zlatuska, J.: SIRAEL - disketovy system pro praci s daty, (SIRAEL - a diskette system for data manipulation, in Czech) Proc. Male vypocetni systemy (Small computing systems), PVT Brno, 1985, 87-110.

  39. Zlatuska, J.: HIT data model. A functional approach to data bases. Proc. 8 th. Sem. on DBMS, Varna, 1984, pp.21-23

  40. Franek, J., Zlatuska, J.: SIRAEL - disketovy system pro praci s daty, (SIRAEL - a diskette system for data manipulation, in Czech) Proc. SOFSEM'84, 1984, 311-314.

  41. Zlatuska, J.: Extending some classes of program schemata with decidable equivalence problem. Computers and Artificial Intelligence, 3, 1983, 259-268.

  42. Zlatuska, J.: Integritni omezeni v modelu HIT. (Integrity constraints in the HIT model, in Czech) Proc. SOFSEM'83, 1983, 585-489.

  43. Zlatuska, J.: Databazovy model HIT. (The HIT data model, in Czech) Post-graduate study text, OVC-LPS VUT Brno, 1983, 36 pp.

  44. Zlatuska, J.: Externi pohledy a aktualizace v modelu HIT. (External views and updates in the HIT model, in Czech) Proc. SOFSEM'82, 1983, 410-412.

  45. Zlatuska, J.: Databazovy model HIT. (HIT database model, in Czech) Proc. DATASEM'81, 1981, 41-60.

  46. Zlatuska, J.: Programova schemata a jejich aplikace. (Program schemata and their applications, in Czech) research report I-5-7/02 SPZV, 1982, 71 pp.

  47. Materna, P., Krejci, F., Zlatuska, J., Pokorny, J., Felix, O.: HIT-databazovy model. (HIT - database model, in Czech) Proc. SOFSEM'81, 1981, 195-225.

  48. Zlatuska, J.: Realizace teorie typu v Algolu 68. (Realization of the theory of types in Algol 68, in Czech) Proc. SOFSEM'80, 1980, 421-422.

  49. Zlatuska, J.: Pouziti Algolu 68 jako databazoveho jazyka. (Using Algol 68 as a database language, in Czech) Proc. SOFSEM'79, 412-414.

  50. Zlatuska, J.: Utvareni pojmu na zaklade rostoucich pyramidalnch siti. (Concept formation using growing pyramidal nets, in Czech) Proc. SOFSEM'78, 1978, 479-480.

  51. Zlatuska, J.: Modely vesmiru. (Models of the Universe, in Czech) Rozhledy matematicko-fyzikalni, 55, 7, 1977, 319-327.

  52. Pokorny, Z., Zlatuska, J.: Corrected light elements for nine eclipting binaries. Bulletin of the Astronomical Institutes of Czechoslovakia, 27, 6, 1976, 341-344.

Back to Zlatuska's home page