Onderzoeksoutput

Filter
Tijdschriftartikel

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)

WORKPAD : process management and geo-collaboration help disaster response

Catarci, T., Leoni, de, M., Marrella, A., Mecella, M., Russo, A., Steinmann, R. & Bortenschlager, M., 2011, In : International Journal of Information Systems for Crisis Response and Management. 3, 1, blz. 32-49

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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

Workflow support using proclets: divide, interact and conquer

Aalst, van der, W. M. P., Mans, R. S. & Russell, N. C., 2009, In : Bulletin of the IEEE Computer Society Technical Committee on Data Engineering. 32, 3, blz. 16-22

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Workflow simulation for operational decision support

Rozinat, A., Wynn, M. T., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Fidge, C. J., 2009, In : Data & Knowledge Engineering. 68, 9, blz. 834-850

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

108 Citaten (Scopus)
3 Downloads (Pure)

Workflow resource patterns as a rule to support OASIS BPEL4People standardization efforts

Russell, N. C. & Aalst, van der, W. M. P., 2008, In : BPTrends. March 2008, 26 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Workflow patterns put into context

Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2012, In : Software and Systems Modeling. 11, 3, blz. 319-323

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
19 Citaten (Scopus)
61 Downloads (Pure)

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

What makes a good process model? Lessons learned from process mining

Aalst, van der, W. M. P., 2012, In : Software and Systems Modeling. 11, 4, blz. 557-569

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

11 Citaten (Scopus)
1 Downloads (Pure)

Visual support for work assignment in process-aware information systems : framework formalisation and implementation

Leoni, de, M., Adams, M., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2012, In : Decision Support Systems. 54, 1, blz. 345-361

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

21 Citaten (Scopus)

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

51 Citaten (Scopus)

Verifying workflow processes : a transformation-based approach

Zha, H., Aalst, van der, W. M. P., Wang, J., Wen, L. & Sun, J., 2011, In : Software and Systems Modeling. 10, 2, blz. 253-264

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

24 Citaten (Scopus)
3 Downloads (Pure)

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)

Using timed automata for a priori warnings and planning for timed declarative process models

Maggi, F. M. & Westergaard, M., 2014, In : International Journal of Cooperative Information Systems. 23, 1, blz. 1440003/1-30 30 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)
4 Downloads (Pure)

Using process mining to bridge the gap between BI and BPM

Aalst, van der, W. M. P., 2011, In : Computer. 44, 12, blz. 77-80

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

17 Citaten (Scopus)

Undecidability of accordance for open systems with unbounded message queues

Müller, R., Stahl, C. & Vogler, W., 2014, In : Information Processing Letters. 114, 12, blz. 663-669

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)

Ultra-high-density spatial division multiplexing with a few-mode multicore fibre

Uden, van, R. G. H., Amezcua-Correa, R., Antonio-Lopez, E. E., Huijskens, F. M., Xia, C., Li, G., Schülzgen, A., Waardt, de, H., Koonen, A. M. J. & Okonkwo, C. M., 2014, In : Nature Photonics. 8, 11, blz. 865-870

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
267 Citaten (Scopus)
579 Downloads (Pure)

Turning event logs into process movies: animating what has really happened

de Leoni, M., Suriadi, S., Hofstede, ter, A. H. M. & Aalst, van der, W. M. P., jul 2016, In : Software and Systems Modeling. 15, 3, blz. 707-732

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)
7 Downloads (Pure)

Translating unstructured workflow processes to readable BPEL: theory and implementation

Aalst, van der, W. M. P. & Lassen, K. B., 2008, In : Information and Software Technology. 50, 3, blz. 131-159

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

69 Citaten (Scopus)
1 Downloads (Pure)

Trace- and failure-based semantics for responsiveness

Vogler, W., Stahl, C. & Müller, R., 2014, In : Acta Informatica. 51, 8, blz. 499-552 54 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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

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)

Towards comprehensive support for organizational mining

Song, M. S. & Aalst, van der, W. M. P., 2008, In : Decision Support Systems. 46, 1, blz. 300-317

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

182 Citaten (Scopus)

'TomTom' voor bedrijfsprocessen

Aalst, van der, W. M. P., 2009, In : Informatie. 51, 3, blz. 34-41

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

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

Time prediction based on process mining

Aalst, van der, W. M. P., Schonenberg, M. H. & Song, M. S., 2011, In : Information Systems. 36, 2, blz. 450-475 26 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

266 Citaten (Scopus)
15 Downloads (Pure)

The share-a-ride problem : people and parcels sharing taxis

Li, B., Krushinsky, D., Reijers, H. A. & Woensel, van, T., 2014, In : European Journal of Operational Research. 238, 1, blz. 31-40

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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

The relationship between workflow graphs and free-choice workflow nets

Favre, C., Fahland, D. & Völzer, H., 2015, In : Information Systems. 47, blz. 197-219 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

