Kees van Hee
Kees van Hee
Emeritus Professor of Computer Science, Eindhoven University of Technology
Email verificata su tue.nl
TitoloCitata daAnno
Workflow management: models, methods, and systems
W Van Der Aalst, KM Van Hee, K van Hee
MIT press, 2004
28962004
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
4862003
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
4151990
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
3872011
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
3502008
Business process redesign: A Petri-net-based approach
WMP van der Aalst, KM van Hee
Computers in industry 29 (1-2), 15-26, 1996
2201996
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
1662010
Information systems engineering: a formal approach
KM van Hee
Cambridge University Press, 1994
1511994
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
1371994
Decision support system for container terminal planning
KM Van Hee, RJ Wijbrands
European Journal of Operational Research 34 (3), 262-272, 1988
1241988
Workflow Management: Models
W Van Der Aalst, H van Kees
Methods and Systems, Cambridge, 2002
1052002
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
Bayesian control of Markov chains
KM van Hee
Stichting Mathematisch Centrum, 1978
961978
Analysis of discrete‐time stochastic petri nets
WMP Van der Aalst, KM Van Hee, HA Reijers
Statistica Neerlandica 54 (2), 237-255, 2000
942000
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
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
892004
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
791994
Using formal analysis techniques in business process redesign
KM van Hee, HA Reijers
Business process management, 142-160, 2000
642000
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20