Kees M. van Hee

87 papers A 9B 7C 4Journal 33Unranked 29

Year	Rank	Type	Title / Venue / Authors
2019	—	`ch.`	Invention or Discovery? Carl Adam Petri: Ideas, Personality, Impact Kees M. van Hee
2014	—	`conf`	Modeling Hybrid Systems with Petri Nets. SIMULTECH (Selected Papers) Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer
2014	C	`conf`	Relationship between Simulink and Petri nets. SIMULTECH Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer
2013	J	`jnl`	Business Process Modeling Using Petri Nets. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2013	J	`jnl`	Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2013	B	`conf`	The Right Timing: Reflections on the Modeling and Analysis of Time. Petri Nets Kees M. van Hee, Natalia Sidorova
2013	J	`jnl`	When Can We Trust a Third Party? - A Soundness Perspective. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2012	B	`conf`	Designing Weakly Terminating ROS Systems. Petri Nets Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf
2012	—	`conf`	When Can We Trust a Third Party? - A Soundness Perspective. PNSE Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2011	—	`conf`	A Component Framework where Port Compatibility Implies Weak Termination. PNSE Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf
2011	J	`jnl`	Conceptual model for online auditing. Decis. Support Syst. Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk
2011	A	`conf`	Discovering Characteristics of Stochastic Collections of Process Models. BPM Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova
2011	B	`conf`	Is my event log complete? - A probabilistic approach to process mining. RCIS Kees M. van Hee, Zheng Liu, Natalia Sidorova
2011	B	`conf`	Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2011	J	`jnl`	Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn
2010	J	`jnl`	Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. Computer Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Marc Verdonk
2010	A	`conf`	Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! SC Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2010	—	`conf`	Generating Benchmarks by Random Stepwise Refinement of Petri Nets. ACSD/Petri Nets Workshops Kees M. van Hee, Zheng Liu
2010	J	`jnl`	On-the-Fly Auditing of Business Processes. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran
2010	—	`conf`	Soundness-Preserving Refinements of Service Compositions. WS-FM Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf
2009	J	`jnl`	A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova
2009	B	`conf`	Compositional Service Trees. Petri Nets Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf
2009	J	`jnl`	Generation of Database Transactions with Petri Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
2009	—	`conf`	History-Dependent Stochastic Petri Nets. Ershov Memorial Conference Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee
2009	J	`jnl`	On the relationship between workflow models and document types. Inf. Syst. Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran
2009	J	`jnl`	Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn
2008	B	`ed.`	Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings Petri Nets Kees M. van Hee, Rüdiger Valk
2008	J	`jnl`	Designing Case Handling Systems. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf
2008	J	`jnl`	History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2008	J	`jnl`	Model Driven Testing Based on Test History. Trans. Petri Nets Other Model. Concurr. Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee
2008	J	`jnl`	Statistical Certification of Software Systems. Commun. Stat. Simul. Comput. Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof
2008	J	`jnl`	Token History Petri Nets. Fundam. Informaticae Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
2008	J	`jnl`	Working with the Past: Integrating History in Petri Nets. Fundam. Informaticae Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
2007	B	`conf`	Adaptive Workflow Nets for Grid Computing. PaCT Carmen Bratosin, Kees M. van Hee, Natalia Sidorova
2007	—	`conf`	Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf
2007	J	`jnl`	An SOA-based architecture framework. Int. J. Bus. Process. Integr. Manag. Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl
2007	J	`jnl`	Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
2007	—	`conf`	History-Dependent Petri Nets. ICATPN Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
2007	J	`jnl`	LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2007	A	`conf`	Modelling with History-Dependent Petri Nets. BPM Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
2007	J	`jnl`	Scheduling-free resource management. Data Knowl. Eng. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
2006	—	`conf`	A SOA-Based Architecture Framework. The Role of Business Processes in Service Oriented Architectures Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl
2006	J	`jnl`	Consistency in model integration. Data Knowl. Eng. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
2006	A	`conf`	History-Based Joins: Semantics, Soundness and Implementation. Business Process Management Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Modelling History-Dependent Business Processes. MSVVEIS Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Nested Nets for Adaptive Systems. ICATPN Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Petriweb: A Repository for Petri Nets. ICATPN R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf
2006	J	`jnl`	Resource-Constrained Workflow Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Yasper: a tool for workflow modeling and analysis. ACSD Kees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf
2005	—	`conf`	Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) Kees M. van Hee, Olivia Oanea, Natalia Sidorova
2005	C	`conf`	Non-destructive Integration of Form-Based Views. ADBIS Jan Hidders, Jan Paredaens, Philippe Thiran, Geert-Jan Houben, Kees M. van Hee
2005	—	`conf`	Soundness of Resource-Constrained Workflow Nets. ICATPN Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2005	A	`conf`	The Price of Coordination in Resource Management. Business Process Management Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
2004	A	`conf`	Consistency in Model Integration. Business Process Management Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
2004	—	`conf`	Generalised Soundness of Workflow Nets Is Decidable. ICATPN Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2003	—	`conf`	Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2003	—	`conf`	The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
2003	A	`conf`	Use Cases as Workflows. Business Process Management Michel R. V. Chaudron, Kees M. van Hee, Lou J. Somers
2002	J	`jnl`	"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. Sci. Comput. Program. Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn
2002	—	`conf`	A new reduction method for the analysis of large workflow models. Promise Loucif Zerguini, Kees M. van Hee
2002	J	`jnl`	Component-based software architectures: a framework based on inheritance of behavior. Sci. Comput. Program. Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn
2002	—	`book`	Workflow Management: Models, Methods, and Systems Wil M. P. van der Aalst, Kees M. van Hee
2000	—	`conf`	Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. ICATPN Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn
2000	A	`conf`	Using Formal Analysis Techniques in Business Process Redesign. Business Process Management Kees M. van Hee, Hajo A. Reijers
1995	J	`jnl`	A unifying approach to heuristic search. Ann. Oper. Res. A. E. Eiben, Emile H. L. Aarts, Kees M. van Hee, W. P. M. Nuijten
1995	J	`jnl`	Application of Markov decision processes to search problems. Decis. Support Syst. Leo B. Hartman, Kees M. van Hee
1995	C	`conf`	Framework for business process redesign. WETICE Wil M. P. van der Aalst, Kees M. van Hee
1994	—	`book`	Information systems engineering - a formal approach. Kees M. van Hee
1993	—	`conf`	Specification and Simulation with ExSpect. Functional Programming, Concurrency, Simulation and Automated Reasoning Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen
1992	J	`jnl`	PROOFS: Application engineering based on formal methods. Microprocess. Microprogramming Kees M. van Hee, Theodor Hildebrand, Sergio Copelli
1992	—	`ch.`	Transforming Functional Database Schemes to Relational Representations. Specifications of Database Systems A. T. M. Aerts, Paul De Bra, Kees M. van Hee
1991	J	`jnl`	A modeling environment for decision support systems. Decis. Support Syst. Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1991	—	`conf`	Data, Process and Behaviour Modelling in an Integrated Specification Framework. DMIS Kees M. van Hee, Peter A. C. Verkoulen
1991	—	`ed.`	Dynamic Modelling of Information Systems I, The First International Working Conference on Dynamic Modelling of Information Systems, Noordwijkerhout, The Netherlands, April 9-10, 1990 DMIS Kees M. van Hee, Henk G. Sol
1991	—	`conf`	The EXSPECT Tool. VDM Europe (1) Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1991	—	`conf`	Z and High Level Petri Nets. VDM Europe (1) Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1990	—	`conf`	A Formal Framework for Dynamic modelling of Information Systems. DMIS Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1990	—	`conf`	A Formal Semantics for Z and the Link between Z and the Relational Algebra. VDM Europe M. J. van Diepen, Kees M. van Hee
1990	A	`conf`	Global Convergence of Genetic Algorithms: A Markov Chain Analysis. PPSN A. E. Eiben, Emile H. L. Aarts, Kees M. van Hee
1989	C	`conf`	Executable Specifications for Distributed Information Systems. ISCO Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1989	J	`jnl`	Modeling of discrete dynamic systems-framework and examples. Inf. Syst. Kees M. van Hee, Geert-Jan Houben, Jan L. G. Dietz
1988	J	`jnl`	OR and AI approaches to decision support systems. Decis. Support Syst. Kees M. van Hee, Antoni Lapinski
1988	J	`jnl`	Resource-constrained project scheduling: an international exercise in DSS development. Decis. Support Syst. Jac M. Anthonisse, Kees M. van Hee, Jan Karel Lenstra
1987	—	`conf`	A Framework for the Conceptual Modeling of Discrete Dynamic Systems. Temporal Aspects in Information Systems Jan L. G. Dietz, Kees M. van Hee
1978	J	`jnl`	Markov Strategies in Dynamic Programming. Math. Oper. Res. Kees M. van Hee
1975	—	`conf`	The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application. Optimization Techniques Kees M. van Hee