Kees M. van Hee - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 84 from 84

2019

Invention or Discovery?Kees M. van Hee. In Wolfgang Reisig, Grzegorz Rozenberg, editors, Carl Adam Petri: Ideas, Personality, Impact. pages 25-29, Springer, 2019. [doi]

2014

Relationship between Simulink and Petri netsDebjyoti Bera, Kees M. van Hee, Henk Nijmeijer. simultech 2014: 12-23 [doi]

Modeling Hybrid Systems with Petri NetsDebjyoti Bera, Kees M. van Hee, Henk Nijmeijer. simultech 2015: 17-42 [doi]

2013

2012

Designing Weakly Terminating ROS SystemsDebjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf. apn 2012: 328-347 [doi]

When Can We Trust a Third Party? - A Soundness PerspectiveKees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. apn 2012: 47-59 [doi]

2011

A Component Framework where Port Compatibility Implies Weak TerminationDebjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf. apn 2011: 152-166 [doi]

Conceptual model for online auditingWil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk. dss, 50(3):636-647, 2011. [doi]

Soundness of workflow nets: classification, decidability, and analysisWil 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. fac, 23(3):333-363, 2011. [doi]

Is my event log complete? - A probabilistic approach to process miningKees M. van Hee, Zheng Liu, Natalia Sidorova. rcis 2011: 1-7 [doi]

Discovering Characteristics of Stochastic Collections of Process ModelsKees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova. BPM 2011: 298-312 [doi]

Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. apn 2011: 149-168 [doi]

2010

2009

History-Dependent Stochastic Petri NetsHelen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee. ershov 2010: 366-379 [doi]

Compositional Service TreesWil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf. apn 2009: 283-302 [doi]

Soundness of Workflow Nets with Reset ArcsWil 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. topnoc, 3:50-70, 2009. [doi]

On the relationship between workflow models and document typesKees M. van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran. is, 34(1):178-208, 2009. [doi]

Generation of Database Transactions with Petri NetsKees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf. FUIN, 93(1-3):171-184, 2009. [doi]

A Framework for Linking and Pricing No-Cure-No-Pay ServicesKees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova. topnoc, 2:192-207, 2009. [doi]

2008

2007

Adaptive Workflow Nets for Grid ComputingCarmen Bratosin, Kees M. van Hee, Natalia Sidorova. pact 2007: 15-21 [doi]

An SOA-based architecture frameworkWil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl. ijbpim, 2(2):91-101, 2007. [doi]

Modelling with History-Dependent Petri NetsKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf. BPM 2007: 320-327 [doi]

Adaptive Workflows for Healthcare Information SystemsKees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf. BPM 2008: 359-370 [doi]

Checking Properties of Adaptive Workflow NetsKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova. FUIN, 79(3-4):347-362, 2007. [doi]

LogLogics: A logic for history-dependent business processesKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. SCP, 65(1):30-40, 2007. [doi]

Scheduling-free resource managementKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal. DKE, 61(1):59-75, 2007. [doi]

History-Dependent Petri NetsKees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst. apn 2007: 164-183 [doi]

2006

Petriweb: A Repository for Petri NetsR. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf. apn 2006: 411-420 [doi]

A SOA-Based Architecture FrameworkWil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl. Dagstuhl 2006: [doi]

Yasper: a tool for workflow modeling and analysisKees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf. acsd 2006: 279-282 [doi]

Modelling History-Dependent Business ProcessesKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. vveis 2006: 76-85

Verifying Generalized Soundness of Workflow NetsKees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve. ershov 2007: 235-247 [doi]

History-Based Joins: Semantics, Soundness and ImplementationKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. BPM 2006: 225-240 [doi]

Nested Nets for Adaptive SystemsKees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. apn 2006: 241-260 [doi]

Resource-Constrained Workflow NetsKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. FUIN, 71(2-3):243-257, 2006. [doi]

Consistency in model integrationKees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve. DKE, 56(1):4-22, 2006. [doi]

2005

2004

