LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.558
EU - Europa 2.399
AS - Asia 1.468
Continente sconosciuto - Info sul continente non disponibili 13
SA - Sud America 8
OC - Oceania 2
Totale 10.448
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.336
CN - Cina 1.316
PL - Polonia 434
UA - Ucraina 350
DE - Germania 292
IT - Italia 283
SE - Svezia 260
GB - Regno Unito 256
CA - Canada 220
FR - Francia 167
FI - Finlandia 118
IE - Irlanda 73
SG - Singapore 67
NL - Olanda 55
BE - Belgio 37
AT - Austria 32
VN - Vietnam 28
IN - India 23
RU - Federazione Russa 18
EU - Europa 11
PK - Pakistan 11
TR - Turchia 11
RO - Romania 5
BR - Brasile 4
CL - Cile 4
CZ - Repubblica Ceca 4
GR - Grecia 4
ES - Italia 3
IR - Iran 3
A2 - ???statistics.table.value.countryCode.A2??? 2
IS - Islanda 2
JP - Giappone 2
MD - Moldavia 2
NO - Norvegia 2
AF - Afghanistan, Repubblica islamica di 1
AU - Australia 1
AZ - Azerbaigian 1
BZ - Belize 1
GE - Georgia 1
HK - Hong Kong 1
HN - Honduras 1
IL - Israele 1
IQ - Iraq 1
KR - Corea 1
MT - Malta 1
NZ - Nuova Zelanda 1
SI - Slovenia 1
Totale 10.448
Salva come PNG Salva come JPEG
Città #
Jacksonville 876
Fairfield 855
Ashburn 615
Seattle 456
Woodbridge 448
Warsaw 428
Houston 413
Wilmington 392
Nanjing 295
Cambridge 277
Dearborn 249
Chandler 243
Toronto 212
Ann Arbor 194
Beijing 142
Lawrence 120
Princeton 120
San Mateo 116
Columbus 105
Ogden 103
Nanchang 97
Helsinki 91
London 77
Dublin 73
Shenyang 69
Kunming 64
Bremen 63
New York 55
Shanghai 54
Singapore 46
San Diego 45
Hebei 44
Guangzhou 43
Camerino 41
Boardman 39
Milan 39
Hefei 37
Brussels 35
Vienna 32
Jiaxing 30
Wuhan 30
Tianjin 29
Dong Ket 28
Jinan 26
Los Angeles 24
Dronten 22
Pune 22
Changsha 19
Chicago 19
Orange 19
Zhengzhou 19
Lappeenranta 18
Verona 18
Lanzhou 17
Hangzhou 16
Philadelphia 16
Kilburn 15
Southend 15
Changchun 14
Ningbo 14
Jinhua 11
Kocaeli 11
Scafati 11
Fuzhou 10
Meppel 10
Rome 10
Hounslow 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
Ascoli Piceno 5
Chengdu 5
Cingoli 5
Council Bluffs 5
Florence 5
Hanover 5
Islington 5
Münster 5
Redwood City 5
Sant'Elpidio a Mare 5
Sindelfingen 5
Washington 5
Wuxi 5
Amelia 4
Chiswick 4
Chizhou 4
Heze 4
Morro d'Alba 4
Nantong 4
Totale 8.394
Salva come PNG Salva come JPEG
Nome #
Spatio-temporal model checking of vehicular movement in public transport systems 210
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 193
CaSPiS: a calculus of sessions, pipelines and services 169
Monitoring Spatio-Temporal Properties (Invited Tutorial) 165
MarCaSPiS: a Markovian Extension of a Calculus for Services 164
A Formal Approach to Autonomic Systems Programming: The SCEL Language 150
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 149
The SCEL Language: Design, Implementation, Verification 146
Statistical analysis of CARMA models: An advanced tutorial 145
A calculus for collective-adaptive systems and its behavioural theory 145
null 144
Model checking spatial logics for closure spaces 140
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 134
Software Update via Mobile Agent Based Programming 133
Modeling adaptation with Klaim 130
On-the-fly Probabilistic Model Checking 128
Analysis of spatio-temporal properties of stochastic systems using TSTL 128
Stochastically timed predicate-based communication primitives for autonomic computing 124
Modelling and analysing resilient cyber-physical systems 124
An experimental spatio-temporal model checker 122
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 121
Quantitative Analysis of Services 120
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 120
null 120
TAPAs: A Tool for the Analysis of Process Algebras 119
An Infrastructure Language for Open Nets 117
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 114
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 113
Towards a Formal Verification Methodology for Collective Robotic Systems 110
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 108
Inferring analyzable models from trajectories of spatially-distributed internet of things 108
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 108
Modeling adaptation with a tuple-based coordination language 107
A process Algebra Approach to Fuzzy Reasoning 107
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 106
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 105
null 104
Modeling Fuzzy Behaviours in Concurrent Systems 103
null 103
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 101
null 97
null 96
Editorial for the Special Issue on Open Problems in Concurrency Theory 96
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 96
null 95
FlyFast: A mean field model checker 94
null 91
null 91
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 91
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 90
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 89
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 88
null 86
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 84
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 83
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 83
AGILE: Software Architecture for Mobility 82
A uniform definition of stochastic process calculi 82
Context Aware Specification and Verification of Distributed Systems 80
Modelling and analysis of collective adaptive systems with CARMA and its tools 80
Spatial logic and spatial model checking for closure spaces 80
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 79
Programming of CAS systems by relying on attribute-based communication 77
null 76
Analysing Robot Movement Using the Sensoria Methods 76
Fluid approximation of broadcasting systems 74
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 73
A Modal Logic for Mobile Agent 73
Formalizing properties of mobile agent systems 73
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 72
On a Uniform Framework for the Definition of Stochastic Process Languages. 72
Assume-Guarantee Verification of Concurrent Systems 72
Implementing Mobile and Distributed Applications in X-Klaim 71
Hyperformulae, Paralle Deductions and Intersection Types 70
Multiple-Labelled Transition Systems for nominal calculi and their logics 69
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 68
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. 68
Design of a Password-Based EAP Method 67
Specifying and Verifying Properties of Space 66
The Klaim Project: Theory and Practice 66
A Language-Based Approach to Autonomic Computing 66
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 66
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 65
Rate-Based Transition Systems for Stochastic Process Calculi 65
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 64
A Modal Logic for KLAIM 64
MoMo: A Modal Logic for Reasoning About Mobility 62
On-the-fly fluid model checking via discrete time population models 62
Programming interactions in collective adaptive systems by relying on attribute-based communication 61
Modelling Node Connectivity in Dynamically Evolving Networks 60
Implementing Session Centered Calculi 59
On-the-fly fast mean-field model-checking 59
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 59
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial 58
Tools for Ensemble Design and Runtime 58
Implementing a Distributed Mobile Calculus Using the IMC Framework 58
SCC: a Service Centered Calculus 57
Assessing CS1 Java Skills: A Three-Year Experience 57
Sessions and Pipelines for Structured Service Programming 57
null 56
Totale 9.586
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.476
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 54.476
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.697 294 67 295 451 109 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/2025152 152 0 0 0 0 0 0 0 0 0 0 0
Totale 10.821