Chris Verhoef | Academic Influence

Chris Verhoef's AcademicInfluence.com Rankings

Chris Verhoef

Computer Science

#2982

World Rank

#3126

Historical Rank

Software Engineering

#158

World Rank

#159

Historical Rank

Database

#8456

World Rank

#8850

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Chris Verhoef's Degrees

PhD Computer Science University of Amsterdam
Masters Mathematics University of Amsterdam

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Chris Verhoef Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Christopher Verhoef is a Dutch computer scientist, and Professor of Computer Science at the Vrije Universiteit in Amsterdam. Biography Born in Kedichem in 1962, Verhoef received his PhD in computer science at the University of Amsterdam in 1992 under supervision of Jan Bergstra with the thesis "Linear unary operators in process algebra."

(See a Problem?)

Chris Verhoef's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Structural Operational Semantics (1999) (360)
Toward an engineering discipline for grammarware (2005) (313)
The rise and fall of the Chaos report figures (2010) (302)
A Congruence Theorem for Structured Operational Semantics with Predicates (1993) (201)
Semi‐automatic grammar recovery (2001) (172)
A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises (1994) (163)
Quantitative IT portfolio management (2002) (143)
Current parsing techniques in software renovation considered harmful (1998) (131)
Generation of components for software renovation factories from context-free grammars (1997) (123)
A General Conservative Extension Theorem in Process Algebra (1994) (112)
Concrete process algebra (1995) (111)
Cracking the 500-Language Problem (2001) (107)
The Realities of Language Conversions (2000) (102)
Software product line migration and deployment (2003) (100)
Restructuring of COBOL/CICS legacy systems (1999) (73)
Reverse engineering and system renovation—an annotated bibliography (1997) (68)
Quantifying the value of IT-investments (2005) (68)
Re-engineering needs generic programming language technology (1997) (65)
Core Technologies for System Renovation (1996) (61)
Obtaining a COBOL grammar from legacy code for reengineering purposes (1997) (60)
A Conservative Look at Operational Semantics with Variable Binding (1998) (59)
Research Issues in the Renovation of Legacy Systems (1999) (58)
Software Architecture Reconstruction: Practice Needs and Current Approaches (2002) (58)
Quantifying requirements volatility effects (2008) (57)
Architectural modifications to deployed software (2005) (57)
A two-phase process for software architecture improvement (1999) (55)
Architecture Reconstruction Guidelines (2001) (53)
Control flow normalization for COBOL/CICS legacy systems (1998) (50)
Quantifying the effects of IT-governance rules (2007) (50)
Proceedings on the 5th working conference on reverse engineering (1998) (49)
Moving towards quality attribute driven software architecture reconstruction (2003) (47)
A conservative look at term deduction systems with variable binding (1995) (45)
Native patterns (1998) (44)
IT portfolio management: a banker''s perspective on IT (2003) (41)
The Grammar Deployment Kit - System Demonstration (2002) (41)
Reengineering the Corporation — A Manifesto for IT Evolution (40)
An architecture for automated software maintenance (1999) (39)
Quantitative aspects of outsourcing deals (2005) (39)
SACAM: The Software Architecture Comparison Analysis Method (2003) (39)
Generation of software renovation factories from compilers (1999) (39)
Quantifying IT forecast quality (2009) (37)
Enabling the creation of knowledge about software assets (2002) (37)
Proceedings of the Third European Conference on Software Maintenance and Reengineering, Cahapel of St. Agnes, University of Amsterdam, the Netherlands, March 3-5, 1999 (1999) (35)
Development, assessment, and reengineering of language descriptions (1998) (35)
Term rewriting for sale (1998) (33)
Scaffolding for software renovation (2000) (30)
Conservative Extension in Structural Operational Semantics (1999) (29)
Evolutionary software engineering: a component-based approach (1998) (28)
Practice patterns for architecture reconstruction (2002) (28)
Towards automated modification of legacy assets (2000) (25)
Architecture Reconstruction Guidelines, 2nd Edition (2002) (24)
Quantifying the yield of risk-bearing IT-portfolios (2008) (22)
Architecture Reconstruction Guidelines, Third Edition (2001) (20)
Development, assessment, and reengineering of language descriptions (2000) (20)
An analysis of unit tests of a flight software product line (2013) (20)
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories (1999) (19)
Quantifying IT estimation risks (2009) (18)
The Syntax and Semantics of mCRL (1994) (16)
Reengineering COBOL Software Implies Specification of the Underlying Dialects (1997) (15)
9210: The Zip Code of Another IT-Soap (2004) (15)
Natural language requirement specification for web service testing (2013) (13)
Model‐centric software architecture reconstruction (2006) (12)
Model-centric software architecture reconstruction (2006) (10)
How to implement the future? (2000) (10)
Analyzing the Evolution of Large-Scale Software: Issue Overviews (2005) (9)
Enabling system evolution through configuration management on the hardware/software boundary (2009) (9)
Re-implementing a legacy system (2019) (8)
Quantifying forecast quality of IT business value (2012) (8)
Enabling system evolution through configuration management on the hardware-software boundary (2009) (8)
Reusing existing object-oriented code as web services in a SOA (2013) (8)
Analyzing the Evolution of Large-Scale Software (2005) (7)
Reflections on the Evolution of COBOL (1997) (7)
Balancing Time‐to‐Market and Quality in Embedded Systems (2014) (6)
Managing multibillion dollar IT budgets using source code analysis (2003) (6)
An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting (1997) (6)
Foundations for measuring IT-outsourcing success and failure (2019) (5)
Reverse engineering a visual age application (2015) (5)
Reducing operational costs through MIPS management (2015) (4)
Control flow normalisation for COBOL/CICS legacy systhems (1998) (4)
The 16th IEEE International Conference on Program Comprehension, ICPC 2008, Amsterdam, The Netherlands, June 10-13, 2008 (2008) (4)
Reverse Engineering and System Renovation (1997) (4)
Balancing Time-to-Market and Quality in Evolving Embedded Systems (2010) (4)
The Realities of Large Software Portfolios (2000) (3)
Architectural views through collapsing strategies (2004) (3)
From COBOL to Business Rules - Extracting Business Rules from Legacy Code (2020) (2)
Getting on top of IT (2007) (2)
Cost‐driven software migration: An experience report (2020) (2)
Measuring test coverage of SoA services (2015) (2)
Software as strong as a dyke (2007) (2)
From Software Development to Software Assembly (2016) (2)
2003 International conference on software maintenance: the architectural evolution of systems (2005) (1)
An architecture for software maintenance (1998) (1)
Quantifying fair payment after outsourcing – a case study (2015) (1)
Case Closed: the 500 Language Problem is Cracked (2000) (1)
Business Process Reengineering (2002) (1)
De proceedings: ACP'95 (1995) (1)
Rijks-IT: bad practice (2007) (1)
Optimizations of List Matching in theAsf+Sdf Compiler (2007) (1)
Algebra of Communicating Processes (1995) (1)
The G rammar D eployment K it — System Demonstration — (2002) (0)
Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, Reengineering Week Zurich, University of Zurich, Switzerland, February 29-March 3, 2000 (2000) (0)
Sources onder audit regime (2008) (0)
Proceedings from the international workshop on Algebra of communicating processes (1997) (0)
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 (1995) (0)
Preface (2000) (0)
Validating Converted Java Code via Symbolic Execution (2017) (0)
Woord van eer (2008) (0)
Algebra of Communicating Processes - Preface to the Special Issue (1997) (0)
Special Issue on WCRE 97 (2000) (0)
De openbare computer (2006) (0)
Migrating to service-oriented systems (Why and how to avoid developing customized software applications from scratch) (2013) (0)
De verbeelding van software (2006) (0)
Grip op outsourcing (2007) (0)
De hofnarren van het web (2007) (0)
CSMR 2008 Workshop Introduction (2008) (0)
Scaffolding for software renovation. Technical Report P9904 (1999) (0)
Term rewriting for scale (1998) (0)
IT-auditen is een vak apart (2008) (0)
Proceedings : Fourth Working Conference on Reverse Engineering, October 6-8, 1997, Amsterdam, The Netherlands (1997) (0)
11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands (2007) (0)
Prioriteiten in de polder (2006) (0)
The composition paradox in software architecture (2005) (0)
Proceedings of the fourth IEEE Computer Society Working Conference on Reverse Engineering (1997) (0)
new conference IEEE EQUITY 2007 co-located with CSMR 2007 (2007) (0)
A General Cnservative Extension Theorem in Process Algebras with Inqualities (1996) (0)
Restructuring of\ textsc(cobol/cics) legacy systems (1998) (0)
Griekse IT-tragedie (2008) (0)
Proceedings of the 16th IEEE Computer Society International (2008) (0)
Towards Automated Modi cation of Legacy Assets (2000) (0)
De effectiviteit van testen (2008) (0)
ACP : algebra of communicating processes : workshop : proceedings, 2nd, Eindhoven, The Netherlands, 1995 (1995) (0)
Software-onderhoud en -renovatie (1999) (0)
Benchmarking the expected loss of a federal IT portfolio (2009) (0)
`Take away IT: Hardware erbij?' (2009) (0)
Context-free Grammars (1997) (0)

This paper list is powered by the following services:

Other Resources About Chris Verhoef

en.wikipedia.org

What Schools Are Affiliated With Chris Verhoef?

Chris Verhoef is affiliated with the following schools: