Searching for authors named "David Nowak" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01)
- … SYSTEMS (AVOCS'01) David Nowak PRG-RR-01-07 Oxford University Computing Laboratory Wolfson Building…
- Add To MetaCart
-
Synchronous Structures
- …Synchronous Structures 1 David Nowak 2 Oxford University Computing Laboratory Wolfson Building…
- Cited by 6 (4 self) – Add To MetaCart
-
On a Semantic Definition of Data Independence
- …On a Semantic Denition of Data Independence ? Ranko Lazic 1?? and David Nowak 2 1 Department…
- Add To MetaCart
-
Reasoning about transfinite sequences (extended abstract
- …Reasoning about transfinite sequences (extended abtract) ⋆ Stéphane Demri 1 and David Nowak 2 1…
- Cited by 3 (1 self) – Add To MetaCart
-
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
- … Reconfigurable Reactive Systems Jean-Pierre Talpin and David Nowak Inria-Rennes and Irisa, Campus de Beaulieu…
- Cited by 3 (1 self) – Add To MetaCart
-
A Unifying Approach to Data-independence
- …A Unifying Approach to Data-independence ? Ranko Lazic ?? and David Nowak Oxford University…
- Cited by 14 (6 self) – Add To MetaCart
-
Logical Relations for Dynamic Name Creation
- …Logical Relations for Dynamic Name Creation ? Yu Zhang and David Nowak LSV, CNRS UMR 8643, ENS de…
- Cited by 2 (1 self) – Add To MetaCart
-
Logical Relations for Names
- …. Logical Relations for Names ZHANG Yu Supervised by Jean GOUBAULT-LARRECQ and David NOWAK A report towards…
- Add To MetaCart
-
Complete Lax Logical Relations for Cryptographic Lambda-Calculi
- …-Larrecq 1 Sl/awomir Lasota 2## David Nowak 1 Yu Zhang 1# # # 1 LSV/CNRS & INRIA Futurs & ENS Cachan…
- Cited by 2 (1 self) – Add To MetaCart
-
On the freeze quantifier in constraint LTL: decidability and complexity
- … and complexity Stéphane Demri 1∗ Ranko Lazić 2† David Nowak 1‡ 1 LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI…
- Cited by 10 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
