De Masellis, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 748
EU - Europa 296
AS - Asia 163
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 2
OC - Oceania 2
Totale 1.217
Nazione #
US - Stati Uniti d'America 743
DE - Germania 99
UA - Ucraina 70
HK - Hong Kong 42
SG - Singapore 40
FI - Finlandia 30
CN - Cina 28
IN - India 26
VN - Vietnam 20
IE - Irlanda 19
SK - Slovacchia (Repubblica Slovacca) 19
BE - Belgio 13
IT - Italia 13
SE - Svezia 13
GB - Regno Unito 8
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.217
Città #
Chandler 207
Jacksonville 142
Boardman 47
Ashburn 43
Hong Kong 42
Singapore 36
Wilmington 33
Dearborn 22
Kronberg 21
Dong Ket 20
Dublin 19
Bratislava 17
Helsinki 16
Beijing 14
Ann Arbor 13
Brussels 13
Brooklyn 9
New York 8
Pune 8
Shanghai 7
Phoenix 6
Los Angeles 5
Munich 5
San Mateo 5
Toronto 5
Trento 5
Leawood 4
Miami 4
Norwalk 4
Saint Petersburg 4
Seattle 3
Castelli Calepio 2
London 2
Nanjing 2
Santa Clara 2
Sydney 2
Vana 2
Ardabil 1
Atlanta 1
Augusta 1
Bolzano 1
Cairo 1
Changsha 1
Cheyenne 1
Costa Mesa 1
Duncan 1
Hanover 1
Hefei 1
Jaipur 1
Luxembourg 1
Milan 1
Mountain View 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 826
Nome #
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 86
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice 83
Foundations of Relational Artifacts VerificationBusiness Process Management 76
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 72
Abducing Compliance of Incomplete Event Logs 72
VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES 67
Enhancing Workflow-Nets with Data for Trace Completion 66
Declarative Process Models: Different Ways to Be Hierarchical 65
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing 64
Description Logic Knowledge and Action Bases 62
Semantic Enrichment of GSM-Based Artifact-Centric Models 61
Learning Hybrid Process Models from Events 60
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 57
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 57
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing 56
Verification of Description Logic Knowledge and Action Bases 52
Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management 51
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules 51
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 48
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness 42
Discovering hybrid process models with bounds on time and complexity 21
Totale 1.269
Categoria #
all - tutte 7.723
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.723


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/202587 6 4 43 32 2 0 0 0 0 0 0 0
Totale 1.269