Nikolaj Popov

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Nikolaj Popov, Tudor Jebelean
Proving Partial Correctness and Termination of Mutually Recursive Programs. SYNASC (2010)
Nikolaj Popov, Tudor Jebelean
Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs. Math. Comput. Simul. 79 (8) (2009)
Laura Kovács, Nikolaj Popov, Tudor Jebelean
Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA (2006)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (2006)
Tudor Jebelean, Laura Kovács, Nikolaj Popov
Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) (2004)