Pavel Naumov

	2009
10		Sara Miner More, Pavel Naumov: On interdependence of secrets in collaboration networks. TARK 2009: 208-217
9		Sara Miner More, Pavel Naumov: An Independence Relation for Sets of Secrets. WoLLIC 2009: 296-304
	2008
8		Pavel Naumov: On meta complexity of propositional formulas and propositional proofs. Arch. Math. Log. 47(1): 35-52 (2008)
	2006
7		Pavel Naumov: On modal logic of deductive closure. Ann. Pure Appl. Logic 141(1-2): 218-224 (2006)
6		Pavel Naumov: Upper bounds on complexity of Frege proofs with limited use of certain schemata. Arch. Math. Log. 45(4): 431-446 (2006)
5		Pavel Naumov: Logic of subtyping. Theor. Comput. Sci. 357(1-3): 167-185 (2006)
	2005
4		Pavel Naumov: On Modal Logics of Partial Recursive Functions. Studia Logica 81(3): 295-309 (2005)
	2004
3		Pavel Naumov: On Modal Logics of Partial Recursive Functions CoRR cs.LO/0407031: (2004)
	2001
2		Pavel Naumov, Mark-Oliver Stehr, José Meseguer: The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345
	2000
1		Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe: Constructively formalizing automata theory. Proof, Language, and Interaction 2000: 213-238

Coauthor Index

1	Robert L. Constable	[1]
2	Paul B. Jackson	[1]
3	José Meseguer	[2]
4	Sara Miner More	[9] [10]
5	Mark-Oliver Stehr	[2]
6	Juan C. Uribe	[1]

Colors in the list of coauthors