×
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
49 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
Montali - Da Leibniz a Turing: la nascita dei computer e la scoperta dei limiti della matematica
114 views
Verso una gestione dei processi aziendali basata sulla realtà
99 views
Verso una gestione IT delle organizzazioni fondata sulla realtà
117 views
Conoscenza condivisa: verso la convergenza di dati, processi, persone
86 views
Invited Seminar@KRDB 2010 - Montali - Specification and Verification of Declarative Open Interaction Models
56 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
65 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
172 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
61 views
KR 2014 - Montali - State-Boundedness in Data-Aware Dynamic Systems
56 views
Prohealth 2011 - Montali - Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge
54 views
Temporal logics over finite traces for declarative BPM
75 views
CAiSE 2015 - Montali - Declarative Process Modeling in BPMN
155 views
AAAI 2015 - Montali - Verification of Relational Multiagent Systems with Data Types
34 views
Next >