Differences

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

Link to this comparison view

Both sides previous revision Previous revision
publications:2012 [2015/08/19 14:36]
hverbeek
publications:2012 [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>,​ Lohmann, N. & La Rosa, M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​256613/>​Ensuring correctness during process configuration via partner synthesis</​a>​. <​em>​Information Systems</​em>,​ <​em>​37</​em>​(6),​ 574-592. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000302048800005"​ 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>,​ Lohmann, N. & La Rosa, M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​256613/>​Ensuring correctness during process configuration via partner synthesis</​a>​. <​em>​Information Systems</​em>,​ <​em>​37</​em>​(6),​ 574-592. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000302048800005"​ 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>​ & Dustdar, S. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​261913/>​Process mining put into context</​a>​. <​em>​IEEE Internet Computing</​em>,​ <​em>​16</​em>​(1),​ 82-86. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000298762600013"​ 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>​ & Dustdar, S. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​261913/>​Process mining put into context</​a>​. <​em>​IEEE Internet Computing</​em>,​ <​em>​16</​em>​(1),​ 82-86. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000298762600013"​ 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>​ & <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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​265094/>​Workflow patterns put into context</​a>​. <​em>​Software and Systems Modeling</​em>,​ <​em>​11</​em>​(3),​ 319-323. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000305750600003"​ 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>​ & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​265094/>​Workflow patterns put into context</​a>​. <​em>​Software and Systems Modeling</​em>,​ <​em>​11</​em>​(3),​ 319-323. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000305750600003"​ 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>,​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267705/>​Replaying history on process models for conformance checking and performance analysis</​a>​. <​em>​WIREs Data Mining and Knowledge Discovery</​em>,​ <​em>​2</​em>​(2),​ 182-192. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000304260400007"​ 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>,​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267705/>​Replaying history on process models for conformance checking and performance analysis</​a>​. <​em>​WIREs Data Mining and Knowledge Discovery</​em>,​ <​em>​2</​em>​(2),​ 182-192. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000304260400007"​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272803/>​What makes a good process model? Lessons learned from process mining</​a>​. <​em>​Software and Systems Modeling</​em>,​ <​em>​11</​em>​(4),​ 557-569. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000310087500009"​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272803/>​What makes a good process model? Lessons learned from process mining</​a>​. <​em>​Software and Systems Modeling</​em>,​ <​em>​11</​em>​(4),​ 557-569. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000310087500009"​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272804/>​Process mining</​a>​. <​em>​Communications of the ACM</​em>,​ <​em>​55</​em>​(8),​ 76-83. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000307216600023"​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272804/>​Process mining</​a>​. <​em>​Communications of the ACM</​em>,​ <​em>​55</​em>​(8),​ 76-83. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000307216600023"​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​274974/>​Process mining : overview and opportunities</​a>​. <​em>​ACM Transactions on Management Information Systems</​em>,​ <​em>​3</​em>​(2):​7</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​274974/>​Process mining : overview and opportunities</​a>​. <​em>​ACM Transactions on Management Information Systems</​em>,​ <​em>​3</​em>​(2):​7</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Accorsi,​ R., Ulrich, 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​276339/>​Process mining</​a>​. <​em>​Informatik-Spektrum</​em>,​ <​em>​35</​em>​(6),​ 354-359.</​p>​+ <​p>​Accorsi,​ R., Ulrich, 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​276339/>​Process mining</​a>​. <​em>​Informatik-Spektrum</​em>,​ <​em>​35</​em>​(6),​ 354-359.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Andova,​ S., Georgievska,​ S. & Trcka, N. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​255558/>​Branching bisimulation congruence for probabilistic systems</​a>​. <​em>​Theoretical Computer Science</​em>,​ <​em>​413</​em>​(1),​ 58-72. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000298529200005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Andova,​ S., Georgievska,​ S. & Trcka, N. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​255558/>​Branching bisimulation congruence for probabilistic systems</​a>​. <​em>​Theoretical Computer Science</​em>,​ <​em>​413</​em>​(1),​ 58-72. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000298529200005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​256260/>​Process diagnostics using trace alignment : opportunities,​ issues, and challenges</​a>​. <​em>​Information Systems</​em>,​ <​em>​37</​em>​(2),​ 117-141. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000297390400004"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​256260/>​Process diagnostics using trace alignment : opportunities,​ issues, and challenges</​a>​. <​em>​Information Systems</​em>,​ <​em>​37</​em>​(2),​ 117-141. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000297390400004"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Chermin,​ B., Frey, I.A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>​ & Smeets, H.J. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278933/>​On predicting the results of applying workflow management in a healthcare context</​a>​. <​em>​International Journal of Knowledge-Based Organizations</​em>,​ <​em>​2</​em>​(4),​ 20-34.</​p>​+ <​p>​Chermin,​ B., Frey, I.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>​ & Smeets, H.J. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278933/>​On predicting the results of applying workflow management in a healthcare context</​a>​. <​em>​International Journal of Knowledge-Based Organizations</​em>,​ <​em>​2</​em>​(4),​ 20-34.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Gierds,​ C., Mooij, A.J. & Wolf, K. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​245995/>​Reducing adapter synthesis to controller synthesis</​a>​. <​em>​IEEE Transactions on Services Computing</​em>,​ <​em>​5</​em>​(1),​ 72-85. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000300981800007"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Gierds,​ C., Mooij, A.J. & Wolf, K. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​245995/>​Reducing adapter synthesis to controller synthesis</​a>​. <​em>​IEEE Transactions on Services Computing</​em>,​ <​em>​5</​em>​(1),​ 72-85. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000300981800007"​ 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/​20101639/>​Leoni,​ M. de</​a>,​ Adams, 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>​ & <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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​271601/>​Visual support for work assignment in process-aware information systems : framework formalisation and implementation</​a>​. <​em>​Decision Support Systems</​em>,​ <​em>​54</​em>​(1),​ 345-361. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000313152200032"​ 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/​20101639/>​Leoni,​ M. de</​a>,​ Adams, 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>​ & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​271601/>​Visual support for work assignment in process-aware information systems : framework formalisation and implementation</​a>​. <​em>​Decision Support Systems</​em>,​ <​em>​54</​em>​(1),​ 345-361. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000313152200032"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​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>,​ Russell, N.C., Bakker, P.J.M. & Moleman, A.J. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278932/>​Lightweight interacting patient treatment processes</​a>​. <​em>​International Journal of Knowledge-Based Organizations</​em>,​ <​em>​2</​em>​(4),​ 1-19.</​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>,​ Russell, N.C., Bakker, P.J.M. & Moleman, A.J. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278932/>​Lightweight interacting patient treatment processes</​a>​. <​em>​International Journal of Knowledge-Based Organizations</​em>,​ <​em>​2</​em>​(4),​ 1-19.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Peleg,​ M., Mulyar, 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​256877/>​Pattern-based analysis of computer-interpretable guidelines : don't forget the context (Letter to the Editor)</​a>​. <​em>​Artificial Intelligence in Medicine</​em>,​ <​em>​54</​em>​(1),​ 73-74. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000299354100007"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Peleg,​ M., Mulyar, 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​256877/>​Pattern-based analysis of computer-interpretable guidelines : don't forget the context (Letter to the Editor)</​a>​. <​em>​Artificial Intelligence in Medicine</​em>,​ <​em>​54</​em>​(1),​ 73-74. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000299354100007"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Russo,​ A., Mecella, M. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​274174/>​ROME4U - A service-oriented process-aware information system for mobile devices</​a>​. <​em>​Software : Practice and Experience</​em>,​ <​em>​42</​em>​(10),​ 1275-1314. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000308402000005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Russo,​ A., Mecella, M. & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​274174/>​ROME4U - A service-oriented process-aware information system for mobile devices</​a>​. <​em>​Software : Practice and Experience</​em>,​ <​em>​42</​em>​(10),​ 1275-1314. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000308402000005"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Stahl,​ C. & Vogler, W. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​265654/>​A trace-based service semantics guaranteeing deadlock freedom</​a>​. <​em>​Acta Informatica</​em>,​ <​em>​49</​em>​(2),​ 69-103. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000301374500002"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​+ <​p>​Stahl,​ C. & Vogler, W. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​265654/>​A trace-based service semantics guaranteeing deadlock freedom</​a>​. <​em>​Acta Informatica</​em>,​ <​em>​49</​em>​(2),​ 69-103. <a href="​http://​gateway.isiknowledge.com/​gateway/​Gateway.cgi?​GWVersion=2&​SrcAuth=ResearchSoft&​SrcApp=EndNote&​DestLinkType=FullRecord&​DestApp=WOS&​KeyUT=000301374500002"​ target="​_blank">​ <​em>​Web of Science</​em></​a></​p>​
  </​li>​  </​li>​
   
Line 93: Line 93:
   
  <​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>,​ <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19970377/>​Reijers,​ H.A.</​a>,​ Pinggera, J., Weidlich, M., Zugal, S., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>,​ Weber, B., Mendling, J. & Poels, G. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272794/>​Tying process model quality to the modeling process : the impact of structuring,​ movement, and speed</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>​ (pp. 33-48). 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>,​ <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>,​ Pinggera, J., Weidlich, M., Zugal, S., <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>,​ Weber, B., Mendling, J. & Poels, G. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272794/>​Tying process model quality to the modeling process : the impact of structuring,​ movement, and speed</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>​ (pp. 33-48). 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>,​ Desel, 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​277385/>​Aggregating causal runs into workflow nets</​a>​. In K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis,​ J. Kleijn & L.M. Kristensen (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VI</​em>​ (pp. 334-363). 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>,​ Desel, 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​277385/>​Aggregating causal runs into workflow nets</​a>​. In K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis,​ J. Kleijn & L.M. Kristensen (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VI</​em>​ (pp. 334-363). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Faria Culmant Ramos, V., Xexéo, G.B. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19960196/>​Bra,​ P.M.E. De</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282266/>​A continuous layered evaluation of adaptive hypermedia systems (Chapter 8)</​a>​. In Y. Psaromiligkos,​ A. Spyridakos & S. Retalis (Eds.), <​em>​Evaluation in e-Learning</​em>​ (pp. 145-158). Nova Publishers.</​p>​+ <​p>​Faria Culmant Ramos, V., Xexéo, G.B. & <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19960196/>​Bra,​ P.M.E. De</​a>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282266/>​A continuous layered evaluation of adaptive hypermedia systems (Chapter 8)</​a>​. In Y. Psaromiligkos,​ A. Spyridakos & S. Retalis (Eds.), <​em>​Evaluation in e-Learning</​em>​ (pp. 145-158). Nova Publishers.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. & Kristensen, L.M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266537/>​A graphical approach to component-based and extensible model checking platforms</​a>​. In K. Jensen, S. Donatelli & J. Kleijn (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency V</​em>​ (pp. 265-291). Berlin: Springer.</​p>​+ <​p>​Westergaard,​ M. & Kristensen, L.M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266537/>​A graphical approach to component-based and extensible model checking platforms</​a>​. In K. Jensen, S. Donatelli & J. Kleijn (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency V</​em>​ (pp. 265-291). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Westergaard,​ M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​277384/>​Verifying parallel algorithms and programs using coloured Petri nets</​a>​. In K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis,​ J. Kleijn & L.M. Kristensen (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VI</​em>​ (pp. 146-168). Berlin: Springer.</​p>​+ <​p>​Westergaard,​ M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​277384/>​Verifying parallel algorithms and programs using coloured Petri nets</​a>​. In K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis,​ J. Kleijn & L.M. Kristensen (Eds.), <​em>​Transactions on Petri Nets and Other Models of Concurrency VI</​em>​ (pp. 146-168). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 122: Line 122:
   
  <​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>,​ Adriansyah, A., Alves De Medeiros, A.K., Arcieri, F., Baier, T., Blickle, T., Bose, J.C., Brand, P.C.W. van den, Brandtjen, R., <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>,​ Burattin, A., Carmona, J., Castellanos,​ M., <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20120835/>​Claes,​ J.</​a>,​ Cook, J., Costantini, N., Curbera, F., Damiani, E., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ Delias, 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>,​ Dumas, M., Dustdar, S., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>,​ Ferreira, D.R., Gaaloul, W., Geffen, F. van, Goel, S., Gunther, C.W., Guzzo, A., Harmon, P., <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>,​ Hoogland, J., Ingvaldsen, J.E., Kato, K., Kuhn, R., Kumar, A., La Rosa, M., Maggi, F.M., Malerba, D., <a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ Manuel, A., McCreesh, M., Mello, P., Mendling, J., Montali, M., Motahari Nezhad, H., Muehlen, M. zur, Munoz-Gama, J., Pontieri, L., Ribeiro, J.T.S., Rozinat, A., Seguel Peréz, H., Seguel Pérez, R.E., Sepúlveda, M., Sinur, J., Soffer, P., Song, M.S., Sperduti, A., Stilo, G., Stoel, C., Swenson, K., Talamo, M., Tan, W., Turner, C., Vanthienen, J., Varvaressos,​ G., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>,​ Verdonk, M.C., Vigo, R., Wang, J., Weber, B., Weidlich, M., Weijters, A.J.M.M., Wen, L., Westergaard,​ M. & Wynn, M.T. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​260776/>​Process mining manifesto</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management ​ Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 169-194</​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>,​ Adriansyah, A., Alves De Medeiros, A.K., Arcieri, F., Baier, T., Blickle, T., Bose, J.C., Brand, P.C.W. van den, Brandtjen, R., <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>,​ Burattin, A., Carmona, J., Castellanos,​ M., <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>,​ Cook, J., Costantini, N., Curbera, F., Damiani, E., <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>,​ Delias, 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>,​ Dumas, M., Dustdar, S., <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>,​ Ferreira, D.R., Gaaloul, W., Geffen, F. van, Goel, S., Gunther, C.W., Guzzo, A., Harmon, P., <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>,​ Hoogland, J., Ingvaldsen, J.E., Kato, K., Kuhn, R., Kumar, A., La Rosa, M., Maggi, F.M., Malerba, D., <a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ Manuel, A., McCreesh, M., Mello, P., Mendling, J., Montali, M., Motahari Nezhad, H., Muehlen, M. zur, Munoz-Gama, J., Pontieri, L., Ribeiro, J.T.S., Rozinat, A., Seguel Peréz, H., Seguel Pérez, R.E., Sepúlveda, M., Sinur, J., Soffer, P., Song, M.S., Sperduti, A., Stilo, G., Stoel, C., Swenson, K., Talamo, M., Tan, W., Turner, C., Vanthienen, J., Varvaressos,​ G., <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>,​ Verdonk, M.C., Vigo, R., Wang, J., Weber, B., Weidlich, M., Weijters, A.J.M.M., Wen, L., Westergaard,​ M. & Wynn, M.T. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​260776/>​Process mining manifesto</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management ​ Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 169-194</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266535/>​Distributed process discovery and conformance checking</​a>​. In J. de Lara & A. Zisman (Eds.), <​em>​Fundamental Approaches to Software Engineering (15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7212, pp. 1-25</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266535/>​Distributed process discovery and conformance checking</​a>​. In J. de Lara & A. Zisman (Eds.), <​em>​Fundamental Approaches to Software Engineering (15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7212, pp. 1-25</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266606/>​Decomposing process mining problems using passages</​a>​. In S. Haddad & L. Pomello (Eds.), <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 72-91</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266606/>​Decomposing process mining problems using passages</​a>​. In S. Haddad & L. Pomello (Eds.), <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 72-91</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​273594/>​A decade of business process management conferences:​ Personal reflections on a developing discipline</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 1-16</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​273594/>​A decade of business process management conferences:​ Personal reflections on a developing discipline</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 1-16</​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>,​ <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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​277208/>​Towards improving the representational bias of process mining</​a>​. In K. Aberer, E. Damiani & T. Dillon (Eds.), <​em>​Data-Driven Process Discovery and Analysis (First International Symposium, SIMPDA 2011, Campione d’Italia, Italy, June 29–July 1, 2011, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 116, pp. 39-54</​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>,​ <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​277208/>​Towards improving the representational bias of process mining</​a>​. In K. Aberer, E. Damiani & T. Dillon (Eds.), <​em>​Data-Driven Process Discovery and Analysis (First International Symposium, SIMPDA 2011, Campione d’Italia, Italy, June 29–July 1, 2011, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 116, pp. 39-54</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Ailenei,​ I., Rozinat, A., Eckert, 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​263280/>​Definition and validation of process mining use cases</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management ​ Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 75-86</​em>​). Berlin: Springer.</​p>​+ <​p>​Ailenei,​ I., Rozinat, A., Eckert, 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​263280/>​Definition and validation of process mining use cases</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management ​ Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 75-86</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 148: Line 148:
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​electrical-engineering/​department/​staff/​detail/​ep/​e/​d/​ep-uid/​19982168/>​Basten,​ T.</​a>,​ Hendriks, M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19861006/>​Somers,​ L.J.A.M.</​a>​ & Trcka, N. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​273975/>​Model-driven design-space exploration for software-intensive embedded systems</​a>​. In M. Jurdzinski & D. Nickovic (Eds.), Conference Paper : <​em>​Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7595, pp. 1-6</​em>​). Berlin: Springer.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​university/​departments/​electrical-engineering/​department/​staff/​detail/​ep/​e/​d/​ep-uid/​19982168/>​Basten,​ T.</​a>,​ Hendriks, M., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19861006/>​Somers,​ L.J.A.M.</​a>​ & Trcka, N. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​273975/>​Model-driven design-space exploration for software-intensive embedded systems</​a>​. In M. Jurdzinski & D. Nickovic (Eds.), Conference Paper : <​em>​Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7595, pp. 1-6</​em>​). Berlin: Springer.</​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>​ & Werf, J.M.E.M. van der (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266611/>​Designing weakly terminating ROS systems</​a>​. Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 328-347</​em>​). Berlin: Springer.</​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>​ & Werf, J.M.E.M. van der (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266611/>​Designing weakly terminating ROS systems</​a>​. Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 328-347</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Bernardi,​ M.L., Cimitile, M., Di Lucca, G.A. & Maggi, F.M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278285/>​M3D:​ A tool for the model driven development of web applications</​a>​. In G.H.L. Fletcher & P. Mitra (Eds.), Conference Paper : <​em>​Proceedings of the 12th International Workshop on Web Information and Data Management (WIKM'​12,​ Maui HI, USA, November 2, 2012; held in conjunction with CIKM'​12)</​em>,​ (<​em>​pp. 73-80</​em>​). New York NY: ACM.</​p>​+ <​p>​Bernardi,​ M.L., Cimitile, M., Di Lucca, G.A. & Maggi, F.M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278285/>​M3D:​ A tool for the model driven development of web applications</​a>​. In G.H.L. Fletcher & P. Mitra (Eds.), Conference Paper : <​em>​Proceedings of the 12th International Workshop on Web Information and Data Management (WIKM'​12,​ Maui HI, USA, November 2, 2012; held in conjunction with CIKM'​12)</​em>,​ (<​em>​pp. 73-80</​em>​). New York NY: ACM.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Bernardi,​ M.L., Cimitile, M., Di Lucca, G.A. & Maggi, F.M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278489/>​Development of flexible process-centric web applications:​ An integrated model driven approach</​a>​. Conference Paper : <​em>​Proceedings of 14th IEEE International Symposium on Web Systems Evolution (WSE, Riva del Garda, Trento, Italy, September 28, 2012)</​em>,​ (<​em>​pp. 67-71</​em>​). IEEE.</​p>​+ <​p>​Bernardi,​ M.L., Cimitile, M., Di Lucca, G.A. & Maggi, F.M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278489/>​Development of flexible process-centric web applications:​ An integrated model driven approach</​a>​. Conference Paper : <​em>​Proceedings of 14th IEEE International Symposium on Web Systems Evolution (WSE, Riva del Garda, Trento, Italy, September 28, 2012)</​em>,​ (<​em>​pp. 67-71</​em>​). IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Bernardi,​ M.L., Cimitile, M., Di Lucca, G.A. & Maggi, F.M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​282064/>​Using declarative workflow languages to develop process-centric web applications</​a>​. Conference Paper : <​em>​Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops (EDOCW, Beijing, China, September 10-14, 2012)</​em>,​ (<​em>​pp. 56-65</​em>​). IEEE Computer Society.</​p>​+ <​p>​Bernardi,​ M.L., Cimitile, M., Di Lucca, G.A. & Maggi, F.M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​282064/>​Using declarative workflow languages to develop process-centric web applications</​a>​. Conference Paper : <​em>​Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops (EDOCW, Beijing, China, September 10-14, 2012)</​em>,​ (<​em>​pp. 56-65</​em>​). IEEE Computer Society.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Bernardi,​ M.L., Cimitile, M. & Maggi, F.M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​273445/>​Model driven development of process-centric web applications</​a>​. In S. Hammoudi, M. van Sinderen & J. Cordeiro (Eds.), Conference Paper : <​em>​ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, July 24-27, 2012</​em>,​ (<​em>​pp. 340-346</​em>​). SciTePress.</​p>​+ <​p>​Bernardi,​ M.L., Cimitile, M. & Maggi, F.M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​273445/>​Model driven development of process-centric web applications</​a>​. In S. Hammoudi, M. van Sinderen & J. Cordeiro (Eds.), Conference Paper : <​em>​ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, July 24-27, 2012</​em>,​ (<​em>​pp. 340-346</​em>​). SciTePress.</​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/​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267697/>​Discovering hierarchical process models using ProM</​a>​. In S. Nurcan (Ed.), Conference Paper : <​em>​IS Olympics: Information Systems in a Diverse World (CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 107, pp. 33-48</​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/​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267697/>​Discovering hierarchical process models using ProM</​a>​. In S. Nurcan (Ed.), Conference Paper : <​em>​IS Olympics: Information Systems in a Diverse World (CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 107, pp. 33-48</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​263281/>​Analysis of patient treatment procedures</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management ​ Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 165-166</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​263281/>​Analysis of patient treatment procedures</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management ​ Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 165-166</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267698/>​When process mining meets bioinformatics</​a>​. In S. Nurcan (Ed.), <​em>​IS Olympics: Information Systems in a Diverse World (CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 107, pp. 202-217</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267698/>​When process mining meets bioinformatics</​a>​. In S. Nurcan (Ed.), <​em>​IS Olympics: Information Systems in a Diverse World (CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 107, pp. 202-217</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 186: Line 186:
   
  <​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​261909/>​Towards cross-organizational process mining in collections of process models and their executions</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 2-13</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​261909/>​Towards cross-organizational process mining in collections of process models and their executions</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 2-13</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​273444/>​A genetic algorithm for discovering process trees</​a>​. <​em>​Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2012, Brisbane, Australia, June 10-15, 2012)</​em>,​ (<​em>​pp. 1-8</​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/​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​273444/>​A genetic algorithm for discovering process trees</​a>​. <​em>​Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2012, Brisbane, Australia, June 10-15, 2012)</​em>,​ (<​em>​pp. 1-8</​em>​). Piscataway: IEEE.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Burattin,​ A., 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>​ & Sperduti, A. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278490/>​Techniques for a posteriori analysis of declarative processes</​a>​. <​em>​Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC, Beijing, China, September 10-14, 2012)</​em>,​ (<​em>​pp. 41-50</​em>​). IEEE Computer Society.</​p>​+ <​p>​Burattin,​ 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/​19880434/>​Aalst,​ W.M.P. van der</​a>​ & Sperduti, A. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278490/>​Techniques for a posteriori analysis of declarative processes</​a>​. <​em>​Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC, Beijing, China, September 10-14, 2012)</​em>,​ (<​em>​pp. 41-50</​em>​). IEEE Computer Society.</​p>​
  </​li>​  </​li>​
   
Line 202: Line 202:
   
  <​li>​  <​li>​
- <​p>​Engel,​ 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>,​ Zapletal, M., Pichler, C. & Werthner, H. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267619/>​Mining inter-organizational business process models from EDI messages : a case study from the automotive sector</​a>​. In J. Ralyté, X. Franch, S. Brinkkemper & S. Wrycza (Eds.), <​em>​Advanced Information Systems Engineering (24th International Conference, CAiSE 2012, Gdansk, Poland, London, UK, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7328, pp. 222-237</​em>​). Berlin: Springer.</​p>​+ <​p>​Engel,​ 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>,​ Zapletal, M., Pichler, C. & Werthner, H. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267619/>​Mining inter-organizational business process models from EDI messages : a case study from the automotive sector</​a>​. In J. Ralyté, X. Franch, S. Brinkkemper & S. Wrycza (Eds.), <​em>​Advanced Information Systems Engineering (24th International Conference, CAiSE 2012, Gdansk, Poland, London, UK, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7328, pp. 222-237</​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>​ & Prüfer, R. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266609/>​Data and abstraction for scenario-based modeling with Petri nets</​a>​. In S. Haddad & J. Pomello (Eds.), Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 168-187</​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>​ & Prüfer, R. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266609/>​Data and abstraction for scenario-based modeling with Petri nets</​a>​. In S. Haddad & J. Pomello (Eds.), Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 168-187</​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>​ & <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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272797/>​Repairing process models to reflect reality</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 229-245</​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>​ & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272797/>​Repairing process models to reflect reality</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 229-245</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 216: Line 216:
   
  <​li>​  <​li>​
- <​p>​Grando,​ M.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/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​263283/>​Reusing a declarative specification to check the conformance of different CIGs</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 188-199</​em>​). Berlin: Springer.</​p>​+ <​p>​Grando,​ M.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/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​263283/>​Reusing a declarative specification to check the conformance of different CIGs</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 188-199</​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>​ & Liu, Z. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267703/>​Generating benchmarks by random stepwise refinement of Petri nets</​a>​. In S. Donatelli, J. Kleijn, R.J. Machado & J.M. Fernandes (Eds.), Conference Paper : <​em>​Recent Advances in Petri Nets and Concurrency (Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June 2010)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 827, pp. 403-417</​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/​19941431/>​Hee,​ K.M. van</​a>​ & Liu, Z. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267703/>​Generating benchmarks by random stepwise refinement of Petri nets</​a>​. In S. Donatelli, J. Kleijn, R.J. Machado & J.M. Fernandes (Eds.), Conference Paper : <​em>​Recent Advances in Petri Nets and Concurrency (Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June 2010)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 827, pp. 403-417</​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/​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 (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280223/>​When can we trust a third party? : a soundness perspective</​a>​. In L. Cabac, M. Duvigneau & D. Moldt (Eds.), Conference Paper : <​em>​Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'​12,​ Hamburg, Germany, June 25-26, 2012)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 851, pp. 47-59</​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/​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 (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280223/>​When can we trust a third party? : a soundness perspective</​a>​. In L. Cabac, M. Duvigneau & D. Moldt (Eds.), Conference Paper : <​em>​Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'​12,​ Hamburg, Germany, June 25-26, 2012)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 851, pp. 47-59</​em>​). CEUR-WS.org.</​p>​
  </​li>​  </​li>​
   
Line 231: Line 231:
   
  <​li>​  <​li>​
- <​p>​Kocielnik,​ R.D., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20062475/>​Pechenizkiy,​ M.</​a>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19980494/>​Sidorova,​ N.</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278873/>​Stress analytics in education (Poster)</​a>​. In K. Yacef, O.R. Zaïane, A. Hershkovitz,​ M. Yudelson & J.C. Stamper (Eds.), Poster : <​em>​Proceedings of the 5th International Conference on Educational Data Mining (Chania, Greece, June 19-21, 2012)</​em>,​ (<​em>​pp. 236-237</​em>​). www.educationaldatamining.org.</​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/​20062475/>​Pechenizkiy,​ M.</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278873/>​Stress analytics in education (Poster)</​a>​. In K. Yacef, O.R. Zaïane, A. Hershkovitz,​ M. Yudelson & J.C. Stamper (Eds.), Poster : <​em>​Proceedings of the 5th International Conference on Educational Data Mining (Chania, Greece, June 19-21, 2012)</​em>,​ (<​em>​pp. 236-237</​em>​). www.educationaldatamining.org.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Lehmann,​ A. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​279404/>​Information flow security for business process models - just one click away</​a>​. In N. Lohmann & S. Moser (Eds.), Conference Paper : <​em>​Proceedings of Demonstration Track of the 10th International Conference on Business Process Management (BPM Demos 2012, Tallinn, Estonia, September 4, 2012)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 940, pp. 34-39</​em>​). CEUR-WS.org.</​p>​+ <​p>​Lehmann,​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​279404/>​Information flow security for business process models - just one click away</​a>​. In N. Lohmann & S. Moser (Eds.), Conference Paper : <​em>​Proceedings of Demonstration Track of the 10th International Conference on Business Process Management (BPM Demos 2012, Tallinn, Estonia, September 4, 2012)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 940, pp. 34-39</​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/​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>​ & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19981149/>​Dongen,​ B.F. van</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​271263/>​Data- and resource-aware conformance checking of business processes</​a>​. In W. Abramowicz, D. Kriksciuniene & V. Sakalauskas (Eds.), <​em>​Business Information Systems (15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 117, pp. 48-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/​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>​ & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​271263/>​Data- and resource-aware conformance checking of business processes</​a>​. In W. Abramowicz, D. Kriksciuniene & V. Sakalauskas (Eds.), <​em>​Business Information Systems (15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 117, pp. 48-59</​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>,​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272795/>​Aligning event logs and declarative process models for conformance checking</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 82-97</​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>,​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272795/>​Aligning event logs and declarative process models for conformance checking</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 82-97</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Maggi,​ F.M., Westergaard,​ M., Montali, 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​261916/>​Runtime verification of LTL-based declarative process models</​a>​. In S. Kurshid & K. Sen (Eds.), Conference Paper : <​em>​Runtime Verification (Second International Conference, RV 2011, San Francisco CA, USA, September 27-30, 2011, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7186, pp. 131-146</​em>​). Berlin: Springer.</​p>​+ <​p>​Maggi,​ F.M., Westergaard,​ M., Montali, 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​261916/>​Runtime verification of LTL-based declarative process models</​a>​. In S. Kurshid & K. Sen (Eds.), Conference Paper : <​em>​Runtime Verification (Second International Conference, RV 2011, San Francisco CA, USA, September 27-30, 2011, Revised Selected Papers)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7186, pp. 131-146</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Maggi,​ F.M., Montali, 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266536/>​An operational decision support framework for monitoring business constraints</​a>​. In J. de Lara & A. Zisman (Eds.), <​em>​Fundamental Approaches to Software Engineering (15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7212, pp. 146-162</​em>​). Berlin: Springer.</​p>​+ <​p>​Maggi,​ F.M., Montali, 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266536/>​An operational decision support framework for monitoring business constraints</​a>​. In J. de Lara & A. Zisman (Eds.), <​em>​Fundamental Approaches to Software Engineering (15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7212, pp. 146-162</​em>​). Berlin: Springer.</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267620/>​Efficient discovery of understandable declarative process models from event logs</​a>​. In J. Ralyté, X. Franch, S. Brinkkemper & S. Wrycza (Eds.), <​em>​Advanced Information Systems Engineering (24th International Conference, CAiSE 2012, Gdansk, Poland, London, UK, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7328, pp. 270-285</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267620/>​Efficient discovery of understandable declarative process models from event logs</​a>​. In J. Ralyté, X. Franch, S. Brinkkemper & S. Wrycza (Eds.), <​em>​Advanced Information Systems Engineering (24th International Conference, CAiSE 2012, Gdansk, Poland, London, UK, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7328, pp. 270-285</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Mailund,​ T., Halager, A. & Westergaard,​ M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266607/>​Using colored Petri nets to construct coalescent hidden Markov models : automatic translation from demographic specifications to efficient inference methods</​a>​. In S. Haddad & L. Pomello (Eds.), Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 32-50</​em>​). Berlin: Springer.</​p>​+ <​p>​Mailund,​ T., Halager, A. & Westergaard,​ M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266607/>​Using colored Petri nets to construct coalescent hidden Markov models : automatic translation from demographic specifications to efficient inference methods</​a>​. In S. Haddad & L. Pomello (Eds.), Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 32-50</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ Russell, N.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>,​ Moleman, A.J. & Bakker, P.J.M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​263402/>​Supporting healthcare processes with YAWL4Healthcare</​a>​. In H. Ludwig & H.A. Reijers (Eds.), <​em>​Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 820, pp. 1-6</​em>​). Clermont-Ferrand:​ CEUR-WS.org.</​p>​+ <​p><​a href=https://​www.tue.nl/​en/​employee/​ep/​e/​d/​ep-uid/​20000530/>​Mans,​ R.S.</​a>,​ Russell, N.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>,​ Moleman, A.J. & Bakker, P.J.M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​263402/>​Supporting healthcare processes with YAWL4Healthcare</​a>​. In H. Ludwig & H.A. Reijers (Eds.), <​em>​Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 820, pp. 1-6</​em>​). Clermont-Ferrand:​ CEUR-WS.org.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Nakatumba,​ J., Westergaard,​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266608/>​An infrastructure for cost-effective testing of operational support algorithms based on colored Petri nets</​a>​. In S. Haddad & J. Pomello (Eds.), <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 308-327</​em>​). Berlin: Springer.</​p>​+ <​p>​Nakatumba,​ J., Westergaard,​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266608/>​An infrastructure for cost-effective testing of operational support algorithms based on colored Petri nets</​a>​. In S. Haddad & J. Pomello (Eds.), <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 308-327</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Nakatumba,​ J., Westergaard,​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​273037/>​Generating event logs with workload-dependent speeds from simulation models</​a>​. In M. Bajec & J. Eder (Eds.), <​em>​Proceedings of the CAiSE 2012 Workshops on Advanced Information Systems Engineering Workshops, 25-26 June 2012, Gdańsk, Poland</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 112, pp. 383-397</​em>​). Berlin: Springer.</​p>​+ <​p>​Nakatumba,​ J., Westergaard,​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​273037/>​Generating event logs with workload-dependent speeds from simulation models</​a>​. In M. Bajec & J. Eder (Eds.), <​em>​Proceedings of the CAiSE 2012 Workshops on Advanced Information Systems Engineering Workshops, 25-26 June 2012, Gdańsk, Poland</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 112, pp. 383-397</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​279407/>​Automatic discovery of data-centric and artifact-centric processes</​a>​. Conference Paper : <​em>​Proceedings of the 1st International Workshop on Data- and Artifact-centric BPM (DAB'​2012,​ Tallinn, Estonia, September 3, 2012)</​em>,​ (<​em>​pp. 37-48</​em>​).</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​279407/>​Automatic discovery of data-centric and artifact-centric processes</​a>​. Conference Paper : <​em>​Proceedings of the 1st International Workshop on Data- and Artifact-centric BPM (DAB'​2012,​ Tallinn, Estonia, September 3, 2012)</​em>,​ (<​em>​pp. 37-48</​em>​).</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Osch,​ M.P.W.J. van, <a href=/​en/​university/​departments/​mechanical-engineering/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20072062/>​Bera,​ D.</​a>,​ Koks, Y. & <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19941431/>​Hee,​ K.M. van</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​286475/>​Tele-operated service robots for household and care</​a>​. In J.E.M.H. van Bronswijk, G.J. Maas & F.J.M. van Gassel (Eds.), Conference Paper : <​em>​Proceedings full papers ISG*ISARC2012 : joint conference of the 8th World Conference of the International Society for Gerontechnology (ISG) and the 29th International Symposium on Automation and Robotics in Construction (ISARC), June 26-29, 2012, Eindhoven, The Netherlands</​em>,​ (<​em>​ISARC : automation and robotics in construction : international symposium, 29, pp. 263-269</​em>​). Eindhoven: Technische Universiteit Eindhoven.</​p>​+ <​p>​Osch,​ M.P.W.J. van, <a href=https://​www.tue.nl/​en/​university/​departments/​mechanical-engineering/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20072062/>​Bera,​ D.</​a>,​ Koks, Y. & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​286475/>​Tele-operated service robots for household and care</​a>​. In J.E.M.H. van Bronswijk, G.J. Maas & F.J.M. van Gassel (Eds.), Conference Paper : <​em>​Proceedings full papers ISG*ISARC2012 : joint conference of the 8th World Conference of the International Society for Gerontechnology (ISG) and the 29th International Symposium on Automation and Robotics in Construction (ISARC), June 26-29, 2012, Eindhoven, The Netherlands</​em>,​ (<​em>​ISARC : automation and robotics in construction : international symposium, 29, pp. 263-269</​em>​). Eindhoven: Technische Universiteit Eindhoven.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p><​a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20062475/>​Pechenizkiy,​ M.</​a>,​ Trcka, N., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19960196/>​Bra,​ P.M.E. De</​a>​ & Toledo, P. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278872/>​CurriM : Curriculum mining (Poster)</​a>​. In K. Yacef, O.R. Zaïane, A. Hershkovitz,​ M. Yudelson & J.C. Stamper (Eds.), Poster : <​em>​Proceedings of the 5th International Conference on Educational Data Mining (Chania, Greece, June 19-21, 2012)</​em>,​ (<​em>​pp. 216-217</​em>​). www.educationaldatamining.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/​20062475/>​Pechenizkiy,​ M.</​a>,​ Trcka, N., <a href=https://​www.tue.nl/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19960196/>​Bra,​ P.M.E. De</​a>​ & Toledo, P. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278872/>​CurriM : Curriculum mining (Poster)</​a>​. In K. Yacef, O.R. Zaïane, A. Hershkovitz,​ M. Yudelson & J.C. Stamper (Eds.), Poster : <​em>​Proceedings of the 5th International Conference on Educational Data Mining (Chania, Greece, June 19-21, 2012)</​em>,​ (<​em>​pp. 216-217</​em>​). www.educationaldatamining.org.</​p>​
  </​li>​  </​li>​
   
   
  <​li>​  <​li>​
- <​p>​Pinggera,​ J., Zugal, S., Weidlich, M., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20105708/>​Fahland,​ D.</​a>,​ Weber, B., 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267958/>​Tracing the process of process modeling with modeling phase diagrams</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 370-382</​em>​). Berlin: Springer.</​p>​+ <​p>​Pinggera,​ J., Zugal, S., Weidlich, 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>,​ Weber, B., 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267958/>​Tracing the process of process modeling with modeling phase diagrams</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part I)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 99, pp. 370-382</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Pinggera,​ J., Soffer, P., Zugal, S., Weber, B., Weidlich, M., <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/​19970377/>​Reijers,​ H.A.</​a>​ & Mendling, J. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272295/>​Modeling styles in business process modeling</​a>​. In I. Bider, T. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, P. Soffer & S. Wrycza (Eds.), <​em>​Proceedings of Enterprise, Business-Process and Information Systems Modeling (13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium,​ held at CAiSE 2012, June 25-26, 2012, Gdańsk, Poland)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 113, pp. 151-166</​em>​). Berlin: Springer.</​p>​+ <​p>​Pinggera,​ J., Soffer, P., Zugal, S., Weber, B., Weidlich, 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>,​ <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>​ & Mendling, J. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272295/>​Modeling styles in business process modeling</​a>​. In I. Bider, T. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, P. Soffer & S. Wrycza (Eds.), <​em>​Proceedings of Enterprise, Business-Process and Information Systems Modeling (13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium,​ held at CAiSE 2012, June 25-26, 2012, Gdańsk, Poland)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 113, pp. 151-166</​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>,​ Werf, J.M.E.M. van der & Mattheis, P. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​263284/>​Separating compliance management and business process management</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 459-464</​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>,​ Werf, J.M.E.M. van der & Mattheis, P. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​263284/>​Separating compliance management and business process management</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), Conference Paper : <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 459-464</​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/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272798/>​Where did I misbehave? Diagnostic information in compliance checking</​a>​. <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 262-278</​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/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272798/>​Where did I misbehave? Diagnostic information in compliance checking</​a>​. <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 262-278</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​267617/>​Patterns for a log-based strengthening of declarative compliance models</​a>​. In J. Derrick, S. Gnesi, D. Latella & H. Treharne (Eds.), Conference Paper : <​em>​Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7321, pp. 327-342</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​267617/>​Patterns for a log-based strengthening of declarative compliance models</​a>​. In J. Derrick, S. Gnesi, D. Latella & H. Treharne (Eds.), Conference Paper : <​em>​Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7321, pp. 327-342</​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>,​ <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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​271262/>​Creating sound and reversible configurable process models using CoSeNets</​a>​. In W. Abramowicz, D. Kriksciuniene & V. Sakalauskas (Eds.), <​em>​Business Information Systems (15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 117, pp. 24-35</​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>,​ <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​271262/>​Creating sound and reversible configurable process models using CoSeNets</​a>​. In W. Abramowicz, D. Kriksciuniene & V. Sakalauskas (Eds.), <​em>​Business Information Systems (15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 117, pp. 24-35</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Vogelaar,​ J.J.C.L., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​19911662/>​Verbeek,​ H.M.W.</​a>,​ Luka, B. & <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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​263282/>​Comparing business processes to determine the feasibility of configurable models : a case study</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 50-61</​em>​). Berlin: Springer.</​p>​+ <​p>​Vogelaar,​ J.J.C.L., <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>,​ Luka, B. & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​263282/>​Comparing business processes to determine the feasibility of configurable models : a case study</​a>​. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), <​em>​Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand,​ France, August 29, 2011, Revised Selected Papers, Part II)</​em>,​ (<​em>​Lecture Notes in Business Information Processing, 100, pp. 50-61</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Vogler,​ W., Stahl, C. & Muller, R. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266612/>​A trace-based semantics for responsiveness</​a>​. Conference Paper : <​em>​Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'​12,​ Hamburg, Germany, June 27-29, 2012)</​em>,​ (<​em>​pp. 42-51</​em>​). Piscataway: IEEE Computer Society.</​p>​+ <​p>​Vogler,​ W., Stahl, C. & Muller, R. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266612/>​A trace-based semantics for responsiveness</​a>​. Conference Paper : <​em>​Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'​12,​ Hamburg, Germany, June 27-29, 2012)</​em>,​ (<​em>​pp. 42-51</​em>​). Piscataway: IEEE Computer Society.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Weidlich,​ M. & Werf, J.M.E.M. van der (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266610/>​On profiles and footprints : relational semantics for Petri nets</​a>​. In S. Haddad & L. Pomello (Eds.), Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 148-167</​em>​). Berlin: Springer.</​p>​+ <​p>​Weidlich,​ M. & Werf, J.M.E.M. van der (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266610/>​On profiles and footprints : relational semantics for Petri nets</​a>​. In S. Haddad & L. Pomello (Eds.), Conference Paper : <​em>​Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7347, pp. 148-167</​em>​). Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Werf,​ J.M.E.M. 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​272796/>​Context-aware compliance checking</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 98-113</​em>​). Berlin: Springer.</​p>​+ <​p>​Werf,​ J.M.E.M. 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​272796/>​Context-aware compliance checking</​a>​. In A. Barros, A. Gal & E. Kindler (Eds.), <​em>​Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)</​em>,​ (<​em>​Lecture Notes in Computer Science, 7481, pp. 98-113</​em>​). 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>​ & Stahl, C. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280222/>​Grade/​CPN : semi-automatic support for teaching Petri nets by checking many Petri nets against one specification</​a>​. In L. Cabac, M. Duvigneau & D. Moldt (Eds.), Conference Paper : <​em>​Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'​12,​ Hamburg, Germany, June 25-26, 2012)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 851, pp. 32-46</​em>​). CEUR-WS.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/​20105708/>​Fahland,​ D.</​a>​ & Stahl, C. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280222/>​Grade/​CPN : semi-automatic support for teaching Petri nets by checking many Petri nets against one specification</​a>​. In L. Cabac, M. Duvigneau & D. Moldt (Eds.), Conference Paper : <​em>​Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'​12,​ Hamburg, Germany, June 25-26, 2012)</​em>,​ (<​em>​CEUR Workshop Proceedings,​ 851, pp. 32-46</​em>​). CEUR-WS.org.</​p>​
  </​li>​  </​li>​
   
Line 343: Line 343:
   
  <​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/​19911662/>​Verbeek,​ H.M.W.</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280747/><​em>​Process discovery and conformance checking using passages</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-21). BPMcenter.org,​ 35 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>​ & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280747/><​em>​Process discovery and conformance checking using passages</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-21). BPMcenter.org,​ 35 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280748/><​em>​Decomposing Petri nets for process mining : a generic approach</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-20). BPMcenter.org,​ 33 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280748/><​em>​Decomposing Petri nets for process mining : a generic approach</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-20). BPMcenter.org,​ 33 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280749/><​em>​Passages in graphs</​em></​a>​. (External Report, ​ BMP Center Report, No. BPM-12-19). BPMcenter.org,​ 5 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280749/><​em>​Passages in graphs</​em></​a>​. (External Report, ​ BMP Center Report, No. BPM-12-19). BPMcenter.org,​ 5 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/​20020361/>​Buijs,​ J.C.A.M.</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280753/><​em>​Mining process performance from event logs : the BPI Challenge 2012 case study</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-15). BPMcenter.org,​ 46 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/​20020361/>​Buijs,​ J.C.A.M.</​a>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280753/><​em>​Mining process performance from event logs : the BPI Challenge 2012 case study</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-15). BPMcenter.org,​ 46 pp.</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280757/><​em>​Alignment based precision checking</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-10). BPMcenter.org,​ 12 pp.</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280757/><​em>​Alignment based precision checking</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-10). BPMcenter.org,​ 12 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280752/><​em>​Process mining applied to the BPI Challenge 2012 : divide and conquer while discerning resources</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-16). BPMcenter.org,​ 30 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280752/><​em>​Process mining applied to the BPI Challenge 2012 : divide and conquer while discerning resources</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-16). BPMcenter.org,​ 30 pp.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Burattin,​ A., Sperduti, 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​279023/><​em>​Heuristics miners for streaming event data</​em></​a>​. (External Report, ​ arXiv.or, No. 1212.6383 [cs.DB]), 32 pp.</​p>​+ <​p>​Burattin,​ A., Sperduti, 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​279023/><​em>​Heuristics miners for streaming event data</​em></​a>​. (External Report, ​ arXiv.or, No. 1212.6383 [cs.DB]), 32 pp.</​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280746/><​em>​Supporting risk-informed decisions during business process execution</​em></​a>​. (External Report, ​ BPM Center Report, No. BMP-12-22). BPMcenter.org,​ 15 pp.</​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280746/><​em>​Supporting risk-informed decisions during business process execution</​em></​a>​. (External Report, ​ BPM Center Report, No. BMP-12-22). BPMcenter.org,​ 15 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/​20105708/>​Fahland,​ D.</​a>​ & Prüfer, R. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​266994/><​em>​Data and abstraction for scenario-based modeling with Petri nets</​em></​a>​. (External Report, ​ Computer Science Report, No. 12-07). Eindhoven: Technische Universiteit Eindhoven, 24 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/​20105708/>​Fahland,​ D.</​a>​ & Prüfer, R. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​266994/><​em>​Data and abstraction for scenario-based modeling with Petri nets</​em></​a>​. (External Report, ​ Computer Science Report, No. 12-07). Eindhoven: Technische Universiteit Eindhoven, 24 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/​20105708/>​Fahland,​ D.</​a>​ & Gierds, C. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280750/><​em>​Using Petri nets for modeling enterprise integration patterns</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-18). BPMcenter.org,​ 49 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/​20105708/>​Fahland,​ D.</​a>​ & Gierds, C. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280750/><​em>​Using Petri nets for modeling enterprise integration patterns</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-18). BPMcenter.org,​ 49 pp.</​p>​
  </​li>​  </​li>​
   
