LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.881
EU - Europa 2.645
AS - Asia 1.662
Continente sconosciuto - Info sul continente non disponibili 13
SA - Sud America 13
OC - Oceania 3
AF - Africa 1
Totale 11.218
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.657
CN - Cina 1.355
PL - Polonia 434
UA - Ucraina 350
IT - Italia 348
DE - Germania 298
SE - Svezia 261
GB - Regno Unito 257
CA - Canada 220
FR - Francia 167
RU - Federazione Russa 157
FI - Finlandia 132
SG - Singapore 118
TR - Turchia 109
IE - Irlanda 77
NL - Olanda 60
BE - Belgio 37
AT - Austria 32
VN - Vietnam 28
IN - India 23
EU - Europa 11
PK - Pakistan 11
IS - Islanda 7
CL - Cile 6
CZ - Repubblica Ceca 5
RO - Romania 5
BR - Brasile 4
GR - Grecia 4
ES - Italia 3
IR - Iran 3
NO - Norvegia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AR - Argentina 2
AU - Australia 2
HK - Hong Kong 2
JP - Giappone 2
MD - Moldavia 2
MX - Messico 2
PT - Portogallo 2
SK - Slovacchia (Repubblica Slovacca) 2
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
AZ - Azerbaigian 1
BZ - Belize 1
GE - Georgia 1
HN - Honduras 1
IL - Israele 1
IQ - Iraq 1
KG - Kirghizistan 1
KR - Corea 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
MT - Malta 1
NZ - Nuova Zelanda 1
PE - Perù 1
SC - Seychelles 1
SI - Slovenia 1
TH - Thailandia 1
Totale 11.218
Salva come PNG Salva come JPEG
Città #
Jacksonville 876
Fairfield 855
Ashburn 628
Seattle 457
Woodbridge 448
Warsaw 428
Houston 413
Wilmington 392
Boardman 297
Nanjing 296
Cambridge 277
Dearborn 249
Chandler 243
Toronto 212
Ann Arbor 194
Beijing 144
Lawrence 120
Princeton 120
San Mateo 116
Columbus 105
Ogden 103
Helsinki 100
Istanbul 98
Nanchang 97
Singapore 85
London 78
Dublin 77
Camerino 74
Shenyang 70
Kunming 64
Bremen 63
Shanghai 56
New York 55
San Diego 45
Hebei 44
Guangzhou 43
Milan 39
Hefei 37
Los Angeles 37
Brussels 35
Vienna 32
Jiaxing 30
Wuhan 30
Tianjin 29
Dong Ket 28
Moscow 27
Jinan 26
Dronten 22
Pune 22
Lappeenranta 21
Changsha 19
Chicago 19
Orange 19
Zhengzhou 19
Lanzhou 18
Verona 18
Hangzhou 16
Philadelphia 16
Kilburn 15
Southend 15
Changchun 14
Ningbo 14
Fuzhou 11
Jinhua 11
Kocaeli 11
Rome 11
Scafati 11
Meppel 10
Hounslow 9
Matelica 9
Saint Petersburg 9
Centro 8
Fremont 8
Norwalk 8
Taizhou 8
Yiwu 8
Baotou 7
Nereto 7
New Bedfont 7
Acton 6
Castelraimondo 6
Edinburgh 6
Lachine 6
Osimo 6
Shenzhen 6
Ascoli Piceno 5
Chengdu 5
Cingoli 5
Council Bluffs 5
Florence 5
Hanover 5
Islington 5
Münster 5
Redwood City 5
Reykjavik 5
Sant'Elpidio a Mare 5
Santa Clara 5
Sindelfingen 5
Washington 5
Wuxi 5
Totale 8.903
Salva come PNG Salva come JPEG
Nome #
Spatio-temporal model checking of vehicular movement in public transport systems 214
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 199
Monitoring Spatio-Temporal Properties (Invited Tutorial) 175
CaSPiS: a calculus of sessions, pipelines and services 172
MarCaSPiS: a Markovian Extension of a Calculus for Services 169
A Formal Approach to Autonomic Systems Programming: The SCEL Language 157
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 153
A calculus for collective-adaptive systems and its behavioural theory 152
The SCEL Language: Design, Implementation, Verification 151
Statistical analysis of CARMA models: An advanced tutorial 149
Model checking spatial logics for closure spaces 145
null 144
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 142
Software Update via Mobile Agent Based Programming 138
Modeling adaptation with Klaim 135
On-the-fly Probabilistic Model Checking 132
Analysis of spatio-temporal properties of stochastic systems using TSTL 132
Stochastically timed predicate-based communication primitives for autonomic computing 130
Modelling and analysing resilient cyber-physical systems 130
An experimental spatio-temporal model checker 127
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 126
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 126
Quantitative Analysis of Services 123
TAPAs: A Tool for the Analysis of Process Algebras 122
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 120
An Infrastructure Language for Open Nets 120
null 120
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 119
Towards a Formal Verification Methodology for Collective Robotic Systems 115
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 113
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 112
Inferring analyzable models from trajectories of spatially-distributed internet of things 112
A process Algebra Approach to Fuzzy Reasoning 112
Modeling adaptation with a tuple-based coordination language 111
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 111
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 111
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 110
Modeling Fuzzy Behaviours in Concurrent Systems 106
null 104
null 103
Editorial for the Special Issue on Open Problems in Concurrency Theory 102
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 102
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 100
FlyFast: A mean field model checker 99
null 97
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 96
null 96
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 95
null 95
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 92
null 91
null 91
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 90
AGILE: Software Architecture for Mobility 89
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 89
Spatial logic and spatial model checking for closure spaces 88
A uniform definition of stochastic process calculi 88
Context Aware Specification and Verification of Distributed Systems 87
null 86
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 86
Modelling and analysis of collective adaptive systems with CARMA and its tools 86
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 84
Fluid approximation of broadcasting systems 83
Analysing Robot Movement Using the Sensoria Methods 81
Programming of CAS systems by relying on attribute-based communication 81
A Modal Logic for Mobile Agent 80
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 80
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 78
Assume-Guarantee Verification of Concurrent Systems 78
Implementing Mobile and Distributed Applications in X-Klaim 77
null 76
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 76
On a Uniform Framework for the Definition of Stochastic Process Languages. 76
Formalizing properties of mobile agent systems 76
Multiple-Labelled Transition Systems for nominal calculi and their logics 74
Hyperformulae, Paralle Deductions and Intersection Types 74
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 73
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. 73
Design of a Password-Based EAP Method 72
Specifying and Verifying Properties of Space 72
A Language-Based Approach to Autonomic Computing 72
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 70
The Klaim Project: Theory and Practice 70
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 70
Rate-Based Transition Systems for Stochastic Process Calculi 69
Programming interactions in collective adaptive systems by relying on attribute-based communication 69
A Modal Logic for KLAIM 68
MoMo: A Modal Logic for Reasoning About Mobility 66
On-the-fly fluid model checking via discrete time population models 66
Implementing Session Centered Calculi 63
Modelling Node Connectivity in Dynamically Evolving Networks 63
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 63
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial 62
Tools for Ensemble Design and Runtime 62
On-the-fly fast mean-field model-checking 62
Implementing a Distributed Mobile Calculus Using the IMC Framework 62
SCC: a Service Centered Calculus 61
Assessing CS1 Java Skills: A Three-Year Experience 61
Sessions and Pipelines for Structured Service Programming 61
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 60
Totale 10.051
Salva come PNG Salva come JPEG
Categoria #
all - tutte 62.662
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 62.662
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.481 0 0 0 0 0 329 280 292 130 145 128 177
2020/20212.204 89 174 115 240 200 123 381 75 235 88 306 178
2021/20221.540 129 349 50 49 109 73 71 106 133 161 162 148
2022/20231.038 138 30 58 71 145 93 29 48 190 56 140 40
2023/20241.297 172 48 123 29 73 141 93 130 137 67 18 266
2024/2025941 153 23 324 175 70 196 0 0 0 0 0 0
Totale 11.610