Bernhard Reus

Available identifiers

zbMath Open reus.bernhardMaRDI QIDQ287262

List of research outcomes

Publication	Date of Publication	Type
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

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: Bernhard Reus