Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
publications:2013 [2015/08/19 14:34]
hverbeek
publications:2013 [2015/09/22 17:00] (current)
hverbeek
Line 11: Line 11:
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283229/>​Service mining : using process mining to discover, check, and improve service behavior</​a>​. <​em>​IEEE Transactions on Services Computing</​em>,​ <​em>​6</​em>​(4),​ 525-535. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000330615100008"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283229/>​Service mining : using process mining to discover, check, and improve service behavior</​a>​. <​em>​IEEE Transactions on Services Computing</​em>,​ <​em>​6</​em>​(4),​ 525-535. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000330615100008"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286149/>​Business process management: a comprehensive survey</​a>​. <​em>​ISRN Software Engineering</​em>,​ <​em>​2013</​em>,​ 507984/​1-37.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286149/>​Business process management: a comprehensive survey</​a>​. <​em>​ISRN Software Engineering</​em>,​ <​em>​2013</​em>,​ 507984/​1-37.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286243/>​Decomposing Petri nets for process mining : a generic approach</​a>​. <​em>​Distributed and Parallel Databases</​em>,​ <​em>​31</​em>​(4),​ 471-507. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000323351800001"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286243/>​Decomposing Petri nets for process mining : a generic approach</​a>​. <​em>​Distributed and Parallel Databases</​em>,​ <​em>​31</​em>​(4),​ 471-507. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000323351800001"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Adriansyah,​ A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20085763/>​Zannone,​ N.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​290806/>​Privacy analysis of user behavior using alignments</​a>​. <​em>​IT - Information Technology</​em>,​ <​em>​55</​em>​(6),​ 255-260.</​p>​+ <​p>​Adriansyah,​ A., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20085763/>​Zannone,​ N.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​290806/>​Privacy analysis of user behavior using alignments</​a>​. <​em>​IT - Information Technology</​em>,​ <​em>​55</​em>​(6),​ 255-260.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Adriansyah,​ A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20085763/>​Zannone,​ N.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​290807/>​Controlling break-the-glass through alignment</​a>​. <​em>​Science Journal</​em>,​ <​em>​2</​em>​(4),​ 198-212.</​p>​+ <​p>​Adriansyah,​ A., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20085763/>​Zannone,​ N.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​290807/>​Controlling break-the-glass through alignment</​a>​. <​em>​Science Journal</​em>,​ <​em>​2</​em>​(4),​ 198-212.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​276349/>​Simplifying discovered process models in a controlled manner</​a>​. <​em>​Information Systems</​em>,​ <​em>​38</​em>​(4),​ 585-605. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000316587900010"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​276349/>​Simplifying discovered process models in a controlled manner</​a>​. <​em>​Information Systems</​em>,​ <​em>​38</​em>​(4),​ 585-605. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000316587900010"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Geer,​ S. van der, Siemerink, M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Verhaegh, M.E.J.M., Ostertag, J.U., Neumann, H.A.M. & Krekels, G.A.M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288482/>​The incidence of skin cancer in dermatology</​a>​. <​em>​Clinical and Experimental Dermatology</​em>,​ <​em>​38</​em>​(7),​ 724-729. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000325090700006"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Geer,​ S. van der, Siemerink, M., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Verhaegh, M.E.J.M., Ostertag, J.U., Neumann, H.A.M. & Krekels, G.A.M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288482/>​The incidence of skin cancer in dermatology</​a>​. <​em>​Clinical and Experimental Dermatology</​em>,​ <​em>​38</​em>​(7),​ 724-729. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000325090700006"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Werf, J.M.E.M. van der (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283723/>​Refinement of synchronizable places with multi-workflow nets</​a>​. <​em>​Fundamenta Informaticae</​em>,​ <​em>​122</​em>​(1-2),​ 59-83. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000317266900004"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Werf, J.M.E.M. van der (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283723/>​Refinement of synchronizable places with multi-workflow nets</​a>​. <​em>​Fundamenta Informaticae</​em>,​ <​em>​122</​em>​(1-2),​ 59-83. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000317266900004"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
  <​li>​  <​li>​
- <​p>​Kohlbacher,​ M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291845/>​The effects of process-oriented organizational design on firm performance</​a>​. <​em>​Business Process Management Journal</​em>,​ <​em>​19</​em>​(2),​ 245-262.</​p>​+ <​p>​Kohlbacher,​ M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291845/>​The effects of process-oriented organizational design on firm performance</​a>​. <​em>​Business Process Management Journal</​em>,​ <​em>​19</​em>​(2),​ 245-262.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Wismeijer, D. & Genuchten, M.J.I.M. van (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285840/>​A process-oriented methodology for evaluating the impact of IT : a proposal and an application in healthcare</​a>​. <​em>​Information Systems</​em>,​ <​em>​38</​em>​(8),​ 1097-1115. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000326991300005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p><​a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Wismeijer, D. & Genuchten, M.J.I.M. van (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285840/>​A process-oriented methodology for evaluating the impact of IT : a proposal and an application in healthcare</​a>​. <​em>​Information Systems</​em>,​ <​em>​38</​em>​(8),​ 1097-1115. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000326991300005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Montali,​ M., Maggi, F.M., Chesani, F., Mello, P. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291892/>​Monitoring business constraints with the event calculus</​a>​. <​em>​ACM Transactions on Intelligent Systems and Technology</​em>,​ <​em>​5</​em>​(1):​17 <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000329159900017"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Montali,​ M., Maggi, F.M., Chesani, F., Mello, P. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291892/>​Monitoring business constraints with the event calculus</​a>​. <​em>​ACM Transactions on Intelligent Systems and Technology</​em>,​ <​em>​5</​em>​(1):​17 <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000329159900017"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Poelmans,​ S., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ & Recker, J. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286180/>​Investigating the success of operational business process management systems</​a>​. <​em>​Information Technology and Management</​em>,​ <​em>​14</​em>​(4),​ 295-314. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000327857600003"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Poelmans,​ S., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ & Recker, J. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286180/>​Investigating the success of operational business process management systems</​a>​. <​em>​Information Technology and Management</​em>,​ <​em>​14</​em>​(4),​ 295-314. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000327857600003"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Santos,​ E.A.P., Francisco, R., Pesic, M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287644/>​Supervisory control service for supporting flexible processes</​a>​. <​em>​Industrial Management & Data Systems</​em>,​ <​em>​113</​em>​(7),​ 1007-1024. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000323693400005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Santos,​ E.A.P., Francisco, R., Pesic, M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287644/>​Supervisory control service for supporting flexible processes</​a>​. <​em>​Industrial Management & Data Systems</​em>,​ <​em>​113</​em>​(7),​ 1007-1024. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000323693400005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Stahl, C. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283640/>​Soundness for resource-constrained workflow nets is decidable</​a>​. <​em>​IEEE Transactions on Systems, Man, and Cybernetics:​ Systems</​em>,​ <​em>​43</​em>​(3),​ 724-729. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000323495900020"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Stahl, C. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283640/>​Soundness for resource-constrained workflow nets is decidable</​a>​. <​em>​IEEE Transactions on Systems, Man, and Cybernetics:​ Systems</​em>,​ <​em>​43</​em>​(3),​ 724-729. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000323495900020"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Song,​ M.S., Yang, H., Siadat, S.H. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20062475/>​Pechenizkiy,​ M.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280468/>​A comparative study of dimensionality reduction techniques to enhance trace clustering performances</​a>​. <​em>​Expert Systems with Applications</​em>,​ <​em>​40</​em>​(9),​ 3722-3737. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000316581300036"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Song,​ M.S., Yang, H., Siadat, S.H. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20062475/>​Pechenizkiy,​ M.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280468/>​A comparative study of dimensionality reduction techniques to enhance trace clustering performances</​a>​. <​em>​Expert Systems with Applications</​em>,​ <​em>​40</​em>​(9),​ 3722-3737. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000316581300036"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
Line 82: Line 82:
   
  <​li>​  <​li>​
- <​p>​Dumas,​ M., La Rosa, M., Mendling, J. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286090/><​em>​Fundamentals of Business Process Management</​em></​a>​. Berlin: Springer.</​p>​+ <​p>​Dumas,​ M., La Rosa, M., Mendling, J. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286090/><​em>​Fundamentals of Business Process Management</​em></​a>​. Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 95: Line 95:
   
  <​li>​  <​li>​
- <​p>​Aa,​ J.H. van der, <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ & <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981390/>​Vanderfeesten,​ I.T.P.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285210/>​Composing workflow activities on the basis of data-flow structures</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>​ (pp. 275-282). Berlin: Springer.</​p>​+ <​p>​Aa,​ J.H. van der, <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981390/>​Vanderfeesten,​ I.T.P.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285210/>​Composing workflow activities on the basis of data-flow structures</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>​ (pp. 275-282). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Stahl, C. & Westergaard,​ M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286146/>​Strategies for modeling complex processes using colored Petri nets</​a>​. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny & K. Wolf (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em>​ (pp. 6-55). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Stahl, C. & Westergaard,​ M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286146/>​Strategies for modeling complex processes using colored Petri nets</​a>​. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny & K. Wolf (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em>​ (pp. 6-55). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286148/>​Discovering Petri nets from event logs</​a>​. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny & K. Wolf (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em>​ (pp. 372-422). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286148/>​Discovering Petri nets from event logs</​a>​. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny & K. Wolf (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em>​ (pp. 372-422). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Westergaard,​ M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287640/>​Beautiful workflows : a matter of taste?</​a>​. In P. Achten & P.W.M. Koopman (Eds.), <​em>​The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday</​em>​ (pp. 211-233). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Westergaard,​ M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287640/>​Beautiful workflows : a matter of taste?</​a>​. In P. Achten & P.W.M. Koopman (Eds.), <​em>​The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday</​em>​ (pp. 211-233). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291690/>​Reflections on a decade of interorganizational workflow research</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal contributions to information systems engineering : 25 Years of CAiSE</​em>​ (pp. 307-313). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291690/>​Reflections on a decade of interorganizational workflow research</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal contributions to information systems engineering : 25 Years of CAiSE</​em>​ (pp. 307-313). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291691/>​The P2P approach to interorganizational workflows</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE</​em>​ (pp. 289-305). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291691/>​The P2P approach to interorganizational workflows</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE</​em>​ (pp. 289-305). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20061406/>​Dijkman,​ R.M.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>,​ Dumas, M., García-Bañuelos,​ L., Kunze, M., Leopold, H., Mendling, J., Uba, R., Weidlich, M., Weske, M.H. & Yan, Z. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​289337/>​A short survey on process model similarity</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE</​em>​ (pp. 421-428). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20061406/>​Dijkman,​ R.M.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>,​ Dumas, M., García-Bañuelos,​ L., Kunze, M., Leopold, H., Mendling, J., Uba, R., Weidlich, M., Weske, M.H. & Yan, Z. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​289337/>​A short survey on process model similarity</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE</​em>​ (pp. 421-428). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>,​ <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20061406/>​Dijkman,​ R.M.</​a>​ & Mendling, J. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​289338/>​Measuring similarity between business process models</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal Contributions to Information Systems Engineering : 25 years of CAiSE</​em>​ (pp. 405-420). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20061406/>​Dijkman,​ R.M.</​a>​ & Mendling, J. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​289338/>​Measuring similarity between business process models</​a>​. In J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland & A. Sølvberg (Eds.), <​em>​Seminal Contributions to Information Systems Engineering : 25 years of CAiSE</​em>​ (pp. 405-420). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Werf, J.M.E.M. van der (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286147/>​Business process modeling using Petri nets</​a>​. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny & K. Wolf (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em>​ (pp. 116-161). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Werf, J.M.E.M. van der (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286147/>​Business process modeling using Petri nets</​a>​. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny & K. Wolf (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em>​ (pp. 116-161). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Werf, J.M.E.M. van der (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286927/>​When can we trust a third party?</​a>​. In M. Koutny, W.M.P. van der Aalst & A. Yakovlev (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VIII</​em>​ (pp. 106-122). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Werf, J.M.E.M. van der (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286927/>​When can we trust a third party?</​a>​. In M. Koutny, W.M.P. van der Aalst & A. Yakovlev (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VIII</​em>​ (pp. 106-122). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Maggi,​ F.M., Mooij, A.J. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283242/>​Analyzing vessel behavior using process mining (Chapter 9)</​a>​. In P. van de Laar, J. Tretmans & M. Borth (Eds.), <​em>​Situation Awareness with Systems of Systems</​em>​ (pp. 133-148). New York: Springer.</​p>​+ <​p>​Maggi,​ F.M., Mooij, A.J. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283242/>​Analyzing vessel behavior using process mining (Chapter 9)</​a>​. In P. van de Laar, J. Tretmans & M. Borth (Eds.), <​em>​Situation Awareness with Systems of Systems</​em>​ (pp. 133-148). New York: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20021429/>​Vanwersch,​ R.J.B.</​a>​ & Moleman, A.J. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280589/>​Process mining in healthcare : data challenges when answering frequently posed questions</​a>​. In R. Lenz, S. Miksch, M. Peleg, M. Reichert, D. Riaño & A. ten Teije (Eds.), <​em>​Process Support and Knowledge Representation in Health Care (BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers)</​em>​ (pp. 140-153). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20021429/>​Vanwersch,​ R.J.B.</​a>​ & Moleman, A.J. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280589/>​Process mining in healthcare : data challenges when answering frequently posed questions</​a>​. In R. Lenz, S. Miksch, M. Peleg, M. Reichert, D. Riaño & A. ten Teije (Eds.), <​em>​Process Support and Knowledge Representation in Health Care (BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers)</​em>​ (pp. 140-153). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Mooij,​ A.J. & Voorhoeve, M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283243/>​Specification and generation of adapters for system integration (Chapter 11)</​a>​. In P. van de Laar, J. Tretmans & M. Borth (Eds.), <​em>​Situation Awareness with Systems of Systems</​em>​ (pp. 173-187). New York: Springer.</​p>​+ <​p>​Mooij,​ A.J. & Voorhoeve, M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283243/>​Specification and generation of adapters for system integration (Chapter 11)</​a>​. In P. van de Laar, J. Tretmans & M. Borth (Eds.), <​em>​Situation Awareness with Systems of Systems</​em>​ (pp. 173-187). New York: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Pika,​ A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Fidge, C.J., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ & Wynn, M.T. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285124/>​Profiling event logs to configure risk indicators for process delays</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>​ (pp. 465-481). Berlin: Springer.</​p>​+ <​p>​Pika,​ A., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Fidge, C.J., <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ & Wynn, M.T. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285124/>​Profiling event logs to configure risk indicators for process delays</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>​ (pp. 465-481). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286928/>​Grade/​CPN : a tool and temporal logic for testing colored Petri net models in teaching</​a>​. In M. Koutny, W.M.P. van der Aalst & A. Yakovlev (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VIII</​em>​ (pp. 180-202). Berlin: Springer.</​p>​+ <​p>​Westergaard,​ M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286928/>​Grade/​CPN : a tool and temporal logic for testing colored Petri net models in teaching</​a>​. In M. Koutny, W.M.P. van der Aalst & A. Yakovlev (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VIII</​em>​ (pp. 180-202). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Wynn,​ M.T., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Adams, M., Ouyang, C., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Rosemann, M. & Hoque, Z. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287855/>​Cost-informed operational process support</​a>​. In W. Ng, V.C. Storey & J. Trujillo (Eds.), <​em>​Conceptual Modeling (32nd International Conference, ER 2013, Hong Kong, November 11-13, 2013. Proceedings)</​em>​ (pp. 174-181). Berlin: Springer.</​p>​+ <​p>​Wynn,​ M.T., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Adams, M., Ouyang, C., <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Rosemann, M. & Hoque, Z. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287855/>​Cost-informed operational process support</​a>​. In W. Ng, V.C. Storey & J. Trujillo (Eds.), <​em>​Conceptual Modeling (32nd International Conference, ER 2013, Hong Kong, November 11-13, 2013. Proceedings)</​em>​ (pp. 174-181). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 170: Line 170:
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286041/>​Challenges in service mining : record, check, discover</​a>​. In F. Daniel, P. Dolog & Q. Li (Eds.), <​em>​Web Engineering (13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7977, pp. 1-4</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286041/>​Challenges in service mining : record, check, discover</​a>​. In F. Daniel, P. Dolog & Q. Li (Eds.), <​em>​Web Engineering (13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7977, pp. 1-4</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288006/>​Mediating between modeled and observed behavior : the quest for the "​right"​ process</​a>​. In R. Wieringa, S. Nurcan, C. Rolland & J.-L. Cavarero (Eds.), Conference Paper : <​em>​7th International Conference on Research Challenges in Information Science (RCIS 2013, Paris, France, May 29-31, 2013)</​em>,​ (<​em>​pp. 1-12</​em>​). Piscataway: IEEE.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288006/>​Mediating between modeled and observed behavior : the quest for the "​right"​ process</​a>​. In R. Wieringa, S. Nurcan, C. Rolland & J.-L. Cavarero (Eds.), Conference Paper : <​em>​7th International Conference on Research Challenges in Information Science (RCIS 2013, Paris, France, May 29-31, 2013)</​em>,​ (<​em>​pp. 1-12</​em>​). Piscataway: IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​289893/>​A general divide and conquer approach for process mining</​a>​. In M. Ganzha, L. Maciaszek & M. Paprzycki (Eds.), Conference Paper : <​em>​2013 Federated Conference on Computer Science and Information Systems (FedCSIS, September 8-11, 2013, Kraków, Poland)</​em>,​ (<​em>​pp. 1-10</​em>​). IEEE Computer Society Press.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​289893/>​A general divide and conquer approach for process mining</​a>​. In M. Ganzha, L. Maciaszek & M. Paprzycki (Eds.), Conference Paper : <​em>​2013 Federated Conference on Computer Science and Information Systems (FedCSIS, September 8-11, 2013, Kraków, Poland)</​em>,​ (<​em>​pp. 1-10</​em>​). IEEE Computer Society Press.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291695/>​Desire lines in big data : using event data for process discovery and conformance checking</​a>​. In J. Becker & M. Matzner (Eds.), Conference Paper : <​em>​Promoting Business Process Management Excellence in Russia (PropelleR 2012, German-Russian Innovation Forum, Moscow, Russia, April 24-26, 2012)</​em>,​ (<​em>​ERCIS Working Papers, 15, pp. 23-30</​em>​). Münster: European Research Center for Information Systems.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291695/>​Desire lines in big data : using event data for process discovery and conformance checking</​a>​. In J. Becker & M. Matzner (Eds.), Conference Paper : <​em>​Promoting Business Process Management Excellence in Russia (PropelleR 2012, German-Russian Innovation Forum, Moscow, Russia, April 24-26, 2012)</​em>,​ (<​em>​ERCIS Working Papers, 15, pp. 23-30</​em>​). Münster: European Research Center for Information Systems.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Adriansyah,​ A., Munoz-Gama, J., Carmona, J., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​279607/>​Alignment based precision checking</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 137-149</​em>​). Springer.</​p>​+ <​p>​Adriansyah,​ A., Munoz-Gama, J., Carmona, J., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​279607/>​Alignment based precision checking</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 137-149</​em>​). Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Adriansyah,​ A. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​279610/>​Mining process performance from event logs</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 217-218</​em>​). Springer.</​p>​+ <​p>​Adriansyah,​ A. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​279610/>​Mining process performance from event logs</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 217-218</​em>​). Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Adriansyah,​ A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20085763/>​Zannone,​ N.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​290808/>​Controlling break-the-glass through alignment</​a>​. Conference Paper : <​em>​Proceedings of the 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013, Washington DC, USA, September 8-14, 2013)</​em>,​ (<​em>​pp. 606-611</​em>​). Piscataway: IEEE.</​p>​+ <​p>​Adriansyah,​ A., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20085763/>​Zannone,​ N.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​290808/>​Controlling break-the-glass through alignment</​a>​. Conference Paper : <​em>​Proceedings of the 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013, Washington DC, USA, September 8-14, 2013)</​em>,​ (<​em>​pp. 606-611</​em>​). Piscataway: IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Arkilic,​ I.G., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ & Goverde, R.R.H.M.J. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280985/>​How good is an AS-IS model really?</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 89-100</​em>​). Berlin: Springer.</​p>​+ <​p>​Arkilic,​ I.G., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ & Goverde, R.R.H.M.J. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280985/>​How good is an AS-IS model really?</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 89-100</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Jagadeesh Chandra Bose, R.P., Maggi, F.M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285205/>​Enhancing Declare maps based on event correlations</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 97-112</​em>​). Berlin: Springer.</​p>​+ <​p>​Jagadeesh Chandra Bose, R.P., Maggi, F.M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285205/>​Enhancing Declare maps based on event correlations</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 97-112</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Jagadeesh Chandra Bose, R.P., <a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288201/>​Wanna improve process mining results? : it’s high time we consider data quality issues seriously</​a>​. Conference Paper : <​em>​2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM'​13,​ Singapore, April 16-19, 2013)</​em>,​ (<​em>​pp. 127-134</​em>​). Piscataway: IEEE.</​p>​+ <​p>​Jagadeesh Chandra Bose, R.P., <a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288201/>​Wanna improve process mining results? : it’s high time we consider data quality issues seriously</​a>​. Conference Paper : <​em>​2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM'​13,​ Singapore, April 16-19, 2013)</​em>,​ (<​em>​pp. 127-134</​em>​). Piscataway: IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Jagadeesh Chandra Bose, R.P. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280996/>​Process mining applied to the BPI Challenge 2012 : divide and conquer while discerning resources</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 221-222</​em>​). Berlin: Springer.</​p>​+ <​p>​Jagadeesh Chandra Bose, R.P. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280996/>​Process mining applied to the BPI Challenge 2012 : divide and conquer while discerning resources</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 221-222</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Jagadeesh Chandra Bose, R.P. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​289024/>​Discovering signature patterns from event logs</​a>​. Conference Paper : <​em>​Proceedings of the 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM'​13,​ Singapore, April 16-19, 2013)</​em>,​ (<​em>​pp. 111-118</​em>​). IEEE.</​p>​+ <​p>​Jagadeesh Chandra Bose, R.P. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​289024/>​Discovering signature patterns from event logs</​a>​. Conference Paper : <​em>​Proceedings of the 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM'​13,​ Singapore, April 16-19, 2013)</​em>,​ (<​em>​pp. 111-118</​em>​). IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Bui,​ T.V., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19930497/>​Verhoeven,​ P.H.F.M.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19910405/>​Lukkien,​ J.J.</​a>​ & Kocielnik, R.D. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​290709/>​A trust evaluation framework for sensor readings in body area sensor networks</​a>​. Conference Paper : <​em>​Proceedings of the 8th International Conference on Body Area Networks (BodyNets'​13,​ Boston MA, USA, September 30-October 2, 2013)</​em>,​ (<​em>​pp. 495-501</​em>​). Brussels: ICST.</​p>​+ <​p>​Bui,​ T.V., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19930497/>​Verhoeven,​ P.H.F.M.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19910405/>​Lukkien,​ J.J.</​a>​ & Kocielnik, R.D. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​290709/>​A trust evaluation framework for sensor readings in body area sensor networks</​a>​. Conference Paper : <​em>​Proceedings of the 8th International Conference on Body Area Networks (BodyNets'​13,​ Boston MA, USA, September 30-October 2, 2013)</​em>,​ (<​em>​pp. 495-501</​em>​). Brussels: ICST.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​273686/>​On the role of fitness, precision, generalization and simplicity in process discovery</​a>​. In R. Meersman (Ed.), <​em>​On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences:​ CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings,​ Part I)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7565, pp. 305-322</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​273686/>​On the role of fitness, precision, generalization and simplicity in process discovery</​a>​. In R. Meersman (Ed.), <​em>​On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences:​ CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings,​ Part I)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7565, pp. 305-322</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285204/>​Mining configurable process models from collections of event logs</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 33-48</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285204/>​Mining configurable process models from collections of event logs</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 33-48</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>,​ La Rosa, M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​289041/>​Improving business process models using observed behavior</​a>​. In P. Cudre-Mauroux,​ P. Ceravolo & D. Gasevic (Eds.), Conference Paper : <​em>​Data-driven process discovery and analysis : Second IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2012, Campione d’Italia, Italy, June 18-20, 2012 : Revised Selected Papers</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 162, pp. 44-59</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20020361/>​Buijs,​ J.C.A.M.</​a>,​ La Rosa, M., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​289041/>​Improving business process models using observed behavior</​a>​. In P. Cudre-Mauroux,​ P. Ceravolo & D. Gasevic (Eds.), Conference Paper : <​em>​Data-driven process discovery and analysis : Second IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2012, Campione d’Italia, Italy, June 18-20, 2012 : Revised Selected Papers</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 162, pp. 44-59</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20120835/>​Claes,​ J.</​a>,​ <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981390/>​Vanderfeesten,​ I.T.P.</​a>,​ Pinggera, J., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Weber, B. & Poels, G. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​281000/>​Visualizing the process of process modeling with PPMCharts</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 744-755</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20120835/>​Claes,​ J.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981390/>​Vanderfeesten,​ I.T.P.</​a>,​ Pinggera, J., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Weber, B. & Poels, G. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​281000/>​Visualizing the process of process modeling with PPMCharts</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 744-755</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Conforti,​ R., La Rosa, M., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ Fortino, G., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Adams, M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284881/>​A software framework for risk-aware business process management</​a>​. In R. Deneckère & H.A. Proper (Eds.), <​em>​Proceedings of the CAiSE'​13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE, Valencia, Spain, June 20, 2013))</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 998, pp. 130-137</​em>​). CEUR-WS.org.</​p>​+ <​p>​Conforti,​ R., La Rosa, M., <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ Fortino, G., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Adams, M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284881/>​A software framework for risk-aware business process management</​a>​. In R. Deneckère & H.A. Proper (Eds.), <​em>​Proceedings of the CAiSE'​13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE, Valencia, Spain, June 20, 2013))</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 998, pp. 130-137</​em>​). CEUR-WS.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Conforti,​ R., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ La Rosa, M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285120/>​Supporting risk-informed decisions during business process execution</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 116-132</​em>​). Berlin: Springer.</​p>​+ <​p>​Conforti,​ R., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ La Rosa, M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285120/>​Supporting risk-informed decisions during business process execution</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 116-132</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Engel,​ R., Jagadeesh Chandra Bose, R.P., Pichler, C., Zapletal, M. & Werthner, H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284882/>​EDIminer : a toolset for process mining from EDI messages</​a>​. In R. Deneckère & H.A. Proper (Eds.), Conference Paper : <​em>​Proceedings of the CAiSE'​13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE, Valencia, Spain, June 20, 2013))</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 998, pp. 146-153</​em>​). CEUR-WS.org.</​p>​+ <​p>​Engel,​ R., Jagadeesh Chandra Bose, R.P., Pichler, C., Zapletal, M. & Werthner, H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284882/>​EDIminer : a toolset for process mining from EDI messages</​a>​. In R. Deneckère & H.A. Proper (Eds.), Conference Paper : <​em>​Proceedings of the CAiSE'​13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE, Valencia, Spain, June 20, 2013))</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 998, pp. 146-153</​em>​). CEUR-WS.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Kantor, A. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284747/>​Synthesizing decentralized components from a variant of live sequence charts</​a>​. In S. Hammoudi, L. Ferreira Pires, J. Filipe & R.C. das Neves (Eds.), Conference Paper : <​em>​1st International Conference on Model-Driven Engineering and Software Development (Modelsward 2013, Barcelona, Spain, February 19-21, 2013)</​em>,​ (<​em>​pp. 25-38</​em>​). SciTePress.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Kantor, A. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284747/>​Synthesizing decentralized components from a variant of live sequence charts</​a>​. In S. Hammoudi, L. Ferreira Pires, J. Filipe & R.C. das Neves (Eds.), Conference Paper : <​em>​1st International Conference on Model-Driven Engineering and Software Development (Modelsward 2013, Barcelona, Spain, February 19-21, 2013)</​em>,​ (<​em>​pp. 25-38</​em>​). SciTePress.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Gierds, C. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285122/>​Analyzing and completing middleware designs for enterprise integration using coloured Petri nets</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 400-416</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Gierds, C. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285122/>​Analyzing and completing middleware designs for enterprise integration using coloured Petri nets</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 400-416</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>,​ Lo, D. & Maoz, S. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291491/>​Mining branching-time scenarios</​a>​. Conference Paper : <​em>​2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE, Silicon Valley CA, USA, November 11-15, 2013)</​em>,​ (<​em>​pp. 443-453</​em>​). IEEE.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>,​ Lo, D. & Maoz, S. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291491/>​Mining branching-time scenarios</​a>​. Conference Paper : <​em>​2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE, Silicon Valley CA, USA, November 11-15, 2013)</​em>,​ (<​em>​pp. 443-453</​em>​). IEEE.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Fernández-Ropero,​ M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Pérez-Castillo,​ R. & Piattini, M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286183/>​Repairing business process models as retrieved from source code</​a>​. In S. Nurcan, H.A. Proper, P. Soffer, J. Krogstie, R. Schmidt, T. Halpin & I. Bider (Eds.), Conference Paper : <​em>​Enterprise,​ Business-Process and Information Systems Modeling (14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 147, pp. 94-108</​em>​). Berlin: Springer.</​p>​+ <​p>​Fernández-Ropero,​ M., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Pérez-Castillo,​ R. & Piattini, M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286183/>​Repairing business process models as retrieved from source code</​a>​. In S. Nurcan, H.A. Proper, P. Soffer, J. Krogstie, R. Schmidt, T. Halpin & I. Bider (Eds.), Conference Paper : <​em>​Enterprise,​ Business-Process and Information Systems Modeling (14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 147, pp. 94-108</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Grando,​ M.A., Schonenberg,​ M.H. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285867/>​Semantic-based conformance checking of computer interpretable medical guidelines</​a>​. In A. Fred, J. Filipe & H. Gamboa (Eds.), Conference Paper : <​em>​Biomedical Engineering Systems and Technologies (4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers)</​em>,​ (<​em>​Communications in Computer and Information Science, 273, pp. 285-300</​em>​). Berlin: Springer.</​p>​+ <​p>​Grando,​ M.A., Schonenberg,​ M.H. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285867/>​Semantic-based conformance checking of computer interpretable medical guidelines</​a>​. In A. Fred, J. Filipe & H. Gamboa (Eds.), Conference Paper : <​em>​Biomedical Engineering Systems and Technologies (4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers)</​em>,​ (<​em>​Communications in Computer and Information Science, 273, pp. 285-300</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285101/>​The right timing : reflections on the modeling and analysis of time</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 1-20</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285101/>​The right timing : reflections on the modeling and analysis of time</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 1-20</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Kocielnik,​ R.D., Maggi, F.M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287094/>​Enabling self-reflection with LifelogExplorer : generating simple views from complex data</​a>​. Conference Paper : <​em>​7th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2013, Venice, Italy, May 5-8, 2013)</​em>,​ (<​em>​pp. 184-191</​em>​). IEEE.</​p>​+ <​p>​Kocielnik,​ R.D., Maggi, F.M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287094/>​Enabling self-reflection with LifelogExplorer : generating simple views from complex data</​a>​. Conference Paper : <​em>​7th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2013, Venice, Italy, May 5-8, 2013)</​em>,​ (<​em>​pp. 184-191</​em>​). IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Kocielnik,​ R.D., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>,​ Maggi, F.M., Ouwerkerk, M. & <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20130287/>​Westerink,​ J.H.D.M.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288854/>​Smart technologies for long-term stress monitoring at work</​a>​. Conference Paper : <​em>​Proceedings of the 26th IEEE Conference on Computer-Based Medical Systems (CBMS'​13,​ Porto, Portugal, June 20-22, 2013)</​em>,​ (<​em>​pp. 53-58</​em>​). IEEE Computer Society.</​p>​+ <​p>​Kocielnik,​ R.D., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>,​ Maggi, F.M., Ouwerkerk, M. & <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20130287/>​Westerink,​ J.H.D.M.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288854/>​Smart technologies for long-term stress monitoring at work</​a>​. Conference Paper : <​em>​Proceedings of the 26th IEEE Conference on Computer-Based Medical Systems (CBMS'​13,​ Porto, Portugal, June 20-22, 2013)</​em>,​ (<​em>​pp. 53-58</​em>​). IEEE Computer Society.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060375/>​Leemans,​ S.J.J.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282765/>​Discovering block-structured process models from event logs : a constructive approach</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 311-329</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060375/>​Leemans,​ S.J.J.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282765/>​Discovering block-structured process models from event logs : a constructive approach</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 311-329</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ Dumas, M. & García-Bañuelos,​ L. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280066/>​Discovering branching conditions from business process execution logs</​a>​. In V. Cortellessa & D. Varro (Eds.), Conference Paper : <​em>​Fundamental Approaches to Software Engineering (16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7793, pp. 114-129</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ Dumas, M. & García-Bañuelos,​ L. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280066/>​Discovering branching conditions from business process execution logs</​a>​. In V. Cortellessa & D. Varro (Eds.), Conference Paper : <​em>​Fundamental Approaches to Software Engineering (16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7793, pp. 114-129</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284528/>​Data-aware process mining : discovering decisions in processes using alignments</​a>​. Conference Paper : <​em>​28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)</​em>,​ (<​em>​pp. 1454-1461</​em>​). New York NY: ACM.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284528/>​Data-aware process mining : discovering decisions in processes using alignments</​a>​. Conference Paper : <​em>​28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)</​em>,​ (<​em>​pp. 1454-1461</​em>​). New York NY: ACM.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285202/>​Aligning event logs and process models for multi-perspective conformance checking : an approach based on integer linear programming</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 113-129</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285202/>​Aligning event logs and process models for multi-perspective conformance checking : an approach based on integer linear programming</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 113-129</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Ly,​ L.T., Maggi, F.M., Montali, M., Rinderle-Ma,​ S. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291699/>​A framework for the systematic comparison and evaluation of compliance monitoring approaches</​a>​. Conference Paper : <​em>​17th IEEE International Enterprise Distributed Object Computing Conference (EDOC'​13,​ Vancouver BC, Canada, September 9-13, 2013)</​em>,​ (<​em>​pp. 7-16</​em>​). IEEE.</​p>​+ <​p>​Ly,​ L.T., Maggi, F.M., Montali, M., Rinderle-Ma,​ S. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291699/>​A framework for the systematic comparison and evaluation of compliance monitoring approaches</​a>​. Conference Paper : <​em>​17th IEEE International Enterprise Distributed Object Computing Conference (EDOC'​13,​ Vancouver BC, Canada, September 9-13, 2013)</​em>,​ (<​em>​pp. 7-16</​em>​). IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Maggi,​ F.M., Jagadeesh Chandra Bose, R.P. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285123/>​A knowledge-based integrated approach for discovering and repairing declare maps</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 433-448</​em>​). Berlin: Springer.</​p>​+ <​p>​Maggi,​ F.M., Jagadeesh Chandra Bose, R.P. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285123/>​A knowledge-based integrated approach for discovering and repairing declare maps</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 433-448</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284883/>​Supporting the workflow management system development process with YAWL</​a>​. In T. Freytag, A. Hense, A. ter Hofstede & J. Mendling (Eds.), Conference Paper : <​em>​Proceedings of the First YAWL Symposium (Sankt Augustin, Germany, June 7, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 982, pp. 33-40</​em>​). CEUR-WS.org.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284883/>​Supporting the workflow management system development process with YAWL</​a>​. In T. Freytag, A. Hense, A. ter Hofstede & J. Mendling (Eds.), Conference Paper : <​em>​Proceedings of the First YAWL Symposium (Sankt Augustin, Germany, June 7, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 982, pp. 33-40</​em>​). CEUR-WS.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Berends, H., Bandara, W. & Prince, R. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​470933/>​Business process mining success</​a>​. <​em>​21st European Conference on Information Systems (ECIS 2013, Utrecht, The Netherlands,​ June 5-8, 2013)</​em>,​ (<​em>​pp. 102-1/​13</​em>​). S.L.: AIS Electronic Library.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Berends, H., Bandara, W. & Prince, R. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​470933/>​Business process mining success</​a>​. <​em>​21st European Conference on Information Systems (ECIS 2013, Utrecht, The Netherlands,​ June 5-8, 2013)</​em>,​ (<​em>​pp. 102-1/​13</​em>​). S.L.: AIS Electronic Library.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Meyer,​ A., Pufahl, L., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285207/>​Modeling and enacting complex data dependencies in business processes</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 171-186</​em>​). Berlin: Springer.</​p>​+ <​p>​Meyer,​ A., Pufahl, L., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285207/>​Modeling and enacting complex data dependencies in business processes</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 171-186</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Meyer,​ A., Pufahl, L., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287084/>​Enacting complex data dependencies from activity-centric business process models</​a>​. In M.C. Fauvet & B.F. van Dongen (Eds.), Conference Paper : <​em>​BPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 1021, pp. 1-5</​em>​). Aachen: CEUR-ws.org.</​p>​+ <​p>​Meyer,​ A., Pufahl, L., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287084/>​Enacting complex data dependencies from activity-centric business process models</​a>​. In M.C. Fauvet & B.F. van Dongen (Eds.), Conference Paper : <​em>​BPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 1021, pp. 1-5</​em>​). Aachen: CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Montali,​ M., Chesani, F., Mello, P. & Maggi, F.M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284529/>​Towards data-aware constraints in Declare</​a>​. Conference Paper : <​em>​28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)</​em>,​ (<​em>​pp. 1391-1396</​em>​). New York NY: ACM.</​p>​+ <​p>​Montali,​ M., Chesani, F., Mello, P. & Maggi, F.M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284529/>​Towards data-aware constraints in Declare</​a>​. Conference Paper : <​em>​28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)</​em>,​ (<​em>​pp. 1391-1396</​em>​). New York NY: ACM.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Muller,​ R., Stahl, C., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Westergaard,​ M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287862/>​Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations</​a>​. In S. Basu, C. Pautasso, L. Zhang & X. Fu (Eds.), Conference Paper : <​em>​Service-Oriented Computing (11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8274, pp. 358-373</​em>​). Berlin: Springer.</​p>​+ <​p>​Muller,​ R., Stahl, C., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Westergaard,​ M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287862/>​Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations</​a>​. In S. Basu, C. Pautasso, L. Zhang & X. Fu (Eds.), Conference Paper : <​em>​Service-Oriented Computing (11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8274, pp. 358-373</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Munoz-Gama,​ J., Carmona, J. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282728/>​Hierarchical conformance checking of process models based on event logs</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 291-310</​em>​). Berlin: Springer.</​p>​+ <​p>​Munoz-Gama,​ J., Carmona, J. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282728/>​Hierarchical conformance checking of process models based on event logs</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 291-310</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
  <​li>​  <​li>​
