IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

CAMILLI, MATTEO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.900
NA - Nord America 1.445
AS - Asia 1.163
SA - Sud America 99
AF - Africa 48
OC - Oceania 8
Totale 4.663
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.417
GB - Regno Unito 672
IT - Italia 572
CN - Cina 395
SG - Singapore 329
SE - Svezia 157
HK - Hong Kong 128
DE - Germania 105
FR - Francia 92
RU - Federazione Russa 85
VN - Vietnam 81
BR - Brasile 77
NL - Olanda 54
IN - India 51
IE - Irlanda 35
BD - Bangladesh 33
DK - Danimarca 25
CI - Costa d'Avorio 22
ID - Indonesia 22
FI - Finlandia 21
JP - Giappone 21
KR - Corea 20
TR - Turchia 17
CA - Canada 16
PK - Pakistan 13
BE - Belgio 12
ES - Italia 10
LU - Lussemburgo 10
UA - Ucraina 10
DZ - Algeria 9
MY - Malesia 9
AR - Argentina 8
AU - Australia 8
PH - Filippine 8
HU - Ungheria 7
IQ - Iraq 6
IR - Iran 6
MX - Messico 6
AT - Austria 5
RO - Romania 5
TN - Tunisia 5
CH - Svizzera 4
LK - Sri Lanka 4
MD - Moldavia 4
PL - Polonia 4
TH - Thailandia 4
AE - Emirati Arabi Uniti 3
CZ - Repubblica Ceca 3
KE - Kenya 3
MA - Marocco 3
NP - Nepal 3
PE - Perù 3
UY - Uruguay 3
AZ - Azerbaigian 2
CL - Cile 2
CO - Colombia 2
EC - Ecuador 2
GR - Grecia 2
OM - Oman 2
ZA - Sudafrica 2
AN - Antille olandesi 1
BG - Bulgaria 1
BH - Bahrain 1
BY - Bielorussia 1
CU - Cuba 1
EG - Egitto 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
IM - Isola di Man 1
KW - Kuwait 1
LV - Lettonia 1
MK - Macedonia 1
NI - Nicaragua 1
PR - Porto Rico 1
PY - Paraguay 1
SA - Arabia Saudita 1
SC - Seychelles 1
SN - Senegal 1
SV - El Salvador 1
TW - Taiwan 1
VE - Venezuela 1
Totale 4.663
Salva come PNG Salva come JPEG
Città #
Southend 648
Milan 225
Singapore 177
Ashburn 167
Hong Kong 125
Ann Arbor 100
Wilmington 83
Santa Clara 82
San Jose 71
Council Bluffs 67
Chandler 66
Beijing 65
Dallas 43
Princeton 42
Seattle 42
Dearborn 36
Dublin 35
Gardone Val Trompia 35
Los Angeles 33
Fairfield 31
Ho Chi Minh City 25
Woodbridge 24
Redwood City 23
Abidjan 22
Des Moines 20
Nanjing 20
Houston 19
Lauterbourg 19
Medford 19
Shanghai 19
Hanover 18
Bengaluru 17
Guangzhou 17
New York 17
Shenyang 17
San Giuliano 15
Buffalo 14
Boardman 13
Cambridge 13
Moscow 13
Phoenix 13
Dong Ket 12
Jakarta 12
Mountain View 12
Munich 12
Brussels 11
Hanoi 11
Sunnyvale 11
São Paulo 11
Torino 11
Trana 11
Frankfurt am Main 10
Fuzhou 10
Hangzhou 10
Helsinki 10
Columbus 9
Istanbul 8
Redmond 8
The Dalles 8
Bolzano 7
Bühl 7
Cangzhou 7
Changsha 7
Hebei 7
Nuremberg 7
Paris 7
Atlanta 6
Brooklyn 6
Chicago 6
Mcallen 6
Multan 6
Nanchang 6
Rome 6
Seoul 6
Stockholm 6
Sydney 6
Verona 6
Zhengzhou 6
Boston 5
Cagliari 5
Fremont 5
Hefei 5
Kuala Lumpur 5
Surat 5
Tokyo 5
Bitonto 4
Cinisello Balsamo 4
Denver 4
Islamabad 4
Jinan 4
Kagoya 4
Luxembourg 4
Montréal 4
Ottawa 4
Roubaix 4
San Donato Milanese 4
Shenzhen 4
Tianjin 4
Tunis 4
Wuhan 4
Totale 2.953
Salva come PNG Salva come JPEG
Nome #
Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches. 388
Distributed CTL model checking using MapReduce : theory and practice 342
Symbolic state space exploration of RT systems in the cloud 305
Design-Time to Run-Time Verification of Microservices Based Applications 288
MaRDiGraS : simplified building of reachability graphs on large clusters 287
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems 282
Coverability analysis of time basic petri nets with non-urgent behavior 266
A Formal Framework for Specifying and Verifying Microservices Based Process Flows 263
A high-level petri net-based formal model of distributed self-adaptive systems 262
CTL model checking in the cloud using MapReduce 259
Online Model-Based Testing under Uncertainty 252
Towards Evolving Petri Nets: a Symmetric Nets-based Framework 219
Zone-based formal specification and timing analysis of real-time self-adaptive systems 194
Formal verification problems in a big data world : towards a mighty synergy 192
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets 177
Towards Inverse Uncertainty Quantification in Software Development (Short Paper) 167
Specifying and verifying real-time self-adaptive systems 165
Emulating Self-adaptive Stochastic Petri Nets 136
A Symmetric Nets Emulator for Adaptive P/T Nets 127
Petri nets state space analysis in the cloud 115
Formalizing distributed self-adaptive systems using high-level petri nets 113
Formal specification and verification of decentralized self-adaptive systems using symmetric nets 82
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems 17
Totale 4.898
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.011
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 12.011
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202178 0 0 0 0 0 0 0 0 0 0 32 46
2021/2022339 21 18 80 24 11 19 20 10 14 18 33 71
2022/2023355 36 35 42 32 46 72 9 30 32 3 13 5
2023/2024222 9 10 14 8 36 24 5 38 7 13 34 24
2024/2025747 35 76 7 69 81 37 10 109 46 83 57 137
2025/20261.181 188 75 123 95 109 82 110 73 107 129 90 0
Totale 4.898