Nikolaj Popov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2004–2010
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SYNASC | Proving Partial Correctness and Termination of Mutually Recursive Programs. | Nikolaj Popov, Tudor Jebelean |
| 2006 | ISoLA | Combining Logic and Algebraic Techniques for Program Verification in Theorema. | Laura Kovcs, Nikolaj Popov, Tudor Jebelean |
| 2004 | ISoLA | Experimental Program Verification in the Theorema System. | Tudor Jebelean, Laura Kovcs, Nikolaj Popov |