- <​p>​Muller,​ R., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Stahl, C. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284160/>​Conformance checking of services using the best matching private view</​a>​. In M.H. ter Beek & N. Lohmann (Eds.), Conference Paper : <​em>​Web Services and Formal Methods (9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7843, pp. 49-68</​em>​). Berlin: Springer.</​p>​+ <​p>​Muller,​ R., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Stahl, C. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284160/>​Conformance checking of services using the best matching private view</​a>​. In M.H. ter Beek & N. Lohmann (Eds.), Conference Paper : <​em>​Web Services and Formal Methods (9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7843, pp. 49-68</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Munoz-Gama,​ J., Carmona, J. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285203/>​Conformance checking in the large : partitioning and topology</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 130-145</​em>​). Berlin: Springer.</​p>​+ <​p>​Munoz-Gama,​ J., Carmona, J. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285203/>​Conformance checking in the large : partitioning and topology</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 130-145</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Nooijen,​ E.H.J., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280998/>​Automatic discovery of data-centric and artifact-centric processes</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 316-327</​em>​). Berlin: Springer.</​p>​+ <​p>​Nooijen,​ E.H.J., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280998/>​Automatic discovery of data-centric and artifact-centric processes</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 316-327</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Pika,​ A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Fidge, C.J., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ & Wynn, M.T. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280994/>​Predicting deadline transgressions using event logs</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 211-216</​em>​). Berlin: Springer.</​p>​+ <​p>​Pika,​ A., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Fidge, C.J., <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ & Wynn, M.T. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280994/>​Predicting deadline transgressions using event logs</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 211-216</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20125630/>​Ramezani,​ E.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285121/>​Diagnostic information for compliance checking of temporal compliance requirements</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 304-320</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20125630/>​Ramezani,​ E.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285121/>​Diagnostic information for compliance checking of temporal compliance requirements</​a>​. In C. Salinesi, M.C. Norrie & O. Pastor (Eds.), <​em>​Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7908, pp. 304-320</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20125630/>​Ramezani,​ E.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Stahl, C. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288484/>​Interval soundness of resource-constrained workflow nets : decidability and repair</​a>​. In F. Arbab & M. Sirjani (Eds.), Conference Paper : <​em>​Fundamentals of Software Engineering (5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8161, pp. 150-167</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20125630/>​Ramezani,​ E.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & Stahl, C. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288484/>​Interval soundness of resource-constrained workflow nets : decidability and repair</​a>​. In F. Arbab & M. Sirjani (Eds.), Conference Paper : <​em>​Fundamentals of Software Engineering (5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8161, pp. 150-167</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Slaats, T. & Stahl, C. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285206/>​Declarative modeling: an academic dream or the future for BPM?</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 307-322</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Slaats, T. & Stahl, C. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285206/>​Declarative modeling: an academic dream or the future for BPM?</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 307-322</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Rogge-Solti,​ A., <a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288162/>​Repairing event logs using timed process models</​a>​. In Y.T. Demey & H. Panetto (Eds.), Conference Paper : <​em>​On the Move to Meaningful Internet Systems: OTM 2013 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings</​em>,​ (<​em>​Lecture Notes in Computer Science, 8186, pp. 705-708</​em>​). Berlin: Springer.</​p>​+ <​p>​Rogge-Solti,​ A., <a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288162/>​Repairing event logs using timed process models</​a>​. In Y.T. Demey & H. Panetto (Eds.), Conference Paper : <​em>​On the Move to Meaningful Internet Systems: OTM 2013 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings</​em>,​ (<​em>​Lecture Notes in Computer Science, 8186, pp. 705-708</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Rogge-Solti,​ A., <a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291687/>​Improving documentation by repairing event logs</​a>​. In J. Grabis, M. Kirikova, J. Zdravkovic & J. Stirna (Eds.), Conference Paper : <​em>​The Practice of Enterprise Modeling (6th IFIP WG 8.1 Working Conference, PoEM 2013, Riga, Latvia, November 6-7, 2013, Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 165, pp. 129-144</​em>​). Berlin: Springer.</​p>​+ <​p>​Rogge-Solti,​ A., <a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291687/>​Improving documentation by repairing event logs</​a>​. In J. Grabis, M. Kirikova, J. Zdravkovic & J. Stirna (Eds.), Conference Paper : <​em>​The Practice of Enterprise Modeling (6th IFIP WG 8.1 Working Conference, PoEM 2013, Riga, Latvia, November 6-7, 2013, Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 165, pp. 129-144</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060590/>​Schunselaar,​ D.M.M.</​a>,​ Maggi, F.M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​274154/>​Configurable declare : designing customisable flexible models</​a>​. In R. Meersman (Ed.), <​em>​On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences:​ CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings,​ Part I)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7565, pp. 20-37</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060590/>​Schunselaar,​ D.M.M.</​a>,​ Maggi, F.M., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​274154/>​Configurable declare : designing customisable flexible models</​a>​. In R. Meersman (Ed.), <​em>​On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences:​ CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings,​ Part I)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7565, pp. 20-37</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060590/>​Schunselaar,​ D.M.M.</​a>,​ Avoort, T.F. van der, <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​284884/>​YAWL in the cloud</​a>​. In T. Freytag, A. Hense, A. ter Hofstede & J. Mendling (Eds.), Conference Paper : <​em>​Proceedings of the First YAWL Symposium (Sankt Augustin, Germany, June 7, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 982, pp. 41-48</​em>​). CEUR-WS.org.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060590/>​Schunselaar,​ D.M.M.</​a>,​ Avoort, T.F. van der, <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​284884/>​YAWL in the cloud</​a>​. In T. Freytag, A. Hense, A. ter Hofstede & J. Mendling (Eds.), Conference Paper : <​em>​Proceedings of the First YAWL Symposium (Sankt Augustin, Germany, June 7, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 982, pp. 41-48</​em>​). CEUR-WS.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060590/>​Schunselaar,​ D.M.M.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291694/>​A framework for efficiently deciding language inclusion for sound unlabelled WF-nets</​a>​. In D. Moldt & H. Rölke (Eds.), Conference Paper : <​em>​International Workshop on Petri Nets and Software Engineering (PNSE'​13,​ Milano, Italy, June 24-25, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 989, pp. 135-154</​em>​). CEUR-ws.org.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060590/>​Schunselaar,​ D.M.M.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291694/>​A framework for efficiently deciding language inclusion for sound unlabelled WF-nets</​a>​. In D. Moldt & H. Rölke (Eds.), Conference Paper : <​em>​International Workshop on Petri Nets and Software Engineering (PNSE'​13,​ Milano, Italy, June 24-25, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 989, pp. 135-154</​em>​). CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Suriadi,​ S., Ouyang, C., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280990/>​Root cause analysis with enriched process logs</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 174-186</​em>​). Berlin: Springer.</​p>​+ <​p>​Suriadi,​ S., Ouyang, C., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280990/>​Root cause analysis with enriched process logs</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 174-186</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280991/>​An experimental evaluation of passage-based process discovery</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 205-210</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280991/>​An experimental evaluation of passage-based process discovery</​a>​. In M. La Rosa & P. Soffer (Eds.), <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 205-210</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280997/>​BPI Challenge 2012 : the transition system case</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 225-226</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280997/>​BPI Challenge 2012 : the transition system case</​a>​. In M. La Rosa & P. Soffer (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 132, pp. 225-226</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291693/>​Decomposing replay problems : a case study</​a>​. In D. Moldt & H. Rölke (Eds.), Conference Paper : <​em>​International Workshop on Petri Nets and Software Engineering (PNSE'​13,​ Milano, Italy, June 24-25, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 989, pp. 219-235</​em>​). CEUR-ws.org.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291693/>​Decomposing replay problems : a case study</​a>​. In D. Moldt & H. Rölke (Eds.), Conference Paper : <​em>​International Workshop on Petri Nets and Software Engineering (PNSE'​13,​ Milano, Italy, June 24-25, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 989, pp. 219-235</​em>​). CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Vogler,​ W., Stahl, C. & Muller, R. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​408189/>​Trace- and failure-based semantics for responsiveness</​a>​. In C. Canal & M. Villari (Eds.), Conference Paper : <​em>​Advances in Service-Oriented and Cloud Computing (Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers)</​em>,​ (<​em>​Communications in Computer and Information Science, 393, pp. 129-143</​em>​). Berlin: Springer.</​p>​+ <​p>​Vogler,​ W., Stahl, C. & Muller, R. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​408189/>​Trace- and failure-based semantics for responsiveness</​a>​. In C. Canal & M. Villari (Eds.), Conference Paper : <​em>​Advances in Service-Oriented and Cloud Computing (Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers)</​em>,​ (<​em>​Communications in Computer and Information Science, 393, pp. 129-143</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Werf,​ J.M.E.M. van der, <a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291692/>​Mining declarative models using time intervals</​a>​. In D. Moldt (Ed.), Conference Paper : <​em>​International Workshop on Modeling and Business Environments (ModBE'​13,​ Milano, Italy, June 24, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 989, pp. 313-331</​em>​). CEUR-ws.org.</​p>​+ <​p>​Werf,​ J.M.E.M. van der, <a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291692/>​Mining declarative models using time intervals</​a>​. In D. Moldt (Ed.), Conference Paper : <​em>​International Workshop on Modeling and Business Environments (ModBE'​13,​ Milano, Italy, June 24, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 989, pp. 313-331</​em>​). CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & Maggi, F.M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​273687/>​Looking into the future : using timed automata to provide a priori advice about timed declarative process models</​a>​. In R. Meersman (Ed.), Conference Paper : <​em>​On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences:​ CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings,​ Part I)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7565, pp. 250-267</​em>​). Berlin: Springer.</​p>​+ <​p>​Westergaard,​ M. & Maggi, F.M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​273687/>​Looking into the future : using timed automata to provide a priori advice about timed declarative process models</​a>​. In R. Meersman (Ed.), Conference Paper : <​em>​On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences:​ CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings,​ Part I)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7565, pp. 250-267</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282729/>​CPN Tools 4 : multi-formalism and extensibility</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 400-409</​em>​). Berlin: Springer.</​p>​+ <​p>​Westergaard,​ M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282729/>​CPN Tools 4 : multi-formalism and extensibility</​a>​. In J.M. Colom & J. Desel (Eds.), Conference Paper : <​em>​Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7927, pp. 400-409</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & Slaats, T. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285209/>​Mixing paradigms for more comprehensible models</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 283-290</​em>​). Berlin: Springer.</​p>​+ <​p>​Westergaard,​ M. & Slaats, T. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285209/>​Mixing paradigms for more comprehensible models</​a>​. In F. Daniel, J. Wang & B. Weber (Eds.), Conference Paper : <​em>​Business Process Management (11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 8094, pp. 283-290</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & Slaats, T. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287083/>​CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms</​a>​. In M.C. Fauvet & B.F. van Dongen (Eds.), Conference Paper : <​em>​BPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 1021, pp. 1-5</​em>​). Aachen: CEUR-ws.org.</​p>​+ <​p>​Westergaard,​ M. & Slaats, T. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287083/>​CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms</​a>​. In M.C. Fauvet & B.F. van Dongen (Eds.), Conference Paper : <​em>​BPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 1021, pp. 1-5</​em>​). Aachen: CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & Stahl, C. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287087/>​Leveraging super-scalarity and parallelism to provide fast Declare mining without restrictions</​a>​. In M.C. Fauvet & B.F. van Dongen (Eds.), Conference Paper : <​em>​BPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 1021, pp. 1-5</​em>​). Aachen: CEUR-ws.org.</​p>​+ <​p>​Westergaard,​ M. & Stahl, C. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287087/>​Leveraging super-scalarity and parallelism to provide fast Declare mining without restrictions</​a>​. In M.C. Fauvet & B.F. van Dongen (Eds.), Conference Paper : <​em>​BPM Demo Sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 1021, pp. 1-5</​em>​). Aachen: CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
Line 440: Line 440:
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​292264/>"​Mine your own business"​ : using process mining to turn big data into real value</​a>​. Conference Paper : <​em>​21st European Conference on Information Systems (ECIS 2013, Utrecht, The Netherlands,​ June 5-8, 2013)</​em>,​ (<​em>​pp. 1-9</​em>​). S.l.: AIS Electronic Library.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​292264/>"​Mine your own business"​ : using process mining to turn big data into real value</​a>​. Conference Paper : <​em>​21st European Conference on Information Systems (ECIS 2013, Utrecht, The Netherlands,​ June 5-8, 2013)</​em>,​ (<​em>​pp. 1-9</​em>​). S.l.: AIS Electronic Library.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291493/>​Software engineering and business process management: Interpretatio,​ imitatio, aemulatio (Extended abstract)</​a>​. In M. Brambilla, I. Vanderfeesten & D. Fahland (Eds.), Conference Paper : <​em>​2013 IEEE 1st International Workshop on Communicating Business Process and Software: Models Quality, Understandability,​ and Maintainability (CPSM, Eindhoven, The Netherlands,​ September 23, 2013)</​em>,​ (<​em>​pp. 1-1</​em>​). Piscataway NJ: IEEE.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291493/>​Software engineering and business process management: Interpretatio,​ imitatio, aemulatio (Extended abstract)</​a>​. In M. Brambilla, I. Vanderfeesten & D. Fahland (Eds.), Conference Paper : <​em>​2013 IEEE 1st International Workshop on Communicating Business Process and Software: Models Quality, Understandability,​ and Maintainability (CPSM, Eindhoven, The Netherlands,​ September 23, 2013)</​em>,​ (<​em>​pp. 1-1</​em>​). Piscataway NJ: IEEE.</​p>​
  </​li>​  </​li>​
   
