David Nowak

Available identifiers

zbMath Open nowak.david-eMaRDI QIDQ781248

List of research outcomes

Publication	Date of Publication	Type
Formal definitions and proofs for partial (co)recursive functions	2024-10-08	Paper
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

This page was built for person: David Nowak