IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

CAMILLI, MATTEO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 551
NA - Nord America 405
AS - Asia 333
SA - Sud America 39
AF - Africa 36
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.384
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 391
IT - Italia 137
DE - Germania 126
CN - Cina 113
FR - Francia 53
KR - Corea 48
IN - India 47
GB - Regno Unito 39
CZ - Repubblica Ceca 37
RU - Federazione Russa 31
NL - Olanda 25
IR - Iran 24
BR - Brasile 23
PK - Pakistan 19
AU - Australia 18
JP - Giappone 18
CA - Canada 14
ES - Italia 14
HK - Hong Kong 14
UA - Ucraina 14
DZ - Algeria 12
FI - Finlandia 11
ID - Indonesia 10
AR - Argentina 9
AT - Austria 9
MY - Malesia 9
SG - Singapore 9
IE - Irlanda 8
RO - Romania 8
ZA - Sudafrica 7
LU - Lussemburgo 5
SE - Svezia 5
TN - Tunisia 5
BE - Belgio 4
LK - Sri Lanka 4
PE - Perù 4
TR - Turchia 4
CH - Svizzera 3
IL - Israele 3
MA - Marocco 3
MD - Moldavia 3
TW - Taiwan 3
AL - Albania 2
BY - Bielorussia 2
CL - Cile 2
DK - Danimarca 2
EG - Egitto 2
GR - Grecia 2
LT - Lituania 2
NG - Nigeria 2
NO - Norvegia 2
PL - Polonia 2
RS - Serbia 2
SD - Sudan 2
TH - Thailandia 2
AE - Emirati Arabi Uniti 1
BT - Bhutan 1
CO - Colombia 1
CY - Cipro 1
EU - Europa 1
JO - Giordania 1
LV - Lettonia 1
LY - Libia 1
ME - Montenegro 1
NE - Niger 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PT - Portogallo 1
SN - Senegal 1
VN - Vietnam 1
Totale 1.384
Salva come PNG Salva come JPEG
Città #
Milan 49
Houston 34
Fairfield 31
Ashburn 25
Buffalo 23
Beijing 21
Seattle 17
Changsha 15
Woodbridge 15
Ann Arbor 14
Wilmington 14
Paris 13
Cambridge 12
Santa Cruz 12
Nanjing 11
Adelaide 10
Guangzhou 10
Hangzhou 10
Amsterdam 9
Bengaluru 9
Helsinki 9
Tokyo 9
Udupi 9
Bangalore 8
Dalmine 8
Dublin 8
Munich 8
Shanghai 8
Singapore 8
Islamabad 7
Nürnberg 7
Stuttgart 7
Chicago 6
Hamburg 6
Council Bluffs 5
Las Vegas 5
Muizenberg 5
San Diego 5
Trento 5
Vienna 5
Aurora 4
Bergamo 4
Bolzano 4
Brno 4
Buenos Aires 4
Fortaleza 4
Henderson 4
Jakarta 4
Leawood 4
Recife 4
Torino 4
University Park 4
Utrera 4
West Lafayette 4
Wuhan 4
Xian 4
Boardman 3
Boulder 3
Central 3
Central District 3
Clearwater 3
Dhari 3
Easton 3
Hefei 3
Mannheim 3
Montréal 3
Ottawa 3
Pigra 3
Redmond 3
Tulsa 3
Argentona 2
Auburn University 2
Bahía Blanca 2
Berlin 2
Bhubaneswar 2
Champaign 2
Changshahsien 2
Chongqing 2
Corvallis 2
Frankfurt am Main 2
Fulda 2
Guiyang 2
Gurgaon 2
Ipoh 2
Izmir 2
João Pessoa 2
Kuching 2
Leeds 2
Los Angeles 2
Madrigueras 2
Middlesbrough 2
Milpitas 2
Minneapolis 2
Mount Vernon 2
Multan 2
Mumbai 2
Norwalk 2
Pescara 2
Phoenix 2
Provo 2
Totale 658
Salva come PNG Salva come JPEG
Nome #
Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches., file dfa8b991-ea37-748b-e053-3a05fe0a3a96 539
Online Model-Based Testing under Uncertainty, file dfa8b99c-a658-748b-e053-3a05fe0a3a96 343
Zone-based formal specification and timing analysis of real-time self-adaptive systems, file dfa8b99a-e113-748b-e053-3a05fe0a3a96 256
Design-Time to Run-Time Verification of Microservices Based Applications, file dfa8b99a-1b78-748b-e053-3a05fe0a3a96 198
Towards Inverse Uncertainty Quantification in Software Development (Short Paper), file dfa8b999-03ed-748b-e053-3a05fe0a3a96 87
Formal specification and verification of decentralized self-adaptive systems using symmetric nets, file efd6bdd4-488b-43a0-8808-d6827cce1137 10
Distributed CTL model checking using MapReduce : theory and practice, file dfa8b994-a698-748b-e053-3a05fe0a3a96 7
CTL model checking in the cloud using MapReduce, file dfa8b991-ee01-748b-e053-3a05fe0a3a96 3
Coverability analysis of time basic petri nets with non-urgent behavior, file dfa8b997-a219-748b-e053-3a05fe0a3a96 3
Symbolic state space exploration of RT systems in the cloud, file dfa8b994-8e5a-748b-e053-3a05fe0a3a96 2
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets, file dfa8b998-29af-748b-e053-3a05fe0a3a96 2
A high-level petri net-based formal model of distributed self-adaptive systems, file dfa8b99c-7393-748b-e053-3a05fe0a3a96 2
Formal specification and verification of decentralized self-adaptive systems using symmetric nets, file cb9ed42a-fb6e-4ddd-8691-bb0f5a9842fa 1
MaRDiGraS : simplified building of reachability graphs on large clusters, file dfa8b993-767c-748b-e053-3a05fe0a3a96 1
Specifying and verifying real-time self-adaptive systems, file dfa8b994-5956-748b-e053-3a05fe0a3a96 1
A Formal Framework for Specifying and Verifying Microservices Based Process Flows, file dfa8b99a-35af-748b-e053-3a05fe0a3a96 1
Towards Evolving Petri Nets: a Symmetric Nets-based Framework, file dfa8b99b-f42e-748b-e053-3a05fe0a3a96 1
A Symmetric Nets Emulator for Adaptive P/T Nets, file dfa8b99e-b5fa-748b-e053-3a05fe0a3a96 1
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems, file dfa8b99f-10ea-748b-e053-3a05fe0a3a96 1
Emulating Self-adaptive Stochastic Petri Nets, file dfa8b9a7-0c28-748b-e053-3a05fe0a3a96 1
Formalizing distributed self-adaptive systems using high-level petri nets, file dfa8b9a7-4053-748b-e053-3a05fe0a3a96 1
Totale 1.461
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.469
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 2.469
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201943 0 0 0 0 0 0 0 0 0 0 23 20
2019/2020202 18 9 16 32 26 13 18 14 19 13 10 14
2020/2021204 15 24 14 13 28 12 23 17 8 10 23 17
2021/2022252 16 26 19 38 22 24 18 20 15 6 34 14
2022/2023196 4 23 26 17 20 20 11 4 6 13 26 26
2023/2024135 17 15 7 11 19 10 11 10 16 19 0 0
Totale 1.461