Concepedia

Bernhard Reus

BR

Statistics

Publications

11

Citations

412

H-Index

11

Active since

1997

Affiliations

University of Sussex(Current)

Technische Universität Darmstadt

Saarland University

IT University of Copenhagen

Brighton and Sussex Medical School

Bernhard Reus is an author at University of Sussex specializing in computer science, type systems, and computing.

Publications per year

1997–2021

11

Publications

11

Classical logic, continuation semantics and abstract machines

Th. Streicher, Bernhard Reus · Journal of Functional Programming · 1998 · 119 citations · Full text

Computing, Computer Science, Logic +11

Step-indexed kripke models over recursive worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · ACM SIGPLAN Notices · 2011 · 56 citations · Full text

Computing, Computer Science, Natural Language Processing +10

CD28<sup>null</sup> pro-atherogenic CD4 T-cells explain the link between CMV infection and an increased risk of cardiovascular death

Alejandra Pera, Stefano Caserta, Fabio Albanese et al. · Theranostics · 2018 · 45 citations · Full text

Life Sciences, Immunology, Microbiology +17

Step-indexed kripke models over recursive worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · 2011 · 43 citations

Computing, Computer Science, Natural Language Processing +10

General synthetic domain theory – a logical approach

Bernhard Reus, Thomas Streicher · Mathematical Structures in Computer Science · 1999 · 33 citations

Computing, Computer Science, Mathematics +9

1–5 of 11