Onderzoeksoutput

Filter
Tijdschriftartikel
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)
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

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)
82 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)
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)
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)
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)
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)
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

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)
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)
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
105 Citaten (Scopus)
81 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)
2007

A configurable reference modelling language

Rosemann, M. & Aalst, van der, W. M. P., 2007, In : Information Systems. 32, 1, blz. 1-23

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

379 Citaten (Scopus)

A formal modeling approach for supply chain event management

Liu, R., Kumar, A. & Aalst, van der, W. M. P., 2007, In : Decision Support Systems. 43, 3, blz. 761-778

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

98 Citaten (Scopus)

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

22 Citaten (Scopus)
1 Downloads (Pure)

A pattern-based analysis of clinical computer-interpretable guideline modeling languages

Mulyar, N. A., Aalst, van der, W. M. P. & Peleg, M., 2007, In : Journal of the American Medical Informatics Association. 14, 6, blz. 781-787

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

69 Citaten (Scopus)
9 Downloads (Pure)

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

494 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

317 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

35 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

2008

Can I find a partner? Undecidability of partner existence for open nets

Massuthe, P., Serebrenik, A., Sidorova, N. & Wolf, K., 2008, In : Information Processing Letters. 108, 6, blz. 374-378

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

29 Citaten (Scopus)
7 Downloads (Pure)

Configurable workflow models

Gottschalk, F., Aalst, van der, W. M. P., Jansen-Vullers, M. H. & La Rosa, M., 2008, In : International Journal of Cooperative Information Systems. 17, 2, blz. 177-221

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

157 Citaten (Scopus)

Conformance checking of processes based on monitoring real behavior

Rozinat, A. & Aalst, van der, W. M. P., 2008, In : Information Systems. 33, 1, blz. 64-95

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

610 Citaten (Scopus)
1 Downloads (Pure)