• 1798 Citaties
1974 …2015

Onderzoeksresultaten per jaar

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

Onderzoeksoutput

Filter
Hoofdstuk
2013

Business process modeling using Petri nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (redactie). Berlin: Springer, blz. 116-161 (Lecture Notes in Computer Science; vol. 7480).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

12 Citaten (Scopus)
11 Downloads (Pure)

When can we trust a third party?

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (redactie). Berlin: Springer, blz. 106-122 (Lecture Notes in Computer Science; vol. 8100).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
1 Downloads (Pure)
2011

Behind the screen it happens : from DSS to TSR

Hee, van, K. M., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 152-161

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)
2010

History-dependent stochastic Petri nets

Schonenberg, H., Sidorova, N., Aalst, van der, W. M. P. & Hee, van, K. M., 2010, Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (redactie). Berlin: Springer, blz. 366-379 (Lecture Notes in Computer Science; vol. 5947).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

4 Citaten (Scopus)
3 Downloads (Pure)

On-the-fly auditing of business processes

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P. A. P., 2010, Transactions on Petri Nets and Other Models of Concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (redactie). Berlin: Springer, blz. 144-173 (Lecture Notes in Computer Science; vol. 6550).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
3 Downloads (Pure)

Teleoperated service robot s: a new industrial revolution

van Hee, K. M., 2010, Liber amicorum : im memoriam Jo van Nunen. Kroon, L., Li, T. & Zuidwijk, R. (redactie). S.l., blz. 239-245

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

2009

A framework for linking and pricing no-cure-no-pay services

Hee, van, K. M., Verbeek, H. M. W., Stahl, C. & Sidorova, N., 2009, Transactions on Petri Nets and Other Models of Concurrency II. Jensen, K. & Aalst, van der, W. M. P. (redactie). Berlin: Springer, blz. 192-207 (Lecture Notes in Computer Science; vol. 5460).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Downloads (Pure)

Compositional service trees

Aalst, van der, W. M. P., Hee, van, K. M., Massuthe, P., Sidorova, N. & Werf, van der, J. M. E. M., 2009, Applications and Theory of Petri Nets (30th International Conference, Petri Nets 2009, Paris, France, June 22-26, 2009, Proceedings). Franceschinis, G. & Wolf, K. (redactie). Berlin: Springer, blz. 283-302 (Lecture Notes in Computer Science; vol. 5606).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

22 Citaten (Scopus)
1 Downloads (Pure)

Soundness of workflow nets with reset arcs

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., 2009, Transactions on Petri nets and other models of concurrency III. Jensen, K., Billington, J. & Koutny, M. (redactie). Berlin: Springer, blz. 50-70 (Lecture Notes in Computer Science; vol. 5800).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

4 Citaten (Scopus)
1 Downloads (Pure)
2008

Designing case handling systems

Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (redactie). Berlin: Springer, blz. 119-133 (Lecture Notes in Computer Science; vol. 5100).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

7 Citaten (Scopus)
1 Downloads (Pure)

Model driven testing based on test history

Corro Ramos, I., Di Bucchianico, A., Hakobyan, L. & Hee, van, K. M., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (redactie). Berlin: Springer, blz. 134-151 (Lecture Notes in Computer Science; vol. 5100).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
1 Downloads (Pure)
2004

Governance and architecture in a component-based world

Hee, van, K. M. & Rietveld, W. F., 2004, 50 Jaar informatiesystemen 1978-2028 : liber amicorum Theo Bemelmans. Valstar, A. & Genuchten, van, M. J. I. M. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 119-128

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)
2002

Correctness and efficiency : the two faces of systems analysis

Hee, van, K. M., 2002, Op het grensvlak van logistiek en ICT : Liber amicorum Piet van der Vlist. Jansen-Vullers, M. H. & Valstar, A. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 215-226

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)
2000

Using formal analysis techniques in busines process redesign

Reijers, H. A. & Hee, van, K. M., 2000, Business Process Management : Models, Techniques, and Empirical Studies. Aalst, van der, W. M. P. & Oberweis, A. (redactie). Berlin: Springer, blz. 142-160 19 blz. (Lecture Notes in Computer Science; vol. 1806).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)
1998

Workflow management systems

Graaf, van de, M. C. A. & Hee, van, K. M., 1998, ICT-thema's voor managers. blz. 74-85

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)
1997

Telematica de motor voor procesinnovatie

Hee, van, K. M. & Vlist, van der, P., 1997, Duurzame bedrijfsstrategie 2000+. Zoetermeer: EVO Ondernemersorganisatie voor logistiek en transport, blz. 15-22

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1996

Het electronisch medisch dossier als basis voor de samenwerking in het zorgproces

Hee, van, K. M., 1996, De huisarts, de specialist en het electronisch dossier, symposium EMD'96. blz. 103-110

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Information Technology in Health Care

Branger, P., Hee, van, K. M., Paalvast, R. & Voorhoeve, C., 1996, Fundamental questions about the future of health care. Gunning-Schepers, L. J., Spasoff, R. A. & Kronjee, G. J. (redactie). blz. 123-134

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)
1995

Rots in de Eindhovense informatica branding

Hee, van, K. M., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 159-160

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)
1993

Specification and simulation with ExSpect

Hee, van, K. M., Rambags, P. M. P. & Verkoulen, P. A. C., 1993, Functional programming, concurrency, simulation and automated reasoning: international lecture series 1991-1992 (McMaster University, Hamilton, Ontario, Canada). Lauer, P. E. (redactie). Berlin: Springer, blz. 296-327 (Lecture Notes in Computer Science; vol. 693).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)
1987

Decision support systems for logistics

Hee, van, K. M., 1987, Databases. Paredaens, J. (redactie). London: Academic Press Inc., blz. 87-139 (International Lecture Series in Computer Science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)
1985

Trends in information systems for management

Hee, van, K. M., 1985, New Challenges for Management Research. Rinnooy Kan, A. H. G. (redactie). Amsterdam: North-Holland Publishing Company, blz. 81-92

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review