Kees van Hee | Academic Influence

Kees van Hee's AcademicInfluence.com Rankings

Kees van Hee

Computer Science

#2619

World Rank

#2739

Historical Rank

Data Mining

#275

World Rank

#276

Historical Rank

Software Engineering

#334

World Rank

#340

Historical Rank

Database

#8380

World Rank

#8767

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Kees van Hee's Degrees

PhD Computer Science Eindhoven University of Technology
Masters Mathematics Eindhoven University of Technology

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Kees van Hee Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Kees Max van Hee is a Dutch computer scientist, and Emeritus Professor at the Eindhoven University of Technology, known for his development of the process modelling tool ExSpecT, and his seminal work on workflow management.

(See a Problem?)

Kees van Hee'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

Workflow Management: Models, Methods, and Systems (2002) (2229)
The Petri Net Markup Language: Concepts, Technology, and Tools (2003) (438)
Soundness of workflow nets: classification, decidability, and analysis (2011) (391)
Global Convergence of Genetic Algorithms: A Markov Chain Analysis (1990) (252)
Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor (2010) (165)
Business process redesign: a Petri-net-based approach (1996) (157)
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003) (135)
Information systems engineering - a formal approach (1994) (130)
Executable Specifications for Distributed Information Systems (1989) (95)
Conceptual model for online auditing (2011) (94)
Component-based software architectures: a framework based on inheritance of behavior (2002) (90)
Generalised Soundness of Workflow Nets Is Decidable (2004) (89)
Nested Nets for Adaptive Systems (2006) (61)
Using Formal Analysis Techniques in Business Process Redesign (2000) (53)
An SOA-based architecture framework (2007) (52)
Yasper: a tool for workflow modeling and analysis (2006) (50)
Soundness of Resource-Constrained Workflow Nets (2005) (49)
Resource-Constrained Workflow Nets (2006) (42)
Framework for business process redesign (1995) (41)
Integration of a data model and high-level Petri nets (1991) (39)
Resource-constrained project scheduling: an international exercise in DSS development (1988) (38)
OR and AI approaches to decision support systems (1988) (38)
Consistency in model integration (2004) (38)
Data, Process and Behaviour Modelling in an Integrated Specification Framework (1991) (34)
Colored Petri Nets to Verify Extended Event-Driven Process Chains (2005) (33)
Transforming Functional Database Schemes to Relational Representations (1992) (31)
Modeling workflow management systems with high-level Petri nets (1994) (31)
Markov Strategies in Dynamic Programming (1978) (30)
Compositional Service Trees (2009) (27)
Business Process Modeling Using Petri Nets (2013) (25)
On the optimal allocation of resources in stochastic workflow nets (2001) (25)
On the relationship between workflow models and document types (2009) (25)
Generation of Database Transactions with Petri Nets (2009) (25)
A Formal Semantics for Z and the Link between Z and the Relational Algebra (1990) (24)
Adaptive Workflows for Healthcare Information Systems (2007) (24)
Randomized constraint satisfaction for job shop scheduling (1993) (23)
Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets (2000) (23)
Workflow Management: Modellen, Methoden en Systemen (in Dutch) (1997) (23)
Modeling of discrete dynamic systems-framework and examples (1989) (22)
Workflow management : modellen, methoden en systemen (1997) (21)
Checking Properties of Adaptive Workflow Nets (2007) (21)
Is my event log complete? — A probabilistic approach to process mining (2011) (20)
Generating Benchmarks by Random Stepwise Refinement of Petri Nets (2010) (20)
Global conver-gence of genetic algorithms: an infinite Markov chain analysis (1991) (20)
Conceptual Model for On Line Auditing (2009) (19)
History-based joins: Semantics, soundness and implementation (2006) (19)
Verifying Generalized Soundness of Workflow Nets (2006) (19)
Designing Case Handling Systems (2008) (18)
Petriweb: A Repository for Petri Nets (2006) (18)
Soundness-Preserving Refinements of Service Compositions (2010) (17)
Z and High Level Petri Nets (1991) (16)
Yet another smart process editor (2005) (16)
A modeling environment for decision support systems (1991) (16)
Scheduling-free resource management (2007) (12)
History-Dependent Petri Nets (2007) (12)
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! (2010) (11)
The Right Timing: Reflections on the Modeling and Analysis of Time (2013) (11)
Soundness of Workflow Nets with Reset Arcs (2009) (10)
A Formal Framework for Dynamic modelling of Information Systems (1990) (10)
Decision support systems for logistics (1988) (10)
Knowledge Representation and Search Methods for Decision Support Systems (1990) (10)
Specification and Simulation with ExSpect (1993) (9)
Designing Weakly Terminating ROS Systems (2012) (9)
The EXSPECT Tool (1991) (8)
Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings (2008) (7)
Statistical Certification of Software Systems (2008) (7)
A new reduction method for the analysis of large workflow models (2002) (7)
Randomized constraint satisfaction for job shop scheduling and control (1993) (7)
A Framework for the Conceptual Modeling of Discrete Dynamic Systems (1987) (7)
Workflow management: Models, methods and systems (in Dutch, second revised print) (1997) (7)
Refinement of Synchronizable Places with Multi-workflow Nets (2011) (7)
A unifying approach to heuristic search (1995) (7)
LogLogics: A logic for history-dependent business processes (2007) (7)
Working with the Past: Integrating History in Petri Nets (2008) (7)
Discovering Characteristics of Stochastic Collections of Process Models (2011) (7)
Use Cases as Workflows (2003) (7)
On-the-Fly Auditing of Business Processes (2010) (6)
A Framework for Linking and Pricing No-Cure-No-Pay Services (2009) (6)
A Component Framework where Port Compatibility Implies Weak Termination (2011) (5)
The role and relevance of experimentation in informatics (2013) (5)
History-Dependent Stochastic Petri Nets (2009) (5)
Abstracting Common Business Rules to Petri Nets (2009) (5)
The SMARTIE framework for modelling discrete dynamic systems (1988) (5)
Non-destructive Integration of Form-Based Views (2005) (5)
A Formal Framework for Simulation of Discrete Event Systems (1989) (5)
Modelling History-Dependent Business Processes (2006) (5)
Modeling Hybrid Systems with Petri Nets (2014) (4)
Token History Petri Nets (2008) (4)
Combining the functional and the relational model (1990) (4)
Modelling with History-Dependent Petri Nets (2007) (3)
Features of the architecture of decision support systems (1987) (3)
Systems engineering : a formal approach (1992) (3)
Model Driven Testing Based on Test History (2008) (3)
Relationship between Simulink and Petri nets (2014) (3)
Trends in information systems for management (1985) (2)
Adaptive Workflow Nets for Grid Computing (2007) (2)
PROOFS: formalisms and methods (1993) (2)
Application of Markov decision processes to search problems (1995) (2)
"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171] (2002) (2)
The Price of Coordination in Resource Management (2005) (2)
Software engineering reference framework (2004) (2)
Synthesis and reduction of state machine workflow nets (2006) (2)
A Decision Generator Shell in Prolog (1991) (1)
Models underlying decision support systems for a port terminal planning (1984) (1)
When Can We Trust a Third Party? - A Soundness Perspective (2012) (1)
Modelling systems with exspect (1992) (1)
YASPER : Yet another smart process editor (Poster) (2005) (1)
An approach to finite Markov decision processes: D.J. WHITE Wiley, Chichester, 1978, 203 pages, £13.50 (1980) (1)
The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application (1975) (1)
Stochastic approximation methods for constrained and unconstrained systems: H.J. KUSHNER and D.S. CLARK Vol. 26 in: Applied Mathematical Sciences Springer, Berlin, 1978, 256 pages, DM 26.40, soft cover (1980) (1)
PROOFS: Application engineering based on formal methods (1992) (1)
Statistical approach to software reliability certification (2008) (1)
Generalised Soundness of Work ow Nets is (2003) (0)
Frameworks for software architecture (2007) (0)
Author ' s personal copy Conceptual model for online auditing (2011) (0)
Petri Net Newsletter Volume 75 (2011) (0)
A method and tool for constructing decision support systems (1991) (0)
Teleoperated service robot s: a new industrial revolution (2010) (0)
Modelling and Verification of Business Processes (MoveBP) (2003) (0)
Depanment of Mathematics and Computing Science (1994) (0)
Key Issues in Cryptology (2003) (0)
Architecture of Information Systems using the theory of Petri nets lecture notes for Systeemmodelleren 1 ( 2 M 310 ) (2002) (0)
Governance and architecture in a component-based world (2004) (0)
Full paper: Tele-operated service robots for household and care (2012) (0)
Invention or Discovery? (2019) (0)
Leverage project TUE / FWI (2004) (0)
Integrated systems modelling : an object oriented approach (1994) (0)
21 Teleoperated Service Robots: a new Industrial Revolution (2010) (0)
Statistical Testing and Reliability Estimation of Software Systems (STRESS) (2005) (0)
Guidelines for Application Papers Submitted to PETRI NETS (2010) (0)
Proceedings of the 29th international conference on Applications and Theory of Petri Nets (2008) (0)
Optimization of systems reliability: Frank A. TILLMAN, Ching-Lai HWANG and Way Kuo Marcel Dekker, New York, 1980, ix + 311 pages, Sfr.112.00 (1983) (0)
Resource-Constrained Workflow nets ( extended abstract ) (2004) (0)
Careflow : Theory and Practice 1 (2007) (0)
Markov decision processes with unknown transition law : the discounted case (1979) (0)
A Survey of Specification Formalisms (1993) (0)
First International Workshop on Business Process Design : Past , Present , Future ( BPD ’ 05 ) September 5 , 2005 (2005) (0)
A survey of specification formalisms (Abstract) (1993) (0)

This paper list is powered by the following services:

Other Resources About Kees van Hee

en.wikipedia.org

What Schools Are Affiliated With Kees van Hee?

Kees van Hee is affiliated with the following schools:

Eindhoven University of Technology