Publications by Karlis Podnieks

Papers

1. On cut points of some probabilistic automata. Avtomatika i Vychislitel'naya Tekhnika, 1970, N5, pp.90-91 (in Russian, English translation: Automatic Control and Computer Sciences).

2. On stability measure of decompositions of stochastic matrices. Avtomatika i Vychislitel'naya Tekhnika, 1971, N4, pp.91-93 (in Russian, English translation: Automatic Control and Computer Sciences).

3. On stable decompositions of stochastic matrices. In: Problems of Synthesis of Finite Automata, Riga, Zinatne Publishers, 1972, pp.75-78 (in Russian).

4. On effective decomposition of stochastic matrices. Avtomatika i Vychislitel'naya Tekhnika, 1972, N3, pp.18-20 (in Russian, English translation: Automatic Control and Computer Sciences).

5. On the reducibility of function classes. In: Equations of Mathematical Physics and Theory of Algorithms, Riga, Latvia State University, 1972, pp.120-139 (in Russian).

6. (With R.Sranka) Reliability of switching circuits with sufficiently reliable switches. Avtomatika i Vychislitel'naya Tekhnika, 1973, N4, pp.44-48 (in Russian, English translation: Automatic Control and Computer Sciences).

7. (With J.Barzdins) Towards a theory of inductive inference. Proceedings of 2nd Symposium and Summer School on Mathematical Foundations of Computer Science, Strbske Pleso, High Tatras, Czechoslovakia, September 3-8, 1973, pp.9-15.

8. Comparing various types of limiting synthesis and prediction of functions. Scientific Proceedings of Latvia State University, 1974, Vol.210, pp.68-81 (in Russian).

9. (With J.Barzdins, E.Kinber) On speeding up synthesis and prediction of functions. Scientific Proceedings of Latvia State University, 1974, Vol.210, pp.117-128 (in Russian).

10. (With R.Freivalds) On limit computations by non-deterministic Turing machines. Scientific Proceedings of Latvia State University, 1974, Vol.210, pp.25-31 (in Russian).

11. Comparing various types of limiting synthesis and prediction of functions. Part II. Scientific Proceedings of Latvia State University, 1975, Vol.233, pp.35-44 (in Russian).

12. Probabilistic synthesis of computable functions. Scientific Proceedings of Latvia State University, 1975, Vol.233, pp.57-76 (in Russian).

13. The double-incompleteness theorem. Scientific Proceedings of Latvia State University, 1975, Vol.233, pp.191-200 (in Russian, online copy: HTML)

14. Probabilistic synthesis of enumerated classes of functions. Dokl.Akad.Nauk SSSR, 1975, Vol.223, N5, pp.1071-1074 (in Russian, English translation: Soviet Math. Dokl., 1975, Vol.16, N4, pp.1042-1045, online English translation: HTML).

15. The double-incompleteness theorem. Proceedings of IV All-union conference on mathematical logic, 1976, Kishinev (in Russian, online English translation: HTML))

16. Probabilistic synthesis of programs. In: Theory of Algorithms and Programs, Vol.3, Latvia State University, 1977, pp.57-88 (in Russian, online English translation: HTML).

17. Computational complexity of prediction strategies. In: Theory of Algorithms and Programs, Vol.3, Latvia State University, 1977, pp.89-102 (in Russian)

18. Predicting the next value of a function. Izvestija Vyssh.Uchebn.Zaved. Matematika, 1981, N5, pp.71-77 (in Russian).

19. An approach to database design. In: Latvia Archive of algorithms and programs, 1986, 25 pp. (in Russian).

20. Platonism, intuition and the nature of mathematics. Abstracts of: "Heyting'88. Summer School & Conference on Mathematical Logic, Chaika, Bulgaria, September 1988", Sofia, Bulgarian Academy of Sciences, 1988, pp.50-51 (online copy: HTML).

21. Platonism, intuition and the nature of mathematics. In: Semiotika i informatika, Moscow, VINITI, 1990 (in Russian, online English translation: HTML).

22. (With R.Freivalds, J.Barzdins) Inductive inference of recursive functions: complexity bounds. Lecture Notes in Computer Science, 502, Springer-Verlag, 1991, pp. 111-155.

23. (With A.Kalnins, J.Barzdins) GRADE V1.0: Modelling and development environment for GRAPES-86 and GRAPES/4GL: Language description. Siemens Nixdorf, Munich, Germany, 1993, 246 pp.

