Search the dblp DataBase

Publications of Author

1. Stéphane Demri, David Nowak
   Reasoning About Transfinite Sequences. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:248-262 [Conf]
   
2. Ranko Lazic, David Nowak
   A Unifying Approach to Data-Independence. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2000, pp:581-595 [Conf]
   
3. David Nowak, Jean-Pierre Talpin, Paul Le Guernic
   Synchronous Structures. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1999, pp:494-509 [Conf]
   
4. Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
   Logical Relations for Monadic Types. [Citation Graph (0, 0)][DBLP]
   CSL, 2002, pp:553-568 [Conf]
   
5. Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang
   Complete Lax Logical Relations for Cryptographic Lambda-Calculi. [Citation Graph (0, 0)][DBLP]
   CSL, 2004, pp:400-414 [Conf]
   
6. Yu Zhang, David Nowak
   Logical Relations for Dynamic Name Creation. [Citation Graph (0, 0)][DBLP]
   CSL, 2003, pp:575-588 [Conf]
   
7. David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
   An ML-Like Module System for the Synchronous Language SIGNAL. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1997, pp:1244-1253 [Conf]
   
8. Jean-Pierre Talpin, David Nowak
   A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1998, pp:78-89 [Conf]
   
9. Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
   Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2003, pp:359-374 [Conf]
   
10. Stéphane Demri, Ranko Lazic, David Nowak
    On the Freeze Quantifier in Constraint LTL: Decidability and Complexity. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:113-121 [Conf]
    
11. Ranko Lazic, David Nowak
    On a Semantic Definition of Data Independence . [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:226-240 [Conf]
    
12. Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
    Specification and Verification of a Steam-Boiler with Signal-Coq. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:356-371 [Conf]
    
13. David Nowak, Jean-René Beauvais, Jean-Pierre Talpin
    Co-inductive Axiomatization of a Synchronous Language. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:387-399 [Conf]
    
14. David Nowak
    Synchronous structures. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:8, pp:1295-1324 [Journal]
    
15. Stéphane Demri, Ranko Lazic, David Nowak
    On the freeze quantifier in Constraint LTL: Decidability and complexity. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:1, pp:2-24 [Journal]
    
16. Stéphane Demri, David Nowak
    Reasoning about Transfinite Sequences. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:87-112 [Journal]
    
17. David Nowak
    A Framework for Game-Based Security Proofs. [Citation Graph (0, 0)][DBLP]
    ICICS, 2007, pp:319-333 [Conf]
    
18. Slawomir Lasota, David Nowak, Yu Zhang
    On Completeness of Logical Relations for Monadic Types [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
19. Stéphane Demri, Ranko Lazic, David Nowak
    On the freeze quantifier in Constraint LTL: decidability and complexity [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
20. 
    On Completeness of Logical Relations for Monadic Types. [Citation Graph (, )][DBLP]
    
    
21. 
    On Formal Verification of Arithmetic-Based Cryptographic Primitives. [Citation Graph (, )][DBLP]
    
    
22. 
    Reasoning about transfinite sequences [Citation Graph (, )][DBLP]
    
    
23. 
    Logical Relations for Monadic Types [Citation Graph (, )][DBLP]
    
    
24. 
    On formal verification of arithmetic-based cryptographic primitives [Citation Graph (, )][DBLP]