| A system for information management in biomedical studies—SIMBioMS M Krestyaninova, A Zarins, J Viksna, N Kurbatova, P Rucevskis, SG Neogi, ... Bioinformatics 25 (20), 2768-2769, 2009 | 49 | 2009 |
| Towards a theory of inductive inference J Barzdins, K Podnieks Proceedings of 2nd Symposium and Summer School on Mathematical Foundations …, 1973 | 46 | 1973 |
| Comparing various types of limiting synthesis and prediction of functions K Podnieks Scientific Proceedings of Latvia State University 210, 68-81, 1974 | 42* | 1974 |
| Towards semantic Latvia PK Barzdins Janis, Barzdins Guntis, Balodis Rihards Proceedings of 7th International Baltic Conference on Databases and …, 2006 | 38* | 2006 |
| PASSIM–an open source software system for managing information in biomedical studies J Viksna, E Celms, M Opmanis, K Podnieks, P Rucevskis, A Zarins, ... BMC bioinformatics 8 (1), 1-7, 2007 | 34 | 2007 |
| Inductive inference of recursive functions: Complexity bounds R Freivalds, J Bārzdiņš, K Podnieks Baltic Computer Science, Lecture Notes in Computer Science 501, 111-155, 1991 | 33 | 1991 |
| Introduction to Mathematical Logic (Edition 2017) K Podnieks | 20* | 2017 |
| Around Goedel’s theorem, 2nd edition (in Russian) K Podnieks Zinatne Publishers, Riga, 1992 | 19* | 1992 |
| Integer Complexity: Experimental and Analytical results J Iraids, K Balodis, J Čerņenoks, M Opmanis, R Opmanis, K Podnieks Scientific Papers University of Latvia, Computer Science and Information …, 2012 | 18 | 2012 |
| Probabilistic synthesis of enumerated classes of functions K Podnieks Sov. Math. Dokl 16 (4), 1042-1045, 1975 | 17 | 1975 |
| Modeling languages and tools: state of the art A Kalnins, J Barzdins, K Podnieks Proceedings of the 2nd international conference “Simulation, Gaming …, 2000 | 14 | 2000 |
| Business Modeling Language GRAPES-BM and Related CASE Tools A Kalnins, J Barzdins, K Podnieks, A Zarins Proceedings of Baltic DB&IS 96, 3-16, 1996 | 13 | 1996 |
| Towards Model-Based Model of Cognition K Podnieks The Reasoner 3 (6), 5-6, 2009 | 12 | 2009 |
| Computational complexity of prediction strategies K Podnieks Theory of Algorithms and Programs 3, 89-102, 1977 | 11 | 1977 |
| The First Step Towards Generic Modelling Tool. A Kalnins, J Barzdins, E Celms, L Lace, M Opmanis, K Podnieks, A Zarins BalticDB&IS, 167-180, 2002 | 10 | 2002 |
| The Dappled World Perspective Refined K Podnieks The Reasoner 8 (1), 3-4, 2014 | 7 | 2014 |
| Is Scientific Modeling an Indirect Methodology? K Podnieks The Reasoner 3 (1), 4-5, 2009 | 7 | 2009 |
| Probabilistic synthesis of programs K Podnieks Theory of Algorithms and Programs 3, 57-88, 1977 | 7* | 1977 |
| Philosophy of Modeling in 1870s: A Tribute to Hans Vaihinger K Podnieks Baltic Journal of Modern Computing 9 (1), 67-110, 2021 | 6 | 2021 |
| Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics K Podnieks Baltic Journal of Modern Computing 3 (1), 1-15, 2015 | 6 | 2015 |
Mārtiņš OpmanisInstitute of Mathematics and Computer Science of University of LatviaVerified email at lumii.lv
