David E. Nowak

Available identifiers

zbMath Open nowak.david-eMaRDI QIDQ781248

List of research outcomes

Publication	Date of Publication	Type
A trustful monad for axiomatic reasoning with probability and nondeterminism	2021-09-24	Paper
(Co)inductive proof systems for compositional proofs in reachability logic	2021-02-26	Paper
Stochastic effects of multiple regulators on expression profiles in eukaryotes	2020-07-16	Paper
A hierarchy of monadic effects for program verification using equational reasoning	2020-05-05	Paper
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications	2015-09-14	Paper
Formal security proofs with minimal fuss: implicit computational complexity at work	2015-05-04	Paper
Certifying assembly with formal security proofs: the case of BBS	2012-07-20	Paper
A Formalization of Polytime Functions	2011-08-17	Paper
A Calculus for Game-Based Security Proofs	2010-10-12	Paper
Logical relations for monadic types	2008-12-10	Paper
Computer Science Logic	2007-06-21	Paper
REASONING ABOUT TRANSFINITE SEQUENCES	2007-03-13	Paper
On the freeze quantifier in Constraint LTL: Decidability and complexity	2007-02-19	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Synchronous structures	2006-08-17	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4457460	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4411847	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4536630	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4537134	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2754054	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4270076	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4247268	1999-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4108163	1976-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David E. Nowak