LORETI, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.869
EU - Europa 1.364
AS - Asia 230
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.473
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.855
IT - Italia 338
IE - Irlanda 303
SE - Svezia 293
HK - Hong Kong 94
FI - Finlandia 90
UA - Ucraina 90
DE - Germania 85
CN - Cina 74
GB - Regno Unito 72
TR - Turchia 35
CH - Svizzera 33
IN - India 19
ES - Italia 14
CA - Canada 13
NL - Olanda 13
BE - Belgio 11
FR - Francia 10
RU - Federazione Russa 6
SC - Seychelles 6
IR - Iran 4
EU - Europa 2
PL - Polonia 2
AL - Albania 1
CM - Camerun 1
GR - Grecia 1
JP - Giappone 1
KR - Corea 1
MU - Mauritius 1
MX - Messico 1
MY - Malesia 1
NO - Norvegia 1
PT - Portogallo 1
SG - Singapore 1
Totale 6.473
Salva come PNG Salva come JPEG
Città #
Fairfield 967
Woodbridge 423
Seattle 414
Cambridge 391
Ashburn 375
Houston 351
Chandler 310
Dublin 303
Wilmington 274
Ann Arbor 188
Jacksonville 167
Lawrence 148
Altamura 145
Princeton 116
Beijing 66
Medford 58
Florence 55
Boardman 48
Buffalo 46
Boston 44
San Diego 43
Izmir 30
Hong Kong 28
Bern 27
Norwalk 18
Barcelona 14
Venice 14
Brussels 11
Dearborn 11
Rome 11
Toronto 11
Andover 9
Auburn Hills 9
Hillsboro 9
Southend 9
Falls Church 7
Los Angeles 7
Grevenbroich 6
London 6
Pavia 6
Salerno 6
Frankfurt Am Main 5
Milan 5
Verona 5
Centro 4
Düsseldorf 4
West Jordan 4
Castelraimondo 3
Guangzhou 3
Livorno 3
Philadelphia 3
Atlanta 2
Bari 2
Calco 2
Camerino 2
Helsinki 2
Hounslow 2
Jinan 2
Kashan 2
Mountain View 2
Pisa 2
Portoferraio 2
Priverno 2
Redwood City 2
San Mateo 2
Santa Maria a Monte 2
Senigallia 2
Trumbull 2
Acton 1
Altavilla Irpina 1
Amsterdam 1
Bologna 1
Bottanuco 1
Bristol 1
Calusco D'adda 1
Cedar Knolls 1
Chicago 1
Clermont-ferrand 1
Foggia 1
Grottammare 1
Hebei 1
Laurel 1
Lisbon 1
Montevarchi 1
Montréal 1
New York 1
Novate Milanese 1
Oslo 1
Ottawa 1
Paris 1
Prescot 1
Redmond 1
Saint Petersburg 1
San Jose 1
Sant'Elpidio a Mare 1
Scandicci 1
Scauri 1
Shenzhen 1
Tappahannock 1
Tijuana 1
Totale 5.286
Salva come PNG Salva come JPEG
Nome #
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 126
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 120
A MODAL LOGIC FOR MOBILE AGENTS 113
Spatial logic and spatial model checking for closure spaces 107
The Klaim Project: Theory and Practice 104
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 103
Quantitative Analysis of Services 100
On-the-fly fluid model checking via discrete time population models 99
AGILE: Software Architecture for Mobility 98
Software Update via Mobile Agent Based Programming 96
On Multiple Inheritance in Java. 95
CARMA: Collective Adaptive Resource-sharing Markovian Agents 94
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 93
Assume-Guarantee Verification of Concurrent Systems 92
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 90
The SCEL Language: Design, Implementation, Verification 89
Modeling Fuzzy Behaviours in Concurrent Systems 89
Analysing Robot Movement Using the Sensoria Methods 87
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 84
CaSPiS: a calculus of sessions, pipelines and services 82
Formalizing properties of mobile agent systems 82
A calculus for attribute-based communication 82
Model checking mobile stochastic logic 81
Design of a Password-Based EAP Method 81
FlyFast: A mean field model checker 81
Implementing a Distributed Mobile Calculus Using the IMC Framework 80
An Infrastructure Language for Open Nets 80
Implementing Session Centered Calculi 79
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 79
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 77
Model checking spatial logics for closure spaces 77
Modelling and analysis of collective adaptive systems with CARMA and its tools 77
Modelling Node Connectivity in Dynamically Evolving Networks 76
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 76
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 75
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 75
Context Aware Specification and Verification of Distributed Systems 75
Specification and Analysis of Open-Ended Systems with CARMA 75
Property-Preserving Refinement of Concurrent Systems 74
A Language-Based Approach to Autonomic Computing 74
Specifying and Verifying Properties of Space 74
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 74
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 73
Tools for Ensemble Design and Runtime 73
Monitoring and visualizing adaptation of autonomic systems at runtime 73
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 73
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 73
Sessions and Pipelines for Structured Service Programming 72
Multiple-Labelled Transition Systems for nominal calculi and their logics 72
A process Algebra Approach to Fuzzy Reasoning 72
On a Uniform Framework for the Definition of Stochastic Process Languages. 71
Towards a Formal Verification Methodology for Collective Robotic Systems 71
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 71
Rate-Based Transition Systems for Stochastic Process Calculi 70
Programming and Verifying Component Ensembles 69
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial 69
Modeling adaptation with a tuple-based coordination language 69
Provably Correct Implementations of Services 68
A uniform definition of stochastic process calculi 67
A Modal Logic for KLAIM 66
TAPAs: A Tool for the Analysis of Process Algebras 66
Modeling Adaptation with Klaim 66
SCC: a Service Centered Calculus 66
A Formal Approach to Autonomic Systems Programming: The SCEL Language 65
MarCaSPiS: a Markovian Extension of a Calculus for Services 64
Editorial for the Special Issue on Open Problems in Concurrency Theory 64
MoMo: A Modal Logic for Reasoning About Mobility 63
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 63
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 61
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 61
On StocS: A Stochastic Extension of SCEL 60
An experimental spatio-temporal model checker 60
Programming of CAS systems by relying on attribute-based communication 60
Assessing CS1 Java Skills: A Three-Year Experience 60
Modelling global computations with Klaim 60
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 59
On Programming and Policing Autonomic Computing Systems 59
Group-by-group probabilistic bisimilarities and their logical characterizations 59
Stochastically timed predicate-based communication primitives for autonomic computing 57
On the Power of Attribute-Based Communication 55
Simulation and analysis of distributed systems in Klaim 54
On-the-fly Probabilistic Model Checking 54
On-the-fly fast mean-field model-checking 54
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 54
Relating strong behavioral equivalences for processes with nondeterminism and probabilities 53
Implementing Mobile and Distributed Applications in X-Klaim 45
Structured Nets in Klaim 42
Hyperformulae, Paralle Deductions and Intersection Types 38
Totale 6.559
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.808
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 18.808
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019706 0 0 0 0 0 0 0 0 0 0 371 335
2019/20201.789 163 90 41 154 201 237 220 232 205 102 108 36
2020/2021805 76 70 72 57 24 98 38 73 80 82 71 64
2021/2022698 38 64 81 22 35 14 37 53 32 17 143 162
2022/20231.459 178 369 40 99 114 243 173 71 91 6 35 40
2023/2024316 35 64 88 25 18 27 13 33 4 9 0 0
Totale 6.559