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
482009
Towards a theory of inductive inference
J Barzdins, K Podnieks
Proceedings of 2nd Symposium and Summer School on Mathematical Foundations …, 1973
451973
Comparing various types of limiting synthesis and prediction of functions
K Podnieks
Scientific Proceedings of Latvia State University 210, 68-81, 1974
43*1974
Towards semantic Latvia
PK Barzdins Janis, Barzdins Guntis, Balodis Rihards
Proceedings of 7th International Baltic Conference on Databases and …, 2006
37*2006
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
351991
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
322007
Introduction to Mathematical Logic (Edition 2017)
K Podnieks
20*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
182012
Around Goedel’s theorem, 2nd edition (in Russian)
K Podnieks
Zinatne Publishers, Riga, 1992
18*1992
Probabilistic synthesis of enumerated classes of functions
K Podnieks
Sov. Math. Dokl 16 (4), 1042-1045, 1975
151975
Modeling languages and tools: state of the art
A Kalnins, J Barzdins, K Podnieks
Proceedings of the 2nd international conference “Simulation, Gaming …, 2000
132000
Towards Model-Based Model of Cognition
K Podnieks
The Reasoner 3 (6), 5-6, 2009
122009
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
121996
Computational complexity of prediction strategies
K Podnieks
Theory of Algorithms and Programs 3, 89-102, 1977
111977
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
The Dappled World Perspective Refined
K Podnieks
The Reasoner 8 (1), 3-4, 2014
82014
Is Scientific Modeling an Indirect Methodology?
K Podnieks
The Reasoner 3 (1), 4-5, 2009
82009
Probabilistic synthesis of programs
K Podnieks
Theory of Algorithms and Programs 3, 57-88, 1977
7*1977
Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics
K Podnieks
Baltic Journal of Modern Computing 3 (1), 1-15, 2015
62015
Introduction to Mathematical Logic University of Latvia.-2011.(Edition 2014)
V Detlovs, K Podnieks
62014
The system can't perform the operation now. Try again later.
Articles 1–20