Concepedia

David Nowak

DN

8

Publications

220

Citations

8

H-Index

2005

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

National Institute of Advanced Industrial Science and Technology

Laboratoire Spécification et Vérification

University of Warwick

Université de Lille

David Nowak is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationLogic ProgrammingComputational ComplexitySemanticsCryptography

Publications per year

2005–2024

8

Publications

8

On the Freeze Quantifier in Constraint LTL: Decidability and Complexity

Stéphane Demri, Ranko Lazić, David Nowak · 2005 · 69 citations · Full text

Constraint Solving, Formal Specification, Engineering +13

Logical relations for monadic types

Jean Goubault-Larrecq, Sławomir Lasota, David Nowak · Mathematical Structures in Computer Science · 2008 · 45 citations · Full text

Computational Logic, Algebraic Logic, Logical Relation +10

On the freeze quantifier in Constraint LTL: Decidability and complexity

Stéphane Demri, Ranko Lazić, David Nowak · Information and Computation · 2006 · 41 citations · Full text

Constraint Solving, Engineering, Automated Reasoning +8

Certifying assembly with formal security proofs: The case of BBS

Reynald Affeldt, David Nowak, Kiyoshi Yamada · Science of Computer Programming · 2011 · 21 citations

Formal Security Proofs, Engineering, Information Security +12

Synchronous structures

David Nowak · Information and Computation · 2006 · 13 citations

Rows per page

1–5 of 8