dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bernhard Reus (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang: Step-indexed kripke models over recursive worlds. POPL 2011: 119-132
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-order Store Logical Methods in Computer Science 7(3): (2011)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus: A Semantic Foundation for Hidden State. FOSSACS 2010: 2-17
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL 2009: 440-454
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang: A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) 2008: 348-360
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Reus, Jan Schwinghammer: Separation Logic for Higher-Order Store. CSL 2006: 575-590
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Reus, Jan Schwinghammer: Denotational semantics for a program logic of objects. Mathematical Structures in Computer Science 16(2): 313-358 (2006)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Reus, Jan Schwinghammer: Denotational Semantics for Abadi and Leino's Logic of Objects. ESOP 2005: 263-278

Selection of 8 from 39 records - Bernhard Reus has 21 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page