Kees van Hee
Kees van Hee
Emeritus Professor of Computer Science, Eindhoven University of Technology
Verified email at tue.nl
TitleCited byYear
Workflow management: models, methods, and systems
W Van Der Aalst, KM Van Hee, K van Hee
MIT press, 2004
28262004
The Petri net markup language: concepts, technology, and tools
J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ...
International Conference on Application and Theory of Petri Nets, 483-505, 2003
4782003
Global convergence of genetic algorithms: A Markov chain analysis
AE Eiben, EHL Aarts, KM Van Hee
International Conference on Parallel Problem Solving from Nature, 3-12, 1990
4051990
Soundness of workflow nets: classification, decidability, and analysis
WMP Van Der Aalst, KM Van Hee, AHM Ter Hofstede, N Sidorova, ...
Formal Aspects of Computing 23 (3), 333-363, 2011
3682011
Process discovery using integer linear programming
JMEM Van der Werf, BF van Dongen, CAJ Hurkens, A Serebrenik
International conference on applications and theory of petri nets, 368-387, 2008
3352008
Business process redesign: A Petri-net-based approach
WMP van der Aalst, KM van Hee
Computers in industry 29 (1-2), 15-26, 1996
2161996
Auditing 2.0: Using process mining to support tomorrow's auditor
WMP van Aalst, KM van Hee, JM van Werf, M Verdonk
Computer 43 (3), 90-93, 2010
1572010
Information systems engineering: a formal approach
KM van Hee
Cambridge University Press, 1994
1481994
Soundness and separability of workflow nets in the stepwise refinement approach
K Van Hee, N Sidorova, M Voorhoeve
International Conference on Application and Theory of Petri Nets, 337-356, 2003
1472003
Modelling and analysing workflow using a Petri-net based approach
WMP van der Aalst, KM Van Hee, GJ Houben
Proceedings of the second Workshop on Computer-Supported Cooperative Work …, 1994
1351994
Decision support system for container terminal planning
KM Van Hee, RJ Wijbrands
European Journal of Operational Research 34 (3), 262-272, 1988
1201988
Workflow Management: Models
W Van Der Aalst, H van Kees
Methods and Systems, Cambridge, 2002
1032002
Conceptual model for online auditing
W Van der Aalst, K Van Hee, JM Van der Werf, A Kumar, M Verdonk
Decision Support Systems 50 (3), 636-647, 2011
1012011
Bayesian control of Markov chains
KM van Hee
Stichting Mathematisch Centrum, 1978
951978
Component-based software architectures: a framework based on inheritance of behavior
WMP van der Aalst, KM van Hee, RA van der Toorn
Science of computer Programming 42 (2-3), 129-171, 2002
932002
Analysis of discrete‐time stochastic petri nets
WMP Van der Aalst, KM Van Hee, HA Reijers
Statistica Neerlandica 54 (2), 237-255, 2000
892000
Executable specifications for distributed information systems
KM van Hee, L Somers, M Voorhoeve
Information System Concepts (Proceedings of the IFIP TC 8-WG 8.1 Conference …, 1989
881989
Generalised soundness of workflow nets is decidable
K Van Hee, N Sidorova, M Voorhoeve
International Conference on Application and Theory of Petri Nets, 197-215, 2004
872004
Modeling workflow management systems with high-level Petri nets
WMP van der Aalst, KM van Hee, G Houben
Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work …, 1994
791994
Using formal analysis techniques in business process redesign
KM van Hee, HA Reijers
Business process management, 142-160, 2000
622000
The system can't perform the operation now. Try again later.
Articles 1–20