Onderzoeksoutput

Filter
Tijdschriftartikel
2014

Quality dimensions in process discovery : the importance of fitness, precision, generalization and simplicity

Buijs, J. C. A. M., Dongen, van, B. F. & Aalst, van der, W. M. P., 2014, In : International Journal of Cooperative Information Systems. 23, 1, blz. 1440001/1-39 39 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

51 Citaten (Scopus)
23 Downloads (Pure)

Simplifying process model abstraction : techniques for generating model names

Leopold, H., Mendling, J., Reijers, H. A. & La Rosa, M., 2014, In : Information Systems. 39, 1, blz. 134-151 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

17 Citaten (Scopus)

Single-entry single-exit decomposed conformance checking

Munoz-Gama, J., Carmona, J. & Aalst, van der, W. M. P., 2014, In : Information Systems. 46, blz. 102-122 21 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

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

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

21 Citaten (Scopus)
3 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

76 Citaten (Scopus)
4 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)
69 Downloads (Pure)

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
255 Citaten (Scopus)
522 Downloads (Pure)

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)

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

A process-oriented methodology for evaluating the impact of IT : a proposal and an application in healthcare

Mans, R. S., Reijers, H. A., Wismeijer, D. & Genuchten, van, M. J. I. M., 2013, In : Information Systems. 38, 8, blz. 1097-1115 19 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

17 Citaten (Scopus)
2 Downloads (Pure)

Business process management: a comprehensive survey

Aalst, van der, W. M. P., 2013, In : ISRN Software Engineering. 2013, 37 blz., 507984.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
96 Downloads (Pure)

Controlling break-the-glass through alignment

Adriansyah, A., Dongen, van, B. F. & Zannone, N., 2013, In : Advanced Science Express. 2, 4, blz. 198-212 15 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
109 Downloads (Pure)

Decomposing Petri nets for process mining : a generic approach

Aalst, van der, W. M. P., 2013, In : Distributed and Parallel Databases. 31, 4, blz. 471-507 37 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

107 Citaten (Scopus)
4 Downloads (Pure)

Dihydropyrroloindoledione-based copolymers for organic electronics

Rumer, JW., Dai, SY., Levick, M., Young Kim, Y., Madec, MB., Ashraf, R. S., Huang, Z., Rossbauer, S., Schroeder, B., Biniek, L., Watkins, S. E., Anthopoulos, T. D., Janssen, R. A. J., Durrant, J. R., Procter, DJ. & McCulloch, I., 2013, In : Journal of Materials Chemistry C. 1, 15, blz. 2711-2716

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

18 Citaten (Scopus)
1 Downloads (Pure)

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Hwong, Y. L., Keiren, J. J. A., Kusters, V. J. J., Leemans, S. J. J. & Willemse, T. A. C., 2013, In : Science of Computer Programming. 78, 12, blz. 2435-2452 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)
1 Downloads (Pure)

Investigating the success of operational business process management systems

Poelmans, S., Reijers, H. A. & Recker, J., 2013, In : Information Technology and Management. 14, 4, blz. 295-314 20 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

17 Citaten (Scopus)

Latent treatment pattern discovery for clinical processes

Huang, Z., Lu, X. & Duan, H., 2013, In : Journal of Medical Systems. 37, 2, blz. 9915-1/10

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
32 Citaten (Scopus)
142 Downloads (Pure)

Monitoring business constraints with the event calculus

Montali, M., Maggi, F. M., Chesani, F., Mello, P. & Aalst, van der, W. M. P., 2013, In : ACM Transactions on Intelligent Systems and Technology. 5, 1, blz. 17-1/30 30 blz., 17.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

80 Citaten (Scopus)
1 Downloads (Pure)

Privacy analysis of user behavior using alignments

Adriansyah, A., Dongen, van, B. F. & Zannone, N., 2013, In : IT - Information Technology. 55, 6, blz. 255-260 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
73 Downloads (Pure)

Refinement of synchronizable places with multi-workflow nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, In : Fundamenta Informaticae. 122, 1-2, blz. 59-83

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)

Service mining : using process mining to discover, check, and improve service behavior

Aalst, van der, W. M. P., 2013, In : IEEE Transactions on Services Computing. 6, 4, blz. 525-535 11 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

43 Citaten (Scopus)
11 Downloads (Pure)

Simplifying discovered process models in a controlled manner

Fahland, D. & Aalst, van der, W. M. P., 2013, In : Information Systems. 38, 4, blz. 585-605 21 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

