De Masellis, Riccardo
 Distribuzione geografica
Continente #
NA - Nord America 807
EU - Europa 513
AS - Asia 202
SA - Sud America 29
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 3
OC - Oceania 2
Totale 1.562
Nazione #
US - Stati Uniti d'America 800
RU - Federazione Russa 182
DE - Germania 107
SG - Singapore 72
UA - Ucraina 70
HK - Hong Kong 42
FI - Finlandia 37
CN - Cina 31
BR - Brasile 27
IN - India 26
NL - Olanda 24
VN - Vietnam 20
IE - Irlanda 19
SK - Slovacchia (Repubblica Slovacca) 19
BE - Belgio 14
IT - Italia 13
SE - Svezia 13
GB - Regno Unito 10
EU - Europa 6
CA - Canada 5
IR - Iran 3
AU - Australia 2
IQ - Iraq 2
MX - Messico 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
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
PK - Pakistan 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 1.562
Città #
Chandler 207
Jacksonville 142
Singapore 51
Boardman 47
Moscow 46
Ashburn 44
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 10
New York 8
Pune 8
Shanghai 8
Phoenix 6
Los Angeles 5
Munich 5
San Mateo 5
Toronto 5
Trento 5
Leawood 4
London 4
Miami 4
Norwalk 4
Saint Petersburg 4
Amsterdam 3
Falkenstein 3
Santa Clara 3
Seattle 3
São Paulo 3
Castelli Calepio 2
Düsseldorf 2
Frankfurt am Main 2
Nanjing 2
Sydney 2
Vana 2
Alberton 1
Ardabil 1
Atlanta 1
Augusta 1
Baku 1
Belford Roxo 1
Belém 1
Bolzano 1
Botucatu 1
Brasília 1
Cachoeiras de Macacu 1
Cairo 1
Campos dos Goytacazes 1
Canoas 1
Changsha 1
Cheyenne 1
Conselheiro Lafaiete 1
Cordisburgo 1
Costa Mesa 1
Duncan 1
Embu das Artes 1
Esmeraldas 1
Goiânia 1
Guadalajara 1
Guarulhos 1
Hanover 1
Hefei 1
Horizonte 1
Jaipur 1
Kutaisi 1
La Paz 1
Luxembourg 1
Maceió 1
Medellín 1
Milan 1
Mountain View 1
Nanchang 1
Neumarkt 1
Newark 1
Nicosia 1
Novo Repartimento 1
Ocotlán 1
Paraguaçu Paulista 1
Pasadena 1
Ponta Grossa 1
Portland 1
Porto Alegre 1
Reston 1
Salvador 1
Sangão 1
Santa Barbara 1
Sulaymaniyah 1
São Gonçalo 1
São José do Rio Preto 1
São Vicente 1
Taiyuan 1
Totale 977
Nome #
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes 105
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice 96
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 94
Foundations of Relational Artifacts VerificationBusiness Process Management 92
Abducing Compliance of Incomplete Event Logs 91
Enhancing Workflow-Nets with Data for Trace Completion 86
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing 84
VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES 81
Semantic Enrichment of GSM-Based Artifact-Centric Models 80
Description Logic Knowledge and Action Bases 79
Declarative Process Models: Different Ways to Be Hierarchical 79
Learning Hybrid Process Models from Events 76
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing 75
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 74
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 72
Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules 66
Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management 65
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 64
Verification of Description Logic Knowledge and Action Bases 64
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness 57
Discovering hybrid process models with bounds on time and complexity 34
Totale 1.614
Categoria #
all - tutte 9.593
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.593


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/2025432 6 4 43 32 2 3 27 30 194 67 24 0
Totale 1.614