Line 458: Line 458:
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287725/><​em>​Process cubes : slicing, dicing, rolling up and drilling down event data for process mining</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-23). BPMcenter.org,​ 23 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287725/><​em>​Process cubes : slicing, dicing, rolling up and drilling down event data for process mining</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-23). BPMcenter.org,​ 23 pp.</​p>​
  </​li>​  </​li>​
   
Line 468: Line 468:
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285138/><​em>​Business process simulation survival guide</​em></​a>​. (External Report, ​ BPM Center Reports, No. BPM-13-11). BPMcenter.org,​ 34 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285138/><​em>​Business process simulation survival guide</​em></​a>​. (External Report, ​ BPM Center Reports, No. BPM-13-11). BPMcenter.org,​ 34 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287722/><​em>"​Mine your own business"​ : using process mining to turn big data into real value</​em></​a>​. (External Report, ​ BPM Center Report, No. BMP-13-20). BPMcenter.org,​ 9 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287722/><​em>"​Mine your own business"​ : using process mining to turn big data into real value</​em></​a>​. (External Report, ​ BPM Center Report, No. BMP-13-20). BPMcenter.org,​ 9 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287723/><​em>​Mediating between modeled and observed behavior : the quest for the "​right"​ process</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-21). BPMcenter.org,​ 12 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287723/><​em>​Mediating between modeled and observed behavior : the quest for the "​right"​ process</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-21). BPMcenter.org,​ 12 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287724/><​em>​A general divide and conquer approach for process mining</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-22). BPMcenter.org,​ 10 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287724/><​em>​A general divide and conquer approach for process mining</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-22). BPMcenter.org,​ 10 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Adriansyah,​ A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280903/><​em>​Memory-efficient alignment of observed and modeled behavior</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-03). BPMcenter.org,​ 44 pp.</​p>​+ <​p>​Adriansyah,​ A., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280903/><​em>​Memory-efficient alignment of observed and modeled behavior</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-03). BPMcenter.org,​ 44 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mechanical-engineering/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20072062/>​Bera,​ D.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283129/><​em>​Discrete timed Petri nets</​em></​a>​. (External Report, ​ Computer Science Report, No. 13-03). Eindhoven: Technische Universiteit Eindhoven.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mechanical-engineering/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20072062/>​Bera,​ D.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283129/><​em>​Discrete timed Petri nets</​em></​a>​. (External Report, ​ Computer Science Report, No. 13-03). Eindhoven: Technische Universiteit Eindhoven.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Jagadeesh Chandra Bose, R.P., <a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280745/><​em>​Wanna improve process mining results? : it’s high time we consider data quality issues seriously</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-02). BPMcenter.org,​ 28 pp.</​p>​+ <​p>​Jagadeesh Chandra Bose, R.P., <a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280745/><​em>​Wanna improve process mining results? : it’s high time we consider data quality issues seriously</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-02). BPMcenter.org,​ 28 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Jagadeesh Chandra Bose, R.P., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Zliobaite, I. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20062475/>​Pechenizkiy,​ M.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285140/><​em>​Dealing with concept drifts in process mining : a case study in a Dutch municipality</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-13). BPMcenter.org,​ 23 pp.</​p>​+ <​p>​Jagadeesh Chandra Bose, R.P., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Zliobaite, I. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20062475/>​Pechenizkiy,​ M.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285140/><​em>​Dealing with concept drifts in process mining : a case study in a Dutch municipality</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-13). BPMcenter.org,​ 23 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060375/>​Leemans,​ S.J.J.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283130/><​em>​Discovering block-structured process models from event logs : a constructive approach</​em></​a>​. (External Report, ​ BPM Center Report, No. 13-06). BPMcenter.org,​ 25 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20060375/>​Leemans,​ S.J.J.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283130/><​em>​Discovering block-structured process models from event logs : a constructive approach</​em></​a>​. (External Report, ​ BPM Center Report, No. 13-06). BPMcenter.org,​ 25 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282780/><​em>​Aligning event logs and process models for multi-perspective conformance checking : an approach based on integer linear programming</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-05). BPMcenter.org,​ 18 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282780/><​em>​Aligning event logs and process models for multi-perspective conformance checking : an approach based on integer linear programming</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-05). BPMcenter.org,​ 18 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Wismeijer, D. & Genuchten, M.J.I.M. van (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285135/><​em>​A process-oriented methodology for evaluating the impact of IT : a proposal and an application in healthcare</​em></​a>​. ( BPM Center Report, No. BPM-13-08). BPMcenter.org,​ 48 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Wismeijer, D. & Genuchten, M.J.I.M. van (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285135/><​em>​A process-oriented methodology for evaluating the impact of IT : a proposal and an application in healthcare</​em></​a>​. ( BPM Center Report, No. BPM-13-08). BPMcenter.org,​ 48 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Meyer,​ A., Pufahl, L., Batoulis, K., Kruse, S., Lindhauer, T., Stoff, T., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​290154/><​em>​Data perspective in process choreographies : modeling and execution</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-29). BPMcenter.org,​ 34 pp.</​p>​+ <​p>​Meyer,​ A., Pufahl, L., Batoulis, K., Kruse, S., Lindhauer, T., Stoff, T., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​290154/><​em>​Data perspective in process choreographies : modeling and execution</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-29). BPMcenter.org,​ 34 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Meyer,​ A., Pufahl, L., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291495/><​em>​Modeling and enacting complex data dependencies in business processes</​em></​a>​. (External Report, ​ Technische Berichte, No. 74). Potsdam: Hasso-Plattner-Institut für Softwaresysteemtechnik an der Universität Potsdam, 40 pp.</​p>​+ <​p>​Meyer,​ A., Pufahl, L., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Weske, M.H. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291495/><​em>​Modeling and enacting complex data dependencies in business processes</​em></​a>​. (External Report, ​ Technische Berichte, No. 74). Potsdam: Hasso-Plattner-Institut für Softwaresysteemtechnik an der Universität Potsdam, 40 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Muller,​ R., Stahl, C., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Westergaard,​ M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285139/><​em>​Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-12). BPMcenter.org,​ 26 pp.</​p>​+ <​p>​Muller,​ R., Stahl, C., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Westergaard,​ M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285139/><​em>​Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-12). BPMcenter.org,​ 26 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Muller,​ R., Stahl, C. & Vogler, W. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287721/><​em>​Undecidability of accordance for open systems with unbounded message queues</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-19). BPMcenter.org,​ 7 pp.</​p>​+ <​p>​Muller,​ R., Stahl, C. & Vogler, W. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287721/><​em>​Undecidability of accordance for open systems with unbounded message queues</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-19). BPMcenter.org,​ 7 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Munoz-Gama,​ J., Carmona, J. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285137/><​em>​Conformance checking in the large : partitioning and topology</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-10). BPMcenter.org,​ 16 pp.</​p>​+ <​p>​Munoz-Gama,​ J., Carmona, J. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285137/><​em>​Conformance checking in the large : partitioning and topology</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-10). BPMcenter.org,​ 16 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Popova,​ V., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Dumas, M. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282784/><​em>​Artifact lifecycle discovery</​em></​a>​. (External Report, ​ arXiv.org, No. 1303.2554 [cs.SE]), 27 pp.</​p>​+ <​p>​Popova,​ V., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ & Dumas, M. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282784/><​em>​Artifact lifecycle discovery</​em></​a>​. (External Report, ​ arXiv.org, No. 1303.2554 [cs.SE]), 27 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​La Rosa, M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Dumas, M. & Milani, F.P. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287059/><​em>​Business process variability modeling : a survey</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-16). BPMcenter.org,​ 51 pp.</​p>​+ <​p>​La Rosa, M., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Dumas, M. & Milani, F.P. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287059/><​em>​Business process variability modeling : a survey</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-16). BPMcenter.org,​ 51 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​285136/><​em>​Decomposing replay problems : a case study</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-09). BPMcenter.org,​ 20 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​285136/><​em>​Decomposing replay problems : a case study</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-09). BPMcenter.org,​ 20 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Vogler,​ W., Stahl, C. & Muller, R. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286925/><​em>​Trace- and failure-based semantics for responsiveness</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-14). BPMcenter.org,​ 77 pp.</​p>​+ <​p>​Vogler,​ W., Stahl, C. & Muller, R. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286925/><​em>​Trace- and failure-based semantics for responsiveness</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-14). BPMcenter.org,​ 77 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288912/><​em>​Efficient implementation of simulation of prioritized transitions for high-level Petri nets</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-24). BPMcenter.org,​ 20 pp.</​p>​+ <​p>​Westergaard,​ M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288912/><​em>​Efficient implementation of simulation of prioritized transitions for high-level Petri nets</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-24). BPMcenter.org,​ 20 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288913/><​em>​KeyValueSets : event logs revisited</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-25). BPMcenter.org.</​p>​+ <​p>​Westergaard,​ M. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288913/><​em>​KeyValueSets : event logs revisited</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-25). BPMcenter.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M., Stahl, C. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​289920/><​em>​UnconstrainedMiner : efficient discovery of generalized declarative process models</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-28). BPMcenter.org,​ 28 pp.</​p>​+ <​p>​Westergaard,​ M., Stahl, C. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​289920/><​em>​UnconstrainedMiner : efficient discovery of generalized declarative process models</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-28). BPMcenter.org,​ 28 pp.</​p>​
  </​li>​  </​li>​
   
