IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.724
NA - Nord America 7.973
AS - Asia 3.728
SA - Sud America 720
AF - Africa 97
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 7
Totale 23.257
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 8.393
US - Stati Uniti d'America 7.800
CN - Cina 1.192
SG - Singapore 928
BR - Brasile 591
SE - Svezia 434
IT - Italia 418
VN - Vietnam 362
DE - Germania 316
UA - Ucraina 291
TR - Turchia 281
GB - Regno Unito 269
HK - Hong Kong 240
FR - Francia 191
IN - India 166
IL - Israele 148
BG - Bulgaria 110
CA - Canada 102
FI - Finlandia 78
KR - Corea 78
PK - Pakistan 67
MX - Messico 54
BD - Bangladesh 51
PL - Polonia 51
IQ - Iraq 44
JP - Giappone 42
AR - Argentina 39
ZA - Sudafrica 37
ES - Italia 31
KE - Kenya 27
NL - Olanda 26
CO - Colombia 21
EC - Ecuador 20
AT - Austria 18
BE - Belgio 17
SA - Arabia Saudita 17
CL - Cile 16
PH - Filippine 16
DK - Danimarca 14
UZ - Uzbekistan 13
LT - Lituania 10
NP - Nepal 10
PY - Paraguay 10
VE - Venezuela 10
ID - Indonesia 9
JO - Giordania 9
IE - Irlanda 8
MA - Marocco 8
PT - Portogallo 7
AZ - Azerbaigian 6
BH - Bahrain 6
CZ - Repubblica Ceca 6
EU - Europa 6
TH - Thailandia 6
TN - Tunisia 6
BO - Bolivia 5
HN - Honduras 5
KZ - Kazakistan 5
LV - Lettonia 5
MY - Malesia 5
PA - Panama 5
PE - Perù 5
RO - Romania 5
AE - Emirati Arabi Uniti 4
AL - Albania 3
AU - Australia 3
BY - Bielorussia 3
ET - Etiopia 3
JM - Giamaica 3
KG - Kirghizistan 3
LB - Libano 3
LK - Sri Lanka 3
LU - Lussemburgo 3
NZ - Nuova Zelanda 3
OM - Oman 3
AO - Angola 2
BA - Bosnia-Erzegovina 2
CH - Svizzera 2
CI - Costa d'Avorio 2
DZ - Algeria 2
EG - Egitto 2
GR - Grecia 2
HR - Croazia 2
IR - Iran 2
LY - Libia 2
PS - Palestinian Territory 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
ZM - Zambia 2
AM - Armenia 1
BB - Barbados 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
Totale 23.244
Salva come PNG Salva come JPEG
Città #
Moscow 2.424
Ashburn 1.778
Chandler 844
Jacksonville 674
San Jose 532
Beijing 513
Singapore 463
San Mateo 380
Hefei 376
Dallas 326
Boardman 323
Hong Kong 233
New York 190
Los Angeles 159
Kocaeli 146
São Paulo 143
Ann Arbor 142
Dong Ket 140
Wilmington 138
Munich 137
Lawrence 125
Tel Aviv 123
Rome 113
Sofia 110
Milan 109
Princeton 109
Shanghai 106
Lauterbourg 104
Istanbul 103
Ogden 77
Seoul 77
Chicago 75
Ho Chi Minh City 74
Andover 70
Hanoi 59
Helsinki 59
Council Bluffs 57
Santa Clara 55
Woodbridge 54
Ottawa 53
London 52
Islamabad 44
Orem 41
Warsaw 40
Tokyo 38
Atlanta 35
Columbus 31
Brooklyn 30
Denver 30
The Dalles 28
Nairobi 27
Seattle 27
Stockholm 26
Frankfurt am Main 23
Poplar 23
Houston 22
Mexico City 22
Chennai 21
Johannesburg 21
Montreal 21
Genoa 20
Phoenix 20
Boston 19
Guangzhou 19
Brussels 17
Da Nang 17
Manchester 16
Rio de Janeiro 15
Ankara 14
Turku 14
Baghdad 13
Belo Horizonte 13
Dearborn 13
Mumbai 13
Tashkent 13
Hanover 12
New Delhi 12
Toronto 12
Vienna 12
Barnet 11
North Bergen 10
San Francisco 10
Düsseldorf 9
Lahore 9
Quito 9
Altoona 8
Amsterdam 8
Asunción 8
Buenos Aires 8
Dhaka 8
Erbil 8
Haiphong 8
Las Vegas 8
Los Lunas 8
Paris 8
Bangalore 7
Brasília 7
Dublin 7
Duque de Caxias 7
Jeddah 7
Totale 12.832
Salva come PNG Salva come JPEG
Nome #
Moving horizon estimation of service demands in queuing networks 318
PID Control of Biochemical Reaction Networks 307
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 285
SENSORIA Process Calculi for Service-Oriented Computing 277
Software Performance Self-Adaptation through Efficient Model Predictive Control 276
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 269
Learning queuing networks by recurrent neural networks 264
An analytical model of a BitTorrent peer 259
Model-based Performance Self-adaptation: A Tutorial 251
Learning Queuing Networks via Linear Optimization 249
A Markov model of a freerider in a BitTorrent P2P network 247
Stochastic Process Algebras. 246
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 244
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 244
Symbolic Performance Adaptation 242
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 242
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 239
A Fluid Model for Layered Queueing Networks 236
Quantitative Analysis of Web Services Using SRMC 235
Automatic Translation of UML Sequence Diagrams into PEPA Models 232
Statistical Learning of Markov Chains of Programs 232
Tight Error Analysis in Fixed-Point Arithmetic 228
The PEPA Eclipse Plug-in 224
A partial-differential approximation for spatial stochastic process algebra 223
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 223
Extended differential aggregations in process algebra for performance and biology 222
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 222
Blending randomness in closed queueing network models 220
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 220
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 218
μOpt: An Efficient Optimal Autoscaler for Microservice Applications 217
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures 217
Challenging Large Language Models’ “ intelligence ” with human tools: A Neuropsychological Investigation in Italian language on Prefrontal Functioning 217
Systems Security Modeling and Analysis at IMT Lucca 216
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 216
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 214
Differential Equivalence Yields Network Centrality 213
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 212
Maximal aggregation of polynomial dynamical systems 210
Insensitivity to service-time distributions for fluid queueing models 208
Inferring Performance from Code: A Review 208
Scalable Differential Analysis of Large Process Algebra Models 207
Approximate Mean Value Analysis of Process Algebra Models 205
Generalised Communication for Interacting Agents 204
Comparing chemical reaction networks: A categorical and algorithmic perspective 202
Scalable Analysis of Scalable Systems 202
Replicating Web Services for Scalability 202
Relating layered queueing networks and process algebra models 201
The PEPA Plug-in Project 199
A unified framework for differential aggregations in Markovian process algebra 199
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 198
Noise Reduction in Complex Biological Switches 198
Efficient syntax-Driven lumping of differential equations 196
Service-Level Agreements for Service-Oriented Computing 195
Large-Scale Modelling with the PEPA Eclipse Plug-In 195
Tackling continuous state-space explosion in a Markovian process algebra 193
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 192
Backward Invariance for Linear Differential Algebraic Equations 192
Improved estimations of stochastic chemical kinetics by finite-state expansion 192
EGAC: A genetic algorithm to compare chemical reaction networks 190
Quantitative abstractions for collective adaptive systems 189
Symbolic Computation of Differential Equivalences 188
ASCENS: Engineering Autonomic Service-Component Ensembles 187
Scaling size & parameter spaces in variability-aware software performance models 187
Hybrid Semantics for PEPA 186
Forward and Backward Bisimulations for Chemical Reaction Networks 185
Scaling size and parameter spaces in variability-aware software performance models 185
μP: A Development Framework for Predicting Performance of Microservices by Design 184
Guaranteed error bounds on approximate model abstractions through reachability analysis 183
Behavioral Relations in a Process Algebra for Variants 182
Fluid Rewards for a Stochastic Process Algebra 178
Exact fluid lumpability in Markovian process algebra 177
Syntactic Markovian bisimulation for chemical reaction networks 177
Size expansions of mean field approximation: Transient and steady-state analysis 177
Exact fluid lumpability for Markovian process algebra 176
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 173
Modelling exogenous variability in cloud deployments 173
Performance Modelling of Design Patterns for Distributed Computation 173
Non-functional properties in the model-driven development of service-oriented systems 171
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 169
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 169
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations 169
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 168
From electric circuits to chemical networks 167
Comparing chemical reaction networks: A categorical and algorithmic perspective 166
Supporting performance awareness in autonomous ensembles 165
SAT-based synthesis of spoofing attacks in cyber-physical control systems 164
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 164
Spatial fluid limits for stochastic mobile networks 164
Scalable Differential Analysis of Process Algebra Models 163
PID Control of Biochemical Reaction Networks 162
Differential analysis of interacting automata with immediate actions 161
Fluid Performability Analysis of Nested Automata Models 160
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 157
Challenges in quantitative abstractions for collective adaptive systems 156
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning 155
Model-based development and performance analysis for evolving manufacturing systems 154
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 152
Differential Bisimulation for a Markovian Process Algebra 152
Family-Based Performance Analysis of Variant-Rich Software Systems 152
Totale 20.324
Salva come PNG Salva come JPEG
Categoria #
all - tutte 98.082
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 98.082
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021727 0 0 0 0 0 0 0 0 0 330 78 319
2021/20221.067 256 5 31 15 96 27 211 127 35 26 177 61
2022/20231.804 281 129 47 262 159 207 4 134 290 82 204 5
2023/2024921 46 49 64 23 80 27 117 35 86 181 43 170
2024/20256.988 137 185 181 499 86 678 1.321 244 759 824 1.609 465
2025/20269.976 429 487 2.293 4.195 356 400 840 170 531 275 0 0
Totale 23.425