LORETI, Michele
 Distribuzione geografica
Continente #
NA - Nord America 6.398
EU - Europa 2.484
AS - Asia 1.086
Continente sconosciuto - Info sul continente non disponibili 13
SA - Sud America 8
OC - Oceania 2
Totale 9.991
Nazione #
US - Stati Uniti d'America 6.176
CN - Cina 995
PL - Polonia 434
UA - Ucraina 350
DE - Germania 295
GB - Regno Unito 288
SE - Svezia 260
IT - Italia 253
CA - Canada 220
FR - Francia 167
BE - Belgio 123
FI - Finlandia 96
IE - Irlanda 93
NL - Olanda 55
AT - Austria 32
VN - Vietnam 28
IN - India 23
RU - Federazione Russa 18
EU - Europa 11
TR - Turchia 11
PK - Pakistan 9
SG - Singapore 9
RO - Romania 5
BR - Brasile 4
CL - Cile 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
MT - Malta 1
NZ - Nuova Zelanda 1
SI - Slovenia 1
Totale 9.991
Città #
Jacksonville 876
Fairfield 855
Ashburn 615
Seattle 456
Woodbridge 448
Warsaw 428
Houston 413
Wilmington 392
Nanjing 294
Cambridge 277
Dearborn 249
Chandler 243
Toronto 212
Ann Arbor 194
Brussels 121
Lawrence 120
Princeton 120
San Mateo 116
Beijing 113
Columbus 105
Nanchang 97
Dublin 93
Helsinki 87
London 82
Shenyang 69
Kunming 64
Bremen 63
New York 55
San Diego 45
Hebei 44
Philadelphia 40
Camerino 39
Milan 39
Hefei 37
Vienna 32
Tianjin 29
Dong Ket 28
Jinan 25
Jiaxing 23
Dronten 22
Pune 22
Boardman 20
Changsha 19
Orange 19
Zhengzhou 19
Verona 18
Lanzhou 17
Guangzhou 15
Kilburn 15
Southend 15
Changchun 14
Ningbo 14
Hangzhou 13
Hounslow 13
Acton 12
Chicago 11
Kocaeli 11
New Bedfont 11
Scafati 11
Chiswick 10
Fuzhou 10
Meppel 10
Saint Petersburg 9
Shanghai 9
Centro 8
Fremont 8
Norwalk 8
Taizhou 8
Baotou 7
Islington 7
Nereto 7
Edinburgh 6
Lachine 6
Rome 6
Chengdu 5
Council Bluffs 5
Florence 5
Hanover 5
Münster 5
Redwood City 5
Sant'Elpidio a Mare 5
Seelze 5
Sindelfingen 5
Washington 5
Amelia 4
Castelraimondo 4
Morro d'Alba 4
Phoenix 4
Prescot 4
Simi Valley 4
Strasbourg 4
Americana 3
Ascoli Piceno 3
Buffalo 3
Dallas 3
Düsseldorf 3
Fort Lauderdale 3
Gallo 3
Jinhua 3
Macerata 3
Totale 8.173
Nome #
Spatio-temporal model checking of vehicular movement in public transport systems 203
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 199
MarCaSPiS: a Markovian Extension of a Calculus for Services 165
CaSPiS: a calculus of sessions, pipelines and services 165
Monitoring Spatio-Temporal Properties (Invited Tutorial) 158
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 152
A Formal Approach to Autonomic Systems Programming: The SCEL Language 147
null 144
Statistical analysis of CARMA models: An advanced tutorial 141
The SCEL Language: Design, Implementation, Verification 141
A calculus for collective-adaptive systems and its behavioural theory 140
Model checking spatial logics for closure spaces 136
Software Update via Mobile Agent Based Programming 131
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 130
Modeling adaptation with Klaim 126
Analysis of spatio-temporal properties of stochastic systems using TSTL 124
On-the-fly Probabilistic Model Checking 123
Stochastically timed predicate-based communication primitives for autonomic computing 122
null 120
Quantitative Analysis of Services 117
Modelling and analysing resilient cyber-physical systems 117
TAPAs: A Tool for the Analysis of Process Algebras 116
An experimental spatio-temporal model checker 116
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 116
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 116
An Infrastructure Language for Open Nets 114
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 111
Towards a Formal Verification Methodology for Collective Robotic Systems 107
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 106
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 105
Inferring analyzable models from trajectories of spatially-distributed internet of things 105
Modeling adaptation with a tuple-based coordination language 104
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 104
null 104
A process Algebra Approach to Fuzzy Reasoning 104
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 103
null 103
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 103
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 100
Editorial for the Special Issue on Open Problems in Concurrency Theory 99
Modeling Fuzzy Behaviours in Concurrent Systems 97
null 97
null 96
null 95
null 91
null 91
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 91
FlyFast: A mean field model checker 89
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 89
null 86
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 85
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 85
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 82
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 81
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 80
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 79
A uniform definition of stochastic process calculi 78
Modelling and analysis of collective adaptive systems with CARMA and its tools 77
Spatial logic and spatial model checking for closure spaces 77
null 76
AGILE: Software Architecture for Mobility 75
Context Aware Specification and Verification of Distributed Systems 75
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 75
Programming of CAS systems by relying on attribute-based communication 73
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 71
Analysing Robot Movement Using the Sensoria Methods 70
Formalizing properties of mobile agent systems 70
Fluid approximation of broadcasting systems 70
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 69
On a Uniform Framework for the Definition of Stochastic Process Languages. 69
Assume-Guarantee Verification of Concurrent Systems 69
Multiple-Labelled Transition Systems for nominal calculi and their logics 68
Design of a Password-Based EAP Method 67
Hyperformulae, Paralle Deductions and Intersection Types 67
A Modal Logic for Mobile Agent 66
Implementing Mobile and Distributed Applications in X-Klaim 66
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 65
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. 64
A Language-Based Approach to Autonomic Computing 63
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 62
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 62
MoMo: A Modal Logic for Reasoning About Mobility 61
The Klaim Project: Theory and Practice 61
Rate-Based Transition Systems for Stochastic Process Calculi 61
A Modal Logic for KLAIM 60
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 60
Programming interactions in collective adaptive systems by relying on attribute-based communication 60
Specifying and Verifying Properties of Space 59
Modelling Node Connectivity in Dynamically Evolving Networks 57
On-the-fly fluid model checking via discrete time population models 57
Implementing Session Centered Calculi 56
null 56
Assessing CS1 Java Skills: A Three-Year Experience 56
SCC: a Service Centered Calculus 55
On-the-fly fast mean-field model-checking 55
Tools for Ensemble Design and Runtime 54
Sessions and Pipelines for Structured Service Programming 54
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 53
Implementing a Distributed Mobile Calculus Using the IMC Framework 53
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 53
Totale 9.276
Categoria #
all - tutte 46.472
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 46.472


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019499 0 0 0 0 0 0 0 14 3 87 159 236
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.154 138 30 58 71 145 93 55 71 212 61 168 52
2023/2024874 177 49 138 43 103 141 93 130 0 0 0 0
Totale 10.362