Specification and verification of declarative open interaction models: a logic-based approach

por Montali, Marco
Publicado 2010

Rules and reasoning: third international joint conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, proceedings

por Fodor, Paul, Montali, Marco, Calvanese, Diego, Roman, Dumitru
Publicado 2019

Business process management: 16th international conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, proceedings

por Weske, Mathias, Montali, Marco, Weber, Ingo, vom Brocke, Jan
Publicado 2018

Combined Covers and Beth Definability

por Calvanese, Diego, Ghilardi, Silvio, Gianola, Alessandro, Montali, Marco, Rivkin, Andrey
Publicado 2020

Compliance monitoring in business processes: Functionalities, application, and tool-support

por Ly, Linh Thao, Maggi, Fabrizio Maria, Montali, Marco, Rinderle-Ma, Stefanie, van der Aalst, Wil M.P.
Publicado 2015