53
Publications
2.9K
Citations
30
H-Index
1993
Active since
Affiliations
C. Verhoef is an author at University of Amsterdam specializing in engineering, software engineering, and software design.
Top concepts
EngineeringSoftware EngineeringSoftware DesignSoftware AnalysisProgram AnalysisSoftware MaintenanceComputer ScienceSystem SoftwareFormal MethodsLanguage
Publications per year
1993–2019
53
53
The rise and fall of the Chaos report figures
J.L. Eveleens, C. Verhoef · IEEE Software · 2009 · 280 citations
Structural Operational Semantics
Luca Aceto, C. Verhoef · BRICS Report Series · 1999 · 226 citations · Full text
Semi‐automatic grammar recovery
Ralf Lämmel, C. Verhoef · Software Practice and Experience · 2001 · 147 citations
Rows per page
1–5 of 53