Bernhard Reus

Available identifiers

zbMath Open reus.bernhardMaRDI QIDQ287262

List of research outcomes

Publication	Date of Publication	Type
Synthetic domain theory in type theory: another logic of computable functions	2024-07-05	Paper
Interpreting knowledge-based programs	2023-11-24	Paper
Towards model checking real-world software-defined networks	2021-02-09	Paper
Limits of computation. From a programming perspective	2017-03-29	Paper
Symbolic execution proofs for higher order store programs	2016-05-26	Paper
Step-indexed kripke models over recursive worlds	2014-04-10	Paper
Specification patterns for reasoning about recursion through the store	2014-01-16	Paper
A step-indexed Kripke model of hidden state	2013-03-14	Paper
Relative completeness for logics of functional programs	2012-09-18	Paper
Crowfoot: A Verifier for Higher-Order Store Programs	2012-06-15	Paper
A synthetic theory of sequential domains	2012-06-01	Paper
Nested Hoare Triples and Frame Rules for Higher-order Store	2012-04-02	Paper
Specification Patterns and Proofs for Recursion through the Store	2011-08-19	Paper
Class-Based versus Object-Based: A Denotational Comparison	2011-05-06	Paper
A Semantic Foundation for Hidden State	2010-04-27	Paper
Nested Hoare Triples and Frame Rules for Higher-Order Store	2009-11-12	Paper
Separation Logic for Higher-Order Store	2009-03-12	Paper
A Simple Model of Separation Logic for Higher-Order Store	2008-08-19	Paper
Computer Science Logic	2007-06-21	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Denotational semantics for a program logic of objects	2006-08-10	Paper
Automata, Languages and Programming	2006-01-10	Paper
Programming Languages and Systems	2005-09-13	Paper
Semantics and logic of object calculi	2004-08-04	Paper
General synthetic domain theory – a logical approach	2003-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2764133	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2754065	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4945244	2000-09-20	Paper
Formalizing synthetic domain theory. The basic definitions	2000-01-30	Paper
Classical logic, continuation semantics and abstract machines	1999-05-03	Paper
Extensional \(\Sigma\)-spaces in type theory	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4362975	1998-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4335371	1997-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5687242	1997-01-22	Paper

Research outcomes over time

This page was built for person: Bernhard Reus