[go: up one dir, main page]

Follow
Kees van Hee
Kees van Hee
Emeritus Professor of Computer Science, Eindhoven University of Technology
Verified email at tue.nl
Title
Cited by
Cited by
Year
Workflow management: models, methods, and systems
W Van Der Aalst, KM Van Hee
MIT press, 2004
35792004
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
5932011
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
5812003
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
5111990
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
3322008
Business process redesign: A Petri-net-based approach
WMP van der Aalst, KM van Hee
Computers in industry 29 (1-2), 15-26, 1996
2491996
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
1912003
Information systems engineering: a formal approach
KM Van Hee
Cambridge University Press, 1994
1691994
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
1561994
Workflow Management: Models
W Van Der Aalst, K Van Hee
Methods and Systems, Cambridge, 2002
1442002
Decision support system for container terminal planning
KM Van Hee, RJ Wijbrands
European journal of operational research 34 (3), 262-272, 1988
1341988
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
1292011
Analysis of discrete‐time stochastic petri nets
WMP Van der Aalst, KM Van Hee, HA Reijers
Statistica Neerlandica 54 (2), 237-255, 2000
1202000
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
1092004
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
1052002
Bayesian control of Markov chains
KM van Hee
1021978
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
1011989
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
941994
Using formal analysis techniques in business process redesign
KM van Hee, HA Reijers
Business process management: models, techniques, and empirical studies, 142-160, 2002
802002
Soundness of resource-constrained workflow nets
K Van Hee, A Serebrenik, N Sidorova, M Voorhoeve
International Conference on Application and Theory of Petri Nets, 250-267, 2005
742005
The system can't perform the operation now. Try again later.
Articles 1–20