De Masellis, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 745
EU - Europa 290
AS - Asia 140
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 2
OC - Oceania 2
Totale 1.185
Nazione #
US - Stati Uniti d'America 740
DE - Germania 95
UA - Ucraina 70
HK - Hong Kong 42
FI - Finlandia 30
CN - Cina 26
IN - India 26
VN - Vietnam 20
SG - Singapore 19
SK - Slovacchia (Repubblica Slovacca) 19
IE - Irlanda 18
BE - Belgio 13
IT - Italia 13
SE - Svezia 13
GB - Regno Unito 7
RU - Federazione Russa 7
EU - Europa 6
CA - Canada 5
IR - Iran 3
AU - Australia 2
CY - Cipro 1
DK - Danimarca 1
EG - Egitto 1
FR - Francia 1
JP - Giappone 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
NL - Olanda 1
PK - Pakistan 1
TR - Turchia 1
Totale 1.185
Città #
Chandler 207
Jacksonville 142
Boardman 47
Ashburn 43
Hong Kong 42
Wilmington 33
Dearborn 22
Kronberg 21
Dong Ket 20
Dublin 18
Bratislava 17
Helsinki 16
Singapore 16
Beijing 14
Ann Arbor 13
Brussels 13
Brooklyn 9
New York 8
Pune 8
Shanghai 7
Phoenix 6
Los Angeles 5
San Mateo 5
Toronto 5
Trento 5
Leawood 4
Miami 4
Norwalk 4
Saint Petersburg 4
Seattle 3
Castelli Calepio 2
Nanjing 2
Santa Clara 2
Sydney 2
Vana 2
Ardabil 1
Atlanta 1
Augusta 1
Bolzano 1
Cairo 1
Cheyenne 1
Costa Mesa 1
Duncan 1
Hanover 1
Hefei 1
Jaipur 1
London 1
Luxembourg 1
Milan 1
Mountain View 1
Munich 1
Nanchang 1
Neumarkt 1
Newark 1
Nicosia 1
Pasadena 1
Portland 1
Reston 1
Santa Barbara 1
Taiyuan 1
Taufers 1
Tokyo 1
Woodbridge 1
Totale 799
Nome #
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 85
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice 81
Foundations of Relational Artifacts VerificationBusiness Process Management 75
Abducing Compliance of Incomplete Event Logs 71
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 70
VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES 65
Enhancing Workflow-Nets with Data for Trace Completion 65
Declarative Process Models: Different Ways to Be Hierarchical 64
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing 62
Description Logic Knowledge and Action Bases 61
Semantic Enrichment of GSM-Based Artifact-Centric Models 59
Learning Hybrid Process Models from Events 58
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 56
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 55
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing 54
Verification of Description Logic Knowledge and Action Bases 52
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules 50
Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management 49
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 46
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness 41
Discovering hybrid process models with bounds on time and complexity 18
Totale 1.237
Categoria #
all - tutte 7.354
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.354


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020144 0 0 0 0 26 13 28 2 26 25 24 0
2020/2021179 22 1 20 2 20 14 25 3 2 48 2 20
2021/2022103 1 1 0 14 1 0 4 32 9 2 13 26
2022/2023371 11 41 4 79 9 59 1 40 82 25 10 10
2023/2024211 7 6 31 9 19 27 8 25 8 45 0 26
2024/202555 6 4 43 2 0 0 0 0 0 0 0 0
Totale 1.237