Bernhard Reus

From MaRDI portal
Person:287262

Available identifiers

zbMath Open reus.bernhardMaRDI QIDQ287262

List of research outcomes

PublicationDate of PublicationType
Towards model checking real-world software-defined networks2021-02-09Paper
Limits of computation. From a programming perspective2017-03-29Paper
Symbolic execution proofs for higher order store programs2016-05-26Paper
Step-indexed kripke models over recursive worlds2014-04-10Paper
Specification patterns for reasoning about recursion through the store2014-01-16Paper
A step-indexed Kripke model of hidden state2013-03-14Paper
Relative Completeness for Logics of Functional Programs2012-09-18Paper
Crowfoot: A Verifier for Higher-Order Store Programs2012-06-15Paper
A synthetic theory of sequential domains2012-06-01Paper
Nested Hoare Triples and Frame Rules for Higher-order Store2012-04-02Paper
Specification Patterns and Proofs for Recursion through the Store2011-08-19Paper
Class-Based versus Object-Based: A Denotational Comparison2011-05-06Paper
A Semantic Foundation for Hidden State2010-04-27Paper
Nested Hoare Triples and Frame Rules for Higher-Order Store2009-11-12Paper
Separation Logic for Higher-Order Store2009-03-12Paper
A Simple Model of Separation Logic for Higher-Order Store2008-08-19Paper
Computer Science Logic2007-06-21Paper
Frontiers of Combining Systems2006-10-10Paper
Denotational semantics for a program logic of objects2006-08-10Paper
Automata, Languages and Programming2006-01-10Paper
Programming Languages and Systems2005-09-13Paper
Semantics and logic of object calculi2004-08-04Paper
General synthetic domain theory – a logical approach2003-09-11Paper
https://portal.mardi4nfdi.de/entity/Q27641332002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q27540652001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q49452442000-09-20Paper
Formalizing synthetic domain theory. The basic definitions2000-01-30Paper
Classical logic, continuation semantics and abstract machines1999-05-03Paper
Extensional \(\Sigma\)-spaces in type theory1999-01-01Paper
https://portal.mardi4nfdi.de/entity/Q43629751998-02-25Paper
https://portal.mardi4nfdi.de/entity/Q43353711997-04-27Paper
https://portal.mardi4nfdi.de/entity/Q56872421997-01-22Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Bernhard Reus