Line 384: Line 384:
   
  <​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/​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/​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​290776/><​em>​Facilitating process analysis through visualising process history: experiences with a Dutch municipality</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-24). 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/​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/​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​290776/><​em>​Facilitating process analysis through visualising process history: experiences with a Dutch municipality</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-24). BPMcenter.org,​ 18 pp.</​p>​
  </​li>​  </​li>​
   
Line 390: Line 390:
   
  <​li>​  <​li>​
- <​p>​Nakatumba,​ J., Westergaard,​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280759/><​em>​A meta-model for operational support</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-05). BPMcenter.org,​ 16 pp.</​p>​+ <​p>​Nakatumba,​ J., Westergaard,​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280759/><​em>​A meta-model for operational support</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-05). BPMcenter.org,​ 16 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/​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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280751/><​em>​Diagnostic information in temporal compliance checking</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-17). BPMcenter.org,​ 65 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/​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280751/><​em>​Diagnostic information in temporal compliance checking</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-17). BPMcenter.org,​ 65 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/​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/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280755/><​em>​Diagnostic information in compliance checking</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-11). BPMcenter.org,​ 47 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/​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/​19880434/>​Aalst,​ W.M.P. van der</​a>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280755/><​em>​Diagnostic information in compliance checking</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-11). BPMcenter.org,​ 47 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/​19980494/>​Sidorova,​ N.</​a>​ & Stahl, C. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280758/><​em>​Soundness for resource-constrained workflow nets is decidable</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-09). BPMcenter.org,​ 7 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/​19980494/>​Sidorova,​ N.</​a>​ & Stahl, C. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280758/><​em>​Soundness for resource-constrained workflow nets is decidable</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-09). BPMcenter.org,​ 7 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280754/><​em>​An experimental evaluation of passage-based process discovery</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-14). 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/​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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280754/><​em>​An experimental evaluation of passage-based process discovery</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-14). BPMcenter.org,​ 12 pp.</​p>​
  </​li>​   </​li>​
  </​ul>​  </​ul>​
