×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of marco-montali
Seminar@KRDB 2012 - Montali - Verification of Relational Data-Centric Systems with External Services
50 views
Seminar@KRDB 2011 - Montali - Runtime Reasoning with the Event Calculus: from Theory to Practice
134 views
Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support
91 views
Invited Seminar@KRDB 2010 - Montali - Specification and Verification of Declarative Open Interaction Models
58 views
ILIKS2010 - Montali - Monitoring Time-Aware Commitments
50 views
FBKR 2012 - Montali - Conformance Verification when Dealing with Computerized and Human-Enhanced Processes
34 views
Seminar@FBK-IRST 2012 - Montali - Towards Convergence of Data and Processes: the Artifact-Centric Approach
66 views
PV 2014 - Montali - Verification of Parameterized Data-Aware Dynamic Systems
45 views
ATAED2016 Montali - Marrying data and processes: from model to event data analysis
173 views
Representing and monitoring social commitments using the event calculus
214 views
BPM 2014 - Montali - Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces
62 views
Prohealth 2011 - Montali - Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge
55 views
Temporal logics over finite traces for declarative BPM
76 views
KR 2014 - Montali - State-Boundedness in Data-Aware Dynamic Systems
56 views
CAiSE 2015 - Montali - Declarative Process Modeling in BPMN
153 views
AAAI 2015 - Montali - Verification of Relational Multiagent Systems with Data Types
34 views
Montali: Declarative, Constraint-Based Business Process Management - Seville 2016
127 views
AIxIA2015 - Marco Somalvico Award 2015 - Montali - Data and Processes: a Challenging, though Necessary, Marriage
87 views
Montali - DB-Nets: On The Marriage of Colored Petri Nets and Relational Databases
97 views