22 Citaten (Scopus)
5 Downloads (Pure)

The incidence of skin cancer in dermatology

Geer, van der, S., Siemerink, M., Reijers, H. A., Verhaegh, M. E. J. M., Ostertag, J. U., Neumann, H. A. M. & Krekels, G. A. M., 2013, In : Clinical and Experimental Dermatology. 38, 7, blz. 724-729

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (Scopus)

The impact of technical domain expertise on search behavior and task outcome

Kiseleva, Y., Montes Garcia, A., Kamps, J. & Spirin, N., 2015, In : arXiv. 1512.07051v1, blz. 1-6 1512.07051v1.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
36 Downloads (Pure)

The effects of process-oriented organizational design on firm performance

Kohlbacher, M. & Reijers, H. A., 2013, In : Business Process Management Journal. 19, 2, blz. 245-262 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

64 Citaten (Scopus)
1 Downloads (Pure)

The effectiveness of workflow management systems : a longitudinal study

Reijers, H. A., Vanderfeesten, I. T. P. & Aalst, van der, W. M. P., feb 2016, In : International Journal of Information Management. 36, 1, blz. 126-141

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)
8 Downloads (Pure)

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

22 Citaten (Scopus)
3 Downloads (Pure)

Tagging and the semantic web in cultural heritage

Sluijs, van der, K. A. M. & Houben, G. J. P. M., 2008, In : ERCIM News. 72, blz. 22-23

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

Synchronization and cancelation in workflows based on reset nets

Wynn, M. T., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Edmond, D., 2009, In : International Journal of Cooperative Information Systems. 18, 1, blz. 63-114

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

5 Citaten (Scopus)

Supervisory control service for supporting flexible processes

Santos, E. A. P., Francisco, R., Pesic, M. & Aalst, van der, W. M. P., 2013, In : Industrial Management & Data Systems. 113, 7, blz. 1007-1024 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
1 Downloads (Pure)

Summarizing clinical pathways from event logs

Huang, Z., Lu, X., Duan, H. & Fan, W., 2013, In : Journal of Biomedical Informatics. 46, 1, blz. 111-127

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
59 Citaten (Scopus)
191 Downloads (Pure)

Styles in business process modeling: an exploration and a model

Pinggera, J., Soffer, P., Fahland, D., Weidlich, M., Zugal, S., Weber, B., Reijers, H. A. & Mendling, J., 2015, In : Software and Systems Modeling. 14, 3, blz. 1055-1080

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
30 Citaten (Scopus)
11 Downloads (Pure)

Streamlining progress-based derivations of concurrent programs

Dongol, B. & Mooij, A. J., 2008, In : Formal Aspects of Computing. 20, 2, blz. 141-160

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)

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)

Stable multi-skill workforce assignments

Firat, M., Hurkens, C. A. J. & Laugier, A., 2014, In : Annals of Operations Research. 213, 1, blz. 95-114 20 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)
4 Downloads (Pure)

SPICA's multi-party negotiation protocol : implementation using YAWL

Baccarin, E., Madeira, E. R. M., Medeiros, C. B. & Aalst, van der, W. M. P., 2011, In : International Journal of Cooperative Information Systems. 20, 3, blz. 221-259

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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

Special Issue on Intelligent and Innovative Computing in Business Process Management

Bae, H., Kim, D., Liu, L. & Reijers, H. A., 2012, In : International Journal of Innovative Computing Information and Control. 8, 7B, blz. 5211-5215

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Downloads (Pure)

Sparse evolutionary deep learning with over one million artificial neurons on commodity hardware

Liu, S., Mocanu, D., Ramapuram Matavalam, A. R., Pei, Y. & Pechenizkiy, M., 26 jan 2019, In : arXiv. 14 blz., 1901.09181v1.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
13 Downloads (Pure)

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Sidorova, N., Stahl, C. & Trcka, N., 2011, In : Information Systems. 36, 7, blz. 1026-1043

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

45 Citaten (Scopus)
4 Downloads (Pure)

Soundness-preserving reduction rules for reset workflow nets

Wynn, M. T., Verbeek, H. M. W., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Edmond, D., 2009, In : Information Sciences. 179, 6, blz. 769-790 22 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

24 Citaten (Scopus)

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
231 Citaten (Scopus)
125 Downloads (Pure)

Soundness for resource-constrained workflow nets is decidable

Sidorova, N. & Stahl, C., 2013, In : IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43, 3, blz. 724-729

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)

Soft reliability : an interdisciplinary approach with a user-system focus

Koca, A., Funk, M., Karapanos, E., Rozinat, A., Aalst, van der, W. M. P., Corporaal, H., Martens, J. B. O. S., Putten, van der, P. H. A., Weijters, A. J. M. M. & Brombacher, A. C., 2009, In : Quality and Reliability Engineering International. 25, 1, blz. 3-20 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

11 Citaten (Scopus)
3 Downloads (Pure)