De Masellis, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 1.267
EU - Europa 1.164
AS - Asia 569
SA - Sud America 125
AF - Africa 18
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 2
Totale 3.151
Nazione #
US - Stati Uniti d'America 1.233
RU - Federazione Russa 745
SG - Singapore 199
DE - Germania 121
CN - Cina 117
BR - Brasile 110
VN - Vietnam 105
UA - Ucraina 71
HK - Hong Kong 53
IN - India 41
FI - Finlandia 38
GB - Regno Unito 31
NL - Olanda 26
FR - Francia 23
SE - Svezia 23
IE - Irlanda 20
SK - Slovacchia (Repubblica Slovacca) 19
CA - Canada 18
BE - Belgio 14
IT - Italia 13
MX - Messico 13
PL - Polonia 10
ZA - Sudafrica 10
BD - Bangladesh 9
JP - Giappone 7
EU - Europa 6
IQ - Iraq 6
AR - Argentina 4
AZ - Azerbaigian 4
ES - Italia 4
PY - Paraguay 4
TR - Turchia 4
IR - Iran 3
PK - Pakistan 3
UZ - Uzbekistan 3
AU - Australia 2
CL - Cile 2
CO - Colombia 2
CR - Costa Rica 2
GE - Georgia 2
LT - Lituania 2
MA - Marocco 2
NP - Nepal 2
OM - Oman 2
PH - Filippine 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BO - Bolivia 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
HN - Honduras 1
JO - Giordania 1
KE - Kenya 1
KH - Cambogia 1
KR - Corea 1
LB - Libano 1
LU - Lussemburgo 1
RS - Serbia 1
SA - Arabia Saudita 1
VE - Venezuela 1
ZM - Zambia 1
Totale 3.151
Città #
Chandler 207
Jacksonville 142
San Jose 138
Singapore 119
Ashburn 99
Hong Kong 51
Boardman 48
Dallas 46
Moscow 46
The Dalles 40
Beijing 38
Wilmington 33
Los Angeles 28
Ho Chi Minh City 24
Helsinki 23
New York 23
Dearborn 22
Hefei 22
Kronberg 21
Dong Ket 20
Dublin 20
Hanoi 18
Bratislava 17
Lauterbourg 17
Brooklyn 15
Brussels 14
Ann Arbor 13
Munich 13
Orem 13
São Paulo 11
Phoenix 10
Santa Clara 10
Warsaw 10
Shanghai 9
London 8
Pune 8
Toronto 8
Boston 7
Tokyo 7
Atlanta 6
Da Nang 6
Montreal 6
Poplar 6
Stockholm 6
Amsterdam 5
Frankfurt am Main 5
Manchester 5
San Mateo 5
Trento 5
Baku 4
Biên Hòa 4
Denver 4
Haiphong 4
Leawood 4
Mexico City 4
Miami 4
Norwalk 4
Rio de Janeiro 4
Saint Petersburg 4
Seattle 4
Baghdad 3
Cape Town 3
Curitiba 3
Falkenstein 3
Houston 3
New Delhi 3
Tashkent 3
Asunción 2
Bismarck 2
Brasília 2
Castelli Calepio 2
Chennai 2
Chicago 2
City of London 2
Düsseldorf 2
Fortaleza 2
Goiânia 2
Hai Bà Trưng 2
Hillsboro 2
Johannesburg 2
Kathmandu 2
Maricá 2
Nanjing 2
Paris 2
Piracicaba 2
Querétaro 2
Querétaro City 2
Salvador 2
San José 2
Sydney 2
Vana 2
Washington 2
Abaeté 1
Alberton 1
Amman 1
Amparo 1
Amritsar 1
Angeles City 1
Angra dos Reis 1
Ankara 1
Totale 1.596
Nome #
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 202
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice 194
Abducing Compliance of Incomplete Event Logs 189
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 188
Enhancing Workflow-Nets with Data for Trace Completion 172
Foundations of Relational Artifacts VerificationBusiness Process Management 158
Description Logic Knowledge and Action Bases 156
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 154
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing 153
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing 150
Semantic Enrichment of GSM-Based Artifact-Centric Models 150
Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management 145
Declarative Process Models: Different Ways to Be Hierarchical 145
Learning Hybrid Process Models from Events 145
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 143
VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES 138
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 137
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules 133
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness 120
Discovering hybrid process models with bounds on time and complexity 119
Verification of Description Logic Knowledge and Action Bases 112
Totale 3.203
Categoria #
all - tutte 13.180
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 13.180


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202170 0 0 0 0 0 0 0 0 0 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/2025546 6 4 43 32 2 3 27 30 194 67 99 39
2025/20261.475 60 75 87 165 99 46 219 588 75 61 0 0
Totale 3.203