24. (With A.Kalnins, J.Barzdins, I.Etmane et al.) Unified specification language and Integrated CASE tools for information system development. Proceedings of Baltic Workshop on National Infrastructure Databases, May 17-20, 1994, Trakai/Vilnius, Lithuania,Vol.2, pp.24-34.

25. (With A.Kalnins, J.Barzdins, I.Etmane et al.) GRADE Windows: an integrated CASE tool for information system development. Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering (SEKE'94), June 22-24, 1994, Jurmala, Latvia, pp. 54-61.

26. (With A.Kalnins, J.Barzdins). GRADE V2.0 (MS-Windows). Modelling and development environment for GRAPES-86 and GRAPES/4GL: Language description. Part 1. Siemens Nixdorf, Munich, Germany, 1995, 314 pp.

27. (With A.Kalnins, J.Barzdins, I.Etmane). Towards integrated computer aided systems and software angineering tool for information systems design. Proceedings of 2nd International Workshop on Advances in Databases and Information Systems (ADBIS'95), June 27-30, 1995, Moscow, Russia, Workshops in Computing, Springer, 1996, pp.3-11.

28. (With A.Kalnins, J.Barzdins, A.Auzins,et al.) Business Modeling Language GRAPES-BM and Related CASE Tools. Proceedings of 2nd International Baltic Workshop on Databases and Information Systems, June 12-14, 1996, Tallinn, Estonia, Vol.2, pp.3-16 (online copy: HTML).

29. (With U.Sarkans, J.Barzdins, A.Kalnins). Towards a metamodel-based universal graphical editor. Proceedings of 3rd International Baltic Workshop on Databases and Information Systems, April 15-17, 1998, Riga, Latvia, pp.187-197.

30. (With A.Kalnins, J.Barzdins). MiniGRADE � a tool for conceptual modeling by class diagrams. Proceedings of 18th International Conference on Conceptual Modeling, November, 15-18, 1999, Paris, France, Lecture Notes in Computer Science, Springer, Vol.1728, 1999, pp.11-12 (online copy: PDF).

31. (With A.Kalnins, J.Barzdins). Modeling languages and tools: state of the art. Proceedings of the 2nd international conference �Simulation, Gaming, Training and Business Process Reengineering in Operations�, Riga, 2000, pp.211-214 (online copy: PDF).

32. (With A.Kalnins, A.Zarins, E.Celms, J.Barzdins). Editor definition language and its implementation. Proceedings of 4th Andrei Ershov International Conference on Perspectives of System Informatics, July 3-6, 2001, Novosibirsk, Russia, Lecture Notes in Computer Science, Springer, Vol.2244, 2001, pp.530-537 (online copy: PDF)

33. (With A.Kalnins, J.Barzdins, E.Celms et al.) The first step towards generic modeling tool. Proceedings of 5th International Baltic Conference on Databases and Information Systems, June 3-6, 2002, Tallinn, Estonia, Vol.2, pp.167-180 (online copy: PDF).

34. MDA: correctness of model transformations. Which models are schemas? Proceedings of 6th International Baltic Conference on Databases and Information Systems, June 6-9, 2004, Riga, Latvia (online copy: PDF).

Tutorials

1. Around Goedel�s Theorem, 1^st edition., Riga, Latvia State University, 1981, 105 pp. (in Russian).

2. Assembly language programming in OS/360. Riga, Latvia State University, 1981, 88 pp. (in Russian).

3. Data base management system IMS: the batch mode. Riga, Latvia State University, 1982, 25 pp. (in Russian).

4. (With M.Auguston, R.Balodis, J.Barzdin et al.) Programming in PL/1 OS/360, 2^nd ed. Moscow, Finances and Statistics Publishers, 1984, 327 pp. (in Russian).

5. Platonism, intuition and the nature of mathematics. - Riga, Latvia State University, 1988, 22 pp. (in Russian).

6. Around Goedel�s Theorem, 2^nd edition., Riga, �Zinatne�, 1992, 192 pp. (in Russian, online copy: HTML).

7. Probabilities. Tutorial for Secondary Schools. Riga, 1992 (in Latvian, online copy: HTML).

8. Around Goedel�s Theorem. Hyper-textbook for students, 1997-2004 (online book: HTML).

9. (With V.Detlovs) Introduction to Mathematical Logic. Hyper-textbook for students, 2000-2004 (online book: HTML).