( en | de | ru )

 

Disambiguation of "Nowak, David"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Correctness Proof for an EDF Scheduler Implementation.

, , , and . RTAS, page 281-292. IEEE, (2022)

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)

Jürgen Davids

Volker David

Bodo David

Erich 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)Logical Relations for Monadic Types, , and . CoRR, (2005)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 monadic types., , and . Math. Struct. Comput. Sci., 18 (6): 1169-1217 (2008)Synchronous Structures., , and . CONCUR, volume 1664 of Lecture Notes in Computer Science, page 494-509. Springer, (1999)A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems., and . FSTTCS, volume 1530 of Lecture Notes in Computer Science, page 78-89. Springer, (1998)Formal network packet processing with minimal fuss: invertible syntax descriptions at work., , and . PLPV, page 27-36. ACM, (2012)Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS., , and . ECEASST, (2009)A Framework for Game-Based Security Proofs.. ICICS, volume 4861 of Lecture Notes in Computer Science, page 319-333. Springer, (2007)