Line 420: Line 420:
   
  <​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>,​ Burattin, A., <a href=/​en/​university/​departments/​mathematics-and-computer-science/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20101639/>​Leoni,​ M. de</​a>,​ Guzzo, A., Maggi, F.M. & Montali, M. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278934/>​Process mining : come estrarre conoscenza dai log dei sistemi informativi orientati ai processi</​a>​. <​em>​Mondo Digitale</​em>,​ <​em>​11</​em>​(43),​ 1-18.</​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>,​ Burattin, A., <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>,​ Guzzo, A., Maggi, F.M. & Montali, M. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278934/>​Process mining : come estrarre conoscenza dai log dei sistemi informativi orientati ai processi</​a>​. <​em>​Mondo Digitale</​em>,​ <​em>​11</​em>​(43),​ 1-18.</​p>​
  </​li>​  </​li>​
   
  <​li>​  <​li>​
- <​p>​Rozinat,​ 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>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​278935/>​Objektivierung des Bauchgefühls : Geschäftsprozesse durch Datenanalyse transparent machen</​a>​. <​em>​Business Technology : Architektur & Management Magazin</​em>,​ <​em>​9</​em>​(2),​ 30-34.</​p>​+ <​p>​Rozinat,​ 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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​278935/>​Objektivierung des Bauchgefühls : Geschäftsprozesse durch Datenanalyse transparent machen</​a>​. <​em>​Business Technology : Architektur & Management Magazin</​em>,​ <​em>​9</​em>​(2),​ 30-34.</​p>​
  </​li>​  </​li>​
   