35 Citaten (Scopus)
2 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)

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
58 Citaten (Scopus)
177 Downloads (Pure)

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)

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

61 Citaten (Scopus)
1 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)
2012

A trace-based service semantics guaranteeing deadlock freedom

Stahl, C. & Vogler, W., 2012, In : Acta Informatica. 49, 2, blz. 69-103

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)

Branching bisimulation congruence for probabilistic systems

Andova, S., Georgievska, S. & Trcka, N., 2012, In : Theoretical Computer Science. 413, 1, blz. 58-72

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)
3 Downloads (Pure)

Ensuring correctness during process configuration via partner synthesis

Aalst, van der, W. M. P., Lohmann, N. & La Rosa, M., 2012, In : Information Systems. 37, 6, blz. 574-592

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

33 Citaten (Scopus)

Lightweight interacting patient treatment processes

Mans, R. S., Aalst, van der, W. M. P., Russell, N. C., Bakker, P. J. M. & Moleman, A. J., 2012, In : International Journal of Knowledge-Based Organizations. 2, 4, blz. 1-19

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
78 Downloads (Pure)
2 Downloads (Pure)

On predicting the results of applying workflow management in a healthcare context

Chermin, B., Frey, I. A., Reijers, H. A. & Smeets, H. J., 2012, In : International Journal of Knowledge-Based Organizations. 2, 4, blz. 20-34

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Pattern-based analysis of computer-interpretable guidelines : don't forget the context (Letter to the Editor)

Peleg, M., Mulyar, N. A. & Aalst, van der, W. M. P., 2012, In : Artificial Intelligence in Medicine. 54, 1, blz. 73-74

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)

Process diagnostics using trace alignment : opportunities, issues, and challenges

Jagadeesh Chandra Bose, R. P. & Aalst, van der, W. M. P., 2012, In : Information Systems. 37, 2, blz. 117-141

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

67 Citaten (Scopus)
7 Downloads (Pure)

Process mining

Accorsi, R., Ulrich, M. & Aalst, van der, W. M. P., 2012, In : Informatik-Spektrum. 35, 6, blz. 354-359 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)
6 Downloads (Pure)

Process mining

Aalst, van der, W. M. P., 2012, In : Communications of the ACM. 55, 8, blz. 76-83

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

39 Citaten (Scopus)
3 Downloads (Pure)

Process mining : come estrarre conoscenza dai log dei sistemi informativi orientati ai processi

Aalst, van der, W. M. P., Burattin, A., Leoni, de, M., Guzzo, A., Maggi, F. M. & Montali, M., 2012, In : Mondo Digitale. 11, 43, blz. 1-18

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

Process mining : overview and opportunities

Aalst, van der, W. M. P., 2012, In : ACM Transactions on Management Information Systems. 3, 2, blz. 1-17 7.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

147 Citaten (Scopus)
13 Downloads (Pure)

Process mining put into context

Aalst, van der, W. M. P. & Dustdar, S., 2012, In : IEEE Internet Computing. 16, 1, blz. 82-86

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

65 Citaten (Scopus)

Reducing adapter synthesis to controller synthesis

Gierds, C., Mooij, A. J. & Wolf, K., 2012, In : IEEE Transactions on Services Computing. 5, 1, blz. 72-85

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

41 Citaten (Scopus)

Replaying history on process models for conformance checking and performance analysis

Aalst, van der, W. M. P., Adriansyah, A. & Dongen, van, B. F., 2012, In : Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery. 2, 2, blz. 182-192

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

352 Citaten (Scopus)
8 Downloads (Pure)

ROME4U - A service-oriented process-aware information system for mobile devices

Russo, A., Mecella, M. & Leoni, de, M., 2012, In : Software : Practice and Experience. 42, 10, blz. 1275-1314

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)

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)

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)

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

10 Citaten (Scopus)
1 Downloads (Pure)

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)
55 Downloads (Pure)
2011

A business process mining application for internal transaction fraud mitigation

Jans, M., Werf, van der, J. M. E. M., Lybaert, N. & Vanhoof, K., 2011, In : Expert Systems with Applications. 38, 10, blz. 13351-13359

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

73 Citaten (Scopus)
3 Downloads (Pure)

Analysis on demand : instantaneous soundness checking of industrial business process models

Fahland, D., Favre, C., Koehler, J., Lohmann, N., Völzer, H. & Wolf, K., 2011, In : Data & Knowledge Engineering. 70, 5, blz. 448-466 19 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

110 Citaten (Scopus)
1 Downloads (Pure)