Nikolaj Popov

	2006
3		Laura Kovács, Nikolaj Popov, Tudor Jebelean: Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA 2006: 67-74
2		Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)
	2004
1		Tudor Jebelean, Laura Kovács, Nikolaj Popov: Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99

Coauthor Index

1	Bruno Buchberger	[2]
2	Adrian Craciun	[2]
3	Tudor Jebelean	[1] [2] [3]
4	Laura Kovács (Laura Ildikó Kovács)	[1] [2] [3]
5	Temur Kutsia	[2]
6	Koji Nakagawa	[2]
7	Florina Piroi	[2]
8	Judit Robu	[2]
9	Markus Rosenkranz	[2]