Line 437: Line 437:
   
  <​li>​  <​li>​
- <​p>​Yang,​ H., <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/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ Wynn, M.T. & Wang, J. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​280760/><​em>​Estimating completeness of event logs</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-04). BPMcenter.org,​ 27 pp.</​p>​+ <​p>​Yang,​ H., <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/​20042353/>​Hofstede,​ A.H.M. ter</​a>,​ Wynn, M.T. & Wang, J. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​280760/><​em>​Estimating completeness of event logs</​em></​a>​. (External Report, ​ BPM Center Report, No. BPM-12-04). BPMcenter.org,​ 27 pp.</​p>​
  </​li>​  </​li>​
   
Line 455: Line 455:
   
  <​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>,​ Ajmone Marsan, M., Franceschinis,​ G., Kleijn, J. & Kristensen, L.M. (Eds.). (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​277383/><​em>​Transactions on Petri nets and other models of concurrency VI</​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>,​ Ajmone Marsan, M., Franceschinis,​ G., Kleijn, J. & Kristensen, L.M. (Eds.). (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​277383/><​em>​Transactions on Petri nets and other models of concurrency VI</​em></​a>​. Berlin: Springer.</​p>​
  </​li>​  </​li>​
   
Line 470: Line 470:
   
  <​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. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​288501/>​Summary of the Business Process Intelligence Challenge 2013</​a>​. In B.F. van Dongen, B. Weber, D.R. Ferreira & J. De Weerdt (Eds.), Conference Paper : <​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>,​ (<​em>​CEUR Workshop Proceedings,​ 1052, pp. 1-9</​em>​). 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. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​288501/>​Summary of the Business Process Intelligence Challenge 2013</​a>​. In B.F. van Dongen, B. Weber, D.R. Ferreira & J. De Weerdt (Eds.), Conference Paper : <​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>,​ (<​em>​CEUR Workshop Proceedings,​ 1052, pp. 1-9</​em>​). Aachen: CEUR-ws.org.</​p>​
  </​li>​  </​li>​
   
Line 485: Line 485:
   
  <​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>,​ Weske, M.H. & <a href=/​en/​university/​departments/​industrial-engineering-innovation-sciences/​the-department/​staff/​detail/​ep/​e/​d/​ep-uid/​20061406/>​Dijkman,​ R.M.</​a>​ (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​289340/>​Second International Workshop on Process Model Collections (PMC 2012)</​a>​. 465-512.</​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>,​ Weske, M.H. & <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>​ (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​289340/>​Second International Workshop on Process Model Collections (PMC 2012)</​a>​. 465-512.</​p>​
  </​li>​  </​li>​
   
Line 502: Line 502:
   
  <​li>​  <​li>​
- <​p>​Jagadeesh Chandra Bose, R.P. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​257053/>​Process mining in the large : preprocessing,​ discovery, and diagnostics</​a>​. Eindhoven: Technische Universiteit Eindhoven. ((Co-)promot.:​ prof.dr.ir. W.M.P. van der Aalst & dr.ir. B.F. van Dongen).</​p>​+ <​p>​Jagadeesh Chandra Bose, R.P. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​257053/>​Process mining in the large : preprocessing,​ discovery, and diagnostics</​a>​. Eindhoven: Technische Universiteit Eindhoven. ((Co-)promot.:​ prof.dr.ir. W.M.P. van der Aalst & dr.ir. B.F. van Dongen).</​p>​
  </​li>​  </​li>​
   
Line 508: Line 508:
   
  <​li>​  <​li>​
- <​p>​Schonenberg,​ M.H. (2012). ​ <a href=/​en/​publication/​ep/​p/​d/​ep-uid/​243415/>​What'​s next? : operational support for business process execution</​a>​. Eindhoven: Technische Universiteit Eindhoven. ((Co-)promot.:​ prof.dr.ir. W.M.P. van der Aalst & dr. N. Sidorova).</​p>​+ <​p>​Schonenberg,​ M.H. (2012). ​ <a href=https://​www.tue.nl/​en/​publication/​ep/​p/​d/​ep-uid/​243415/>​What'​s next? : operational support for business process execution</​a>​. Eindhoven: Technische Universiteit Eindhoven. ((Co-)promot.:​ prof.dr.ir. W.M.P. van der Aalst & dr. N. Sidorova).</​p>​
  </​li>​  </​li>​