Kees van Hee
Kees van Hee
Emeritus Professor of Computer Science, Eindhoven University of Technology
Dirección de correo verificada de tue.nl
TítuloCitado porAño
Workflow management: models, methods, and systems
W Van Der Aalst, KM Van Hee, K van Hee
MIT press, 2004
28712004
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
4882003
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
4121990
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
3912011
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
3602008
Business process redesign: a Petri-net-based approach
WMP van der Aalst, KM van Hee
Computers in industry 29 (1-2), 15-26, 1996
2211996
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
1672010
Information systems engineering: a formal approach
KM van Hee
Cambridge University Press, 1994
1501994
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
1482003
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
1381994
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, methods, and systems (cooperative information systems)
W Van Der Aalst, K Van Hee
The MIT Press, 2002
1122002
Workflow Management: Models
W Van Der Aalst, K Van Hee
Methods and Systems, Cambridge, 2002
1062002
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
1032011
Analysis of discrete‐time stochastic petri nets
WMP Van der Aalst, KM Van Hee, HA Reijers
Statistica Neerlandica 54 (2), 237-255, 2000
942000
Bayesian control of Markov chains
KM van Hee
Stichting Mathematisch Centrum, 1978
941978
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
912002
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
902004
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
891989
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
811994
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20