BibTeX records: Fabrizio Maria Maggi

download as .bib file

@article{DBLP:journals/corr/abs-2403-11642,
  author       = {Andrei Buliga and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Ivan Donadello and
                  Fabrizio Maria Maggi},
  title        = {Guiding the generation of counterfactual explanations through temporal
                  background knowledge for Predictive Process Monitoring},
  journal      = {CoRR},
  volume       = {abs/2403.11642},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.11642},
  doi          = {10.48550/ARXIV.2403.11642},
  eprinttype    = {arXiv},
  eprint       = {2403.11642},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-11642.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/AlmanMMPR23,
  author       = {Anti Alman and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Fabio Patrizi and
                  Andrey Rivkin},
  title        = {Monitoring hybrid process specifications with conflict management:
                  An automata-theoretic approach},
  journal      = {Artif. Intell. Medicine},
  volume       = {139},
  pages        = {102512},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.artmed.2023.102512},
  doi          = {10.1016/J.ARTMED.2023.102512},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/AlmanMMPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AgostinelliCMMP23,
  author       = {Simone Agostinelli and
                  Francesco Chiariello and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Fabio Patrizi},
  title        = {Process mining meets model learning: Discovering deterministic finite
                  state automata from event logs for business process analysis},
  journal      = {Inf. Syst.},
  volume       = {114},
  pages        = {102180},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.is.2023.102180},
  doi          = {10.1016/J.IS.2023.102180},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/AgostinelliCMMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AlmanMMPR23,
  author       = {Anti Alman and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Fabio Patrizi and
                  Andrey Rivkin},
  title        = {A framework for modeling, executing, and monitoring hybrid multi-process
                  specifications with bounded global-local memory},
  journal      = {Inf. Syst.},
  volume       = {119},
  pages        = {102271},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.is.2023.102271},
  doi          = {10.1016/J.IS.2023.102271},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/AlmanMMPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/CeravoloCFLMS23,
  author       = {Paolo Ceravolo and
                  Claudio Di Ciccio and
                  Chiara Di Francescomarino and
                  Mar{\'{\i}}a Teresa G{\'{o}}mez{-}L{\'{o}}pez and
                  Fabrizio Maria Maggi and
                  Renuka Sindhgatta},
  title        = {Editorial: recent advances in process analytics},
  journal      = {J. Intell. Inf. Syst.},
  volume       = {61},
  number       = {1},
  pages        = {1--3},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10844-023-00798-w},
  doi          = {10.1007/S10844-023-00798-W},
  timestamp    = {Fri, 19 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jiis/CeravoloCFLMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/BernardiCM23,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  title        = {Data-aware process discovery for malware detection: an empirical study},
  journal      = {Mach. Learn.},
  volume       = {112},
  number       = {4},
  pages        = {1171--1199},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10994-022-06154-3},
  doi          = {10.1007/S10994-022-06154-3},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ml/BernardiCM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpa/GiacomoFMMP23,
  author       = {Giuseppe De Giacomo and
                  Francesco Fuggitti and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Fabio Patrizi},
  title        = {A tool for declarative Trace Alignment via automated planning},
  journal      = {Softw. Impacts},
  volume       = {16},
  pages        = {100505},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.simpa.2023.100505},
  doi          = {10.1016/J.SIMPA.2023.100505},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simpa/GiacomoFMMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/MaggiMPS23,
  author       = {Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Fabio Patrizi and
                  Vasyl Skydanienko},
  title        = {Data-Aware Declarative Process Mining with {SAT}},
  journal      = {{ACM} Trans. Intell. Syst. Technol.},
  volume       = {14},
  number       = {4},
  pages        = {75:1--75:26},
  year         = {2023},
  url          = {https://doi.org/10.1145/3600106},
  doi          = {10.1145/3600106},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tist/MaggiMPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChesaniFGLMMMT23,
  author       = {Federico Chesani and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Daniela Loreti and
                  Fabrizio Maria Maggi and
                  Paola Mello and
                  Marco Montali and
                  Sergio Tessaris},
  title        = {Process Discovery on Deviant Traces and Other Stranger Things},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {35},
  number       = {11},
  pages        = {11784--11800},
  year         = {2023},
  url          = {https://doi.org/10.1109/TKDE.2022.3232207},
  doi          = {10.1109/TKDE.2022.3232207},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/ChesaniFGLMMMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GianolaKMMW23,
  author       = {Alessandro Gianola and
                  Jonghyeon Ko and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Sarah Winkler},
  editor       = {Chiara Di Francescomarino and
                  Andrea Burattin and
                  Christian Janiesch and
                  Shazia Sadiq},
  title        = {Approximating Multi-perspective Trace Alignment Using Trace Encodings},
  booktitle    = {Business Process Management - 21st International Conference, {BPM}
                  2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14159},
  pages        = {74--91},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-41620-0\_5},
  doi          = {10.1007/978-3-031-41620-0\_5},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/GianolaKMMW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ChiarielloPM23,
  author       = {Francesco Chiariello and
                  Fabrizio Maria Maggi and
                  Fabio Patrizi},
  editor       = {Dirk Fahland and
                  Andr{\'{e}}s Jim{\'{e}}nez{-}Ram{\'{\i}}rez and
                  Akhil Kumar and
                  Jan Mendling and
                  Brian T. Pentland and
                  Stefanie Rinderle{-}Ma and
                  Tijs Slaats and
                  Johan Versendaal and
                  Barbara Weber and
                  Mathias Weske and
                  Karolin Winter},
  title        = {From {LTL} on Process Traces to Finite-state Automata},
  booktitle    = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
                  Demonstration {\&} Resources Forum at {BPM} 2023 co-located with
                  21st International Conference on Business Process Management {(BPM}
                  2023), Utrecht, The Netherlands, September 11th to 15th, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3469},
  pages        = {127--131},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3469/paper-23.pdf},
  timestamp    = {Wed, 06 Sep 2023 08:40:08 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/ChiarielloPM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/RivaBMMM23,
  author       = {Francesco Riva and
                  Dario Benvenuti and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Marco Montali},
  editor       = {Chiara Di Francescomarino and
                  Andrea Burattin and
                  Christian Janiesch and
                  Shazia W. Sadiq},
  title        = {An SQL-Based Declarative Process Mining Framework for Analyzing Process
                  Data Stored in Relational Databases},
  booktitle    = {Business Process Management Forum - {BPM} 2023 Forum, Utrecht, The
                  Netherlands, September 11-15, 2023, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {490},
  pages        = {214--231},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-41623-1\_13},
  doi          = {10.1007/978-3-031-41623-1\_13},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/RivaBMMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlmanMMR23,
  author       = {Anti Alman and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Jochen De Weerdt and
                  Luise Pufahl},
  title        = {Generating Event Logs from Hybrid Process Models},
  booktitle    = {Business Process Management Workshops - {BPM} 2023 International Workshops,
                  Utrecht, The Netherlands, September 11-15, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {492},
  pages        = {289--301},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-50974-2\_22},
  doi          = {10.1007/978-3-031-50974-2\_22},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/AlmanMMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BuligaFGM23,
  author       = {Andrei Buliga and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  editor       = {Marta Indulska and
                  Iris Reinhartz{-}Berger and
                  Carlos Cetina and
                  Oscar Pastor},
  title        = {Counterfactuals and Ways to Build Them: Evaluating Approaches in Predictive
                  Process Monitoring},
  booktitle    = {Advanced Information Systems Engineering - 35th International Conference,
                  CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13901},
  pages        = {558--574},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34560-9\_33},
  doi          = {10.1007/978-3-031-34560-9\_33},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/BuligaFGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MaitaFPM23,
  author       = {Ana Roc{\'{\i}}o C{\'{a}}rdenas Maita and
                  Marcelo Fantinato and
                  Sarajane Marques Peres and
                  Fabrizio Maria Maggi},
  editor       = {Joaquim Filipe and
                  Michal Smialek and
                  Alexander Brodsky and
                  Slimane Hammoudi},
  title        = {Towards a Business-Oriented Approach to Visualization-Supported Interpretability
                  of Prediction Results in Process Mining},
  booktitle    = {Proceedings of the 25th International Conference on Enterprise Information
                  Systems, {ICEIS} 2023, Volume 1, Prague, Czech Republic, April 24-26,
                  2023},
  pages        = {395--406},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011976000003467},
  doi          = {10.5220/0011976000003467},
  timestamp    = {Tue, 23 May 2023 16:57:27 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/MaitaFPM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/DonadelloMRS23,
  author       = {Ivan Donadello and
                  Fabrizio Maria Maggi and
                  Francesco Riva and
                  Manpreet Singh},
  editor       = {Jan Martijn E. M. van der Werf and
                  Cristina Cabanillas and
                  Francesco Leotta and
                  Laura Genga},
  title        = {ASP-Based Log Generation with Purposes in Declare4Py},
  booktitle    = {Doctoral Consortium and Demo Track 2023 at the International Conference
                  on Process Mining 2023 co-located with the 5th International Conference
                  on Process Mining {(ICPM} 2023), Rome, Italy, October 27, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3648},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3648/paper\_695.pdf},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpm/DonadelloMRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/IbershimiXADM23,
  author       = {Tedi Ibershimi and
                  Diellsimeone Xhemalaj and
                  Anti Alman and
                  Ivan Donadello and
                  Fabrizio Maria Maggi},
  editor       = {Jan Martijn E. M. van der Werf and
                  Cristina Cabanillas and
                  Francesco Leotta and
                  Laura Genga},
  title        = {Two Solutions for Checking LTLf Properties in Event Logs},
  booktitle    = {Doctoral Consortium and Demo Track 2023 at the International Conference
                  on Process Mining 2023 co-located with the 5th International Conference
                  on Process Mining {(ICPM} 2023), Rome, Italy, October 27, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3648},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3648/paper\_5986.pdf},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpm/IbershimiXADM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/KoMMPP23,
  author       = {Jonghyeon Ko and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza and
                  Ramon Fraga Pereira},
  title        = {Plan Recognition as Probabilistic Trace Alignment},
  booktitle    = {5th International Conference on Process Mining, {ICPM} 2023, Rome,
                  Italy, October 23-27, 2023},
  pages        = {33--40},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICPM60904.2023.10271943},
  doi          = {10.1109/ICPM60904.2023.10271943},
  timestamp    = {Fri, 20 Oct 2023 17:04:56 +0200},
  biburl       = {https://dblp.org/rec/conf/icpm/KoMMPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeemansMM23,
  author       = {Sander J. J. Leemans and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  title        = {Finite-Trace Analysis of Stochastic Systems with Silent Transitions
                  (Extended Abstract)},
  booktitle    = {Proceedings of the Thirty-Second International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
                  SAR, China},
  pages        = {6452--6457},
  publisher    = {ijcai.org},
  year         = {2023},
  url          = {https://doi.org/10.24963/ijcai.2023/719},
  doi          = {10.24963/IJCAI.2023/719},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LeemansMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/AlmanDMM23,
  author       = {Anti Alman and
                  Ivan Donadello and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  editor       = {Regine Kadgien and
                  Andreas Jedlitschka and
                  Andrea Janes and
                  Valentina Lenarduzzi and
                  Xiaozhou Li},
  title        = {Declarative Process Mining for Software Processes: The RuM Toolkit
                  and the Declare4Py Python Library},
  booktitle    = {Product-Focused Software Process Improvement - 24th International
                  Conference, {PROFES} 2023, Dornbirn, Austria, December 10-13, 2023,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14484},
  pages        = {13--19},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-49269-3\_2},
  doi          = {10.1007/978-3-031-49269-3\_2},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/profes/AlmanDMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edoc/2022w,
  editor       = {Tiago Prince Sales and
                  Henderik A. Proper and
                  Giancarlo Guizzardi and
                  Marco Montali and
                  Fabrizio Maria Maggi and
                  Claudenir M. Fonseca},
  title        = {Enterprise Design, Operations, and Computing. {EDOC} 2022 Workshops
                  - IDAMS, SoEA4EE, TEAR, {EDOC} Forum, Demonstrations Track and Doctoral
                  Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {466},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-26886-1},
  doi          = {10.1007/978-3-031-26886-1},
  isbn         = {978-3-031-26885-4},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/2022w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14939,
  author       = {Williams Rizzi and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  title        = {Explain, Adapt and Retrain: How to improve the accuracy of a {PPM}
                  classifier through different explanation styles},
  journal      = {CoRR},
  volume       = {abs/2303.14939},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.14939},
  doi          = {10.48550/ARXIV.2303.14939},
  eprinttype    = {arXiv},
  eprint       = {2303.14939},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-14939.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06376,
  author       = {Sander J. J. Leemans and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  title        = {Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions},
  journal      = {CoRR},
  volume       = {abs/2306.06376},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.06376},
  doi          = {10.48550/ARXIV.2306.06376},
  eprinttype    = {arXiv},
  eprint       = {2306.06376},
  timestamp    = {Fri, 16 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-06376.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08847,
  author       = {Ivan Donadello and
                  Jonghyeon Ko and
                  Fabrizio Maria Maggi and
                  Jan Mendling and
                  Francesco Riva and
                  Matthias Weidlich},
  title        = {Knowledge-Driven Modulation of Neural Networks with Attention Mechanism
                  for Next Activity Prediction},
  journal      = {CoRR},
  volume       = {abs/2312.08847},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.08847},
  doi          = {10.48550/ARXIV.2312.08847},
  eprinttype    = {arXiv},
  eprint       = {2312.08847},
  timestamp    = {Mon, 08 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-08847.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/KimCDMT22,
  author       = {Jongchan Kim and
                  Marco Comuzzi and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Irene Teinemaa},
  title        = {Encoding resource experience for predictive process monitoring},
  journal      = {Decis. Support Syst.},
  volume       = {153},
  pages        = {113669},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.dss.2021.113669},
  doi          = {10.1016/J.DSS.2021.113669},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dss/KimCDMT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LenoADRMP22,
  author       = {Volodymyr Leno and
                  Adriano Augusto and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Artem Polyvyanyy},
  title        = {Discovering data transfer routines from user interaction logs},
  journal      = {Inf. Syst.},
  volume       = {107},
  pages        = {101916},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.is.2021.101916},
  doi          = {10.1016/J.IS.2021.101916},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/LenoADRMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CecconiGCMM22,
  author       = {Alessio Cecconi and
                  Giuseppe De Giacomo and
                  Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Jan Mendling},
  title        = {Measuring the interestingness of temporal logic behavioral specifications
                  in process mining},
  journal      = {Inf. Syst.},
  volume       = {107},
  pages        = {101920},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.is.2021.101920},
  doi          = {10.1016/J.IS.2021.101920},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/CecconiGCMM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AlmanMMP22,
  author       = {Anti Alman and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza},
  title        = {Probabilistic declarative process mining},
  journal      = {Inf. Syst.},
  volume       = {109},
  pages        = {102033},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.is.2022.102033},
  doi          = {10.1016/J.IS.2022.102033},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/AlmanMMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/Fahrenkrog-Petersen22,
  author       = {Stephan A. Fahrenkrog{-}Petersen and
                  Niek Tax and
                  Irene Teinemaa and
                  Marlon Dumas and
                  Massimiliano de Leoni and
                  Fabrizio Maria Maggi and
                  Matthias Weidlich},
  title        = {Fire now, fire later: alarm-based systems for prescriptive process
                  monitoring},
  journal      = {Knowl. Inf. Syst.},
  volume       = {64},
  number       = {2},
  pages        = {559--587},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10115-021-01633-w},
  doi          = {10.1007/S10115-021-01633-W},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/Fahrenkrog-Petersen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/RizziFGM22,
  author       = {Williams Rizzi and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  title        = {How do {I} update my model? On the resilience of Predictive Process
                  Monitoring models to change},
  journal      = {Knowl. Inf. Syst.},
  volume       = {64},
  number       = {5},
  pages        = {1385--1416},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10115-022-01666-9},
  doi          = {10.1007/S10115-022-01666-9},
  timestamp    = {Thu, 02 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/RizziFGM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpa/ChiarielloMP22,
  author       = {Francesco Chiariello and
                  Fabrizio Maria Maggi and
                  Fabio Patrizi},
  title        = {A tool for compiling Declarative Process Mining problems in {ASP}},
  journal      = {Softw. Impacts},
  volume       = {14},
  pages        = {100435},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.simpa.2022.100435},
  doi          = {10.1016/J.SIMPA.2022.100435},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simpa/ChiarielloMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GiacomoMMM22,
  author       = {Giuseppe De Giacomo and
                  Riccardo De Masellis and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  title        = {Monitoring Constraints and Metaconstraints with Temporal Logics on
                  Finite Traces},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {31},
  number       = {4},
  pages        = {68:1--68:44},
  year         = {2022},
  url          = {https://doi.org/10.1145/3506799},
  doi          = {10.1145/3506799},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/GiacomoMMM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChiarielloMP22,
  author       = {Francesco Chiariello and
                  Fabrizio Maria Maggi and
                  Fabio Patrizi},
  title        = {ASP-Based Declarative Process Mining},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {5539--5547},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i5.20493},
  doi          = {10.1609/AAAI.V36I5.20493},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ChiarielloMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/DonadelloRMS22,
  author       = {Ivan Donadello and
                  Francesco Riva and
                  Fabrizio Maria Maggi and
                  Aladdin Shikhizada},
  editor       = {Christian Janiesch and
                  Chiara Di Francescomarino and
                  Thomas Grisold and
                  Akhil Kumar and
                  Jan Mendling and
                  Brian T. Pentland and
                  Hajo A. Reijers and
                  Mathias Weske and
                  Robert Winter},
  title        = {Declare4Py: {A} Python Library for Declarative Process Mining},
  booktitle    = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
                  Demonstration {\&} Resources Track at {BPM} 2022 co-located with
                  20th International Conference on Business Process Management {(BPM}
                  2022), M{\"{u}}nster, Germany, September 11th to 16th, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3216},
  pages        = {117--121},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3216/paper\_249.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/DonadelloRMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LeemansMM22,
  author       = {Sander J. J. Leemans and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  editor       = {Claudio Di Ciccio and
                  Remco M. Dijkman and
                  Adela del{-}R{\'{\i}}o{-}Ortega and
                  Stefanie Rinderle{-}Ma},
  title        = {Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic
                  Setting},
  booktitle    = {Business Process Management - 20th International Conference, {BPM}
                  2022, M{\"{u}}nster, Germany, September 11-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13420},
  pages        = {324--342},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16103-2\_22},
  doi          = {10.1007/978-3-031-16103-2\_22},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/LeemansMM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AlmanMMPR22,
  author       = {Anti Alman and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Fabio Patrizi and
                  Andrey Rivkin},
  editor       = {Xavier Franch and
                  Geert Poels and
                  Frederik Gailly and
                  Monique Snoeck},
  title        = {Multi-model Monitoring Framework for Hybrid Process Specifications},
  booktitle    = {Advanced Information Systems Engineering - 34th International Conference,
                  CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13295},
  pages        = {319--335},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07472-1\_19},
  doi          = {10.1007/978-3-031-07472-1\_19},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/AlmanMMPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMPT22,
  author       = {Federico Chesani and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Daniela Loreti and
                  Fabrizio Maria Maggi and
                  Paola Mello and
                  Marco Montali and
                  Elena Palmieri and
                  Sergio Tessaris},
  editor       = {Roberta Calegari and
                  Giovanni Ciatto and
                  Andrea Omicini},
  title        = {Discovering Business Processes models expressed as {DNF} or {CNF}
                  formulae of Declare constraints},
  booktitle    = {Proceedings of the 37th Italian Conference on Computational Logic,
                  Bologna, Italy, June 29 - July 1, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3204},
  pages        = {201--216},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3204/paper\_21.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMPT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/ChesaniFGGLMMMT22,
  author       = {Federico Chesani and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Giulia Grundler and
                  Daniela Loreti and
                  Fabrizio Maria Maggi and
                  Paola Mello and
                  Marco Montali and
                  Sergio Tessaris},
  editor       = {Jo{\~{a}}o Paulo A. Almeida and
                  Dimka Karastoyanova and
                  Giancarlo Guizzardi and
                  Marco Montali and
                  Fabrizio Maria Maggi and
                  Claudenir M. Fonseca},
  title        = {Shape Your Process: Discovering Declarative Business Processes from
                  Positive and Negative Traces Taking into Account User Preferences},
  booktitle    = {Enterprise Design, Operations, and Computing - 26th International
                  Conference, {EDOC} 2022, Bozen-Bolzano, Italy, October 3-7, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13585},
  pages        = {217--234},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17604-3\_13},
  doi          = {10.1007/978-3-031-17604-3\_13},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edoc/ChesaniFGGLMMMT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/AcitelliABMMP22,
  author       = {Giacomo Acitelli and
                  Marco Angelini and
                  Silvia Bonomi and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Alessandro Palma},
  editor       = {Andrea Burattin and
                  Artem Polyvyanyy and
                  Barbara Weber},
  title        = {Context-Aware Trace Alignment with Automated Planning},
  booktitle    = {4th International Conference on Process Mining, {ICPM} 2022, Bolzano,
                  Italy, October 23-28, 2022},
  pages        = {104--111},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICPM57379.2022.9980649},
  doi          = {10.1109/ICPM57379.2022.9980649},
  timestamp    = {Tue, 03 Jan 2023 07:35:57 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/AcitelliABMMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Francescomarino22,
  author       = {Chiara Di Francescomarino and
                  Ivan Donadello and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Williams Rizzi},
  editor       = {Giuseppe De Giacomo and
                  Antonella Guzzo and
                  Marco Montali and
                  Lior Limonad and
                  Fabiana Fournier and
                  Tagatha Chakraborti},
  title        = {Making sense of temporal data: the {DECLARE} encoding},
  booktitle    = {Proceedings of the Workshop on Process Management in the {AI} Era
                  {(PMAI} 2022) co-located with 31st International Joint Conference
                  on Artificial Intelligence and the 25th European Conference on Artificial
                  Intelligence {(IJCAI-ECAI} 2022), Wien, Austria, July 23, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3310},
  pages        = {77--80},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3310/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/Francescomarino22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ChesaniFGGLMMMT22,
  author       = {Federico Chesani and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Giulia Grundler and
                  Daniela Loreti and
                  Fabrizio Maria Maggi and
                  Paola Mello and
                  Marco Montali and
                  Sergio Tessaris},
  editor       = {Georg Gottlob and
                  Daniela Inclezan and
                  Marco Maratea},
  title        = {Optimising Business Process Discovery Using Answer Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 16th International
                  Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13416},
  pages        = {498--504},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15707-3\_38},
  doi          = {10.1007/978-3-031-15707-3\_38},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/ChesaniFGGLMMMT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MilaniLMF22,
  author       = {Fredrik Milani and
                  Katsiaryna Lashkevich and
                  Fabrizio Maria Maggi and
                  Chiara Di Francescomarino},
  editor       = {Renata S. S. Guizzardi and
                  Jolita Ralyt{\'{e}} and
                  Xavier Franch},
  title        = {Process Mining: {A} Guide for Practitioners},
  booktitle    = {Research Challenges in Information Science - 16th International Conference,
                  {RCIS} 2022, Barcelona, Spain, May 17-20, 2022, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {446},
  pages        = {265--282},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-05760-1\_16},
  doi          = {10.1007/978-3-031-05760-1\_16},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rcis/MilaniLMF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/DumasRLPM22,
  author       = {Marlon Dumas and
                  Marcello La Rosa and
                  Volodymyr Leno and
                  Artem Polyvyanyy and
                  Fabrizio Maria Maggi},
  editor       = {Wil M. P. van der Aalst and
                  Josep Carmona},
  title        = {Robotic Process Mining},
  booktitle    = {Process Mining Handbook},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {448},
  pages        = {468--491},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08848-3\_16},
  doi          = {10.1007/978-3-031-08848-3\_16},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/22/DumasRLPM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edoc/2022,
  editor       = {Jo{\~{a}}o Paulo A. Almeida and
                  Dimka Karastoyanova and
                  Giancarlo Guizzardi and
                  Marco Montali and
                  Fabrizio Maria Maggi and
                  Claudenir M. Fonseca},
  title        = {Enterprise Design, Operations, and Computing - 26th International
                  Conference, {EDOC} 2022, Bozen-Bolzano, Italy, October 3-7, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13585},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17604-3},
  doi          = {10.1007/978-3-031-17604-3},
  isbn         = {978-3-031-17603-6},
  timestamp    = {Tue, 04 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edoc/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icpm/2021dc,
  editor       = {Mieke Jans and
                  Gert Janssenswillen and
                  Anna A. Kalenkova and
                  Fabrizio Maria Maggi},
  title        = {Proceedings of the {ICPM} Doctoral Consortium and Demo Track 2021
                  co-located with 3rd International Conference on Process Mining, {ICPM}
                  Doctoral Consortium / Demo Track 2021, Eindhoven, The Netherlands,
                  November, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3098},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3098},
  urn          = {urn:nbn:de:0074-3098-0},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/2021dc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icpm/2022dc,
  editor       = {Marwan Hassani and
                  Agnes Koschmider and
                  Marco Comuzzi and
                  Fabrizio Maria Maggi and
                  Luise Pufahl},
  title        = {Proceedings of the {ICPM} Doctoral Consortium and Demo Track 2022
                  co-located with 4th International Conference on Process Mining {(ICPM}
                  2022), Bolzano, Italy, October, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3299},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3299},
  urn          = {urn:nbn:de:0074-3299-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/2022dc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07760,
  author       = {Williams Rizzi and
                  Marco Comuzzi and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Suhwan Lee and
                  Fabrizio Maria Maggi and
                  Alexander Nolte},
  title        = {Explainable Predictive Process Monitoring: {A} User Evaluation},
  journal      = {CoRR},
  volume       = {abs/2202.07760},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.07760},
  eprinttype    = {arXiv},
  eprint       = {2202.07760},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-07760.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01979,
  author       = {Francesco Chiariello and
                  Fabrizio Maria Maggi and
                  Fabio Patrizi},
  title        = {ASP-Based Declarative Process Mining},
  journal      = {CoRR},
  volume       = {abs/2205.01979},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.01979},
  doi          = {10.48550/ARXIV.2205.01979},
  eprinttype    = {arXiv},
  eprint       = {2205.01979},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-01979.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-09688,
  author       = {Williams Rizzi and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  title        = {Nirdizati: an Advanced Predictive Process Monitoring Toolkit},
  journal      = {CoRR},
  volume       = {abs/2210.09688},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.09688},
  doi          = {10.48550/ARXIV.2210.09688},
  eprinttype    = {arXiv},
  eprint       = {2210.09688},
  timestamp    = {Mon, 24 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-09688.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-04880,
  author       = {Ivan Donadello and
                  Chiara Di Francescomarino and
                  Fabrizio Maria Maggi and
                  Francesco Ricci and
                  Aladdin Shikhizada},
  title        = {Outcome-Oriented Prescriptive Process Monitoring Based on Temporal
                  Logic Patterns},
  journal      = {CoRR},
  volume       = {abs/2211.04880},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.04880},
  doi          = {10.48550/ARXIV.2211.04880},
  eprinttype    = {arXiv},
  eprint       = {2211.04880},
  timestamp    = {Tue, 15 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-04880.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bise/LenoPDRM21,
  author       = {Volodymyr Leno and
                  Artem Polyvyanyy and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  title        = {Robotic Process Mining: Vision and Challenges},
  journal      = {Bus. Inf. Syst. Eng.},
  volume       = {63},
  number       = {3},
  pages        = {301--314},
  year         = {2021},
  url          = {https://doi.org/10.1007/s12599-020-00641-4},
  doi          = {10.1007/S12599-020-00641-4},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bise/LenoPDRM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AdamoFGM21,
  author       = {Greta Adamo and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  title        = {Beyond arrows in process models: {A} user study on activity dependences
                  and their rationales},
  journal      = {Inf. Syst.},
  volume       = {100},
  pages        = {101762},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.is.2021.101762},
  doi          = {10.1016/J.IS.2021.101762},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/AdamoFGM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/MaggiM21,
  author       = {Fabrizio Maria Maggi and
                  Andrea Marrella},
  title        = {Preface to the Special Issue on Artificial Intelligence for Business
                  Process Management 2019},
  journal      = {J. Data Semant.},
  volume       = {10},
  number       = {1-2},
  pages        = {1--2},
  year         = {2021},
  url          = {https://doi.org/10.1007/s13740-021-00131-0},
  doi          = {10.1007/S13740-021-00131-0},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jodsn/MaggiM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/TaymouriRDM21,
  author       = {Farbod Taymouri and
                  Marcello La Rosa and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  title        = {Business process variant analysis: Survey and classification},
  journal      = {Knowl. Based Syst.},
  volume       = {211},
  pages        = {106557},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.knosys.2020.106557},
  doi          = {10.1016/J.KNOSYS.2020.106557},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/TaymouriRDM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlmanCMMA21,
  author       = {Anti Alman and
                  Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Han van der Aa},
  editor       = {Artem Polyvyanyy and
                  Moe Thandar Wynn and
                  Amy Van Looy and
                  Manfred Reichert},
  title        = {RuM: Declarative Process Mining, Distilled},
  booktitle    = {Business Process Management - 19th International Conference, {BPM}
                  2021, Rome, Italy, September 06-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12875},
  pages        = {23--29},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85469-0\_3},
  doi          = {10.1007/978-3-030-85469-0\_3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/AlmanCMMA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlmanCM21,
  author       = {Anti Alman and
                  Claudio Di Ciccio and
                  Fabrizio Maria Maggi},
  editor       = {Andrea Marrella and
                  Daniele Theseider Dupr{\'{e}}},
  title        = {Rule Mining with RuM (Extended Abstract)},
  booktitle    = {Proceedings of the 1st Italian Forum on Business Process Management
                  co-located with the 19th International Conference of Business Process
                  Management {(BPM} 2021), Rome, Italy, September 10th, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2952},
  pages        = {38--43},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2952/paper\_296a.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/AlmanCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Lopez-PintadoDY21,
  author       = {Orlenys L{\'{o}}pez{-}Pintado and
                  Marlon Dumas and
                  Maksym Yerokhin and
                  Fabrizio Maria Maggi},
  editor       = {Artem Polyvyanyy and
                  Moe Thandar Wynn and
                  Amy Van Looy and
                  Manfred Reichert},
  title        = {Silhouetting the Cost-Time Front: Multi-objective Resource Optimization
                  in Business Processes},
  booktitle    = {Business Process Management Forum - {BPM} Forum 2021, Rome, Italy,
                  September 06-10, 2021, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {427},
  pages        = {92--108},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85440-9\_6},
  doi          = {10.1007/978-3-030-85440-9\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/Lopez-PintadoDY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BergamiMMM21,
  author       = {Giacomo Bergami and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Marco Montali},
  editor       = {Artem Polyvyanyy and
                  Moe Thandar Wynn and
                  Amy Van Looy and
                  Manfred Reichert},
  title        = {Aligning Data-Aware Declarative Process Models and Event Logs},
  booktitle    = {Business Process Management - 19th International Conference, {BPM}
                  2021, Rome, Italy, September 06-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12875},
  pages        = {235--251},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85469-0\_16},
  doi          = {10.1007/978-3-030-85469-0\_16},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/BergamiMMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BergamiMMP21,
  author       = {Giacomo Bergami and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Selmin Nurcan and
                  Axel Korthaus},
  title        = {A Tool for Computing Probabilistic Trace Alignments},
  booktitle    = {Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC,
                  Australia, June 28 - July 2, 2021, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {424},
  pages        = {118--126},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79108-7\_14},
  doi          = {10.1007/978-3-030-79108-7\_14},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/BergamiMMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/BergamiMMP21,
  author       = {Giacomo Bergami and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Claudio Di Ciccio and
                  Chiara Di Francescomarino and
                  Pnina Soffer},
  title        = {Probabilistic Trace Alignment},
  booktitle    = {3rd International Conference on Process Mining, {ICPM} 2021, Eindhoven,
                  The Netherlands, October 31 - Nov. 4, 2021},
  pages        = {9--16},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICPM53251.2021.9576856},
  doi          = {10.1109/ICPM53251.2021.9576856},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/BergamiMMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/AgostinelliBFMM21,
  author       = {Simone Agostinelli and
                  Giacomo Bergami and
                  Alessio Fiorenza and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Fabio Patrizi},
  editor       = {Claudio Di Ciccio and
                  Chiara Di Francescomarino and
                  Pnina Soffer},
  title        = {Discovering Declarative Process Model Behavior from Event Logs via
                  Model Learning},
  booktitle    = {3rd International Conference on Process Mining, {ICPM} 2021, Eindhoven,
                  The Netherlands, October 31 - Nov. 4, 2021},
  pages        = {48--55},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICPM53251.2021.9576870},
  doi          = {10.1109/ICPM53251.2021.9576870},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpm/AgostinelliBFMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2021d,
  editor       = {Wil M. P. van der Aalst and
                  Remco M. Dijkman and
                  Akhil Kumar and
                  Francesco Leotta and
                  Fabrizio Maria Maggi and
                  Jan Mendling and
                  Brian T. Pentland and
                  Arik Senderovich and
                  Marcos Sep{\'{u}}lveda and
                  Estefan{\'{\i}}a Serral Asensio and
                  Mathias Weske},
  title        = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
                  Demonstration {\&} Resources Track at {BPM} 2021 co-located with
                  19th International Conference on Business Process Management {(BPM}
                  2021), Rome, Italy, September 6th - to - 10th, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2973},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2973},
  urn          = {urn:nbn:de:0074-2973-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/2021d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13446,
  author       = {Volodymyr Leno and
                  Adriano Augusto and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Artem Polyvyanyy},
  title        = {Discovering executable routine specifications from user interaction
                  logs},
  journal      = {CoRR},
  volume       = {abs/2106.13446},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.13446},
  eprinttype    = {arXiv},
  eprint       = {2106.13446},
  timestamp    = {Wed, 30 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-13446.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03997,
  author       = {Giacomo Bergami and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza},
  title        = {Probabilistic Trace Alignment},
  journal      = {CoRR},
  volume       = {abs/2107.03997},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.03997},
  eprinttype    = {arXiv},
  eprint       = {2107.03997},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-03997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-03501,
  author       = {Williams Rizzi and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  title        = {How do {I} update my model? On the resilience of Predictive Process
                  Monitoring models to change},
  journal      = {CoRR},
  volume       = {abs/2109.03501},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.03501},
  eprinttype    = {arXiv},
  eprint       = {2109.03501},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-03501.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-14883,
  author       = {Federico Chesani and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Daniela Loreti and
                  Fabrizio Maria Maggi and
                  Paola Mello and
                  Marco Montali and
                  Sergio Tessaris},
  title        = {Process discovery on deviant traces and other stranger things},
  journal      = {CoRR},
  volume       = {abs/2109.14883},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.14883},
  eprinttype    = {arXiv},
  eprint       = {2109.14883},
  timestamp    = {Mon, 04 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-14883.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-12454,
  author       = {Giacomo Bergami and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Joonas Puura},
  title        = {Exploring Business Process Deviance with Sequential and Declarative
                  Patterns},
  journal      = {CoRR},
  volume       = {abs/2111.12454},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.12454},
  eprinttype    = {arXiv},
  eprint       = {2111.12454},
  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-12454.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13136,
  author       = {Anti Alman and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Fabio Patrizi and
                  Andrey Rivkin},
  title        = {Monitoring Hybrid Process Specifications with Conflict Management:
                  The Automata-theoretic Approach},
  journal      = {CoRR},
  volume       = {abs/2111.13136},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.13136},
  eprinttype    = {arXiv},
  eprint       = {2111.13136},
  timestamp    = {Wed, 01 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-13136.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LenoDMRP20,
  author       = {Volodymyr Leno and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Marcello La Rosa and
                  Artem Polyvyanyy},
  title        = {Automated discovery of declarative process models with correlated
                  data conditions},
  journal      = {Inf. Syst.},
  volume       = {89},
  pages        = {101482},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.is.2019.101482},
  doi          = {10.1016/J.IS.2019.101482},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/LenoDMRP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/Francescomarino20,
  author       = {Chiara Di Francescomarino and
                  Fabrizio Maria Maggi},
  title        = {Preface to the Special Issue on Artificial Intelligence for Business
                  Process Management 2018},
  journal      = {J. Data Semant.},
  volume       = {9},
  number       = {1},
  pages        = {1},
  year         = {2020},
  url          = {https://doi.org/10.1007/s13740-020-00111-w},
  doi          = {10.1007/S13740-020-00111-W},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jodsn/Francescomarino20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MaggiMP20,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza},
  title        = {Temporal Logics Over Finite Traces with Uncertainty},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {10218--10225},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i06.6583},
  doi          = {10.1609/AAAI.V34I06.6583},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MaggiMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiMPA20,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza and
                  Anti Alman},
  editor       = {Dirk Fahland and
                  Chiara Ghidini and
                  J{\"{o}}rg Becker and
                  Marlon Dumas},
  title        = {Extending Temporal Business Constraints with Uncertainty},
  booktitle    = {Business Process Management - 18th International Conference, {BPM}
                  2020, Seville, Spain, September 13-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12168},
  pages        = {35--54},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58666-9\_3},
  doi          = {10.1007/978-3-030-58666-9\_3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/MaggiMPA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AaBMN20,
  author       = {Han van der Aa and
                  Karl Johannes Balder and
                  Fabrizio Maria Maggi and
                  Alexander Nolte},
  editor       = {Dirk Fahland and
                  Chiara Ghidini and
                  J{\"{o}}rg Becker and
                  Marlon Dumas},
  title        = {Say It in Your Own Words: Defining Declarative Process Models Using
                  Speech Recognition},
  booktitle    = {Business Process Management Forum - {BPM} Forum 2020, Seville, Spain,
                  September 13-18, 2020, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {392},
  pages        = {51--67},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58638-6\_4},
  doi          = {10.1007/978-3-030-58638-6\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/AaBMN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LenoDPRDM20,
  author       = {Volodymyr Leno and
                  Stanislav Deviatykh and
                  Artem Polyvyanyy and
                  Marcello La Rosa and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  editor       = {Wil M. P. van der Aalst and
                  Jan vom Brocke and
                  Marco Comuzzi and
                  Claudio Di Ciccio and
                  F{\'{e}}lix Garc{\'{\i}}a and
                  Akhil Kumar and
                  Jan Mendling and
                  Brian T. Pentland and
                  Luise Pufahl and
                  Manfred Reichert and
                  Mathias Weske},
  title        = {Robidium: Automated Synthesis of Robotic Process Automation Scripts
                  from {UI} Logs},
  booktitle    = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
                  Demonstration {\&} Resources Track at {BPM} 2020 co-located with
                  the 18th International Conference on Business Process Management {(BPM}
                  2020), Sevilla, Spain, September 13-18, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2673},
  pages        = {102--106},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2673/paperDR08.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/LenoDPRDM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlmanBWMA20,
  author       = {Anti Alman and
                  Karl Johannes Balder and
                  Fabrizio Maria Maggi and
                  Han van der Aa},
  editor       = {Wil M. P. van der Aalst and
                  Jan vom Brocke and
                  Marco Comuzzi and
                  Claudio Di Ciccio and
                  F{\'{e}}lix Garc{\'{\i}}a and
                  Akhil Kumar and
                  Jan Mendling and
                  Brian T. Pentland and
                  Luise Pufahl and
                  Manfred Reichert and
                  Mathias Weske},
  title        = {Declo: {A} Chatbot for User-friendly Specification of Declarative
                  Process Models},
  booktitle    = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
                  Demonstration {\&} Resources Track at {BPM} 2020 co-located with
                  the 18th International Conference on Business Process Management {(BPM}
                  2020), Sevilla, Spain, September 13-18, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2673},
  pages        = {122--126},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2673/paperDR12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/AlmanBWMA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/RizziFM20,
  author       = {Williams Rizzi and
                  Chiara Di Francescomarino and
                  Fabrizio Maria Maggi},
  editor       = {Dirk Fahland and
                  Chiara Ghidini and
                  J{\"{o}}rg Becker and
                  Marlon Dumas},
  title        = {Explainability in Predictive Process Monitoring: When Understanding
                  Helps Improving},
  booktitle    = {Business Process Management Forum - {BPM} Forum 2020, Seville, Spain,
                  September 13-18, 2020, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {392},
  pages        = {141--158},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58638-6\_9},
  doi          = {10.1007/978-3-030-58638-6\_9},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/RizziFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MaggiMP20,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza},
  editor       = {Nicolas Herbaut and
                  Marcello La Rosa},
  title        = {Probabilistic Conformance Checking Based on Declarative Process Models},
  booktitle    = {Advanced Information Systems Engineering - CAiSE Forum 2020, Grenoble,
                  France, June 8-12, 2020, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {386},
  pages        = {86--99},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58135-0\_8},
  doi          = {10.1007/978-3-030-58135-0\_8},
  timestamp    = {Tue, 15 Sep 2020 17:41:32 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/MaggiMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/AlmanCHMM20,
  author       = {Anti Alman and
                  Claudio Di Ciccio and
                  Dominik Haas and
                  Fabrizio Maria Maggi and
                  Jan Mendling},
  editor       = {Claudio Di Ciccio and
                  Beno{\^{\i}}t Depaire and
                  Jochen De Weerdt and
                  Chiara Di Francescomarino and
                  Jorge Munoz{-}Gama},
  title        = {Rule Mining in Action: The RuM Toolkit},
  booktitle    = {Proceedings of the {ICPM} Doctoral Consortium and Tool Demonstration
                  Track 2020 co-located with the 2nd International Conference on Process
                  Mining {(ICPM} 2020), Padua, Italy, October 4-9, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2703},
  pages        = {51--54},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2703/paperTD9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:44 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/AlmanCHMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/CecconiGCMM20,
  author       = {Alessio Cecconi and
                  Giuseppe De Giacomo and
                  Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Jan Mendling},
  editor       = {Boudewijn F. van Dongen and
                  Marco Montali and
                  Moe Thandar Wynn},
  title        = {A Temporal Logic-Based Measurement Framework for Process Mining},
  booktitle    = {2nd International Conference on Process Mining, {ICPM} 2020, Padua,
                  Italy, October 4-9, 2020},
  pages        = {113--120},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICPM49681.2020.00026},
  doi          = {10.1109/ICPM49681.2020.00026},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/CecconiGCMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/AlmanCHMN20,
  author       = {Anti Alman and
                  Claudio Di Ciccio and
                  Dominik Haas and
                  Fabrizio Maria Maggi and
                  Alexander Nolte},
  editor       = {Boudewijn F. van Dongen and
                  Marco Montali and
                  Moe Thandar Wynn},
  title        = {Rule Mining with RuM},
  booktitle    = {2nd International Conference on Process Mining, {ICPM} 2020, Padua,
                  Italy, October 4-9, 2020},
  pages        = {121--128},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICPM49681.2020.00027},
  doi          = {10.1109/ICPM49681.2020.00027},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/AlmanCHMN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/LenoADRMP20,
  author       = {Volodymyr Leno and
                  Adriano Augusto and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Artem Polyvyanyy},
  editor       = {Boudewijn F. van Dongen and
                  Marco Montali and
                  Moe Thandar Wynn},
  title        = {Identifying Candidate Routines for Robotic Process Automation from
                  Unsegmented {UI} Logs},
  booktitle    = {2nd International Conference on Process Mining, {ICPM} 2020, Padua,
                  Italy, October 4-9, 2020},
  pages        = {153--160},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICPM49681.2020.00031},
  doi          = {10.1109/ICPM49681.2020.00031},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/LenoADRMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/NavarinCBMOS20,
  author       = {Nicol{\`{o}} Navarin and
                  Matteo Cambiaso and
                  Andrea Burattin and
                  Fabrizio Maria Maggi and
                  Luca Oneto and
                  Alessandro Sperduti},
  title        = {Towards Online Discovery of Data-Aware Declarative Process Models
                  from Event Streams},
  booktitle    = {2020 International Joint Conference on Neural Networks, {IJCNN} 2020,
                  Glasgow, United Kingdom, July 19-24, 2020},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/IJCNN48605.2020.9207500},
  doi          = {10.1109/IJCNN48605.2020.9207500},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcnn/NavarinCBMOS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-01007,
  author       = {Volodymyr Leno and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Artem Polyvyanyy},
  title        = {Automated Discovery of Data Transformations for Robotic Process Automation},
  journal      = {CoRR},
  volume       = {abs/2001.01007},
  year         = {2020},
  url          = {http://arxiv.org/abs/2001.01007},
  eprinttype    = {arXiv},
  eprint       = {2001.01007},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-01007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01859,
  author       = {Giuseppe De Giacomo and
                  Riccardo De Masellis and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  title        = {Monitoring Constraints and Metaconstraints with Temporal Logics on
                  Finite Traces},
  journal      = {CoRR},
  volume       = {abs/2004.01859},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.01859},
  eprinttype    = {arXiv},
  eprint       = {2004.01859},
  timestamp    = {Wed, 08 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-01859.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-05782,
  author       = {Volodymyr Leno and
                  Adriano Augusto and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Artem Polyvyanyy},
  title        = {Identifying candidate routines for Robotic Process Automation from
                  unsegmented {UI} logs},
  journal      = {CoRR},
  volume       = {abs/2008.05782},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.05782},
  eprinttype    = {arXiv},
  eprint       = {2008.05782},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-05782.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/NguyenDHRM19,
  author       = {Hoang Nguyen and
                  Marlon Dumas and
                  Arthur H. M. ter Hofstede and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  title        = {Stage-based discovery of business process models from event logs},
  journal      = {Inf. Syst.},
  volume       = {84},
  pages        = {214--237},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.is.2019.05.002},
  doi          = {10.1016/J.IS.2019.05.002},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/NguyenDHRM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/SenderovichFM19,
  author       = {Arik Senderovich and
                  Chiara Di Francescomarino and
                  Fabrizio Maria Maggi},
  title        = {From knowledge-driven to data-driven inter-case feature encoding in
                  predictive process monitoring},
  journal      = {Inf. Syst.},
  volume       = {84},
  pages        = {255--264},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.is.2019.01.007},
  doi          = {10.1016/J.IS.2019.01.007},
  timestamp    = {Thu, 11 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/SenderovichFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/Francescomarino19,
  author       = {Chiara Di Francescomarino and
                  Fabrizio Maria Maggi},
  title        = {Preface to the Special Issue on Business Process Innovations with
                  Artificial Intelligence},
  journal      = {J. Data Semant.},
  volume       = {8},
  number       = {2},
  pages        = {77},
  year         = {2019},
  url          = {https://doi.org/10.1007/s13740-019-00104-4},
  doi          = {10.1007/S13740-019-00104-4},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jodsn/Francescomarino19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/RaffoBHM19,
  author       = {David Raffo and
                  Reda Bendraou and
                  LiGuo Huang and
                  Fabrizio Maria Maggi},
  title        = {Innovative process paradigms and data driven analytics: {A} new horizon
                  for software and systems process},
  journal      = {J. Softw. Evol. Process.},
  volume       = {31},
  number       = {6},
  year         = {2019},
  url          = {https://doi.org/10.1002/smr.2206},
  doi          = {10.1002/SMR.2206},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/smr/RaffoBHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/VerenichDRMT19,
  author       = {Ilya Verenich and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Irene Teinemaa},
  title        = {Survey and Cross-benchmark Comparison of Remaining Time Prediction
                  Methods in Business Process Monitoring},
  journal      = {{ACM} Trans. Intell. Syst. Technol.},
  volume       = {10},
  number       = {4},
  pages        = {34:1--34:34},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331449},
  doi          = {10.1145/3331449},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tist/VerenichDRMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkdd/TeinemaaDRM19,
  author       = {Irene Teinemaa and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  title        = {Outcome-Oriented Predictive Process Monitoring: Review and Benchmark},
  journal      = {{ACM} Trans. Knowl. Discov. Data},
  volume       = {13},
  number       = {2},
  pages        = {17:1--17:57},
  year         = {2019},
  url          = {https://doi.org/10.1145/3301300},
  doi          = {10.1145/3301300},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tkdd/TeinemaaDRM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/AugustoCDRMMMS19,
  author       = {Adriano Augusto and
                  Raffaele Conforti and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Massimo Mecella and
                  Allar Soo},
  title        = {Automated Discovery of Process Models from Event Logs: Review and
                  Benchmark},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {31},
  number       = {4},
  pages        = {686--705},
  year         = {2019},
  url          = {https://doi.org/10.1109/TKDE.2018.2841877},
  doi          = {10.1109/TKDE.2018.2841877},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tkde/AugustoCDRMMMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalvaneseMDM19,
  author       = {Diego Calvanese and
                  Marco Montali and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  title        = {Semantic {DMN:} Formalizing and Reasoning About Decisions in the Presence
                  of Background Knowledge},
  journal      = {Theory Pract. Log. Program.},
  volume       = {19},
  number       = {4},
  pages        = {536--573},
  year         = {2019},
  url          = {https://doi.org/10.1017/S1471068418000479},
  doi          = {10.1017/S1471068418000479},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/CalvaneseMDM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/Francescomarino19,
  author       = {Chiara Di Francescomarino and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Irene Teinemaa},
  title        = {Clustering-Based Predictive Process Monitoring},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {12},
  number       = {6},
  pages        = {896--909},
  year         = {2019},
  url          = {https://doi.org/10.1109/TSC.2016.2645153},
  doi          = {10.1109/TSC.2016.2645153},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/Francescomarino19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LenoPRDM19,
  author       = {Volodymyr Leno and
                  Artem Polyvyanyy and
                  Marcello La Rosa and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  editor       = {Beno{\^{\i}}t Depaire and
                  Johannes De Smedt and
                  Marlon Dumas and
                  Dirk Fahland and
                  Akhil Kumar and
                  Henrik Leopold and
                  Manfred Reichert and
                  Stefanie Rinderle{-}Ma and
                  Stefan Schulte and
                  Stefan Seidel and
                  Wil M. P. van der Aalst},
  title        = {Action Logger: Enabling Process Mining for Robotic Process Automation},
  booktitle    = {Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration
                  Track at {BPM} 2019 co-located with 17th International Conference
                  on Business Process Management, {BPM} 2019, Vienna, Austria, September
                  1-6, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2420},
  pages        = {124--128},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2420/paperDT2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/LenoPRDM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/RizziSFGKM19,
  author       = {Williams Rizzi and
                  Luca Simonetto and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  T{\~{o}}nis Kasekamp and
                  Fabrizio Maria Maggi},
  editor       = {Beno{\^{\i}}t Depaire and
                  Johannes De Smedt and
                  Marlon Dumas and
                  Dirk Fahland and
                  Akhil Kumar and
                  Henrik Leopold and
                  Manfred Reichert and
                  Stefanie Rinderle{-}Ma and
                  Stefan Schulte and
                  Stefan Seidel and
                  Wil M. P. van der Aalst},
  title        = {Nirdizati 2.0: New Features and Redesigned Backend},
  booktitle    = {Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration
                  Track at {BPM} 2019 co-located with 17th International Conference
                  on Business Process Management, {BPM} 2019, Vienna, Austria, September
                  1-6, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2420},
  pages        = {154--158},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2420/paperDT8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/RizziSFGKM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AgostinelliMMS19,
  author       = {Simone Agostinelli and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Francesco Sapio},
  editor       = {Cinzia Cappiello and
                  Marcela Ruiz},
  title        = {Achieving {GDPR} Compliance of {BPMN} Process Models},
  booktitle    = {Information Systems Engineering in Responsible Information Systems
                  - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {350},
  pages        = {10--22},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21297-1\_2},
  doi          = {10.1007/978-3-030-21297-1\_2},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/AgostinelliMMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BurattinGMM19,
  author       = {Andrea Burattin and
                  Giancarlo Guizzardi and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  editor       = {Paolo Giorgini and
                  Barbara Weber},
  title        = {Fifty Shades of Green: How Informative is a Compliant Process Trace?},
  booktitle    = {Advanced Information Systems Engineering - 31st International Conference,
                  CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11483},
  pages        = {611--626},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21290-2\_38},
  doi          = {10.1007/978-3-030-21290-2\_38},
  timestamp    = {Wed, 29 May 2019 12:15:56 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/BurattinGMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMST19,
  author       = {Federico Chesani and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Daniela Loreti and
                  Fabrizio Maria Maggi and
                  Paola Mello and
                  Marco Montali and
                  Vasyl Skydanienko and
                  Sergio Tessaris},
  editor       = {Alberto Casagrande and
                  Eugenio G. Omodeo},
  title        = {Towards the Generation of the "Perfect" Log Using Abductive
                  Logic Programming},
  booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic,
                  Trieste, Italy, June 19-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2396},
  pages        = {179--192},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2396/paper26.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/AgostinelliMMM19,
  author       = {Simone Agostinelli and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Massimo Mecella},
  title        = {Verifying Petri Net-Based Process Models using Automated Planning},
  booktitle    = {23rd {IEEE} International Enterprise Distributed Object Computing
                  Workshop, {EDOC} Workshops 2019, Paris, France, October 28-31, 2019},
  pages        = {44--53},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EDOCW.2019.00021},
  doi          = {10.1109/EDOCW.2019.00021},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/AgostinelliMMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/AgostinelliMMM19a,
  author       = {Simone Agostinelli and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Fredrik Milani},
  title        = {A User Evaluation of Process Discovery Algorithms in a Software Engineering
                  Company},
  booktitle    = {23rd {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2019, Paris, France, October 28-31, 2019},
  pages        = {142--150},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EDOC.2019.00026},
  doi          = {10.1109/EDOC.2019.00026},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/AgostinelliMMM19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/MaggiMB19,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Ubaier Bhat},
  title        = {Compliance Monitoring of Multi-Perspective Declarative Process Models},
  booktitle    = {23rd {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2019, Paris, France, October 28-31, 2019},
  pages        = {151--160},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EDOC.2019.00027},
  doi          = {10.1109/EDOC.2019.00027},
  timestamp    = {Sun, 12 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/MaggiMB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/ArdimentoBCM19,
  author       = {Pasquale Ardimento and
                  Mario Luca Bernardi and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  editor       = {Stanley M. Sutton Jr. and
                  Ove Armbrust and
                  Regina Hebig},
  title        = {Evaluating coding behavior in software development processes: a process
                  mining approach},
  booktitle    = {Proceedings of the International Conference on Software and System
                  Processes, {ICSSP} 2019, Montreal, QC, Canada, May 25-26, 2019},
  pages        = {84--93},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSSP.2019.00020},
  doi          = {10.1109/ICSSP.2019.00020},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispw/ArdimentoBCM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/ColtelleseMMMQ19,
  author       = {Simone Coltellese and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Luca Massarelli and
                  Leonardo Querzoni},
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Martin Hepp and
                  Dave Lewis and
                  Claudio Agostino Ardagna and
                  Robert Meersman},
  title        = {Triage of IoT Attacks Through Process Mining},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2019 Conferences
                  - Confederated International Conferences: CoopIS, ODBASE, C{\&}TC
                  2019, Rhodes, Greece, October 21-25, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11877},
  pages        = {326--344},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33246-4\_22},
  doi          = {10.1007/978-3-030-33246-4\_22},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/ColtelleseMMMQ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/bdt/Maggi19,
  author       = {Fabrizio Maria Maggi},
  editor       = {Sherif Sakr and
                  Albert Y. Zomaya},
  title        = {Declarative Process Mining},
  booktitle    = {Encyclopedia of Big Data Technologies},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-319-63962-8\_92-1},
  doi          = {10.1007/978-3-319-63962-8\_92-1},
  timestamp    = {Thu, 14 Feb 2019 16:03:55 +0100},
  biburl       = {https://dblp.org/rec/reference/bdt/Maggi19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04940,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Rafael Pe{\~{n}}aloza},
  title        = {Probabilistic Temporal Logic over Finite Traces (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/1903.04940},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.04940},
  eprinttype    = {arXiv},
  eprint       = {1903.04940},
  timestamp    = {Sun, 31 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-04940.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-09568,
  author       = {Stephan A. Fahrenkrog{-}Petersen and
                  Niek Tax and
                  Irene Teinemaa and
                  Marlon Dumas and
                  Massimiliano de Leoni and
                  Fabrizio Maria Maggi and
                  Matthias Weidlich},
  title        = {Fire Now, Fire Later: Alarm-Based Systems for Prescriptive Process
                  Monitoring},
  journal      = {CoRR},
  volume       = {abs/1905.09568},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.09568},
  eprinttype    = {arXiv},
  eprint       = {1905.09568},
  timestamp    = {Fri, 26 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-09568.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07582,
  author       = {Farbod Taymouri and
                  Marcello La Rosa and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  title        = {Business Process Variant Analysis: Survey and Classification},
  journal      = {CoRR},
  volume       = {abs/1911.07582},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.07582},
  eprinttype    = {arXiv},
  eprint       = {1911.07582},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-07582.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/TeinemaaDLM18,
  author       = {Irene Teinemaa and
                  Marlon Dumas and
                  Anna Leontjeva and
                  Fabrizio Maria Maggi},
  title        = {Temporal stability in predictive process monitoring},
  journal      = {Data Min. Knowl. Discov.},
  volume       = {32},
  number       = {5},
  pages        = {1306--1338},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10618-018-0575-9},
  doi          = {10.1007/S10618-018-0575-9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/datamine/TeinemaaDLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/Francescomarino18,
  author       = {Chiara Di Francescomarino and
                  Marlon Dumas and
                  Marco Federici and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Williams Rizzi and
                  Luca Simonetto},
  title        = {Genetic algorithms for hyperparameter optimization in predictive business
                  process monitoring},
  journal      = {Inf. Syst.},
  volume       = {74},
  number       = {Part},
  pages        = {67--83},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.is.2018.01.003},
  doi          = {10.1016/J.IS.2018.01.003},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/Francescomarino18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/MaggiCFK18,
  author       = {Fabrizio Maria Maggi and
                  Claudio Di Ciccio and
                  Chiara Di Francescomarino and
                  Taavi Kala},
  title        = {Parallel algorithms for the automated discovery of declarative process
                  models},
  journal      = {Inf. Syst.},
  volume       = {74},
  number       = {Part},
  pages        = {136--152},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.is.2017.12.002},
  doi          = {10.1016/J.IS.2017.12.002},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/MaggiCFK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CalvaneseDLMMT18,
  author       = {Diego Calvanese and
                  Marlon Dumas and
                  {\"{U}}lari Laurson and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Irene Teinemaa},
  title        = {Semantics, Analysis and Simplification of {DMN} Decision Tables},
  journal      = {Inf. Syst.},
  volume       = {78},
  pages        = {112--125},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.is.2018.01.010},
  doi          = {10.1016/J.IS.2018.01.010},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/CalvaneseDLMMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CiccioMMM18,
  author       = {Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Jan Mendling},
  title        = {On the relevance of a business constraint to an event log},
  journal      = {Inf. Syst.},
  volume       = {78},
  pages        = {144--161},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.is.2018.01.011},
  doi          = {10.1016/J.IS.2018.01.011},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/CiccioMMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/JalaliMR18,
  author       = {Amin Jalali and
                  Fabrizio Maria Maggi and
                  Hajo A. Reijers},
  title        = {A hybrid approach for aspect-oriented business process modeling},
  journal      = {J. Softw. Evol. Process.},
  volume       = {30},
  number       = {8},
  year         = {2018},
  url          = {https://doi.org/10.1002/smr.1931},
  doi          = {10.1002/SMR.1931},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/smr/JalaliMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/SchunselaarSMRA18,
  author       = {Dennis M. M. Schunselaar and
                  Tijs Slaats and
                  Fabrizio Maria Maggi and
                  Hajo A. Reijers and
                  Wil M. P. van der Aalst},
  editor       = {Witold Abramowicz and
                  Adrian Paschke},
  title        = {Mining Hybrid Business Process Models: {A} Quest for Better Precision},
  booktitle    = {Business Information Systems - 21st International Conference, {BIS}
                  2018, Berlin, Germany, July 18-20, 2018, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {320},
  pages        = {190--205},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93931-5\_14},
  doi          = {10.1007/978-3-319-93931-5\_14},
  timestamp    = {Sat, 19 Oct 2019 20:06:48 +0200},
  biburl       = {https://dblp.org/rec/conf/bis/SchunselaarSMRA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/MilaniM18,
  author       = {Fredrik Milani and
                  Fabrizio Maria Maggi},
  editor       = {Witold Abramowicz and
                  Adrian Paschke},
  title        = {A Comparative Evaluation of Log-Based Process Performance Analysis
                  Techniques},
  booktitle    = {Business Information Systems - 21st International Conference, {BIS}
                  2018, Berlin, Germany, July 18-20, 2018, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {320},
  pages        = {371--383},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93931-5\_27},
  doi          = {10.1007/978-3-319-93931-5\_27},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bis/MilaniM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/TeinemaaTLDM18,
  author       = {Irene Teinemaa and
                  Niek Tax and
                  Massimiliano de Leoni and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  editor       = {Mathias Weske and
                  Marco Montali and
                  Ingo Weber and
                  Jan vom Brocke},
  title        = {Alarm-Based Prescriptive Process Monitoring},
  booktitle    = {Business Process Management Forum - {BPM} Forum 2018, Sydney, NSW,
                  Australia, September 9-14, 2018, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {329},
  pages        = {91--107},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98651-7\_6},
  doi          = {10.1007/978-3-319-98651-7\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/TeinemaaTLDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/SkydanienkoFGM18,
  author       = {Vasyl Skydanienko and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  editor       = {Wil M. P. van der Aalst and
                  Fabio Casati and
                  Raffaele Conforti and
                  Massimiliano de Leoni and
                  Marlon Dumas and
                  Akhil Kumar and
                  Jan Mendling and
                  Surya Nepal and
                  Brian T. Pentland and
                  Barbara Weber},
  title        = {A Tool for Generating Event Logs from Multi-Perspective Declare Models},
  booktitle    = {Proceedings of the Dissertation Award, Demonstration, and Industrial
                  Track at {BPM} 2018 co-located with 16th International Conference
                  on Business Process Management {(BPM} 2018), Sydney, Australia, September
                  9-14, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2196},
  pages        = {111--115},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2196/BPM\_2018\_paper\_23.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/SkydanienkoFGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LenoDM18,
  author       = {Volodymyr Leno and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  editor       = {Mathias Weske and
                  Marco Montali and
                  Ingo Weber and
                  Jan vom Brocke},
  title        = {Correlating Activation and Target Conditions in Data-Aware Declarative
                  Process Discovery},
  booktitle    = {Business Process Management - 16th International Conference, {BPM}
                  2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11080},
  pages        = {176--193},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98648-7\_11},
  doi          = {10.1007/978-3-319-98648-7\_11},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/LenoDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Francescomarino18,
  author       = {Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Fredrik Milani},
  editor       = {Mathias Weske and
                  Marco Montali and
                  Ingo Weber and
                  Jan vom Brocke},
  title        = {Predictive Process Monitoring Methods: Which One Suits Me Best?},
  booktitle    = {Business Process Management - 16th International Conference, {BPM}
                  2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11080},
  pages        = {462--479},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98648-7\_27},
  doi          = {10.1007/978-3-319-98648-7\_27},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/Francescomarino18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/VerenichMRDRM18,
  author       = {Ilya Verenich and
                  Stanislav M{\~{o}}skovski and
                  Simon Raboczi and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  editor       = {Jan Mendling and
                  Haralambos Mouratidis},
  title        = {Predictive Process Monitoring in Apromore},
  booktitle    = {Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn,
                  Estonia, June 11-15, 2018, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {317},
  pages        = {244--253},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92901-9\_21},
  doi          = {10.1007/978-3-319-92901-9\_21},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/VerenichMRDRM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MaggiMCA18,
  author       = {Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Giuseppe Capezzuto and
                  Abel Armas{-}Cervantes},
  editor       = {Claus Pahl and
                  Maja Vukovic and
                  Jianwei Yin and
                  Qi Yu},
  title        = {Explaining Non-compliance of Business Process Models Through Automated
                  Planning},
  booktitle    = {Service-Oriented Computing - 16th International Conference, {ICSOC}
                  2018, Hangzhou, China, November 12-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11236},
  pages        = {181--197},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03596-9\_12},
  doi          = {10.1007/978-3-030-03596-9\_12},
  timestamp    = {Mon, 26 Jun 2023 20:44:14 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/MaggiMCA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/LenoADRM18,
  author       = {Volodymyr Leno and
                  Abel Armas{-}Cervantes and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  editor       = {Marco Kuhrmann and
                  Rory V. O'Connor and
                  Dan Houston},
  title        = {Discovering process maps from event streams},
  booktitle    = {Proceedings of the 2018 International Conference on Software and System
                  Process, {ICSSP} 2018, Gothenburg, Sweden, May 26-27, 2018},
  pages        = {86--95},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3202710.3203154},
  doi          = {10.1145/3202710.3203154},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispw/LenoADRM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-08706,
  author       = {Irene Teinemaa and
                  Niek Tax and
                  Massimiliano de Leoni and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  title        = {Foundations of Prescriptive Process Monitoring},
  journal      = {CoRR},
  volume       = {abs/1803.08706},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.08706},
  eprinttype    = {arXiv},
  eprint       = {1803.08706},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-08706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02422,
  author       = {Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Fredrik Milani},
  title        = {Predictive Process Monitoring Methods: Which One Suits Me Best?},
  journal      = {CoRR},
  volume       = {abs/1804.02422},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.02422},
  eprinttype    = {arXiv},
  eprint       = {1804.02422},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-02422.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02704,
  author       = {Volodymyr Leno and
                  Abel Armas{-}Cervantes and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  title        = {Discovering Process Maps from Event Streams},
  journal      = {CoRR},
  volume       = {abs/1804.02704},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.02704},
  eprinttype    = {arXiv},
  eprint       = {1804.02704},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-02704.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03965,
  author       = {Fredrik Milani and
                  Fabrizio Maria Maggi},
  title        = {A Comparative Evaluation of Log-Based Process Performance Analysis
                  Techniques},
  journal      = {CoRR},
  volume       = {abs/1804.03965},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.03965},
  eprinttype    = {arXiv},
  eprint       = {1804.03965},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-03965.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-02896,
  author       = {Ilya Verenich and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Irene Teinemaa},
  title        = {Survey and cross-benchmark comparison of remaining time prediction
                  methods in business process monitoring},
  journal      = {CoRR},
  volume       = {abs/1805.02896},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.02896},
  eprinttype    = {arXiv},
  eprint       = {1805.02896},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-02896.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-03150,
  author       = {Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Fredrik Milani and
                  Allar Soo and
                  Silva Kasela},
  title        = {A User Evaluation of Automated Process Discovery Algorithms},
  journal      = {CoRR},
  volume       = {abs/1806.03150},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.03150},
  eprinttype    = {arXiv},
  eprint       = {1806.03150},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-03150.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-11615,
  author       = {Diego Calvanese and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  title        = {Semantic {DMN:} Formalizing and Reasoning About Decisions in the Presence
                  of Background Knowledge},
  journal      = {CoRR},
  volume       = {abs/1807.11615},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.11615},
  eprinttype    = {arXiv},
  eprint       = {1807.11615},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-11615.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eis/MaggiW17,
  author       = {Fabrizio Maria Maggi and
                  Michael Westergaard},
  title        = {Designing software for operational decision support through coloured
                  Petri nets},
  journal      = {Enterp. Inf. Syst.},
  volume       = {11},
  number       = {5},
  pages        = {576--596},
  year         = {2017},
  url          = {https://doi.org/10.1080/17517575.2015.1067723},
  doi          = {10.1080/17517575.2015.1067723},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eis/MaggiW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisa/CiccioMMM17,
  author       = {Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Jan Mendling},
  title        = {Resolving Inconsistencies and Redundancies in Declarative Process
                  Models},
  journal      = {{EMISA} Forum},
  volume       = {37},
  number       = {1},
  pages        = {30--31},
  year         = {2017},
  timestamp    = {Tue, 15 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/emisa/CiccioMMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisa/CalvaneseDLMMT17,
  author       = {Diego Calvanese and
                  Marlon Dumas and
                  {\"{U}}lari Laurson and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Irene Teinemaa},
  title        = {Semantics and Analysis of {DMN} Decision Tables},
  journal      = {{EMISA} Forum},
  volume       = {37},
  number       = {1},
  pages        = {49--51},
  year         = {2017},
  timestamp    = {Tue, 15 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/emisa/CalvaneseDLMMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CiccioMMM17,
  author       = {Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Jan Mendling},
  title        = {Resolving inconsistencies and redundancies in declarative process
                  models},
  journal      = {Inf. Syst.},
  volume       = {64},
  pages        = {425--446},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.is.2016.09.005},
  doi          = {10.1016/J.IS.2016.09.005},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/CiccioMMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XuLZ17a,
  author       = {Giuseppe De Giacomo and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Fabio Patrizi},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {On the Disruptive Effectiveness of Automated Planning for LTL\emph{f}-Based
                  Trace Alignment},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {3555--3561},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.11020},
  doi          = {10.1609/AAAI.V31I1.11020},
  timestamp    = {Mon, 04 Sep 2023 14:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/XuLZ17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Francescomarino17,
  author       = {Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Giulio Petrucci and
                  Anton Yeshchenko},
  editor       = {Josep Carmona and
                  Gregor Engels and
                  Akhil Kumar},
  title        = {An Eye into the Future: Leveraging A-priori Knowledge in Predictive
                  Business Process Monitoring},
  booktitle    = {Business Process Management - 15th International Conference, {BPM}
                  2017, Barcelona, Spain, September 10-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10445},
  pages        = {252--268},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-65000-5\_15},
  doi          = {10.1007/978-3-319-65000-5\_15},
  timestamp    = {Thu, 09 Dec 2021 09:24:12 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/Francescomarino17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/JorbinaRVFDGMRR17,
  author       = {Kerwin Jorbina and
                  Andrii Rozumnyi and
                  Ilya Verenich and
                  Chiara Di Francescomarino and
                  Marlon Dumas and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Marcello La Rosa and
                  Simon Raboczi},
  editor       = {Robert Claris{\'{o}} and
                  Henrik Leopold and
                  Jan Mendling and
                  Wil M. P. van der Aalst and
                  Akhil Kumar and
                  Brian T. Pentland and
                  Mathias Weske},
  title        = {Nirdizati: {A} Web-Based Tool for Predictive Process Monitoring},
  booktitle    = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
                  with 15th International Conference on Business Process Modeling {(BPM}
                  2017), Barcelona, Spain, September 13, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1920},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_202.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/JorbinaRVFDGMRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/SenderovichFGJM17,
  author       = {Arik Senderovich and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Kerwin Jorbina and
                  Fabrizio Maria Maggi},
  editor       = {Josep Carmona and
                  Gregor Engels and
                  Akhil Kumar},
  title        = {Intra and Inter-case Features in Predictive Process Monitoring: {A}
                  Tale of Two Dimensions},
  booktitle    = {Business Process Management - 15th International Conference, {BPM}
                  2017, Barcelona, Spain, September 10-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10445},
  pages        = {306--323},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-65000-5\_18},
  doi          = {10.1007/978-3-319-65000-5\_18},
  timestamp    = {Fri, 01 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/SenderovichFGJM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/NguyenDHRM17,
  author       = {Hoang Nguyen and
                  Marlon Dumas and
                  Arthur H. M. ter Hofstede and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  editor       = {Eric Dubois and
                  Klaus Pohl},
  title        = {Mining Business Process Stages from Event Logs},
  booktitle    = {Advanced Information Systems Engineering - 29th International Conference,
                  CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10253},
  pages        = {577--594},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59536-8\_36},
  doi          = {10.1007/978-3-319-59536-8\_36},
  timestamp    = {Tue, 12 Sep 2023 07:57:22 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/NguyenDHRM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/MasellisFGLM17,
  author       = {Riccardo De Masellis and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Arne Laponin and
                  Fabrizio Maria Maggi},
  editor       = {Sylvain Hall{\'{e}} and
                  Roger Villemaire and
                  Robert Lagerstr{\"{o}}m},
  title        = {Rule Propagation: Adapting Procedural Process Models to Declarative
                  Business Rules},
  booktitle    = {21st {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2017, Quebec City, QC, Canada, October 10-13, 2017},
  pages        = {165--174},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/EDOC.2017.30},
  doi          = {10.1109/EDOC.2017.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/MasellisFGLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/JanesMMM17,
  author       = {Andrea Janes and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Marco Montali},
  editor       = {Michael Felderer and
                  Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
                  Burak Turhan and
                  Marcos Kalinowski and
                  Federica Sarro and
                  Dietmar Winkler},
  title        = {From Zero to Hero: {A} Process Mining Tutorial},
  booktitle    = {Product-Focused Software Process Improvement - 18th International
                  Conference, {PROFES} 2017, Innsbruck, Austria, November 29 - December
                  1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10611},
  pages        = {625--629},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-69926-4\_55},
  doi          = {10.1007/978-3-319-69926-4\_55},
  timestamp    = {Wed, 25 Sep 2019 18:15:39 +0200},
  biburl       = {https://dblp.org/rec/conf/profes/JanesMMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CalvaneseDMM17,
  author       = {Diego Calvanese and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  editor       = {Stefania Costantini and
                  Enrico Franconi and
                  William Van Woensel and
                  Roman Kontchakov and
                  Fariba Sadri and
                  Dumitru Roman},
  title        = {Semantic {DMN:} Formalizing Decision Models with Domain Knowledge},
  booktitle    = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
                  London, UK, July 12-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10364},
  pages        = {70--86},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61252-2\_6},
  doi          = {10.1007/978-3-319-61252-2\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/CalvaneseDMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ispw/2017,
  editor       = {Reda Bendraou and
                  David Raffo and
                  LiGuo Huang and
                  Fabrizio Maria Maggi},
  title        = {Proceedings of the 2017 International Conference on Software and System
                  Process, Paris, France, {ICSSP} 2017, July 5-7, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3084100},
  isbn         = {978-1-4503-5270-3},
  timestamp    = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AugustoCDRMMMS17,
  author       = {Adriano Augusto and
                  Raffaele Conforti and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Massimo Mecella and
                  Allar Soo},
  title        = {Automated Discovery of Process Models from Event Logs: Review and
                  Benchmark},
  journal      = {CoRR},
  volume       = {abs/1705.02288},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.02288},
  eprinttype    = {arXiv},
  eprint       = {1705.02288},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AugustoCDRMMMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TeinemaaDRM17,
  author       = {Irene Teinemaa and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  title        = {Outcome-Oriented Predictive Process Monitoring: Review and Benchmark},
  journal      = {CoRR},
  volume       = {abs/1707.06766},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.06766},
  eprinttype    = {arXiv},
  eprint       = {1707.06766},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TeinemaaDRM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-04165,
  author       = {Irene Teinemaa and
                  Marlon Dumas and
                  Anna Leontjeva and
                  Fabrizio Maria Maggi},
  title        = {Temporal Stability in Predictive Process Monitoring},
  journal      = {CoRR},
  volume       = {abs/1712.04165},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.04165},
  eprinttype    = {arXiv},
  eprint       = {1712.04165},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-04165.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csimq/MaggiM16,
  author       = {Fabrizio Maria Maggi and
                  Raimundas Matulevicius},
  title        = {Selected Topics on Business Informatics Research: Editorial Introduction
                  to Issue 6 of {CSIMQ}},
  journal      = {Complex Syst. Informatics Model. Q.},
  volume       = {6},
  pages        = {I--II},
  year         = {2016},
  url          = {https://doi.org/10.7250/csimq.2016-6.00},
  doi          = {10.7250/CSIMQ.2016-6.00},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csimq/MaggiM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/BurattinMS16,
  author       = {Andrea Burattin and
                  Fabrizio Maria Maggi and
                  Alessandro Sperduti},
  title        = {Conformance checking based on multi-perspective declarative process
                  models},
  journal      = {Expert Syst. Appl.},
  volume       = {65},
  pages        = {194--211},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.eswa.2016.08.040},
  doi          = {10.1016/J.ESWA.2016.08.040},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eswa/BurattinMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CiccioMM16,
  author       = {Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Jan Mendling},
  title        = {Efficient discovery of Target-Branched Declare constraints},
  journal      = {Inf. Syst.},
  volume       = {56},
  pages        = {258--283},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.is.2015.06.009},
  doi          = {10.1016/J.IS.2015.06.009},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/CiccioMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BernardiCFM16,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Chiara Di Francescomarino and
                  Fabrizio Maria Maggi},
  title        = {Do activity lifecycles affect the validity of a business rule in a
                  business process?},
  journal      = {Inf. Syst.},
  volume       = {62},
  pages        = {42--59},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.is.2016.06.002},
  doi          = {10.1016/J.IS.2016.06.002},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/BernardiCFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/NarendraNMMM16,
  author       = {Nanjangud C. Narendra and
                  Alex Norta and
                  Msury Mahunnah and
                  Lixin Ma and
                  Fabrizio Maria Maggi},
  title        = {Sound conflict management and resolution for virtual-enterprise collaborations},
  journal      = {Serv. Oriented Comput. Appl.},
  volume       = {10},
  number       = {3},
  pages        = {233--251},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11761-015-0183-0},
  doi          = {10.1007/S11761-015-0183-0},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soca/NarendraNMMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GiacomoMMS16,
  author       = {Giuseppe De Giacomo and
                  Fabrizio Maria Maggi and
                  Andrea Marrella and
                  Sebastian Sardi{\~{n}}a},
  editor       = {Amanda Jane Coles and
                  Andrew Coles and
                  Stefan Edelkamp and
                  Daniele Magazzeni and
                  Scott Sanner},
  title        = {Computing Trace Alignment against Declarative Process Models through
                  Planning},
  booktitle    = {Proceedings of the Twenty-Sixth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages        = {367--375},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094},
  timestamp    = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/GiacomoMMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LaursonM16,
  author       = {{\"{U}}lari Laurson and
                  Fabrizio Maria Maggi},
  editor       = {Leonardo Azevedo and
                  Cristina Cabanillas},
  title        = {A Tool for the Analysis of {DMN} Decision Tables},
  booktitle    = {Proceedings of the {BPM} Demo Track 2016 Co-located with the 14th
                  International Conference on Business Process Management {(BPM} 2016),
                  Rio de Janeiro, Brazil, September 21, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1789},
  pages        = {56--60},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1789/bpm-demo-2016-paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/LaursonM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiMCM16,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Claudio Di Ciccio and
                  Jan Mendling},
  editor       = {Marcello La Rosa and
                  Peter Loos and
                  Oscar Pastor},
  title        = {Semantical Vacuity Detection in Declarative Process Mining},
  booktitle    = {Business Process Management - 14th International Conference, {BPM}
                  2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9850},
  pages        = {158--175},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45348-4\_10},
  doi          = {10.1007/978-3-319-45348-4\_10},
  timestamp    = {Mon, 18 Jan 2021 08:56:42 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/MaggiMCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseDLMMT16,
  author       = {Diego Calvanese and
                  Marlon Dumas and
                  {\"{U}}lari Laurson and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Irene Teinemaa},
  editor       = {Marcello La Rosa and
                  Peter Loos and
                  Oscar Pastor},
  title        = {Semantics and Analysis of {DMN} Decision Tables},
  booktitle    = {Business Process Management - 14th International Conference, {BPM}
                  2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9850},
  pages        = {217--233},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45348-4\_13},
  doi          = {10.1007/978-3-319-45348-4\_13},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/CalvaneseDLMMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/TeinemaaDMF16,
  author       = {Irene Teinemaa and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Chiara Di Francescomarino},
  editor       = {Marcello La Rosa and
                  Peter Loos and
                  Oscar Pastor},
  title        = {Predictive Business Process Monitoring with Structured and Unstructured
                  Data},
  booktitle    = {Business Process Management - 14th International Conference, {BPM}
                  2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9850},
  pages        = {401--417},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45348-4\_23},
  doi          = {10.1007/978-3-319-45348-4\_23},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/TeinemaaDMF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/NguyenDHRM16,
  author       = {Hoang Nguyen and
                  Marlon Dumas and
                  Arthur H. M. ter Hofstede and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi},
  editor       = {Selmin Nurcan and
                  Pnina Soffer and
                  Marko Bajec and
                  Johann Eder},
  title        = {Business Process Performance Mining with Staged Process Flows},
  booktitle    = {Advanced Information Systems Engineering - 28th International Conference,
                  CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9694},
  pages        = {167--185},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39696-5\_11},
  doi          = {10.1007/978-3-319-39696-5\_11},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/NguyenDHRM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/VerenichDRMF16,
  author       = {Ilya Verenich and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Chiara Di Francescomarino},
  editor       = {Selmin Nurcan and
                  Pnina Soffer and
                  Marko Bajec and
                  Johann Eder},
  title        = {Minimizing Overprocessing Waste in Business Processes via Predictive
                  Activity Ordering},
  booktitle    = {Advanced Information Systems Engineering - 28th International Conference,
                  CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9694},
  pages        = {186--202},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39696-5\_12},
  doi          = {10.1007/978-3-319-39696-5\_12},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/VerenichDRMF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/Francescomarino16,
  author       = {Chiara Di Francescomarino and
                  Marlon Dumas and
                  Marco Federici and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Williams Rizzi},
  editor       = {Selmin Nurcan and
                  Pnina Soffer and
                  Marko Bajec and
                  Johann Eder},
  title        = {Predictive Business Process Monitoring Framework with Hyperparameter
                  Optimization},
  booktitle    = {Advanced Information Systems Engineering - 28th International Conference,
                  CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9694},
  pages        = {361--376},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39696-5\_22},
  doi          = {10.1007/978-3-319-39696-5\_22},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/Francescomarino16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/KalaMCF16,
  author       = {Taavi Kala and
                  Fabrizio Maria Maggi and
                  Claudio Di Ciccio and
                  Chiara Di Francescomarino},
  editor       = {Florian Matthes and
                  Jan Mendling and
                  Stefanie Rinderle{-}Ma},
  title        = {Apriori and Sequence Analysis for Discovering Declarative Process
                  Models},
  booktitle    = {20th {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2016, Vienna, Austria, September 5-9, 2016},
  pages        = {1--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/EDOC.2016.7579378},
  doi          = {10.1109/EDOC.2016.7579378},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/KalaMCF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SchonigCMM16,
  author       = {Stefan Sch{\"{o}}nig and
                  Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Jan Mendling},
  editor       = {Quan Z. Sheng and
                  Eleni Stroulia and
                  Samir Tata and
                  Sami Bhiri},
  title        = {Discovery of Multi-perspective Declarative Process Models},
  booktitle    = {Service-Oriented Computing - 14th International Conference, {ICSOC}
                  2016, Banff, AB, Canada, October 10-13, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9936},
  pages        = {87--103},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46295-0\_6},
  doi          = {10.1007/978-3-319-46295-0\_6},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/SchonigCMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MasellisFGM16,
  author       = {Riccardo De Masellis and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi},
  editor       = {Quan Z. Sheng and
                  Eleni Stroulia and
                  Samir Tata and
                  Sami Bhiri},
  title        = {Declarative Process Models: Different Ways to Be Hierarchical},
  booktitle    = {Service-Oriented Computing - 14th International Conference, {ICSOC}
                  2016, Banff, AB, Canada, October 10-13, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9936},
  pages        = {104--119},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46295-0\_7},
  doi          = {10.1007/978-3-319-46295-0\_7},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/MasellisFGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SlaatsSMR16,
  author       = {Tijs Slaats and
                  Dennis M. M. Schunselaar and
                  Fabrizio Maria Maggi and
                  Hajo A. Reijers},
  editor       = {Christophe Debruyne and
                  Herv{\'{e}} Panetto and
                  Robert Meersman and
                  Tharam S. Dillon and
                  Eva K{\"{u}}hn and
                  Declan O'Sullivan and
                  Claudio Agostino Ardagna},
  title        = {The Semantics of Hybrid Process Models},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2016 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2016, Rhodes, Greece, October 24-28, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10033},
  pages        = {531--551},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48472-3\_32},
  doi          = {10.1007/978-3-319-48472-3\_32},
  timestamp    = {Tue, 15 Nov 2022 15:22:36 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/SlaatsSMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BernardiCM16,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  editor       = {Sascha Ossowski},
  title        = {Automated development of constraint-driven web applications},
  booktitle    = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
                  Pisa, Italy, April 4-8, 2016},
  pages        = {1196--1203},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2851613.2851665},
  doi          = {10.1145/2851613.2851665},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BernardiCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseDLMMT16,
  author       = {Diego Calvanese and
                  Marlon Dumas and
                  {\"{U}}lari Laurson and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Irene Teinemaa},
  title        = {Semantics and Analysis of {DMN} Decision Tables},
  journal      = {CoRR},
  volume       = {abs/1603.07466},
  year         = {2016},
  url          = {http://arxiv.org/abs/1603.07466},
  eprinttype    = {arXiv},
  eprint       = {1603.07466},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CalvaneseDLMMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NguyenDRMS16,
  author       = {Hoang Nguyen and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Suriadi Suriadi},
  title        = {Business Process Deviance Mining: Review and Evaluation},
  journal      = {CoRR},
  volume       = {abs/1608.08252},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.08252},
  eprinttype    = {arXiv},
  eprint       = {1608.08252},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NguyenDRMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/RovaniMLA15,
  author       = {Marcella Rovani and
                  Fabrizio Maria Maggi and
                  Massimiliano de Leoni and
                  Wil M. P. van der Aalst},
  title        = {Declarative process mining in healthcare},
  journal      = {Expert Syst. Appl.},
  volume       = {42},
  number       = {23},
  pages        = {9236--9251},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.eswa.2015.07.040},
  doi          = {10.1016/J.ESWA.2015.07.040},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/RovaniMLA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LeoniMA15,
  author       = {Massimiliano de Leoni and
                  Fabrizio Maria Maggi and
                  Wil M. P. van der Aalst},
  title        = {An alignment-based framework to check the conformance of declarative
                  process models and to preprocess event-log data},
  journal      = {Inf. Syst.},
  volume       = {47},
  pages        = {258--277},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.is.2013.12.005},
  doi          = {10.1016/J.IS.2013.12.005},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/LeoniMA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LyMMRA15,
  author       = {Linh Thao Ly and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Stefanie Rinderle{-}Ma and
                  Wil M. P. van der Aalst},
  title        = {Compliance monitoring in business processes: Functionalities, application,
                  and tool-support},
  journal      = {Inf. Syst.},
  volume       = {54},
  pages        = {209--234},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.is.2015.02.007},
  doi          = {10.1016/J.IS.2015.02.007},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/is/LyMMRA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/BurattinCMS15,
  author       = {Andrea Burattin and
                  Marta Cimitile and
                  Fabrizio Maria Maggi and
                  Alessandro Sperduti},
  title        = {Online Discovery of Declarative Process Models from Event Streams},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {8},
  number       = {6},
  pages        = {833--846},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSC.2015.2459703},
  doi          = {10.1109/TSC.2015.2459703},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/BurattinCMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FedericiRFDGMT15,
  author       = {Marco Federici and
                  Williams Rizzi and
                  Chiara Di Francescomarino and
                  Marlon Dumas and
                  Chiara Ghidini and
                  Fabrizio Maria Maggi and
                  Irene Teinemaa},
  editor       = {Florian Daniel and
                  Stefan Zugal},
  title        = {A ProM Operational Support Provider for Predictive Monitoring of Business
                  Processes},
  booktitle    = {Proceedings of the {BPM} Demo Session 2015 Co-located with the 13th
                  International Conference on Business Process Management {(BPM} 2015),
                  Innsbruck, Austria, September 2, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1418},
  pages        = {1--5},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1418/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/FedericiRFDGMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CiccioMMM15,
  author       = {Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Jan Mendling},
  editor       = {Hamid Reza Motahari{-}Nezhad and
                  Jan Recker and
                  Matthias Weidlich},
  title        = {Ensuring Model Consistency in Declarative Process Discovery},
  booktitle    = {Business Process Management - 13th International Conference, {BPM}
                  2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9253},
  pages        = {144--159},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23063-4\_9},
  doi          = {10.1007/978-3-319-23063-4\_9},
  timestamp    = {Fri, 26 May 2023 07:40:34 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/CiccioMMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/VerenichDRMF15,
  author       = {Ilya Verenich and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Chiara Di Francescomarino},
  editor       = {Manfred Reichert and
                  Hajo A. Reijers},
  title        = {Complex Symbolic Sequence Clustering and Multiple Classifiers for
                  Predictive Process Monitoring},
  booktitle    = {Business Process Management Workshops - {BPM} 2015, 13th International
                  Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised
                  Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {256},
  pages        = {218--229},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-42887-1\_18},
  doi          = {10.1007/978-3-319-42887-1\_18},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/VerenichDRMF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LeontjevaCFDM15,
  author       = {Anna Leontjeva and
                  Raffaele Conforti and
                  Chiara Di Francescomarino and
                  Marlon Dumas and
                  Fabrizio Maria Maggi},
  editor       = {Hamid Reza Motahari{-}Nezhad and
                  Jan Recker and
                  Matthias Weidlich},
  title        = {Complex Symbolic Sequence Encodings for Predictive Monitoring of Business
                  Processes},
  booktitle    = {Business Process Management - 13th International Conference, {BPM}
                  2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9253},
  pages        = {297--313},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23063-4\_21},
  doi          = {10.1007/978-3-319-23063-4\_21},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/LeontjevaCFDM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CiccioBCM15,
  author       = {Claudio Di Ciccio and
                  Mario Luca Bernardi and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  editor       = {Joseph Barjis and
                  Robert Pergl and
                  Eduard Babkin},
  title        = {Generating Event Logs Through the Simulation of Declare Models},
  booktitle    = {Enterprise and Organizational Modeling and Simulation - 11th International
                  Workshop, {EOMAS} 2015, Held at CAiSE 2015, Stockholm, Sweden, June
                  8-9, 2015, Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {231},
  pages        = {20--36},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24626-0\_2},
  doi          = {10.1007/978-3-319-24626-0\_2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/CiccioBCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/GiacomoDMM15,
  author       = {Giuseppe De Giacomo and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  editor       = {Jelena Zdravkovic and
                  Marite Kirikova and
                  Paul Johannesson},
  title        = {Declarative Process Modeling in {BPMN}},
  booktitle    = {Advanced Information Systems Engineering - 27th International Conference,
                  CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9097},
  pages        = {84--100},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19069-3\_6},
  doi          = {10.1007/978-3-319-19069-3\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/GiacomoDMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/JalaliMR15,
  author       = {Amin Jalali and
                  Fabrizio Maria Maggi and
                  Hajo A. Reijers},
  editor       = {Paul Johannesson and
                  Mong{-}Li Lee and
                  Stephen W. Liddle and
                  Andreas L. Opdahl and
                  Oscar Pastor L{\'{o}}pez},
  title        = {Enhancing Aspect-Oriented Business Process Modeling with Declarative
                  Rules},
  booktitle    = {Conceptual Modeling - 34th International Conference, {ER} 2015, Stockholm,
                  Sweden, October 19-22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9381},
  pages        = {108--115},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25264-3\_8},
  doi          = {10.1007/978-3-319-25264-3\_8},
  timestamp    = {Thu, 01 Sep 2022 08:10:23 +0200},
  biburl       = {https://dblp.org/rec/conf/er/JalaliMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/15/RosingSetal15,
  author       = {Mark von Rosing and
                  August{-}Wilhelm Scheer and
                  Henrik von Scheel and
                  Adam D. M. Svendsen and
                  Alex Kokkonen and
                  Andrew M. Ross and
                  Anette Falk B{\o}gebjerg and
                  Anni Olsen and
                  Antony Dicks and
                  Asif Qumer Gill and
                  Bas Bach and
                  Bob J. Storms and
                  Callie Smit and
                  Cay Clemmensen and
                  Christopher K. Swierczynski and
                  Clemens Utschig{-}Utschig and
                  Dan Moorcroft and
                  Daniel T. Jones and
                  David Coloma and
                  Deb Boykin and
                  Dickson Hunja Muhita and
                  Duarte Gon{\c{c}}alves and
                  Fabrizio Maria Maggi and
                  Fan Zhao and
                  Fatima Senghore and
                  Fatma Dandashi and
                  Fred Cummins and
                  Freek Stoffel and
                  Gabriel von Scheel and
                  Gabriella von Rosing and
                  Gary Doucet and
                  Gert Meiling and
                  Gert O. Jansson and
                  Hans Scheruhn and
                  Hendrik Bohn and
                  Henk de Man and
                  Henk Kuil and
                  Henrik Naundrup Vester and
                  Jacob Gammelgaard and
                  James P. Womack and
                  Jeanne W. Ross and
                  Jeff Greer and
                  Jens Theodor Nielsen and
                  John A. Zachman and
                  John Bertram and
                  John Golden and
                  John M. Rogers and
                  Jonnro Erasmus and
                  Joshua von Scheel and
                  Joshua Waters},
  editor       = {Mark von Rosing and
                  Henrik von Scheel and
                  August{-}Wilhelm Scheer},
  title        = {Business Process Trends},
  booktitle    = {The Complete Business Process Handbook: Body of Knowledge from Process
                  Modeling to BPM, Volume {I}},
  pages        = {187--216},
  publisher    = {Morgan Kaufmann/Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/B978-0-12-799959-3.00011-2},
  doi          = {10.1016/B978-0-12-799959-3.00011-2},
  timestamp    = {Sat, 31 Jul 2021 17:24:19 +0200},
  biburl       = {https://dblp.org/rec/books/el/15/RosingSetal15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/15/DumasM15,
  author       = {Marlon Dumas and
                  Fabrizio Maria Maggi},
  editor       = {Mark von Rosing and
                  Henrik von Scheel and
                  August{-}Wilhelm Scheer},
  title        = {Evidence-Based Business Process Management},
  booktitle    = {The Complete Business Process Handbook: Body of Knowledge from Process
                  Modeling to BPM, Volume {I}},
  pages        = {363--375},
  publisher    = {Morgan Kaufmann/Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/B978-0-12-799959-3.00017-3},
  doi          = {10.1016/B978-0-12-799959-3.00017-3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/15/DumasM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/DumasM15,
  author       = {Marlon Dumas and
                  Fabrizio Maria Maggi},
  editor       = {Jan vom Brocke and
                  Theresa Schmiedel},
  title        = {Enabling Process Innovation via Deviance Mining and Predictive Monitoring},
  booktitle    = {{BPM} - Driving Innovation in a Digital World},
  pages        = {145--154},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-14430-6\_10},
  doi          = {10.1007/978-3-319-14430-6\_10},
  timestamp    = {Tue, 16 May 2017 14:01:42 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/DumasM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2015w,
  editor       = {Raimundas Matulevicius and
                  Fabrizio Maria Maggi and
                  Peep K{\"{u}}ngas},
  title        = {Joint Proceedings of the {BIR} 2015 Workshops and Doctoral Consortium
                  co-located with 14th International Conference on Perspectives in Business
                  Informatics Research {(BIR} 2015), Tartu, Estonia, August 26-28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1420},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1420},
  urn          = {urn:nbn:de:0074-1420-9},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bir/2015w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ispw/2015,
  editor       = {Dietmar Pfahl and
                  Reda Bendraou and
                  Richard Turner and
                  Marco Kuhrmann and
                  Regina Hebig and
                  Fabrizio Maria Maggi},
  title        = {Proceedings of the 2015 International Conference on Software and System
                  Process, {ICSSP} 2015, Tallinn, Estonia, August 24 - 26, 2015},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2785592},
  isbn         = {978-1-4503-3346-7},
  timestamp    = {Tue, 12 Jul 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BurattinMS15,
  author       = {Andrea Burattin and
                  Fabrizio Maria Maggi and
                  Alessandro Sperduti},
  title        = {Conformance Checking Based on Multi-Perspective Declarative Process
                  Models},
  journal      = {CoRR},
  volume       = {abs/1503.04957},
  year         = {2015},
  url          = {http://arxiv.org/abs/1503.04957},
  eprinttype    = {arXiv},
  eprint       = {1503.04957},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BurattinMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Francescomarino15,
  author       = {Chiara Di Francescomarino and
                  Marlon Dumas and
                  Fabrizio Maria Maggi and
                  Irene Teinemaa},
  title        = {Clustering-Based Predictive Process Monitoring},
  journal      = {CoRR},
  volume       = {abs/1506.01428},
  year         = {2015},
  url          = {http://arxiv.org/abs/1506.01428},
  eprinttype    = {arXiv},
  eprint       = {1506.01428},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Francescomarino15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcis/MaggiW14,
  author       = {Fabrizio Maria Maggi and
                  Michael Westergaard},
  title        = {Using Timed Automata for \emph{a Priori} Warnings and Planning for
                  Timed Declarative Process Models},
  journal      = {Int. J. Cooperative Inf. Syst.},
  volume       = {23},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.1142/S0218843014400036},
  doi          = {10.1142/S0218843014400036},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcis/MaggiW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/NarendraNMM14,
  author       = {Nanjangud C. Narendra and
                  Alexander Norta and
                  Msury Mahunnah and
                  Fabrizio Maria Maggi},
  title        = {Modelling Sound Conflict Management for Virtual-Enterprise Collaboration},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2014,
                  Anchorage, AK, USA, June 27 - July 2, 2014},
  pages        = {813--820},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SCC.2014.110},
  doi          = {10.1109/SCC.2014.110},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/NarendraNMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bir/Maggi14,
  author       = {Fabrizio Maria Maggi},
  editor       = {Bj{\"{o}}rn Johansson and
                  Bo Andersson and
                  Nicklas Holmberg},
  title        = {Discovering Metric Temporal Business Constraints from Event Logs},
  booktitle    = {Perspectives in Business Informatics Research - 13th International
                  Conference, {BIR} 2014, Lund, Sweden, September 22-24, 2014. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {194},
  pages        = {261--275},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11370-8\_19},
  doi          = {10.1007/978-3-319-11370-8\_19},
  timestamp    = {Fri, 09 Apr 2021 18:44:53 +0200},
  biburl       = {https://dblp.org/rec/conf/bir/Maggi14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GiacomoMGMM14,
  author       = {Giuseppe De Giacomo and
                  Riccardo De Masellis and
                  Marco Grasso and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  editor       = {Shazia Wasim Sadiq and
                  Pnina Soffer and
                  Hagen V{\"{o}}lzer},
  title        = {Monitoring Business Metaconstraints Based on {LTL} and {LDL} for Finite
                  Traces},
  booktitle    = {Business Process Management - 12th International Conference, {BPM}
                  2014, Haifa, Israel, September 7-11, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8659},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10172-9\_1},
  doi          = {10.1007/978-3-319-10172-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/GiacomoMGMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CiccioMM14,
  author       = {Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Jan Mendling},
  editor       = {Shazia Wasim Sadiq and
                  Pnina Soffer and
                  Hagen V{\"{o}}lzer},
  title        = {Discovering Target-Branched Declare Constraints},
  booktitle    = {Business Process Management - 12th International Conference, {BPM}
                  2014, Haifa, Israel, September 7-11, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8659},
  pages        = {34--50},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10172-9\_3},
  doi          = {10.1007/978-3-319-10172-9\_3},
  timestamp    = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/CiccioMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiSR14,
  author       = {Fabrizio Maria Maggi and
                  Tijs Slaats and
                  Hajo A. Reijers},
  editor       = {Shazia Wasim Sadiq and
                  Pnina Soffer and
                  Hagen V{\"{o}}lzer},
  title        = {The Automated Discovery of Hybrid Processes},
  booktitle    = {Business Process Management - 12th International Conference, {BPM}
                  2014, Haifa, Israel, September 7-11, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8659},
  pages        = {392--399},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10172-9\_27},
  doi          = {10.1007/978-3-319-10172-9\_27},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/MaggiSR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BurattinCM14,
  author       = {Andrea Burattin and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  editor       = {Fabiana Fournier and
                  Jan Mendling},
  title        = {Lights, Camera, Action! Business Process Movies for Online Process
                  Discovery},
  booktitle    = {Business Process Management Workshops - {BPM} 2014 International Workshops,
                  Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {202},
  pages        = {408--419},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15895-2\_34},
  doi          = {10.1007/978-3-319-15895-2\_34},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/BurattinCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MaggiFDG14,
  author       = {Fabrizio Maria Maggi and
                  Chiara Di Francescomarino and
                  Marlon Dumas and
                  Chiara Ghidini},
  editor       = {Matthias Jarke and
                  John Mylopoulos and
                  Christoph Quix and
                  Colette Rolland and
                  Yannis Manolopoulos and
                  Haralambos Mouratidis and
                  Jennifer Horkoff},
  title        = {Predictive Monitoring of Business Processes},
  booktitle    = {Advanced Information Systems Engineering - 26th International Conference,
                  CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8484},
  pages        = {457--472},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07881-6\_31},
  doi          = {10.1007/978-3-319-07881-6\_31},
  timestamp    = {Fri, 27 Dec 2019 21:25:01 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/MaggiFDG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidm/BernardiCM14,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  title        = {Discovering cross-organizational business rules from the cloud},
  booktitle    = {2014 {IEEE} Symposium on Computational Intelligence and Data Mining,
                  {CIDM} 2014, Orlando, FL, USA, December 9-12, 2014},
  pages        = {389--396},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CIDM.2014.7008694},
  doi          = {10.1109/CIDM.2014.7008694},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cidm/BernardiCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/MasellisMM14,
  author       = {Riccardo De Masellis and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  editor       = {He Zhang and
                  LiGuo Huang and
                  Ita Richardson},
  title        = {Monitoring data-aware business constraints with finite state automata},
  booktitle    = {International Conference on Software and Systems Process 2014, {ICSSP}
                  '14, Nanjing, China - May 26 - 28, 2014},
  pages        = {134--143},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2600821.2600835},
  doi          = {10.1145/2600821.2600835},
  timestamp    = {Mon, 01 Aug 2022 10:03:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ispw/MasellisMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/RaimCMMM14,
  author       = {Margus R{\"{a}}im and
                  Claudio Di Ciccio and
                  Fabrizio Maria Maggi and
                  Massimo Mecella and
                  Jan Mendling},
  editor       = {Robert Meersman and
                  Herv{\'{e}} Panetto and
                  Tharam S. Dillon and
                  Michele Missikoff and
                  Lin Liu and
                  Oscar Pastor and
                  Alfredo Cuzzocrea and
                  Timos K. Sellis},
  title        = {Log-Based Understanding of Business Processes through Temporal Logic
                  Query Checking},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences
                  - Confederated International Conferences: CoopIS, and {ODBASE} 2014,
                  Amantea, Italy, October 27-31, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8841},
  pages        = {75--92},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45563-0\_5},
  doi          = {10.1007/978-3-662-45563-0\_5},
  timestamp    = {Mon, 18 Jan 2021 08:56:44 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/RaimCMMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/NguyenDRMS14,
  author       = {Hoang Nguyen and
                  Marlon Dumas and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Suriadi Suriadi},
  editor       = {Robert Meersman and
                  Herv{\'{e}} Panetto and
                  Tharam S. Dillon and
                  Michele Missikoff and
                  Lin Liu and
                  Oscar Pastor and
                  Alfredo Cuzzocrea and
                  Timos K. Sellis},
  title        = {Mining Business Process Deviance: {A} Quest for Accuracy},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences
                  - Confederated International Conferences: CoopIS, and {ODBASE} 2014,
                  Amantea, Italy, October 27-31, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8841},
  pages        = {436--445},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45563-0\_25},
  doi          = {10.1007/978-3-662-45563-0\_25},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/NguyenDRMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BernardiCFM14,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Chiara Di Francescomarino and
                  Fabrizio Maria Maggi},
  editor       = {Antonis Bikakis and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Using Discriminative Rule Mining to Discover Declarative Process Models
                  with Non-atomic Activities},
  booktitle    = {Rules on the Web. From Theory to Applications - 8th International
                  Symposium, RuleML 2014, Co-located with the 21st European Conference
                  on Artificial Intelligence, {ECAI} 2014, Prague, Czech Republic, August
                  18-20, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8620},
  pages        = {281--295},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09870-8\_21},
  doi          = {10.1007/978-3-319-09870-8\_21},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BernardiCFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiacomoMGMM14,
  author       = {Giuseppe De Giacomo and
                  Riccardo De Masellis and
                  Marco Grasso and
                  Fabrizio Maria Maggi and
                  Marco Montali},
  title        = {LTLf and LDLf Monitoring: {A} Technical Report},
  journal      = {CoRR},
  volume       = {abs/1405.0054},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.0054},
  eprinttype    = {arXiv},
  eprint       = {1405.0054},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GiacomoMGMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/MontaliMCMA13,
  author       = {Marco Montali and
                  Fabrizio Maria Maggi and
                  Federico Chesani and
                  Paola Mello and
                  Wil M. P. van der Aalst},
  title        = {Monitoring business constraints with the event calculus},
  journal      = {{ACM} Trans. Intell. Syst. Technol.},
  volume       = {5},
  number       = {1},
  pages        = {17:1--17:30},
  year         = {2013},
  url          = {https://doi.org/10.1145/2542182.2542199},
  doi          = {10.1145/2542182.2542199},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tist/MontaliMCMA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BoseMA13,
  author       = {R. P. Jagadeesh Chandra Bose and
                  Fabrizio Maria Maggi and
                  Wil M. P. van der Aalst},
  editor       = {Florian Daniel and
                  Jianmin Wang and
                  Barbara Weber},
  title        = {Enhancing Declare Maps Based on Event Correlations},
  booktitle    = {Business Process Management - 11th International Conference, {BPM}
                  2013, Beijing, China, August 26-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8094},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40176-3\_9},
  doi          = {10.1007/978-3-642-40176-3\_9},
  timestamp    = {Mon, 28 Aug 2023 21:17:13 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/BoseMA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Maggi13,
  author       = {Fabrizio Maria Maggi},
  editor       = {Marie{-}Christine Fauvet and
                  Boudewijn F. van Dongen},
  title        = {Declarative Process Mining with the Declare Component of ProM},
  booktitle    = {Proceedings of the {BPM} Demo sessions 2013, Beijing, China, August
                  26-30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1021},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1021/paper\_8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/Maggi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiDGM13,
  author       = {Fabrizio Maria Maggi and
                  Marlon Dumas and
                  Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and
                  Marco Montali},
  editor       = {Florian Daniel and
                  Jianmin Wang and
                  Barbara Weber},
  title        = {Discovering Data-Aware Declarative Process Models from Event Logs},
  booktitle    = {Business Process Management - 11th International Conference, {BPM}
                  2013, Beijing, China, August 26-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8094},
  pages        = {81--96},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40176-3\_8},
  doi          = {10.1007/978-3-642-40176-3\_8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/MaggiDGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MaggiBA13,
  author       = {Fabrizio Maria Maggi and
                  R. P. Jagadeesh Chandra Bose and
                  Wil M. P. van der Aalst},
  editor       = {Camille Salinesi and
                  Moira C. Norrie and
                  Oscar Pastor},
  title        = {A Knowledge-Based Integrated Approach for Discovering and Repairing
                  Declare Maps},
  booktitle    = {Advanced Information Systems Engineering - 25th International Conference,
                  CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7908},
  pages        = {433--448},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38709-8\_28},
  doi          = {10.1007/978-3-642-38709-8\_28},
  timestamp    = {Mon, 18 Jan 2021 08:56:37 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/MaggiBA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/KocielnikSMOW13,
  author       = {Rafal Kocielnik and
                  Natalia Sidorova and
                  Fabrizio Maria Maggi and
                  Martin Ouwerkerk and
                  Joyce H. D. M. Westerink},
  editor       = {Pedro Pereira Rodrigues and
                  Mykola Pechenizkiy and
                  Jo{\~{a}}o Gama and
                  Ricardo Cruz{-}Correia and
                  Jiming Liu and
                  Agma J. M. Traina and
                  Peter J. F. Lucas and
                  Paolo Soda},
  title        = {Smart technologies for long-term stress monitoring at work},
  booktitle    = {Proceedings of the 26th {IEEE} International Symposium on Computer-Based
                  Medical Systems, Porto, Portugal, June 20-22, 2013},
  pages        = {53--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CBMS.2013.6627764},
  doi          = {10.1109/CBMS.2013.6627764},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cbms/KocielnikSMOW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/LyMMRA13,
  author       = {Linh Thao Ly and
                  Fabrizio Maria Maggi and
                  Marco Montali and
                  Stefanie Rinderle{-}Ma and
                  Wil M. P. van der Aalst},
  editor       = {Dragan Gasevic and
                  Marek Hatala and
                  Hamid R. Motahari Nezhad and
                  Manfred Reichert},
  title        = {A Framework for the Systematic Comparison and Evaluation of Compliance
                  Monitoring Approaches},
  booktitle    = {17th {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2013, Vancouver, BC, Canada, September 9-13, 2013},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/EDOC.2013.11},
  doi          = {10.1109/EDOC.2013.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/LyMMRA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BernardiCM13,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  editor       = {Jos{\'{e}} Cordeiro and
                  David A. Marca and
                  Marten van Sinderen},
  title        = {Process Lines for Automatic Workflow Development},
  booktitle    = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
                  on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
                  2013},
  pages        = {41--49},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004492400410049},
  doi          = {10.5220/0004492400410049},
  timestamp    = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/BernardiCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/MaggiBCS13,
  author       = {Fabrizio Maria Maggi and
                  Andrea Burattin and
                  Marta Cimitile and
                  Alessandro Sperduti},
  editor       = {Robert Meersman and
                  Herv{\'{e}} Panetto and
                  Tharam S. Dillon and
                  Johann Eder and
                  Zohra Bellahsene and
                  Norbert Ritter and
                  Pieter De Leenheer and
                  Dejing Dou},
  title        = {Online Process Discovery to Detect Concept Drifts in LTL-Based Declarative
                  Process Models},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2013 Conferences
                  - Confederated International Conferences: CoopIS, DOA-Trusted Cloud,
                  and {ODBASE} 2013, Graz, Austria, September 9-13, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8185},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41030-7\_7},
  doi          = {10.1007/978-3-642-41030-7\_7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/MaggiBCS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/KocielnikMS13,
  author       = {Rafal Kocielnik and
                  Fabrizio Maria Maggi and
                  Natalia Sidorova},
  title        = {Enabling self-reflection with LifelogExplorer: Generating simple views
                  from complex data},
  booktitle    = {7th International Conference on Pervasive Computing Technologies for
                  Healthcare and Workshops, PervasiveHealth 2013, Venice, Italy, May
                  5-8, 2013},
  pages        = {184--191},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.4108/icst.pervasivehealth.2013.251934},
  doi          = {10.4108/ICST.PERVASIVEHEALTH.2013.251934},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ph/KocielnikMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MontaliCMM13,
  author       = {Marco Montali and
                  Federico Chesani and
                  Paola Mello and
                  Fabrizio Maria Maggi},
  editor       = {Sung Y. Shin and
                  Jos{\'{e}} Carlos Maldonado},
  title        = {Towards data-aware constraints in declare},
  booktitle    = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
                  {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
  pages        = {1391--1396},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2480362.2480624},
  doi          = {10.1145/2480362.2480624},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/MontaliCMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/awareness/MaggiMA13,
  author       = {Fabrizio Maria Maggi and
                  Arjan J. Mooij and
                  Wil M. P. van der Aalst},
  editor       = {Pi{\"{e}}rre van de Laar and
                  Jan Tretmans and
                  Michael Borth},
  title        = {Analyzing Vessel Behavior Using Process Mining},
  booktitle    = {Situation Awareness with Systems of Systems},
  pages        = {133--148},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-1-4614-6230-9\_9},
  doi          = {10.1007/978-1-4614-6230-9\_9},
  timestamp    = {Sat, 30 Sep 2023 09:32:43 +0200},
  biburl       = {https://dblp.org/rec/books/sp/awareness/MaggiMA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MaggiFDG13,
  author       = {Fabrizio Maria Maggi and
                  Chiara Di Francescomarino and
                  Marlon Dumas and
                  Chiara Ghidini},
  title        = {Predictive Monitoring of Business Processes},
  journal      = {CoRR},
  volume       = {abs/1312.4874},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.4874},
  eprinttype    = {arXiv},
  eprint       = {1312.4874},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MaggiFDG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LeoniMA12,
  author       = {Massimiliano de Leoni and
                  Fabrizio Maria Maggi and
                  Wil M. P. van der Aalst},
  editor       = {Alistair Barros and
                  Avigdor Gal and
                  Ekkart Kindler},
  title        = {Aligning Event Logs and Declarative Process Models for Conformance
                  Checking},
  booktitle    = {Business Process Management - 10th International Conference, {BPM}
                  2012, Tallinn, Estonia, September 3-6, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7481},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32885-5\_6},
  doi          = {10.1007/978-3-642-32885-5\_6},
  timestamp    = {Mon, 16 Aug 2021 11:09:48 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/LeoniMA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MaggiBA12,
  author       = {Fabrizio Maria Maggi and
                  R. P. Jagadeesh Chandra Bose and
                  Wil M. P. van der Aalst},
  editor       = {Jolita Ralyt{\'{e}} and
                  Xavier Franch and
                  Sjaak Brinkkemper and
                  Stanislaw Wrycza},
  title        = {Efficient Discovery of Understandable Declarative Process Models from
                  Event Logs},
  booktitle    = {Advanced Information Systems Engineering - 24th International Conference,
                  CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7328},
  pages        = {270--285},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31095-9\_18},
  doi          = {10.1007/978-3-642-31095-9\_18},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/MaggiBA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/BurattinMAS12,
  author       = {Andrea Burattin and
                  Fabrizio Maria Maggi and
                  Wil M. P. van der Aalst and
                  Alessandro Sperduti},
  editor       = {Chi{-}Hung Chi and
                  Dragan Gasevic and
                  Willem{-}Jan van den Heuvel},
  title        = {Techniques for a Posteriori Analysis of Declarative Processes},
  booktitle    = {16th {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2012, Beijing, China, September 10-14, 2012},
  pages        = {41--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/EDOC.2012.15},
  doi          = {10.1109/EDOC.2012.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/BurattinMAS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/BernardiCLM12,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Giuseppe A. Di Lucca and
                  Fabrizio Maria Maggi},
  title        = {Using Declarative Workflow Languages to Develop Process-Centric Web
                  Applications},
  booktitle    = {16th {IEEE} International Enterprise Distributed Object Computing
                  Conference Workshops, {EDOC} Workshops, Beijing, China, September
                  10-14, 2012},
  pages        = {56--65},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/EDOCW.2012.17},
  doi          = {10.1109/EDOCW.2012.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/BernardiCLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MaggiMA12,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Wil M. P. van der Aalst},
  editor       = {Juan de Lara and
                  Andrea Zisman},
  title        = {An Operational Decision Support Framework for Monitoring Business
                  Constraints},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {7212},
  pages        = {146--162},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28872-2\_11},
  doi          = {10.1007/978-3-642-28872-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/MaggiMA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BernardiCM12,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  editor       = {Slimane Hammoudi and
                  Marten van Sinderen and
                  Jos{\'{e}} Cordeiro},
  title        = {Model Driven Development of Process-centric Web Applications},
  booktitle    = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on
                  Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
  pages        = {340--346},
  publisher    = {SciTePress},
  year         = {2012},
  url          = {https://doi.org/10.5220/0004069903400346},
  doi          = {10.5220/0004069903400346},
  timestamp    = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/BernardiCM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchunselaarMS12,
  author       = {Dennis M. M. Schunselaar and
                  Fabrizio Maria Maggi and
                  Natalia Sidorova},
  editor       = {John Derrick and
                  Stefania Gnesi and
                  Diego Latella and
                  Helen Treharne},
  title        = {Patterns for a Log-Based Strengthening of Declarative Compliance Models},
  booktitle    = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
                  Pisa, Italy, June 18-21, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7321},
  pages        = {327--342},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30729-4\_23},
  doi          = {10.1007/978-3-642-30729-4\_23},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SchunselaarMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/SchunselaarMSA12,
  author       = {Dennis M. M. Schunselaar and
                  Fabrizio Maria Maggi and
                  Natalia Sidorova and
                  Wil M. P. van der Aalst},
  editor       = {Robert Meersman and
                  Herv{\'{e}} Panetto and
                  Tharam S. Dillon and
                  Stefanie Rinderle{-}Ma and
                  Peter Dadam and
                  Xiaofang Zhou and
                  Siani Pearson and
                  Alois Ferscha and
                  Sonia Bergamaschi and
                  Isabel F. Cruz},
  title        = {Configurable Declare: Designing Customisable Flexible Process Models},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2012, Confederated
                  International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2012, Rome,
                  Italy, September 10-14, 2012. Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7565},
  pages        = {20--37},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33606-5\_3},
  doi          = {10.1007/978-3-642-33606-5\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/SchunselaarMSA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/WestergaardM12,
  author       = {Michael Westergaard and
                  Fabrizio Maria Maggi},
  editor       = {Robert Meersman and
                  Herv{\'{e}} Panetto and
                  Tharam S. Dillon and
                  Stefanie Rinderle{-}Ma and
                  Peter Dadam and
                  Xiaofang Zhou and
                  Siani Pearson and
                  Alois Ferscha and
                  Sonia Bergamaschi and
                  Isabel F. Cruz},
  title        = {Looking into the Future. Using Timed Automata to Provide a Priori
                  Advice about Timed Declarative Process Models},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2012, Confederated
                  International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2012, Rome,
                  Italy, September 10-14, 2012. Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7565},
  pages        = {250--267},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33606-5\_16},
  doi          = {10.1007/978-3-642-33606-5\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/WestergaardM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/widm/BernardiCLM12,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Giuseppe A. Di Lucca and
                  Fabrizio Maria Maggi},
  editor       = {George H. L. Fletcher and
                  Prasenjit Mitra},
  title        = {{M3D:} a tool for the model driven development of web applications},
  booktitle    = {Proceedings of the Twelfth International Workshop on Web Information
                  and Data Management, {WIDM} 2012, Maui, HI, USA, November 02, 2012},
  pages        = {73--80},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2389936.2389951},
  doi          = {10.1145/2389936.2389951},
  timestamp    = {Mon, 15 Nov 2021 16:15:59 +0100},
  biburl       = {https://dblp.org/rec/conf/widm/BernardiCLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wse/BernardiCLM12,
  author       = {Mario Luca Bernardi and
                  Marta Cimitile and
                  Giuseppe A. Di Lucca and
                  Fabrizio Maria Maggi},
  editor       = {Scott R. Tilley and
                  Damiano Distante and
                  Gustavo Rossi},
  title        = {Development of flexible process-centric web applications: An integrated
                  model driven approach},
  booktitle    = {14th {IEEE} International Symposium on Web Systems Evolution, {WSE}
                  2012, Trento, Italy, September 28, 2012},
  pages        = {67--71},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/WSE.2012.6320534},
  doi          = {10.1109/WSE.2012.6320534},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wse/BernardiCLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ZimeoMOQRSTABCCGMT12,
  author       = {Eugenio Zimeo and
                  Valentina Mazza and
                  Giorgio Orsi and
                  Elisa Quintarelli and
                  Antonio Romano and
                  Paola Spoletini and
                  Giancarlo Tretola and
                  Alessandro Amirante and
                  Alessio Botta and
                  Luca Cavallaro and
                  Domenico Consoli and
                  Ester Giallonardo and
                  Fabrizio Maria Maggi and
                  Gabriele Tiotto},
  editor       = {Giuseppe Anastasi and
                  Emilio Bellini and
                  Elisabetta Di Nitto and
                  Carlo Ghezzi and
                  Letizia Tanca and
                  Eugenio Zimeo},
  title        = {Putting It All Together: Using the ArtDeco Approach in the Wine Business
                  Domain},
  booktitle    = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
                  Adaptive Infrastructures for Decentralised Organisations},
  series       = {Lecture Notes in Computer Science},
  volume       = {7200},
  pages        = {415--452},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31739-2\_21},
  doi          = {10.1007/978-3-642-31739-2\_21},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/ZimeoMOQRSTABCCGMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardM11,
  author       = {Michael Westergaard and
                  Fabrizio Maria Maggi},
  editor       = {Lars Michael Kristensen and
                  Laure Petrucci},
  title        = {Modeling and Verification of a Protocol for Operational Support Using
                  Coloured Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets - 32nd International Conference,
                  {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6709},
  pages        = {169--188},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21834-7\_10},
  doi          = {10.1007/978-3-642-21834-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/WestergaardM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiMWA11,
  author       = {Fabrizio Maria Maggi and
                  Marco Montali and
                  Michael Westergaard and
                  Wil M. P. van der Aalst},
  editor       = {Stefanie Rinderle{-}Ma and
                  Farouk Toumani and
                  Karsten Wolf},
  title        = {Monitoring Business Constraints with Linear Temporal Logic: An Approach
                  Based on Colored Automata},
  booktitle    = {Business Process Management - 9th International Conference, {BPM}
                  2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6896},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23059-2\_13},
  doi          = {10.1007/978-3-642-23059-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/MaggiMWA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AalstAM11,
  author       = {Wil M. P. van der Aalst and
                  Arya Adriansyah and
                  Ana Karla Alves de Medeiros and
                  Franco Arcieri and
                  Thomas Baier and
                  Tobias Blickle and
                  R. P. Jagadeesh Chandra Bose and
                  Peter van den Brand and
                  Ronald Brandtjen and
                  Joos C. A. M. Buijs and
                  Andrea Burattin and
                  Josep Carmona and
                  Mal{\'{u}} Castellanos and
                  Jan Claes and
                  Jonathan E. Cook and
                  Nicola Costantini and
                  Francisco Curbera and
                  Ernesto Damiani and
                  Massimiliano de Leoni and
                  Pavlos Delias and
                  Boudewijn F. van Dongen and
                  Marlon Dumas and
                  Schahram Dustdar and
                  Dirk Fahland and
                  Diogo R. Ferreira and
                  Walid Gaaloul and
                  Frank van Geffen and
                  Sukriti Goel and
                  Christian W. G{\"{u}}nther and
                  Antonella Guzzo and
                  Paul Harmon and
                  Arthur H. M. ter Hofstede and
                  John Hoogland and
                  Jon Espen Ingvaldsen and
                  Koki Kato and
                  Rudolf Kuhn and
                  Akhil Kumar and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Donato Malerba and
                  R. S. Mans and
                  Alberto Manuel and
                  Martin McCreesh and
                  Paola Mello and
                  Jan Mendling and
                  Marco Montali and
                  Hamid R. Motahari Nezhad and
                  Michael zur Muehlen and
                  Jorge Munoz{-}Gama and
                  Luigi Pontieri and
                  Joel Ribeiro and
                  Anne Rozinat and
                  Hugo Seguel P{\'{e}}rez and
                  Ricardo Seguel P{\'{e}}rez and
                  Marcos Sep{\'{u}}lveda and
                  Jim Sinur and
                  Pnina Soffer and
                  Minseok Song and
                  Alessandro Sperduti and
                  Giovanni Stilo and
                  Casper Stoel and
                  Keith D. Swenson and
                  Maurizio Talamo and
                  Wei Tan and
                  Chris Turner and
                  Jan Vanthienen and
                  George Varvaressos and
                  Eric Verbeek and
                  Marc Verdonk and
                  Roberto Vigo and
                  Jianmin Wang and
                  Barbara Weber and
                  Matthias Weidlich and
                  Ton Weijters and
                  Lijie Wen and
                  Michael Westergaard and
                  Moe Thandar Wynn},
  editor       = {Florian Daniel and
                  Kamel Barkaoui and
                  Schahram Dustdar},
  title        = {Process Mining Manifesto},
  booktitle    = {Business Process Management Workshops - {BPM} 2011 International Workshops,
                  Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers,
                  Part {I}},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {99},
  pages        = {169--194},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-28108-2\_19},
  doi          = {10.1007/978-3-642-28108-2\_19},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/AalstAM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/WestergaardM11,
  author       = {Michael Westergaard and
                  Fabrizio Maria Maggi},
  editor       = {Heiko Ludwig and
                  Hajo A. Reijers},
  title        = {Declare: {A} Tool Suite for Declarative Workflow Modeling and Enactment},
  booktitle    = {Proceedings of the Demo Track of the Nineth Conference on Business
                  Process Management 2011, Clermont-Ferrand, France, August 31st, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {820},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-820/Demo3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/WestergaardM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidm/MaggiMA11,
  author       = {Fabrizio Maria Maggi and
                  Arjan J. Mooij and
                  Wil M. P. van der Aalst},
  title        = {User-guided discovery of declarative process models},
  booktitle    = {Proceedings of the {IEEE} Symposium on Computational Intelligence
                  and Data Mining, {CIDM} 2011, part of the {IEEE} Symposium Series
                  on Computational Intelligence 2011, April 11-15, 2011, Paris, France},
  pages        = {192--199},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CIDM.2011.5949297},
  doi          = {10.1109/CIDM.2011.5949297},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cidm/MaggiMA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MaggiWMA11,
  author       = {Fabrizio Maria Maggi and
                  Michael Westergaard and
                  Marco Montali and
                  Wil M. P. van der Aalst},
  editor       = {Sarfraz Khurshid and
                  Koushik Sen},
  title        = {Runtime Verification of LTL-Based Declarative Process Models},
  booktitle    = {Runtime Verification - Second International Conference, {RV} 2011,
                  San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7186},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29860-8\_11},
  doi          = {10.1007/978-3-642-29860-8\_11},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/MaggiWMA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiCRLV10,
  author       = {Fabrizio Maria Maggi and
                  Domenico Corapi and
                  Alessandra Russo and
                  Emil Lupu and
                  Giuseppe Visaggio},
  editor       = {Michael zur Muehlen and
                  Jianwen Su},
  title        = {Revising Process Models through Inductive Learning},
  booktitle    = {Business Process Management Workshops - {BPM} 2010 International Workshops
                  and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {66},
  pages        = {182--193},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20511-8\_16},
  doi          = {10.1007/978-3-642-20511-8\_16},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/MaggiCRLV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icds/CimitileMMV09,
  author       = {Marta Cimitile and
                  Fabrizio Maria Maggi and
                  Gemma Mastelloni and
                  Giuseppe Visaggio},
  title        = {Tacit Suggestions Extraction Process for Consumer-Oriented Services},
  booktitle    = {Third International Conference on the Digital Society {(ICDS} 2009),
                  February 1-7, 2009, Cancun, Mexico},
  pages        = {161--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICDS.2009.29},
  doi          = {10.1109/ICDS.2009.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icds/CimitileMMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BoffoliCM09,
  author       = {Nicola Boffoli and
                  Marta Cimitile and
                  Fabrizio Maria Maggi},
  editor       = {Boris Shishkov and
                  Jos{\'{e}} Cordeiro and
                  Alpesh Ranchordas},
  title        = {Managing Business Process Flexibility and Reuse through Business Process
                  Lines},
  booktitle    = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
                  Software and Data Technologies, Volume 2, Sofia, Bulgaria, July 26-29,
                  2009},
  pages        = {61--68},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Sat, 19 Sep 2009 22:21:43 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/BoffoliCM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/BoffoliCMR08,
  author       = {Nicola Boffoli and
                  Daniela Castelluccia and
                  Fabrizio Maria Maggi and
                  Roberto Rutilo},
  editor       = {Cesar Gonzalez{-}Perez and
                  Stefan Jablonski},
  title        = {Business Process Modeling Aware to the Environment Changes - {A} Pattern
                  Driven Approach},
  booktitle    = {{ENASE} 2008 - Proceedings of the 3rd International Conference on
                  Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira,
                  Portugal, May 4-7, 2008},
  pages        = {147--156},
  publisher    = {{INSTICC} Press},
  year         = {2008},
  timestamp    = {Thu, 06 Jan 2011 10:44:17 +0100},
  biburl       = {https://dblp.org/rec/conf/enase/BoffoliCMR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BoffoliCCMV08,
  author       = {Nicola Boffoli and
                  Danilo Caivano and
                  Daniela Castelluccia and
                  Fabrizio Maria Maggi and
                  Giuseppe Visaggio},
  editor       = {Steffen Thiel and
                  Klaus Pohl},
  title        = {Business Process Lines to Develop Service-Oriented Architectures Through
                  the Software Product Lines Paradigm},
  booktitle    = {Software Product Lines, 12th International Conference, {SPLC} 2008,
                  Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume
                  (Workshops)},
  pages        = {143--147},
  publisher    = {Lero Int. Science Centre, University of Limerick, Ireland},
  year         = {2008},
  timestamp    = {Tue, 10 Mar 2009 09:37:30 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/BoffoliCCMV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics