• 1798 Citaties
1974 …2015

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

Filter
Tijdschriftartikel
2014

Tele-operated service robots : ROSE

Osch, van, M. P. W. J., Bera, D., Hee, van, K. M., Koks, Y. & Zeegers, H., 2014, In : Automation in Construction. 39, 1, blz. 152-160 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

23 Citaten (Scopus)
3 Downloads (Pure)
2013

Refinement of synchronizable places with multi-workflow nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, In : Fundamenta Informaticae. 122, 1-2, blz. 59-83

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)
2011

Conceptual model for online auditing

Aalst, van der, W. M. P., Hee, van, K. M., Werf, van der, J. M. E. M., Kumar, A. & Verdonk, M. C., 2011, In : Decision Support Systems. 50, 3, blz. 636-647

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

63 Citaten (Scopus)
7 Downloads (Pure)

In memoriam Marc Voorhoeve: 5 april 1950 - 7 oktober 2011

Hee, van, K. M., 2011, In : Petri Net Newsletter. 79, blz. 35-35

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

3 Downloads (Pure)

Soundness of workflow nets : classification, decidability, and analysis

Aalst, van der, W. M. P., Hee, van, K. M., Hofstede, ter, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M. & Wynn, M. T., 2011, In : Formal Aspects of Computing. 23, 3, blz. 333-363

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
234 Citaten (Scopus)
127 Downloads (Pure)
2010

Auditing 2.0: Using process mining to support tomorrow's auditor

Aalst, van der, W. M. P., Hee, van, K. M., Werf, van der, J. M. E. M. & Verdonk, M. C., 2010, In : Computer. 43, 3, blz. 90-93

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

90 Citaten (Scopus)
6 Downloads (Pure)
2009

Generation of database transactions with Petri nets

Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2009, In : Fundamenta Informaticae. 93, 1-3, blz. 171-184

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

13 Citaten (Scopus)
1 Downloads (Pure)

On the relationship between workflow models and document types

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P., 2009, In : Information Systems. 34, 1, blz. 178-208

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

21 Citaten (Scopus)
2 Downloads (Pure)
2008

History-based joins : semantics, soundness and implementation

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2008, In : Data & Knowledge Engineering. 64, 1, blz. 24-37

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

Proposal for: requirements and evaluation of tool papers for Petri Nets

Franceschinis, G., Hee, van, K. M., Kindler, E., Kordon, F., Kristensen, L. M. & Wolf, K., 2008, In : Petri Net Newsletter. 75, blz. 9-18

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2008, In : Communications in Statistics. Part B, Simulation and Computation. 37, 2, blz. 346-359

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)

Token history Petri nets

Hee, van, K. M., Serebrenik, A. & Sidorova, N., 2008, In : Fundamenta Informaticae. 85, 1-4, blz. 219-234

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)
3 Downloads (Pure)

Working with the past : integrating history in Petri nets

Hee, van, K. M., Serebrenik, A., Sidorova, N. & Aalst, van der, W. M. P., 2008, In : Fundamenta Informaticae. 88, 3, blz. 387-409

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)
2007

An SOA-based architecture framework

Aalst, van der, W. M. P., Beisiegel, M., Hee, van, K. M., König, D. & Stahl, C., 2007, In : International Journal of Business Process Integration and Management. 2, 2, blz. 91-101

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

23 Citaten (Scopus)
1 Downloads (Pure)

Checking properties of adaptive workflow nets

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N., Voorhoeve, M. & Lomazova, I. A., 2007, In : Fundamenta Informaticae. 79, 3-4, blz. 347-362

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

17 Citaten (Scopus)
1 Downloads (Pure)

LogLogics : a logic for history-dependent business processes

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2007, In : Science of Computer Programming. 65, 1, blz. 30-40

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
4 Citaten (Scopus)
1 Downloads (Pure)

Scheduling-free resource management

Hee, van, K. M., Serebrenik, A., Sidorova, N., Voorhoeve, M. & Wal, van der, J., 2007, In : Data & Knowledge Engineering. 61, 1, blz. 59-75

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)
1 Downloads (Pure)
2006

Consistency in model integration

Hee, van, K. M., Sidorova, N., Somers, L. J. A. M. & Voorhoeve, M., 2006, In : Data & Knowledge Engineering. 56, 1, blz. 4-22

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

18 Citaten (Scopus)
2 Downloads (Pure)

Resource-constrained workflow nets

Hee, van, K. M., Sidorova, N. & Voorhoeve, M., 2006, In : Fundamenta Informaticae. 71, 2-3, blz. 243-257

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

32 Citaten (Scopus)
1 Downloads (Pure)
2004

Business process management in een notendop

Reijers, H. A. & Hee, van, K. M., 2004, In : VIP Vakblad voor Documentmanagement. 10, 6, blz. 30-32

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

6 Downloads (Pure)
2002

Component-based software architectures : a framework based on inheritance of behavior

Aalst, van der, W. M. P., Hee, van, K. M. & Toorn, van der, R. A., 2002, In : Science of Computer Programming. 42, 2-3, blz. 129-171

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
49 Citaten (Scopus)
2 Downloads (Pure)

Compositionality of projection inheritance (Erratum)

Aalst, van der, W. M. P., Hee, van, K. M. & Toorn, van der, R. A., 2002, In : Science of Computer Programming. 44, 3, blz. 343-344

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)
2000

Analysis of discrete-time stochastic Petri nets

