Soundness of workflow nets: classification, decidability, and analysis
van der Aalst, W. M. P., van Hee, K. M., ter Hofstede, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M., Wynn, M. T.
Published in Formal aspects of computing (01.05.2011)
Published in Formal aspects of computing (01.05.2011)
Get full text
Journal Article
Auto-SCT in refractory celiac disease type II patients unresponsive to cladribine therapy
TACK, G. J, WONDERGEM, M. J, MULDER, C. J. J, VISSER, O. J, AL-TOMA, A, VERBEEK, W. H. M, SCHMITTEL, A, MACHADO, M. V, PERRI, F, OSSENKOPPELE, G. J, HUIJGENS, P. C, SCHREURS, M. W. J
Published in Bone marrow transplantation (Basingstoke) (01.06.2011)
Published in Bone marrow transplantation (Basingstoke) (01.06.2011)
Get full text
Journal Article
The ProM Framework: A New Era in Process Mining Tool Support
van Dongen, B. F., de Medeiros, A. K. A., Verbeek, H. M. W., Weijters, A. J. M. M., van der Aalst, W. M. P.
Published in Applications and Theory of Petri Nets 2005 (2005)
Published in Applications and Theory of Petri Nets 2005 (2005)
Get full text
Book Chapter
Conference Proceeding
Discovering workflow nets using integer linear programming
van Zelst, S. J., van Dongen, B. F., van der Aalst, W. M. P., Verbeek, H. M. W.
Published in Computing (01.05.2018)
Published in Computing (01.05.2018)
Get full text
Journal Article
Coeliac disease-associated risk variants in TNFAIP3 and REL implicate altered NF-κB signalling
Trynka, G, Zhernakova, A, Romanos, J, Franke, L, Hunt, K A, Turner, G, Bruinenberg, M, Heap, G A, Platteel, M, Ryan, A W, de Kovel, C, Holmes, G K T, Howdle, P D, Walters, J R F, Sanders, D S, Mulder, C J J, Mearin, M L, Verbeek, W H M, Trimble, V, Stevens, F M, Kelleher, D, Barisani, D, Bardella, M T, McManus, R, van Heel, D A, Wijmenga, C
Published in Gut (01.08.2009)
Published in Gut (01.08.2009)
Get full text
Journal Article
Creation of a model to predict survival in patients with refractory coeliac disease using a multinational registry
Rubio‐Tapia, A., Malamut, G., Verbeek, W. H. M., Wanrooij, R. L. J., Leffler, D. A., Niveloni, S. I., Arguelles‐Grande, C., Lahr, B. D., Zinsmeister, A. R., Murray, J. A., Kelly, C. P., Bai, J. C., Green, P. H., Daum, S., Mulder, C. J. J., Cellier, C.
Published in Alimentary pharmacology & therapeutics (01.10.2016)
Published in Alimentary pharmacology & therapeutics (01.10.2016)
Get full text
Journal Article
Business process verification - finally a reality
Wynn, M.T, Verbeek, H.M.W, van der Aalst, W.M.P, ter Hofstede, A.H.M, Edmond, D
Published in Business process management journal (01.01.2009)
Published in Business process management journal (01.01.2009)
Get full text
Journal Article
Accurate classification of RCD requires flow cytometry
van Wanrooij, R L J, Schreurs, M W J, Bouma, G, von Blomberg, B M E, Tack, G J, Verbeek, W H M, Mulder, C J J
Published in Gut (01.12.2010)
Published in Gut (01.12.2010)
Get full text
Journal Article
Disappointing outcome of autologous stem cell transplantation for enteropathy-associated T-cell lymphoma
Al-toma, A, Verbeek, W.H.M, Visser, O.J, Kuijpers, K.C, Oudejans, J.J, Kluin-Nelemans, H.C, Mulder, C.J.J, Huijgens, P.C
Published in Digestive and liver disease (01.07.2007)
Published in Digestive and liver disease (01.07.2007)
Get full text
Journal Article
Faulty EPCs in the SAP Reference Model
Mendling, J., Moser, M., Neumann, G., Verbeek, H. M. W., van Dongen, B. F., van der Aalst, W. M. P.
Published in Business Process Management (2006)
Published in Business Process Management (2006)
Get full text
Book Chapter
Conference Proceeding
Aberrant T‐lymphocytes in refractory coeliac disease are not strictly confined to a small intestinal intraepithelial localization
Verbeek, W.H.M., von Blomberg, B.M.E., Coupe, V.M.H., Daum, S., Mulder, C.J.J., Schreurs, M.W.J.
Published in Cytometry. Part B, Clinical cytometry (01.11.2009)
Published in Cytometry. Part B, Clinical cytometry (01.11.2009)
Get full text
Journal Article
Life After BPEL?
van der Aalst, W. M. P., Dumas, M., ter Hofstede, A. H. M., Russell, N., Verbeek, H. M. W., Wohed, P.
Published in Formal Techniques for Computer Systems and Business Processes (2005)
Published in Formal Techniques for Computer Systems and Business Processes (2005)
Get full text
Book Chapter
Conference Proceeding
The Log Skeleton Visualizer in ProM 6.9
Verbeek, H. M. W
Published in International journal on software tools for technology transfer (01.08.2022)
Published in International journal on software tools for technology transfer (01.08.2022)
Get full text
Journal Article
Verification of EPCs: Using Reduction Rules and Petri Nets
van Dongen, B. F., van der Aalst, W. M. P., Verbeek, H. M. W.
Published in Advanced Information Systems Engineering (2005)
Published in Advanced Information Systems Engineering (2005)
Get full text
Book Chapter
Conference Proceeding