Generalised Soundness of Workflow Nets Is DecidableKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. apn 2004: 197-215 [doi]

Consistency in Model IntegrationKees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve. BPM 2004: 1-16 [doi]

2003

2002

Workflow Management: Models, Methods, and SystemsWil M. P. van der Aalst, Kees M. van Hee. MIT Press, 2002.

Component-based software architectures: a framework based on inheritance of behaviorWil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn. SCP, 42(2-3):129-171, 2002.

Compositionality of projection inheritance [Sci. Comput. Programming 42 (2-3) (2002) 129-171]Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn. SCP, 44(3):343-344, 2002. [doi]

A new reduction method for the analysis of large workflow modelsLoucif Zerguini, Kees M. van Hee. emisa 2002: 188-201

2000

Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri NetsWil 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. apn 2000: 455-464 [doi]

Using Formal Analysis Techniques in Business Process RedesignKees M. van Hee, Hajo A. Reijers. BPM 2000: 142-160 [doi]

1995

A unifying approach to heuristic searchA. E. Eiben, Emile H. L. Aarts, Kees M. van Hee, W. P. M. Nuijten. anor, 55(1):81-99, 1995. [doi]

Application of Markov decision processes to search problemsLeo B. Hartman, Kees M. van Hee. dss, 14(3):283-298, 1995. [doi]

Framework for business process redesignWil M. P. van der Aalst, Kees M. van Hee. wetice 1995: 36-45 [doi]

1994

Information systems engineering - a formal approachKees M. van Hee. Cambridge University Press, 1994.

1993

Specification and Simulation with ExSpectKees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen. mcmaster 1993: 296-327

1992

Transforming Functional Database Schemes to Relational RepresentationsA. T. M. Aerts, Paul De Bra, Kees M. van Hee. In David J. Harper, Moira C. Norrie, editors, Specifications of Database Systems. Workshops in Computing, pages 1-20, Springer, 1992. [doi]

PROOFS: Application engineering based on formal methodsKees M. van Hee, Theodor Hildebrand, Sergio Copelli. jsa, 35(1-5):29-36, 1992. [doi]

1991

1990

Global Convergence of Genetic Algorithms: A Markov Chain AnalysisA. E. Eiben, Emile H. L. Aarts, Kees M. van Hee. ppsn 1991: 4-12

A Formal Semantics for Z and the Link between Z and the Relational AlgebraM. J. van Diepen, Kees M. van Hee. FM 1990: 526-551

A Formal Framework for Dynamic modelling of Information SystemsKees M. van Hee, Lou J. Somers, Marc Voorhoeve. dmis 1991: 227-236 [doi]

1989

Executable Specifications for Distributed Information SystemsKees M. van Hee, Lou J. Somers, Marc Voorhoeve. isco 1989: 157-176

Modeling of discrete dynamic systems-framework and examplesKees M. van Hee, Geert-Jan Houben, Jan L. G. Dietz. is, 14(4):277-289, 1989.

1988

Resource-constrained project scheduling: an international exercise in DSS developmentJac M. Anthonisse, Kees M. van Hee, Jan Karel Lenstra. dss, 4(2):249-257, 1988. [doi]

OR and AI approaches to decision support systemsKees M. van Hee, Antoni Lapinski. dss, 4(4):447-459, 1988. [doi]

1987

A Framework for the Conceptual Modeling of Discrete Dynamic SystemsJan L. G. Dietz, Kees M. van Hee. tdb 1987: 61-75

1978

Markov Strategies in Dynamic ProgrammingKees M. van Hee. mor, 3(1):37-41, 1978. [doi]

1975

The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an ApplicationKees M. van Hee. ifip7 1976: 22-36

Authors

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Kees M. van Hee'

Viewing Publication 1 - 84 from 84

2019

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

1995

1994

1993

1992

1991

1990

1989

1988

1987

1978

1975

Authors

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Kees M. van Hee'

Viewing Publication 1 - 84 from 84

2019

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

1995

1994

1993

1992

1991

1990

1989

1988

1987

1978

1975

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1