LORETI, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.963
EU - Europa 2.170
AS - Asia 491
AF - Africa 35
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 1
Totale 10.662
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.949
RU - Federazione Russa 802
IT - Italia 343
IE - Irlanda 297
SE - Svezia 290
SG - Singapore 174
CN - Cina 117
HK - Hong Kong 93
DE - Germania 91
FI - Finlandia 91
UA - Ucraina 90
GB - Regno Unito 72
IN - India 62
TR - Turchia 35
CH - Svizzera 33
CI - Costa d'Avorio 27
NL - Olanda 16
ES - Italia 14
CA - Canada 13
FR - Francia 12
BE - Belgio 11
SC - Seychelles 6
IR - Iran 4
EU - Europa 2
KR - Corea 2
PL - Polonia 2
AL - Albania 1
CM - Camerun 1
CO - Colombia 1
GR - Grecia 1
IL - Israele 1
JP - Giappone 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MU - Mauritius 1
MX - Messico 1
MY - Malesia 1
NO - Norvegia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 10.662
Salva come PNG Salva come JPEG
Città #
Santa Clara 2.907
Fairfield 957
Woodbridge 417
Seattle 411
Cambridge 388
Ashburn 374
Houston 346
Chandler 309
Dublin 297
Wilmington 268
Ann Arbor 187
Jacksonville 164
Lawrence 147
Altamura 145
Singapore 134
Princeton 115
Beijing 69
Florence 57
Medford 57
Boardman 47
Buffalo 45
Boston 44
Mumbai 43
San Diego 43
Izmir 30
Hong Kong 28
Abidjan 27
Bern 27
Norwalk 18
Shanghai 18
Barcelona 14
Los Angeles 14
Venice 14
Brussels 11
Dearborn 11
Toronto 11
Moscow 10
Rome 10
Andover 9
Auburn Hills 9
Hillsboro 9
Southend 9
Falls Church 7
Munich 7
Grevenbroich 6
Kent 6
London 6
Pavia 6
Salerno 6
Frankfurt Am Main 5
Milan 5
Verona 5
Centro 4
Düsseldorf 4
Guangzhou 4
Helsinki 4
West Jordan 4
Yubileyny 4
Amsterdam 3
Castelraimondo 3
Livorno 3
Philadelphia 3
Wuhan 3
Atlanta 2
Bari 2
Calco 2
Camerino 2
Hounslow 2
Jinan 2
Kashan 2
Mountain View 2
Pisa 2
Portoferraio 2
Priverno 2
Redwood City 2
Rende 2
San Mateo 2
Santa Maria a Monte 2
Senigallia 2
Trumbull 2
Acton 1
Altavilla Irpina 1
Bogotá 1
Bologna 1
Bottanuco 1
Bratislava 1
Bristol 1
Calusco D'adda 1
Cedar Knolls 1
Changsha 1
Chicago 1
Clermont-ferrand 1
Clifton 1
Foggia 1
Frankfurt am Main 1
Grottammare 1
Hebei 1
Jinhua 1
Kunming 1
Laurel 1
Totale 8.402
Salva come PNG Salva come JPEG
Nome #
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 184
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 167
A MODAL LOGIC FOR MOBILE AGENTS 167
Spatial logic and spatial model checking for closure spaces 157
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 157
The Klaim Project: Theory and Practice 155
On-the-fly fluid model checking via discrete time population models 153
CARMA: Collective Adaptive Resource-sharing Markovian Agents 151
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 148
Assume-Guarantee Verification of Concurrent Systems 147
AGILE: Software Architecture for Mobility 146
Quantitative Analysis of Services 146
On Multiple Inheritance in Java. 145
Analysing Robot Movement Using the Sensoria Methods 143
Software Update via Mobile Agent Based Programming 143
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 142
A calculus for attribute-based communication 140
Implementing a Distributed Mobile Calculus Using the IMC Framework 139
Modeling Fuzzy Behaviours in Concurrent Systems 137
CaSPiS: a calculus of sessions, pipelines and services 134
An Infrastructure Language for Open Nets 134
The SCEL Language: Design, Implementation, Verification 133
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 133
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 131
Model checking mobile stochastic logic 130
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 129
Design of a Password-Based EAP Method 127
A Language-Based Approach to Autonomic Computing 127
Formalizing properties of mobile agent systems 127
FlyFast: A mean field model checker 127
A Modal Logic for KLAIM 126
Implementing Session Centered Calculi 125
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 125
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 124
Modelling Node Connectivity in Dynamically Evolving Networks 123
Multiple-Labelled Transition Systems for nominal calculi and their logics 122
A process Algebra Approach to Fuzzy Reasoning 122
Property-Preserving Refinement of Concurrent Systems 121
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 121
A Formal Approach to Autonomic Systems Programming: The SCEL Language 121
Tools for Ensemble Design and Runtime 121
A uniform definition of stochastic process calculi 121
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 120
Rate-Based Transition Systems for Stochastic Process Calculi 120
Towards a Formal Verification Methodology for Collective Robotic Systems 120
Specifying and Verifying Properties of Space 120
Specification and Analysis of Open-Ended Systems with CARMA 120
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 119
Context Aware Specification and Verification of Distributed Systems 119
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 119
Model checking spatial logics for closure spaces 119
Sessions and Pipelines for Structured Service Programming 118
On a Uniform Framework for the Definition of Stochastic Process Languages. 117
Programming and Verifying Component Ensembles 116
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 116
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 116
Modelling and analysis of collective adaptive systems with CARMA and its tools 116
Provably Correct Implementations of Services 115
MoMo: A Modal Logic for Reasoning About Mobility 115
MarCaSPiS: a Markovian Extension of a Calculus for Services 115
Monitoring and visualizing adaptation of autonomic systems at runtime 115
Modeling adaptation with a tuple-based coordination language 115
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial 114
SCC: a Service Centered Calculus 113
Assessing CS1 Java Skills: A Three-Year Experience 113
Modeling Adaptation with Klaim 112
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 112
An experimental spatio-temporal model checker 111
Modelling global computations with Klaim 111
On StocS: A Stochastic Extension of SCEL 110
Editorial for the Special Issue on Open Problems in Concurrency Theory 108
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 106
Group-by-group probabilistic bisimilarities and their logical characterizations 106
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 104
Programming of CAS systems by relying on attribute-based communication 104
On Programming and Policing Autonomic Computing Systems 104
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 104
Stochastically timed predicate-based communication primitives for autonomic computing 102
On-the-fly fast mean-field model-checking 100
On the Power of Attribute-Based Communication 100
Simulation and analysis of distributed systems in Klaim 99
On-the-fly Probabilistic Model Checking 99
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 97
Relating strong behavioral equivalences for processes with nondeterminism and probabilities 94
Hyperformulae, Paralle Deductions and Intersection Types 92
Implementing Mobile and Distributed Applications in X-Klaim 91
Structured Nets in Klaim 87
Klaim in the Making 37
Totale 10.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.693
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 26.693
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.128 0 0 0 0 0 235 217 229 203 101 108 35
2020/2021796 76 68 72 57 24 97 37 71 79 82 71 62
2021/2022688 37 64 77 22 35 14 37 53 32 17 139 161
2022/20231.448 176 368 40 99 113 240 170 71 91 6 34 40
2023/2024347 35 63 86 25 18 26 13 33 4 9 15 20
2024/20254.223 107 352 192 450 1.834 1.288 0 0 0 0 0 0
Totale 10.751