Follow
Bernhard Reus
Title
Cited by
Cited by
Year
Monadic presentations of lambda terms using generalized inductive types
T Altenkirch, B Reus
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
2011999
Classical logic, continuation semantics and abstract machines
T Streicher, B Reus
Journal of functional programming 8 (6), 543-572, 1998
1721998
An event-based structural operational semantics of multi-threaded Java
P Cenciarelli, A Knapp, B Reus, M Wirsing
Formal syntax and semantics of Java, 157-200, 1999
1121999
Step-indexed Kripke models over recursive worlds
L Birkedal, B Reus, J Schwinghammer, K Støvring, J Thamsborg, H Yang
ACM SIGPLAN Notices 46 (1), 119-132, 2011
1082011
Nested Hoare triples and frame rules for higher-order store
J Schwinghammer, L Birkedal, B Reus, H Yang
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009
792009
Continuation semantics or expressing implication by negation
Y Lafont, B Reus, T Streicher
Univ. München, Inst. für Informatik, 1993
791993
A Hoare calculus for verifying Java realizations of OCL-constrained design models
B Reus, M Wirsing, R Hennicker
Fundamental Approaches to Software Engineering: 4th International Conference …, 2001
562001
General synthetic domain theory–a logical approach
B Reus, T Streicher
Mathematical Structures in Computer Science 9 (2), 177-223, 1999
451999
From sequential to multi-threaded Java: An event-based operational semantics
P Cenciarelli, A Knapp, B Reus, M Wirsing
Algebraic Methodology and Software Technology: 6th International Conference …, 1997
441997
A Semantic Foundation for Hidden State.
J Schwinghammer, H Yang, L Birkedal, F Pottier, B Reus
FoSSaCS, 2-17, 2010
372010
CD28null pro-atherogenic CD4 T-cells explain the link between CMV infection and an increased risk of cardiovascular death
A Pera, S Caserta, F Albanese, P Blowers, G Morrow, N Terrazzini, ...
Theranostics 8 (16), 4509, 2018
362018
Separation logic for higher-order store
B Reus, J Schwinghammer
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual …, 2006
362006
Program verification in synthetic domain theory
B Reus
Shaker, 1996
281996
A simple model of separation logic for higher-order store
L Birkedal, B Reus, J Schwinghammer, H Yang
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
272008
Semantics and logic of object calculi
B Reus, T Streicher
Theoretical Computer Science 316 (1-3), 191-213, 2004
242004
Limits of computation
B Reus
Springer International Publishing AG, 2016
212016
About Hoare logics for higher-order store
B Reus, T Streicher
Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005
212005
Modular semantics and logics of classes
B Reus
CSL 3, 456-469, 2003
212003
Formal reasoning about runtime code update
N Charlton, B Horsfall, B Reus
2011 IEEE 27th International Conference on Data Engineering Workshops, 134-138, 2011
192011
Realizability models for type theories
B Reus
Electronic Notes in Theoretical Computer Science 23 (1), 128-158, 1999
151999
The system can't perform the operation now. Try again later.
Articles 1–20