( en | de | ru )

 

Disambiguation of "Nowak, David"

Author of the publication

copydeleteadd this publication to your clipboard
A Calculus for Game-Based Security Proofs.

, and . ProvSec, volume 6402 of Lecture Notes in Computer Science, page 35-52. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nina Nowak

Exploring the relations between bulges and central black holes in unusual galaxies. Uni München, (2009)

Wahyudi David

Florian Bodo David

Jens-Ulrich Davids

Joachim David

 

Other publications of authors with the same name

An ML-Like Module System for the Synchronous Language SIGNAL., , , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 1244-1253. Springer, (1997)A Calculus for Game-Based Security Proofs., and . ProvSec, volume 6402 of Lecture Notes in Computer Science, page 35-52. Springer, (2010)Extending Equational Monadic Reasoning with Monad Transformers., and . TYPES, volume 188 of LIPIcs, page 2:1-2:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Logical Relations for Dynamic Name Creation., and . CSL, volume 2803 of Lecture Notes in Computer Science, page 575-588. Springer, (2003)Reasoning About Transfinite Sequences., and . ATVA, volume 3707 of Lecture Notes in Computer Science, page 248-262. Springer, (2005)A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning., , and . MPC, volume 11825 of Lecture Notes in Computer Science, page 226-254. Springer, (2019)A trustful monad for axiomatic reasoning with probability and nondeterminism., , , and . J. Funct. Program., (2021)On a Semantic Definition of Data Independence ., and . TLCA, volume 2701 of Lecture Notes in Computer Science, page 226-240. Springer, (2003)A Unifying Approach to Data-Independence., and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 581-595. Springer, (2000)On Completeness of Logical Relations for Monadic Types., , and . ASIAN, volume 4435 of Lecture Notes in Computer Science, page 223-230. Springer, (2006)