Pavel Naumov Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kristine Harjes, Pavel Naumov: Functional Dependence in Strategic Games (extended abstract). SR 2013: 9-15
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kristine Harjes, Pavel Naumov: Functional Dependence in Strategic Games. CoRR abs/1302.0447 (2013)
2012
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov: Independence in Information Spaces. Studia Logica 100(5): 953-973 (2012)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: Calculus of cooperation and game-based reasoning about protocol privacy. ACM Trans. Comput. Log. 13(3): 22 (2012)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarah Holbrook, Pavel Naumov: Fault Tolerance in Belief Formation Networks. JELIA 2012: 267-280
2011
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: Hypergraphs of multiparty secrets. Ann. Math. Artif. Intell. 62(1-2): 79-101 (2011)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: Logic of secrets in collaboration networks. Ann. Pure Appl. Logic 162(12): 959-969 (2011)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: The Functional Dependence Relation on Hypergraphs of Secrets. CLIMA 2011: 29-40
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov, Benjamin Sapp: Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. CSL 2011: 443-457
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov, Brittany Nicholls: Game Semantics for the Geiger-Paz-Pearl Axioms of Independence. LORI 2011: 220-232
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang: A ternary knowledge relation on secrets. TARK 2011: 46-54
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael S. Donders, Sara Miner More, Pavel Naumov: Information Flow on Directed Acyclic Graphs. WoLLIC 2011: 95-109
2010
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: An Independence Relation for Sets of Secrets. Studia Logica 94(1): 73-85 (2010)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: Hypergraphs of Multiparty Secrets. CLIMA 2010: 15-32
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp: Independence and Functional Dependence Relations on Secrets. KR 2010
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: Functional Dependence of Secrets in a Collaboration Network. CoRR abs/1011.0399 (2010)
2009
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: On interdependence of secrets in collaboration networks. TARK 2009: 208-217
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sara Miner More, Pavel Naumov: An Independence Relation for Sets of Secrets. WoLLIC 2009: 296-304
2008
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov: On meta complexity of propositional formulas and propositional proofs. Arch. Math. Log. 47(1): 35-52 (2008)
2006
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov: Upper bounds on complexity of Frege proofs with limited use of certain schemata. Arch. Math. Log. 45(4): 431-446 (2006)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov: On modal logic of deductive closure. Ann. Pure Appl. Logic 141(1-2): 218-224 (2006)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov: Logic of subtyping. Theor. Comput. Sci. 357(1-3): 167-185 (2006)
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov: On Modal Logics of Partial Recursive Functions. Studia Logica 81(3): 295-309 (2005)
2004
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov: On Modal Logics of Partial Recursive Functions. CoRR cs.LO/0407031 (2004)
2001
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Naumov, Mark-Oliver Stehr, José Meseguer: The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345
2000
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe: Constructively formalizing automata theory. Proof, Language, and Interaction 2000: 213-238

Coauthor Index

1Robert L. Constable
[c1]
2Michael S. Donders
[c7]
3Kristine Harjes
[c13] [i3]
4Sarah Holbrook
[c12]
5Paul B. Jackson
[c1]
6Robert Kelvey
[c5]
7José Meseguer
[c2]
8Sara Miner More (Sara K. Miner)
[j9] [j8] [j7] [c11] [c10] [c8] [c7] [j6] [c6] [c5] [i2] [c4] [c3]
9Brittany Nicholls
[c9] [c8]
10Benjamin Sapp
[c10] [c5]
11Mark-Oliver Stehr
[c2]
12Juan C. Uribe
[c1]
13Andrew Yang
[c8]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 18:52:59 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page