| Monadic presentations of lambda terms using generalized inductive types T Altenkirch, B Reus Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999 | 209 | 1999 |
| Classical logic, continuation semantics and abstract machines T Streicher, B Reus Journal of functional programming 8 (6), 543-572, 1998 | 171 | 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 | 113 | 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 | 112 | 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 | 82 | 2011 |
| Continuation semantics or expressing implication by negation Y Lafont, B Reus, T Streicher Univ. München, Inst. für Informatik, 1993 | 79 | 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 | 47 | 1999 |
| 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 | 43 | 1997 |
| 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 | 42 | 2018 |
| 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 |
| 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 | 30 | 2008 |
| Program verification in synthetic domain theory B Reus Shaker, 1996 | 29 | 1996 |
| Semantics and logic of object calculi B Reus, T Streicher Theoretical Computer Science 316 (1-3), 191-213, 2004 | 24 | 2004 |
| Limits of computation B Reus Springer International Publishing AG, 2016 | 23 | 2016 |
| About Hoare logics for higher-order store B Reus, T Streicher International Colloquium on Automata, Languages, and Programming, 1337-1348, 2005 | 21 | 2005 |
| Modular semantics and logics of classes B Reus Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003 | 21 | 2003 |
| 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 |
| Realizability models for type theories B Reus Electronic Notes in Theoretical Computer Science 23 (1), 128-158, 1999 | 17 | 1999 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
