Onderzoeksoutput

Filter
Tijdschriftartikel
2007

Business process mining : an industrial application

Aalst, van der, W. M. P., Reijers, H. A., Weijters, A. J. M. M., Dongen, van, B. F., Alves De Medeiros, A. K., Song, M. S. & Verbeek, H. M. W., 2007, In : Information Systems. 32, 5, blz. 713-732

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

493 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

16 Citaten (Scopus)
1 Downloads (Pure)

Deadline-based escalation in process-aware information systems

Aalst, van der, W. M. P., Rosemann, M. & Dumas, M., 2007, In : Decision Support Systems. 43, 2, blz. 492-511

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

81 Citaten (Scopus)
1 Downloads (Pure)

Exploring the CSCW spectrum using process mining

Aalst, van der, W. M. P., 2007, In : Advanced Engineering Informatics. 21, 2, blz. 191-199

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

23 Citaten (Scopus)
1 Downloads (Pure)

Formal semantics and analysis of control flow in WS-BPEL

Ouyang, C., Verbeek, H. M. W., Aalst, van der, W. M. P., Breutel, S., Dumas, M. & Hofstede, ter, A. H. M., 2007, In : Science of Computer Programming. 67, 2-3, blz. 162-198

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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

Genetic process mining : an experimental evaluation

Alves De Medeiros, A. K., Weijters, A. J. M. M. & Aalst, van der, W. M. P., 2007, In : Data Mining and Knowledge Discovery. 14, 2, blz. 245-304

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

316 Citaten (Scopus)
1 Downloads (Pure)

Interacting agents through a web-based health serviceflow management system

Leonardi, G., Panzarasa, S., Quaglini, S., Stefanelli, M. & Aalst, van der, W. M. P., 2007, In : Journal of Biomedical Informatics. 40, 5, blz. 486-499

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
28 Citaten (Scopus)

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)

Mining process models with non-free-choice constructs

Wen, L., Aalst, van der, W. M. P., Wang, J. & Sun, J., 2007, In : Data Mining and Knowledge Discovery. 15, 2, blz. 145-180 36 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

34 Citaten (Scopus)
1 Downloads (Pure)

Modelling work distribution mechanisms using Colored Petri Nets

Pesic, M. & Aalst, van der, W. M. P., 2007, In : International Journal on Software Tools for Technology Transfer. 9, 3-4, blz. 327-352 26 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

20 Citaten (Scopus)

Operational semantics for Petri net components

Groote, J. F. & Voorhoeve, M., 2007, In : Theoretical Computer Science. 379, 1-2, blz. 1-19

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
7 Citaten (Scopus)

Rule-based adaptation of web information systems

De Virgilio, R., Torlone, R. & Houben, G. J. P. M., 2007, In : World Wide Web. 10, 4, blz. 443-470

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

12 Citaten (Scopus)

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)

Specification, authoring and prototyping of personalised workplace learning solutions

Dolog, P., Kravcik, M., Cristea, A. I., Burgos, D., De Bra, P. M. E., Ceri, S., Devedzic, V., Houben, G. J. P. M., Libbrecht, P., Matera, M., Melis, E., Nejdl, W., Specht, M., Stewart, C., Smits, D., Stash, N. & Tattersall, C., 2007, In : International Journal of Learning Technology. 3, 3, blz. 286-308

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)

The role of business processes in service oriented architectures (editorial)

Aalst, van der, W. M. P., Leymann, F. & Reisig, W., 2007, In : International Journal of Business Process Integration and Management. 2, 2, blz. 75-80

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

Dongen, van, B. F., Jansen-Vullers, M. H., Verbeek, H. M. W. & Aalst, van der, W. M. P., 2007, In : Computers in Industry. 58, 6, blz. 578-601

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

67 Citaten (Scopus)
1 Downloads (Pure)

Verifying workflows with cancellation regions and OR-joins : an approach based on relaxed soundness and invariants

Verbeek, H. M. W., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2007, In : The Computer Journal. 50, 3, blz. 294-314

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

49 Citaten (Scopus)

Workflow management systems for grid computing

Bratosin, C. C. & Aalst, van der, W. M. P., 2007, In : ERCIM News. 70, blz. 21-22

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

2006

A generic component for exchanging user models between web-based systems

Sluijs, van der, K. A. M. & Houben, G. J. P. M., 2006, In : International Journal of Continuing Engineering Education and Lifelong Learning. 16, 1-2, blz. 64-76

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

