Monadic presentations of lambda terms using generalized inductive types T Altenkirch, B Reus Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999 | 214 | 1999 |
Classical logic, continuation semantics and abstract machines T Streicher, B Reus Journal of functional programming 8 (6), 543-572, 1998 | 169 | 1998 |
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 | 114 | 2011 |
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 | 110 | 1999 |
Nested Hoare triples and frame rules for higher-order store J Schwinghammer, L Birkedal, B Reus, H Yang Logical Methods in Computer Science 7, 2011 | 81 | 2011 |
Continuation semantics or expressing implication by negation Y Lafont, B Reus, T Streicher Univ. München, Inst. für Informatik, 1993 | 78 | 1993 |
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 | 55 | 2001 |
General synthetic domain theory–a logical approach B Reus, T Streicher Mathematical Structures in Computer Science 9 (2), 177-223, 1999 | 51 | 1999 |
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 | 44 | 2018 |
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 | 42 | 1997 |
A semantic foundation for hidden state J Schwinghammer, H Yang, L Birkedal, F Pottier, B Reus Foundations of Software Science and Computational Structures: 13th …, 2010 | 39 | 2010 |
Separation logic for higher-order store B Reus, J Schwinghammer Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual …, 2006 | 38 | 2006 |
Semantics and logic of object calculi B Reus, T Streicher Theoretical Computer Science 316 (1-3), 191-213, 2004 | 34 | 2004 |
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 | 31 | 2008 |
Program verification in synthetic domain theory B Reus Shaker, 1996 | 30 | 1996 |
Limits of computation B Reus Springer International Publishing AG, 2016 | 24 | 2016 |
About Hoare logics for higher-order store B Reus, T Streicher International Colloquium on Automata, Languages, and Programming, 1337-1348, 2005 | 20 | 2005 |
Formal reasoning about runtime code update N Charlton, B Horsfall, B Reus 2011 IEEE 27th International Conference on Data Engineering Workshops, 134-138, 2011 | 19 | 2011 |
Modular semantics and logics of classes B Reus Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003 | 19 | 2003 |
Realizability models for type theories B Reus Electronic Notes in Theoretical Computer Science 23 (1), 128-158, 1999 | 18 | 1999 |