Line 573: Line 573:
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ Suriadi, S., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286926/><​em>​Turning event logs into process movies : animating what has really happened</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-15). BPMcenter.org,​ 14 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ Suriadi, S., <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286926/><​em>​Turning event logs into process movies : animating what has really happened</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-15). BPMcenter.org,​ 14 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20021429/>​Vanwersch,​ R.J.B.</​a>​ (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288914/><​em>​Process mining in healthcare : opportunities beyond the ordinary</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-26). BPMcenter.org,​ 52 pp.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20021429/>​Vanwersch,​ R.J.B.</​a>​ (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288914/><​em>​Process mining in healthcare : opportunities beyond the ordinary</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-26). BPMcenter.org,​ 52 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Wynn,​ M.T., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Adams, M., Ouyang, C., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Rosemann, M. & Hoque, Z. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282431/><​em>​Cost-informed operational process support</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-04). BPMcenter.org,​ 14 pp.</​p>​+ <​p>​Wynn,​ M.T., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Adams, M., Ouyang, C., <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Rosemann, M. & Hoque, Z. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282431/><​em>​Cost-informed operational process support</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-13-04). BPMcenter.org,​ 14 pp.</​p>​
  </​li>​  </​li>​
   
Line 597: Line 597:
   
  <​li>​  <​li>​
