• 1798 Citaties
1974 …2015

Onderzoeksresultaten per jaar

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

Onderzoeksoutput

Filter
Rapport
2014

Relationship between Simulink and Petri nets

Bera, D., Hee, van, K. M. & Nijmeijer, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 1406)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
280 Downloads (Pure)
2013

Discrete timed Petri nets

Bera, D., Hee, van, K. M. & Sidorova, N., 2013, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1303)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
72 Downloads (Pure)
2012

Digitale veiligheid : risico's en remedies

van Hee, K. M., 12 mei 2012, Haarlem: Koninklijke Hollandsche Maatschappij der Wetenschappen. 45 blz. (Haarlemse voordrachten; vol. 72)

Onderzoeksoutput: Boek/rapportRapportAcademic

2011

A component framework where port compatibility implies weak termination

Bera, D., Hee, van, K. M., Osch, van, M. P. W. J. & Werf, van der, J. M. E. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computer science reports; vol. 1108)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
2 Citaten (Scopus)
40 Downloads (Pure)

Discovering characteristics of stochastic collections of process models

Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, BPMcenter. org. 17 blz. (BPM reports; vol. 1106)

Onderzoeksoutput: Boek/rapportRapportAcademic

4 Citaten (Scopus)
1 Downloads (Pure)

Refinement of synchronizable places with multi-workflow nets : weak termination preserved!

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 21 blz. (Computer science reports; vol. 1101)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
5 Citaten (Scopus)
40 Downloads (Pure)
2009

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, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0901)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
24 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., 2009, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer science reports; vol. 0918)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
69 Downloads (Pure)
2008

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

Hee, van, K. M., Verbeek, H. M. W., Stahl, C. & Sidorova, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0819)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
67 Downloads (Pure)

Process discovery using integer linear programming

Werf, van der, J. M. E. M., Dongen, van, B. F., Hee, van, K. M., Hurkens, C. A. J. & Serebrenik, A., 2008, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0804)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
133 Citaten (Scopus)
749 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., 2008, Eindhoven: Technische Universiteit Eindhoven. 48 blz. (Computer science reports; vol. 0813)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
71 Downloads (Pure)

Statistical approach to software reliability certification

Corro Ramos, I., Di Bucchianico, A. & Hee, van, K. M., 2008, Eindhoven: Technische Universiteit Eindhoven. 15 blz. (Computer science reports; vol. 0833)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
41 Downloads (Pure)
2007

A price of service in a compositional SOA framework

Hee, van, K. M., Sidorova, N., Stahl, C. & Verbeek, H. M. W., 2007, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 0716)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
25 Downloads (Pure)

A SOA-based architecture framework

Aalst, van der, W. M. P., Beisiegel, M., Hee, van, K. M., König, D. & Stahl, C., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 blz. (Computer science reports; vol. 0702)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
53 Downloads (Pure)

From workflow models to document types and back again

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P., 2007, Eindhoven: Technische Universiteit Eindhoven. 38 blz. (Computer science reports; vol. 0721)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
33 Downloads (Pure)

Model driven testing based on test history

Corro Ramos, I., Di Bucchianico, A., Hakobyan, L. & Hee, van, K. M., 2007, Eindhoven: Technische Universiteit Eindhoven. 17 blz. (Computer science reports; vol. 0725)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
78 Downloads (Pure)

The role of graphs in computer science

Baeten, J. C. M. & Hee, van, K. M., 2007, Eindhoven: Technische Universiteit Eindhoven. 15 blz. (Computer science reports; vol. 0720)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
29 Downloads (Pure)
2006

Nested nets for adaptive systems

Hee, van, K. M., Lomazova, I. A., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2006, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0602)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
42 Citaten (Scopus)
67 Downloads (Pure)

Synthesis and reduction of state machine workflow nets

Corro Ramos, I., Di Bucchianico, A., Hakobyan, L. & Hee, van, K. M., 2006, Eindhoven: Technische Universiteit Eindhoven. 15 blz. (Computer science reports; vol. 0618)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
45 Downloads (Pure)

Verifying generalized soundness for workflow nets

Hee, van, K. M., Oanea, O. I., Sidorova, N. & Voorhoeve, M., 2006, Eindhoven: Technische Universiteit Eindhoven. 10 blz. (Computer science reports; vol. 0608)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
66 Downloads (Pure)
2005

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2005, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 0523)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
64 Downloads (Pure)

The DONS rail scheduling system

Aalst, van der, W. M. P., Hee, van, K. M. & Voorhoeve, M., 2005, s.n. 11 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Downloads (Pure)
2004

Software engineering reference framework

Chaudron, M. R. V., Groote, J. F., Hee, van, K. M., Hemerik, C., Somers, L. J. A. M. & Verhoeff, T., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 0439)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
49 Downloads (Pure)
2003

Generalised soundness of workflow nets is decidable

Voorhoeve, M., Hee, van, K. M. & Sidorova, N., 2003, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0315)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
74 Downloads (Pure)
2002

Construction rules for component-based architectures

Aalst, van der, W. M. P., Hee, van, K. M. & Toorn, van der, R. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 30 blz. (Computer science reports; vol. 0208)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
39 Downloads (Pure)

Product-based design of business processes applied within the financial services

Reijers, H. A. & Hee, van, K. M., 2002, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (BETA publicatie : working papers; vol. 81)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
20 Citaten (Scopus)
32 Downloads (Pure)
2001

Workflow management : models, methods and systems

Aalst, van der, W. M. P. & Hee, van, K. M., 2001, Eindhoven: Technische Universiteit Eindhoven. 359 blz. (BETA publicatie : working papers; vol. 52)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
89 Downloads (Pure)
2000

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., 2000, Eindhoven: Technische Universiteit Eindhoven. 46 blz. (BETA publicatie : working papers; vol. 45)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
46 Downloads (Pure)
1999

