Concepedia

Christoph Reichenbach

CR

Statistics

Publications

8

Citations

182

H-Index

8

Active since

2005

Affiliations

University of Massachusetts Amherst(Current)

Goethe University Frankfurt

National and Kapodistrian University of Athens

University of Colorado Boulder

The University of Texas at Arlington

Christoph Reichenbach is an author at University of Massachusetts Amherst specializing in computer science, computing, and software engineering.

Publications per year

2005–2021

8

Publications

8

Discovering Documentation for Java Container Classes

Johannes Henkel, Christoph Reichenbach, Amer Diwan · IEEE Transactions on Software Engineering · 2007 · 57 citations

Computing, Computer Science, Documentation +15

What can the GC compute efficiently?

Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis et al. · 2010 · 27 citations

Computing, Computer Science, Formal Methods +14

Developing and debugging algebraic specifications for Java classes

Johannes Henkel, Christoph Reichenbach, Amer Diwan · ACM Transactions on Software Engineering and Methodology · 2008 · 18 citations

Computing, Computer Science, Documentation +16

Residual investigation: predictive and precise bug detection

Kaituo Li, Christoph Reichenbach, Christoph Csallner et al. · 2012 · 18 citations

Computing, Computer Science, Diagnostic Reasoning +12

SEDGE: Symbolic example data generation for dataflow programs

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis et al. · 2013 · 17 citations · Full text

Computing, Computer Engineering, Computer Science +14

1–5 of 8