Enterprise Design, Operations, and Computing: 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3-7, 2022, Proceedings
Almeida, João Paulo A, Karastoyanova, Dimka, Guizzardi, Giancarlo, Montali, Marco, Maggi, Fabrizio Maria, Fonseca, Claudenir M
Year of Publication 2022
Get full text
Year of Publication 2022
eBook
Well Structured Transition Systems with History
Abdulla, Parosh, Delzanno, Giorgio, Montali, Marco
Published in Electronic proceedings in theoretical computer science (01.01.2015)
Published in Electronic proceedings in theoretical computer science (01.01.2015)
Get full text
Journal Article
Soundness of data-aware, case-centric processes
Montali, Marco, Calvanese, Diego
Published in International journal on software tools for technology transfer (01.10.2016)
Published in International journal on software tools for technology transfer (01.10.2016)
Get full text
Journal Article
Resolving inconsistencies and redundancies in declarative process models
Di Ciccio, Claudio, Maggi, Fabrizio Maria, Montali, Marco, Mendling, Jan
Published in Information systems (Oxford) (01.03.2017)
Published in Information systems (Oxford) (01.03.2017)
Get full text
Journal Article
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
Felli, Paolo, de Leoni, Massimiliano, Montali, Marco
Published in Fundamenta informaticae (30.09.2021)
Published in Fundamenta informaticae (30.09.2021)
Get full text
Journal Article
Multi-party business process compliance monitoring through IoT-enabled artifacts
Meroni, Giovanni, Baresi, Luciano, Montali, Marco, Plebani, Pierluigi
Published in Information systems (Oxford) (01.03.2018)
Published in Information systems (Oxford) (01.03.2018)
Get full text
Journal Article
Petri net-based object-centric processes with read-only data
Ghilardi, Silvio, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey
Published in Information systems (Oxford) (01.07.2022)
Published in Information systems (Oxford) (01.07.2022)
Get full text
Journal Article
Data-aware conformance checking with SMT
Felli, Paolo, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey, Winkler, Sarah
Published in Information systems (Oxford) (01.07.2023)
Published in Information systems (Oxford) (01.07.2023)
Get full text
Journal Article
Combination of Uniform Interpolants via Beth Definability
Calvanese, Diego, Ghilardi, Silvio, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey
Published in Journal of automated reasoning (01.08.2022)
Published in Journal of automated reasoning (01.08.2022)
Get full text
Journal Article