Follow
Karlis Podnieks
Title
Cited by
Cited by
Year
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
472009
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 a theory of inductive inference
J Barzdins, K Podnieks
Proceedings of 2nd Symposium and Summer School on Mathematical Foundations …, 1973
391973
Towards semantic Latvia
PK Barzdins Janis, Barzdins Guntis, Balodis Rihards
Proceedings of 7th International Baltic Conference on Databases and …, 2006
36*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-7, 2007
342007
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
331991
Introduction to Mathematical Logic (Edition 2017)
K Podnieks
21*2017
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
202012
Around Goedel’s theorem, 2nd edition (in Russian)
K Podnieks
Zinatne Publishers, Riga, 1992
17*1992
Probabilistic synthesis of enumerated classes of functions
K Podnieks
Sov. Math. Dokl 16 (4), 1042-1045, 1975
15*1975
Modeling languages and tools: state of the art
A Kalnins, J Barzdins, K Podnieks
Proceedings of the 2nd international conference “Simulation, Gaming …, 2000
142000
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
131996
Towards model-based model of cognition
K Podnieks
The Reasoner 3 (6), 5-6, 2009
122009
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
102002
Computational complexity of prediction strategies
K Podnieks
Theory of Algorithms and Programs 3, 89-102, 1977
101977
Comparing various concepts of function prediction. Part 2.
K Podnieks
Latvia State University, 1975
91975
Philosophy of Modeling in 1870s: A Tribute to Hans Vaihinger
K Podnieks
Baltic Journal of Modern Computing 9 (1), 67-110, 2021
82021
Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics
K Podnieks
Baltic Journal of Modern Computing 3 (1), 1-15, 2015
72015
The Dappled World Perspective Refined
K Podnieks
The Reasoner 8 (1), 3-4, 2014
72014
Is Scientific Modeling an Indirect Methodology?
K Podnieks
The Reasoner 3 (1), 4-5, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20