A framework for component based software architectures

Hee, van, K. M., Toorn, van der, R. A., Woude, van der, J. C. S. P. & Verkoulen, P. A. C., 1999, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computing science reports; vol. 9913)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
34 Downloads (Pure)

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., 1999, Boulder, USA: University of Colorado. (Technical Report CU-CS; vol. 892-99)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
44 Downloads (Pure)
1998

An analytical method for assessing business processes

Hee, van, K. M. & Reijers, H. A., 1998, Eindhoven: Technische Universiteit Eindhoven. 29 blz. (Computing science reports; vol. 9809)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
36 Downloads (Pure)
1997

Informatisering in de gezondheidszorg, een toekomstverkenning

Branger, P. J., Palvast, E. M. R. M., Voorhoeve, J. C. & Hee, van, K. M., 1997, Den Haag: Wetenschappelijke Raad voor het Regeringsbeleid. (Werkdocument; vol. 93)

Onderzoeksoutput: Boek/rapportRapportAcademic

1996

Geen toekomst zonder informatica : toekomstverkenningen informatica 1996-2005

Hee, van, K. M. & Verkenningscommissie Informatica, 1996, Amsterdam: Overlegcommissie Verkenningen. 69 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
53 Downloads (Pure)
1994

Application of Markov decision processes to search problems

Hartman, L. B. & Hee, van, K. M., 1994, Eindhoven: Eindhoven University of Technology. 21 blz. (Computing science notes; vol. 9403)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
121 Downloads (Pure)
1993

Job shop scheduling by constraint satisfication

Nuijten, W. P. M., Aarts, E. H. L., van Erp Taalman Kip, D. A. A. & Hee, van, K. M., 1993, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computing science notes; vol. 9339)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
72 Downloads (Pure)

PROOFS: formalisms and methods

Aalst, van der, W. M. P. & Hee, van, K. M., 1993, Eindhoven: Capaciteitsgroep Informatica. (TUE-TR-0035-V4.0-WP1)

Onderzoeksoutput: Boek/rapportRapportAcademic

Systems engineering : a formal approach. Part I. System concepts

Hee, van, K. M., 1993, Eindhoven: Technische Universiteit Eindhoven. (Computing science notes; vol. 9309)(Systems engineering : a formal approach; vol. 1)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
36 Downloads (Pure)

Systems engineering : a formal approach. Part II. Frameworks

Hee, van, K. M., 1993, Eindhoven: Technische Universiteit Eindhoven. (Computing science notes; vol. 9310)(Systems engineering : a formal approach; vol. 2)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
46 Downloads (Pure)

Systems engineering : a formal approach. Part III. Modeling methods

Hee, van, K. M., 1993, Eindhoven: Technische Universiteit Eindhoven. (Computing science notes; vol. 9311)(Systems engineering : a formal approach; vol. 3)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
38 Downloads (Pure)

Systems engineering : a formal approach. Part IV. Analysis methods

Hee, van, K. M., 1993, Eindhoven: Technische Universiteit Eindhoven. (Computing science notes; vol. 9312)(Systems engineering : a formal approach; vol. 4)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
27 Downloads (Pure)

Systems engineering : a formal approach. Part V. Specification language

Hee, van, K. M., 1993, Eindhoven: Technische Universiteit Eindhoven. (Computing science notes; vol. 9313)(Systems engineering : a formal approach; vol. 5)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
46 Downloads (Pure)
1992

Application of Markov decision processes to search problems

Hee, van, K. M. & Hartman, L. B., 1992, Waterloo ON, Canada: University of Waterloo, Department of Computer Science. 19 blz. (Research Report; vol. CS-92-35)

Onderzoeksoutput: Boek/rapportRapportAcademic

Systems engineering : a formal approach

Hee, van, K. M. & Somers, L. J. A. M., 1992, Waterloo ON, Canada: University of Waterloo, Department of Computer Science. 200 blz. (Research Report; vol. CS-92-23)

Onderzoeksoutput: Boek/rapportRapportAcademic

1991

Eldorado : architecture of a functional database management system

Aerts, A. T. M. & Hee, van, K. M., 1991, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computing science notes; vol. 9115)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
43 Downloads (Pure)

Specificatiemethoden : een overzicht

Hee, van, K. M., 1991, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computing science notes; vol. 9106)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
50 Downloads (Pure)

Transforming functional database schemes to relational representations

Aerts, A. T. M., De Bra, P. M. E. & Hee, van, K. M., 1991, Eindhoven: Technische Universiteit Eindhoven. 50 blz. (Computing science notes; vol. 9117)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
87 Downloads (Pure)

Z and high level Petri nets

Hee, van, K. M., Somers, L. J. A. M. & Voorhoeve, M., 1991, Eindhoven: Technische Universiteit Eindhoven. 17 blz. (Computing science notes; vol. 9123)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
10 Citaten (Scopus)
161 Downloads (Pure)
1990

A decision support systems shell in Prolog

Hee, van, K. M. & Nuijten, W. P. M., 1990, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Designing decision support systems notes; vol. 9001)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
47 Downloads (Pure)

A formal semantics for Z and the link between Z and the relational algebra

van Diepen, M. J. & Hee, van, K. M., 1990, Eindhoven: Technische Universiteit Eindhoven. 30 blz. (Computing science notes; vol. 9010)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
84 Downloads (Pure)

A modeling environment for decision support systems

Hee, van, K. M., Somers, L. J. A. M. & Voorhoeve, M., 1990, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Designing decision support systems notes; vol. 9002)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
71 Downloads (Pure)