Nikolaj Popov, Dr.

Publications

	Tudor Jebelean, Nikolaj Popov. A Set-Based Approach to Qualitative and Quantitative Estimation of Competencies. Technical report no. 17-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2017. [pdf] [bib]
	Janos Sztrik, Wolfgang Schreiner, Tamas Berczes, Gabor Kusper, Nikolaj Popov. Project "85öu8": Final Report - Evaluating Process Algebra Models versus State-oriented Models for the Performance Analysis of Real-time Systems and Software Designs. Technical report no. 13-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. September 2013. [bib]
	Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov (ed.). Algebraic and Numeric Biology. Proceedings of 4th International Conference ANB 2010, Hagenberg, Austria, LNCS, 6479, 2012. Springer, ISBN 978-3-642-28066-5. Revised Selected Papers. [bib]
	N. Popov, T. Jebelean. Sound and Complete Verification Condition Generator for Functional Recursive Programs.. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 219-256. 2011. Springer, Wien, ISBN 978-3-7091-0793-5. [bib]
	A. Anisimov, T. Jebelean, A. Lyaletski, N. Popov. Projects of Evidence Algorithm and Theorema. In: Theoretical and Applied Aspects of Program Systems Development, A. Anisimov, V. Redko (ed.), pp. 54-58. October 2010. Kiev, Ukraine, .. [bib]
	T. Jebelean, M. Mosbah, N. Popov (eds.). Proceedings of SCSS 2010 Symbolic Computation in Software Science. Technical report no. 10-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2010. [pdf] [bib]
	N. Popov, T. Jebelean, B. Buchberger. From Program Verification to Automated Debugging. In: Workshop on Symbolic Computation in Software Science, T. Jebelean and M. Mosbah and N. Popov (ed.), Proceedings of SCSS 2010, pp. 55-65. July 2010. RISC-Linz Report Series, Johannes Kepler University of Linz, Austria, .. [bib]
	N. Popov, T. Jebelean. Proving Partial Correctness and Termination of Mutually Recursive Programs. In: SYNASC 2010, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt, and, D. Zaharie (ed.), Proceedings of Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 153-158. September 2010. IEEE , ISBN 978-0-7695-4324-6. [pdf] [bib]
	N. Popov, T. Jebelean. Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs. Mathematics and Computers in Simulation 79(8), pp. 2293-2301. April 2009. Elsevier, ISSN: 0378-4754. [pdf] [bib]
	Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. Automated Reasoning. In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), pp. 63-101. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
	N. Popov, T. Jebelean. Verification of Mutual Recursive Functional Programs. In: Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09, T. Ida, A. Bouhoula (ed.), pp. 120-122. September 2009. Carthage, Tunisia, .. [pdf] [bib]
	N. Popov, T. Jebelean. Functional Program Verification in Theorema. Soundness and Completeness. In: Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09, J. Knoop, A. Prantl (ed.), pp. 221-229. October 2009. Maria Taferl, Austria, .. [pdf] [bib]
	N. Popov, T. Jebelean. A Complete Method for Algorithm Validation. In: Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09, B. Buchberger, R. McCasland, A. Craciun (ed.), pp. 21-25. June 2009. Hagenberg, Austria, -. [pdf] [bib]
	N. Popov, T. Jebelean. A Prototype Environment for Verification of Recursive Programs. In: FORMED'08, Z. Istenes (ed.), Proceedings of Formal Methods in Computer Science Education, Budapest, Hungary, ENTCS , pp. 121-130. March 2008. Elsevier, .. [pdf] [bib]
	Nikolaj Popov. Functional Program Verification in Theorema. RISC, Johannes Kepler University. PhD Thesis. July 2008. Technical report no. 08-12 in RISC Report Series. [pdf] [bib]
	N. Popov, T. Jebelean. Verification of Functional Programs Containing Nested Recursion . In: SCSS'08, B. Buchberger, T. Ida and T. Kutsia (ed.), Proceedings of Austrian-Japan Workshop on Symbolic Computation in Software Science, Hagenberg, Austria, pp. 163-175. July 2008. .. [pdf] [bib]
	N. Popov, T. Jebelean. Proving Termination of Recursive Programs by Matching Against Simplified Program Versions and Construction of Specialized Libraries in Theorema. In: Proceedings of 9-th International Workshop on Termination, D. Hofbauer, A. Serebrenik (ed.), pp. 48-52. June 2007. Paris, France, ISSN-0935-3232. [pdf] [bib]
	B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic 4(4), pp. 470-504. 2006. ISSN 1570-8683. [url] [pdf] [bib]
	T. Jebelean, L. Kovacs, N. Popov. Experimental Program Verification in the Theorema System. Int. Journal on Software Tools for Technology Transfer (STTT), pp. _-_. 2006. Springer, ISSN: 1433-2779 (Paper) 1433-2787 (Online). in press. [pdf] [bib]
	L. Kovacs, N. Popov, T. Jebelean. Combining Logic and Algebraic Techniques for Program Verification in Theorema. In: Proceedings ISOLA 2006, T. Margaria, A. Philippou, B. Steffen (ed.), Proceedings of Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2006), pp. 59-68. November 2006. IEEE, Paphos, Cyprus, ISBN 978-0-7695-3071-0. [pdf] [bib]
	N. Popov. Verification of Simple Recursive Programs in Theorema: Completeness of the Method. Technical report no. 05-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2005. [pdf] [bib]
	L. Kovacs, N. Popov, T. Jebelean. Verification Environment in Theorema. Annals of Mathematics, Computing and Teleinformatics (AMCT) 1(2), pp. 27-34. 2005. ISSN 1109-9305. [url] [pdf] [bib]
	Nikolaj Popov, Tudor Jebelean. Verification of Simple Recursive Programs: Sufficient Conditions. Technical report no. 04-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2004. [pdf] [ps] [ps] [bib]
	N. Popov, T. Jebelean. A Practical Approach to Proving Termination of Recursive Programs in Theorema. In: Proceedings of 7th International Workshop on Termination, M. Codish, A. Middeldorp (ed.), pp. 43-46. June 2004. Aachen, Germany, ISSN-0935-3232. [pdf] [bib]
	T. Jebelean, L. Kovacs, N. Popov. Experimental Program Verification in the Theorema System. In: Proceedings ISOLA 2004, T. Margaria, B. Steffen (ed.), Proceedings of International Symposium on Leveraging Applications of Formal Methods ISOLA 2004, pp. 92-99. November 2004. Paphos, Cyprus, University of Cyprus, [pdf] [ps] [bib]
	L. Kovacs, T. Jebelean, N. Popov. Verification of Imperative Programs in Theorema. In: Proceedings of the 1st South-East European Workshop on Formal Methods (SEEFM'03), D. Dranidis and K. Tigka (ed.), pp. 140-147. November 2003. Thessaloniki, Greece, ISSN: 960-87869-1-6. [pdf] [bib]
	Nikolaj Popov, Tudor Jebelean. A Practical Approach to Verification of Recursive Programs in Theorema. In: Proceedings of SYNASC'03 (International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania, 2003), T. Jebelean, V. Negru, A. Popovici (ed.), pp. 329-332. October 2003. Mirton, ISBN 973-661-104-3. [ps] [pdf] [bib]
	Nikolaj Popov. Verification Using Weakest Precndition Strategy. February 2003. Contributed talk at Computer Aided Verification of Information Systems (CAVIS-04), Timisoara, Romania., [ps] [pdf] [bib]
	B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz, L. Kovacs, C. Kocsis. F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, P. Paule, U. Langer (ed.), pp. 58-73. October 2003. Johannes Kepler University Linz, Austria, -. [bib]
	B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz. F 1302: Solving and Proving in General Domains. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002, U. Langer, F. Winkler (ed.), pp. 4-5. February 2002. Johannes Kepler University Linz, Austria, [bib]
	Nikolaj Popov. Periodic Interactions. Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science, Sofia University, Bulgaria. Diploma Thesis. November 1998. [bib]