De Masellis, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 823
EU - Europa 518
AS - Asia 204
SA - Sud America 43
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 4
OC - Oceania 2
Totale 1.600
Nazione #
US - Stati Uniti d'America 814
RU - Federazione Russa 182
DE - Germania 107
SG - Singapore 74
UA - Ucraina 70
HK - Hong Kong 42
BR - Brasile 41
FI - Finlandia 38
CN - Cina 31
IN - India 26
NL - Olanda 25
VN - Vietnam 20
IE - Irlanda 19
SK - Slovacchia (Repubblica Slovacca) 19
BE - Belgio 14
IT - Italia 13
SE - Svezia 13
GB - Regno Unito 12
CA - Canada 7
EU - Europa 6
IR - Iran 3
AU - Australia 2
IQ - Iraq 2
LT - Lituania 2
MX - Messico 2
ZA - Sudafrica 2
AT - Austria 1
AZ - Azerbaigian 1
BO - Bolivia 1
CO - Colombia 1
CY - Cipro 1
DK - Danimarca 1
EG - Egitto 1
FR - Francia 1
GE - Georgia 1
JP - Giappone 1
LU - Lussemburgo 1
MA - Marocco 1
PK - Pakistan 1
TR - Turchia 1
Totale 1.600
Città #
Chandler 207
Jacksonville 142
Singapore 53
Boardman 47
Ashburn 46
Moscow 46
Hong Kong 42
The Dalles 34
Wilmington 33
Helsinki 23
Dearborn 22
Kronberg 21
Dong Ket 20
Dublin 19
Bratislava 17
Beijing 14
Brussels 14
Ann Arbor 13
Brooklyn 11
New York 8
Pune 8
Shanghai 8
London 6
Phoenix 6
Toronto 6
Los Angeles 5
Munich 5
San Mateo 5
Santa Clara 5
Trento 5
Amsterdam 4
Leawood 4
Miami 4
Norwalk 4
Saint Petersburg 4
Falkenstein 3
Seattle 3
São Paulo 3
Atlanta 2
Castelli Calepio 2
Düsseldorf 2
Frankfurt am Main 2
Maricá 2
Nanjing 2
Sydney 2
Vana 2
Abaeté 1
Alberton 1
Araranguá 1
Ardabil 1
Augusta 1
Baku 1
Belford Roxo 1
Belém 1
Bolzano 1
Botucatu 1
Brasília 1
Buffalo 1
Cachoeiras de Macacu 1
Cairo 1
Campos dos Goytacazes 1
Canoas 1
Caçapava 1
Changsha 1
Cheyenne 1
Conselheiro Lafaiete 1
Cordisburgo 1
Costa Mesa 1
Dourados 1
Duncan 1
Embu das Artes 1
Esmeraldas 1
Fortaleza 1
Germiston 1
Goiânia 1
Gramado 1
Guadalajara 1
Guarulhos 1
Hanover 1
Hefei 1
Horizonte 1
Jaipur 1
Jandira 1
Juazeiro 1
Kansas City 1
Kutaisi 1
La Paz 1
Luxembourg 1
Maceió 1
Medellín 1
Milan 1
Montreal 1
Mountain View 1
Nanchang 1
Neumarkt 1
Newark 1
Nicosia 1
Novo Repartimento 1
Ocotlán 1
Paraguaçu Paulista 1
Totale 990
Nome #
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 107
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 98
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice 98
Abducing Compliance of Incomplete Event Logs 94
Foundations of Relational Artifacts VerificationBusiness Process Management 93
Enhancing Workflow-Nets with Data for Trace Completion 87
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing 86
VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES 82
Semantic Enrichment of GSM-Based Artifact-Centric Models 82
Description Logic Knowledge and Action Bases 81
Declarative Process Models: Different Ways to Be Hierarchical 80
Learning Hybrid Process Models from Events 78
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing 77
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 75
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 74
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 67
Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management 67
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules 67
Verification of Description Logic Knowledge and Action Bases 64
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness 60
Discovering hybrid process models with bounds on time and complexity 35
Totale 1.652
Categoria #
all - tutte 9.768
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 9.768


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202024 0 0 0 0 0 0 0 0 0 0 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/2025470 6 4 43 32 2 3 27 30 194 67 62 0
Totale 1.652