Aalst, van der, W. M. P., Hee, van, K. M. & Reijers, H. A., 2000, In : Statistica Neerlandica. 54, 2, blz. 237-255

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

38 Citaten (Scopus)
1 Downloads (Pure)
1998

Herverkaveling is geen oplossing

Baeten, J. C. M. & Hee, van, K. M., 1998, In : De Automatisering Gids. 32, 10

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelPopulair

2 Downloads (Pure)
1996

Business process redesign : A Petri-net-based approach

Aalst, van der, W. M. P. & Hee, van, K. M., 1996, In : Computers in Industry. 29, 1-2, blz. 15-26

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
101 Citaten (Scopus)
365 Downloads (Pure)
1995

Application of Markov decision processes to search problems

Hartman, L. B. & Hee, van, K. M., 1995, In : Decision Support Systems. 14, 3, blz. 283-298 16 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Downloads (Pure)

A unifying approach to heuristic search

Eiben, A. E., Aarts, E. H. L., Hee, van, K. M. & Nuijten, W. P. M., 1995, In : Annals of Operations Research. 55, 1, blz. 81-99

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
1 Downloads (Pure)

Modelleren en analyseren van workflow : een aanpak op basis van Petri-netten

Aalst, van der, W. M. P., Hee, van, K. M. & Houben, G. J. P. M., 1995, In : Informatie. 37, 11, blz. 590-599

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

6 Downloads (Pure)
1994

A comparative study in DSS development (Editorial)

Hee, van, K. M. & Lenstra, J. K., 1994, In : European Journal of Operational Research. 79, 2, blz. 153-157

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

2 Citaten (Scopus)
1 Downloads (Pure)

Kanttekeningen bij het visitatierapport HBO-Informatica

Bemelmans, T. M. A., Hee, van, K. M. & Hacquebard, A., 1994, In : Informatie. 36, 11, blz. 661-666

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

2 Downloads (Pure)
1992

PROOFS : application engineering based on formal methods

Hee, van, K. M., Hildebrand, T. & Copelli, S., 1992, In : Microprocessing and Microprogramming. 35, 1-5, blz. 29-36 8 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)
1991

A modeling environment for decision support systems

Hee, van, K. M., Somers, L. J. A. M. & Voorhoeve, M., 1991, In : Decision Support Systems. 7, 3, blz. 241-251 11 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)
3 Downloads (Pure)
1990

Fasering en documentatie in software engineering

Hammer, D. K. & Hee, van, K. M., 1990, In : Informatie. 32, 2, blz. 155-166

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)
1989

Modeling of discrete dynamic systems : framework and examples

Hee, van, K. M., Houben, G. J. P. M. & Dietz, J. L. G., 1989, In : Information Systems. 14, 4, blz. 277-289

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)
1 Downloads (Pure)

Modelleren met een functioneel datamodel

Aerts, A. T. M. & Hee, van, K. M., 1989, In : Informatie. 31, 12, blz. 941-956 16 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

6 Downloads (Pure)
1988

Decision support system for container terminal planning

Hee, van, K. M. & Wijbrands, R. J., 1988, In : European Journal of Operational Research. 34, 3, blz. 262-272 11 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

65 Citaten (Scopus)
2 Downloads (Pure)

OR and AI approaches to decision support systems

Hee, van, K. M. & Lapinski, A. K., 1988, In : Decision Support Systems. 4, 4, blz. 447-459 13 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)
1 Downloads (Pure)

PORTPLAN, decision support system for port terminals

Hee, van, K. M., Huitink, B. & Leegwater, D. K., 1988, In : European Journal of Operational Research. 34, 3, blz. 249-261 13 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

21 Citaten (Scopus)
1 Downloads (Pure)

Resource-constrained project scheduling : an international exercise in DSS development

Anthonisse, J. M., Hee, van, K. M. & Lenstra, J. K., 1988, In : Decision Support Systems. 4, 2, blz. 249-257 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

16 Citaten (Scopus)
1 Downloads (Pure)
1987

Simulatietechnieken en hun mogelijkheden

Hee, van, K. M., 1987, In : Pt-Procestechniek. 42, blz. 115-117

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)
1985

Informatiesystemen en beslissingsondersteuning

Hee, van, K. M., 1985, In : Informatie. 27, 11, blz. 978-986 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)
1984

Models underlying decision support systems for a port terminal planning

Hee, van, K. M., 1984, In : Wissenschaftliche Zeitschrift. Technische Hochschule Leipzig. 8, blz. 161-170

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Sharing profits and liabilities of a pool of dockers

Hee, van, K. M., 1984, In : European Journal of Operational Research. 15, 3, blz. 297-301

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)
1978

Markov decision processes and strongly excessive functions

Hee, van, K. M. & Wessels, J., 1978, In : Stochastic Processes and their Applications. 8, 1, blz. 59-76

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
4 Citaten (Scopus)
1 Downloads (Pure)

Markov strategies in dynamic programming

Hee, van, K. M., 1978, In : Mathematics of Operations Research. 3, 1, blz. 37-41

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (Scopus)

Strongly convergent dynamic programming

Hee, van, K. M. & Wal, van der, J., 1978, In : Advances in Applied Probability. 10, 2, blz. 308-309 2 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)
1977

Strongly excessive functions in Markov decision theory

Hee, van, K. M. & Wessels, J., 1977, In : Advances in Applied Probability. 9, 2, blz. 234-235 2 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)