Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Marco Montali

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aamas/ChesaniMMT13
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems 27(1): 85-130 (2013)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jair/HaririCMGMF13
- ask others
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli: Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. (JAIR) 46: 651-686 (2013)
[c46]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/MaggiDGM13
- ask others
Fabrizio Maria Maggi, Marlon Dumas, Luciano García-Bañuelos, Marco Montali: Discovering Data-Aware Declarative Process Models from Event Logs. BPM 2013: 81-96
[c45]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/RazniewskiMN13
- ask others
Simon Razniewski, Marco Montali, Werner Nutt: Verification of Query Completeness over Processes. BPM 2013: 155-170
[c44]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlog/CalvaneseKMSZ13
- ask others
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov: Verification of Inconsistency-Aware Knowledge and Action Bases. Description Logics 2013: 107-119
[c43]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlog/CalvaneseGMP13
- ask others
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi: Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics 2013: 573-586
[c42]
- view
  - electronic edition @ aaai.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ijcai/CalvaneseKMSZ13
- ask others
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov: Verification of Inconsistency-Aware Knowledge and Action Bases. IJCAI 2013
[c41]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mates/ElakehalMP13
- ask others
Emad Eldeen Elakehal, Marco Montali, Julian A. Padget: Verifying MSMAS Model Using CIFF. MATES 2013: 44-58
[c40]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pods/CalvaneseGM13
- ask others
Diego Calvanese, Giuseppe De Giacomo, Marco Montali: Foundations of data-aware process analysis: a database theory perspective. PODS 2013: 1-12
[c39]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pods/HaririCGDM13
- ask others
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali: Verification of relational data-centric dynamic systems with external services. PODS 2013: 163-174
[c38]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rr/CalvaneseGMP13
- ask others
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi: Verification and Synthesis in Description Logic Based Dynamic Systems. RR 2013: 50-64
[c37]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/MontaliCMM13
- ask others
Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi: Towards data-aware constraints in declare. SAC 2013: 1391-1396
[i5]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-1697
- ask others
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis: Verification of Artifact-Centric Systems: Decidability and Modeling Issues. CoRR abs/1304.1697 (2013)
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-6442
- ask others
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov: Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version). CoRR abs/1304.6442 (2013)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/RazniewskiMN13
- ask others
Simon Razniewski, Marco Montali, Werner Nutt: Verification of Query Completeness over Processes [Extended Version]. CoRR abs/1306.1689 (2013)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/HaririCMSS13
- ask others
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin: Verification of Semantically-Enhanced Artifact Systems (Extended Version). CoRR abs/1308.6292 (2013)
2012
[c36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/BragagliaCMMT12
- ask others
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action 2012: 123-146
[c35]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/HaririCGMFM12
- ask others
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali: Verification of Description Logic Knowledge and Action Bases. ECAI 2012: 103-108
[c34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/MaggiMA12
- ask others
Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst: An Operational Decision Support Framework for Monitoring Business Constraints. FASE 2012: 146-162
[c33]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/owled/CalvaneseKMZ12
- ask others
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Dmitriy Zheleznyakov: Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases. OWLED 2012
[c32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rr/CalvaneseGLMS12
- ask others
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso: Ontology-Based Governance of Data-Aware Processes. RR 2012: 25-41
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1203-0024
- ask others
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali: Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR abs/1203.0024 (2012)
2011
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aamas/MontaliTZMB11
- ask others
Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl: Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Autonomous Agents and Multi-Agent Systems 23(2): 193-223 (2011)
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cas/ChesaniMMT11
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybernetics and Systems 42(7): 546-566 (2011)
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ia/ChesaniMMT11
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale 5(1): 101-105 (2011)
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jwsr/AlbertiCCGLMMT11
- ask others
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Service Res. 8(3): 1-25 (2011)
[c31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aiia/BragagliaCMMS11
- ask others
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Davide Sottara: Fuzzy Conformance Checking of Observed Behaviour with Expectations. AI*IA 2011: 80-91
[c30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/MaggiMWA11
- ask others
Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. BPM 2011: 132-147
[c29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/AalstAMABBBBBBBCCCCCCDLDDDDFFGGGGGHHHIKKKRMMMMMMMMNMMPRRPPSSSSSSSSTTTVVVVVWWWWWWW11
- ask others
Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/BottrighiCMMMT11
- ask others
Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani: Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. Business Process Management Workshops (2) 2011: 200-211
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/TorroniCMM11
- ask others
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali: A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ruleml/BragagliaCFMMS11
- ask others
Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali, Davide Sottara: Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. RuleML America 2011: 267-281
[c25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rv/MaggiWMA11
- ask others
Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst: Runtime Verification of LTL-Based Declarative Process Models. RV 2011: 131-146
[e1]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ruleml/2011-2
- ask others
Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, Umberto Straccia (Eds.): Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011. CEUR Workshop Proceedings 799, CEUR-WS.org 2011
2010
[b1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/lnbip/Montali10
- ask others
Marco Montali: Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach. Lecture Notes in Business Information Processing 56, Springer 2010, ISBN 978-3-642-14537-7, pp. 1-383
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/envsoft/LuccariniBCMMMS10
- ask others
Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini, Paola Mello, Marco Montali, Davide Sottara: Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant. Environmental Modelling and Software 25(5): 648-660 (2010)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/MontaliTCMAL10
- ask others
Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Inform. 102(3-4): 325-361 (2010)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/ChesaniMMT10
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: A Logic-Based, Reactive Calculus of Events. Fundam. Inform. 105(1-2): 135-161 (2010)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mags/ChesaniMMST10
- ask others
Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent and Grid Systems 6(2): 165-190 (2010)
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tweb/MontaliPACMS10
- ask others
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari: Declarative specification and verification of service choreographiess. TWEB 4(1) (2010)
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hais/BragagliaCCMMS10
- ask others
Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara: An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. HAIS (1) 2010: 438-445
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kesamsta/ChesaniMMT10
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) 2010: 1-5
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kesamsta/ChesaniMMT10a
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Role Monitoring in Open Agent Societies. KES-AMSTA (1) 2010: 112-121

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/ChesaniLMMRS09
- ask others
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. T. Petri Nets and Other Models of Concurrency 2: 278-295 (2009)
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aime/BottrighiCMMMST09
- ask others
Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani: Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. KR4HC 2009: 76-87
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aime/BottrighiCMMMMSTT09
- ask others
Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio: A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. AIME 2009: 91-95
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/TorroniCMM09
- ask others
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali: Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icws/AlbertiCCGLMMT09
- ask others
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni: Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261
[c17]
- view
  - electronic edition @ ijcai.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ijcai/ChesaniMMT09
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96
[c16]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mallow/ChesaniMMT09
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009
2008
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/ChesaniMMRSS08
- ask others
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari: Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops 2008: 134-145
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/MontaliTACGLM08
- ask others
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
[c13]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/swap/ChesaniMMT08
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/ChesaniMMT08
- ask others
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72
2007
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aime/ChesaniMMS07
- ask others
Federico Chesani, Paola Mello, Marco Montali, Sergio Storari: Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME 2007: 479-488
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/LammaMMRS07
- ask others
Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/clima/BrylMMTZ07
- ask others
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone: -Tropos. CLIMA 2007: 157-176
[c8]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/AlbertiCGLMMT07
- ask others
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esws/AlbertiCGLMMT07
- ask others
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rr/AlbertiCGLMMT07
- ask others
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288
2006
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismis/ChesaniMMMS06
- ask others
Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari: A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. ISMIS 2006: 338-343
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/AlbertiGLCMM06
- ask others
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali: An abductive framework for a-priori verification of web services. PPDP 2006: 39-50
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/AlbertiCGLMMST06
- ask others
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72
2005
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cbms/CiampoliniMMS05
- ask others
Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari: Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS 2005: 503-505
[c1]
- view
  - electronic edition @ unibo.it
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/woa/ChesaniCMMTAS05
- ask others
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari: Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?