Nikolaj Popov

According to our database, Nikolaj Popov authored at least 6 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Proving Partial Correctness and Termination of Mutually Recursive Programs.

Nikolaj Popov, Tudor Jebelean

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs.

Nikolaj Popov, Tudor Jebelean

Math. Comput. Simul., 2009

Automated Reasoning.

Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger

Proceedings of the Hagenberg Research, 2009

2006

Theorema: Towards computer-aided mathematical theory exploration.

Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger

J. Appl. Log., 2006

Combining Logic and Algebraic Techniques for Program Verification in Theorema.

Laura Kovács, Nikolaj Popov, Tudor Jebelean

Proceedings of the Leveraging Applications of Formal Methods, 2006

2004

Experimental Program Verification in the Theorema System.

Tudor Jebelean, Laura Kovács, Nikolaj Popov

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004