David Nowak

Identifiers

• name variant David Nowak 0.60 · backfill

Papers (5)

1. On formal verification of arithmetic-based cryptographic primitives cs.CR · 2009 · author #1
2. On Completeness of Logical Relations for Monadic Types cs.LO · 2006 · author #2
3. On the freeze quantifier in Constraint LTL: decidability and complexity cs.LO · 2006 · author #3
4. Logical Relations for Monadic Types cs.LO · 2005 · author #3
5. Reasoning about transfinite sequences cs.LO · 2005 · author #2

Mentions

• 0904.1110 #1 · backfill · confidence 0.70 David Nowak

Frequent Coauthors

• Slawomir Lasota 2 shared papers
• St\'ephane Demri 2 shared papers
• Jean Goubault-Larrecq 1 shared papers
• Ranko Lazic 1 shared papers
• Yu Zhang 1 shared papers