- <​p>​Brambilla,​ M., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981390/>​Vanderfeesten,​ I.T.P.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ (Eds.). (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​291492/><​em>​2013 IEEE 1st International Workshop on Communicating Business Process and Software Models : quality, understandability,​ and maintainability (CPSM), September 23, 2013,  Eindhoven, The Netherlands)</​em></​a>​. Piscataway NJ: IEEE.</​p>​+ <​p>​Brambilla,​ M., <a href=https://​www.tue.nl/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981390/>​Vanderfeesten,​ I.T.P.</​a>​ & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ (Eds.). (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​291492/><​em>​2013 IEEE 1st International Workshop on Communicating Business Process and Software Models : quality, understandability,​ and maintainability (CPSM), September 23, 2013,  Eindhoven, The Netherlands)</​em></​a>​. Piscataway NJ: IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>,​ Weber, B., Ferreira, D.R. & De Weerdt, J. (Eds.). (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288500/><​em>​Proceedings of the 3rd Business Process Intelligence Challenge (co-located with 9th International Business Process Intelligence Workshop, BPI 2013, Beijing, China, August 26, 2013)</​em></​a>​. Aachen: CEUR-ws.org.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>,​ Weber, B., Ferreira, D.R. & De Weerdt, J. (Eds.). (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288500/><​em>​Proceedings of the 3rd Business Process Intelligence Challenge (co-located with 9th International Business Process Intelligence Workshop, BPI 2013, Beijing, China, August 26, 2013)</​em></​a>​. Aachen: CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Fauvet,​ M.C. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ (Eds.). (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287082/><​em>​Proceedings of the BPM Demo sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em></​a>​. Aachen: CEUR-ws.org,​ 40 pp.</​p>​+ <​p>​Fauvet,​ M.C. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ (Eds.). (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287082/><​em>​Proceedings of the BPM Demo sessions 2013 (Co-located with 11th International Conference on Business Process Management, BPM2013, Beijing, China, August 26-30, 2013)</​em></​a>​. Aachen: CEUR-ws.org,​ 40 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Jensen,​ K., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Balbo, G., Koutny, M. & Wolf, K. (Eds.). (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​283872/><​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em></​a>​. Berlin: Springer.</​p>​+ <​p>​Jensen,​ K., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>,​ Balbo, G., Koutny, M. & Wolf, K. (Eds.). (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​283872/><​em>​Transactions on Petri Nets and Other Models of Concurrency VII</​em></​a>​. Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Koutny,​ M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Yakovlev, A. (Eds.). (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286150/><​em>​Transactions on Petri Nets and Other Models of Concurrency VIII</​em></​a>​. Berlin: Springer.</​p>​+ <​p>​Koutny,​ M., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Yakovlev, A. (Eds.). (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286150/><​em>​Transactions on Petri Nets and Other Models of Concurrency VIII</​em></​a>​. Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 632: Line 632:
   
  <​li>​  <​li>​
- <​p>​Nakatumba,​ J. (2013). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​287680/>​Resource-aware business process management : analysis and support</​a>​. Eindhoven: Technische Universiteit Eindhoven. ((Co-)promot.:​ prof.dr.ir. W.M.P. van der Aalst, dr. M. Westergaard & J.A. Quinn).</​p>​+ <​p>​Nakatumba,​ J. (2013). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​287680/>​Resource-aware business process management : analysis and support</​a>​. Eindhoven: Technische Universiteit Eindhoven. ((Co-)promot.:​ prof.dr.ir. W.M.P. van der Aalst, dr. M. Westergaard & J.A. Quinn).</​p>​
  </​li>​  </​li>​
   
  </​ul>​  </​ul>​
 </​html> ​ </​html> ​