30 Citaten (Scopus)

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

17 Citaten (Scopus)
2 Downloads (Pure)

HPG : the Hera Presentation Generator

Frasincar, F., Houben, G. J. P. M. & Barna, P., 2006, In : Journal of Web Engineering. 5, 2, blz. 175-200

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)

Interoperability in personalized adaptive learning

Aroyo, L. M., Dolog, P., Houben, G. J. P. M., Kravcik, M., Naeve, A., Nilsson, M. & Wild, F., 2006, In : Journal of Educational Technology & Society. 9, 2, blz. 4-18

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
104 Citaten (Scopus)
79 Downloads (Pure)

Matching observed behavior and modeled behavior : an approach based on Petri nets and integer programming

Aalst, van der, W. M. P., 2006, In : Decision Support Systems. 42, 3, blz. 1843-1859

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

12 Citaten (Scopus)

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)

Wrapper-based evolution of legacy information systems

Thiran, P., Hainaut, J. L., Houben, G. J. P. M. & Benslimane, D., 2006, In : ACM Transactions on Software Engineering and Methodology. 15, 4, blz. 329-359

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

33 Citaten (Scopus)
2005

A generic framework for extracting XML data from legacy databases

Thiran, P., Estiévenart, F., Hainaut, J. L. & Houben, G. J. P. M., 2005, In : Journal of Web Engineering. 4, 3, blz. 205-223

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Downloads (Pure)

Editorial, Journal of web engineering, vol. 4, no. 4

Houben, G. J. P. M., 2005, In : Journal of Web Engineering. 4, 4, blz. 281-282

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Editorial (Special issue on Web data integration and presentation)

Frasincar, F., Gaedke, M. & Houben, G. J. P. M., 2005, In : Journal of Web Engineering. 4, 3, blz. 187-188

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Towards distributed processing of RDF path queries

Stuckenschmidt, H., Vdovják, R., Broekstra, J. & Houben, G. J. P. M., 2005, In : International Journal of Web Engineering and Technology. 2, 2-3, blz. 207-230

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

33 Citaten (Scopus)
2004

Embedding information retrieval in adaptive hypermedia: IR meets AHA!

Aroyo, L. M., De Bra, P. M. E., Houben, G. J. P. M. & Vdovják, R., 2004, In : New Review of Hypermedia and Multimedia. 10, 1, blz. 53-76

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

14 Citaten (Scopus)

RAL: An algebra for querying RDF

Frasincar, F., Houben, G. J. P. M., Vdovják, R. & Barna, P., 2004, In : World Wide Web. 7, 1, blz. 83-109

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

32 Citaten (Scopus)
1 Downloads (Pure)
2003

Engineering semantic web information systems in Hera

Vdovják, R., Frasincar, F., Houben, G. J. P. M. & Barna, P., 2003, In : Journal of Web Engineering. 2, 1-2, blz. 3-26

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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
48 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)
2001

Impossible futures and determinism

Voorhoeve, M. & Mauw, S., 2001, In : Information Processing Letters. 80, 1, blz. 51-58

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

22 Citaten (Scopus)
1 Downloads (Pure)
1995

Simulating and analyzing railway interlockings in ExSpect

Basten, T., Bol, R. N. & Voorhoeve, M., 1995, In : IEEE Parallel and Distributed Technology : Systems and Applications. 3, 3, blz. 50-62

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

12 Citaten (Scopus)
1991

A tribute to attributes

Woude, van der, J. C. S. P. & Meertens, L. G. L. T., 1991, In : The Squiggolist. 2, 1, blz. 10-15

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
24 Downloads (Pure)

Free style spec wrestling II : preorders

Woude, van der, J. C. S. P. & Meertens, L. G. L. T., 1991, In : The Squiggolist. 2, 2, blz. 48-53

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
39 Downloads (Pure)
1987

Correction to: On the diophantine equation $1^k+2^k+...+x^k+R(x)=y^z$

Voorhoeve, M., Györy, K. & Tijdeman, R., 1987, In : Acta Mathematica. 159, blz. 151-152

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)
1983

Analysis of the outer product for the symmetric group

Somers, L. J. A. M., 1983, In : Journal of Mathematical Physics. 24, 4, blz. 772-778 7 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
4 Citaten (Scopus)
81 Downloads (Pure)
1980

On the equation 1k+2k+... +xk=yz

Györy, K., Tijdeman, R. & Voorhoeve, M., 1980, In : Acta Arithmetica. 37, blz. 233-240

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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)