Chris Verhoef
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1993–2003
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | SCAM | Managing Multi-Billion Dollar IT Budgets using Source Code Analysis. | Chris Verhoef |
| 1999 | FASE | Research Issues in the Renovation of Legacy Systems. | Arie van Deursen, Paul Klint, Chris Verhoef |
| 1999 | FASE | Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. | Wan J. Fokkink, Chris Verhoef |
| 1996 | SOFSEM | Core Technologies for System Renovation. | Mark van den Brand, Paul Klint, Chris Verhoef |
| 1994 | CONCUR | A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. | Chris Verhoef |
| 1993 | CONCUR | A Congruence Theorem for Structured Operational Semantics with Predicates. | Jos C. M. Baeten, Chris Verhoef |