IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.748
NA - Nord America 8.910
AS - Asia 3.779
SA - Sud America 720
AF - Africa 97
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 7
Totale 24.269
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.725
RU - Federazione Russa 8.393
CN - Cina 1.212
SG - Singapore 934
BR - Brasile 591
IT - Italia 438
SE - Svezia 434
VN - Vietnam 362
DE - Germania 316
UA - Ucraina 291
TR - Turchia 281
GB - Regno Unito 270
HK - Hong Kong 242
FR - Francia 192
IN - India 166
IL - Israele 148
BG - Bulgaria 110
CA - Canada 109
FI - Finlandia 78
KR - Corea 78
BD - Bangladesh 74
PK - Pakistan 67
MX - Messico 58
PL - Polonia 51
IQ - Iraq 44
JP - Giappone 42
AR - Argentina 39
ZA - Sudafrica 37
ES - Italia 31
KE - Kenya 27
NL - Olanda 27
CO - Colombia 21
EC - Ecuador 20
AT - Austria 19
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
GT - Guatemala 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
GY - Guiana 1
HU - Ungheria 1
Totale 24.256
Salva come PNG Salva come JPEG
Città #
Moscow 2.424
Ashburn 1.790
Chandler 844
San Jose 702
Council Bluffs 700
Jacksonville 674
Beijing 523
Singapore 469
San Mateo 380
Hefei 376
Dallas 328
Boardman 324
Hong Kong 235
New York 216
Los Angeles 170
Kocaeli 146
São Paulo 143
Ann Arbor 142
Dong Ket 140
Wilmington 138
Munich 137
Lawrence 125
Tel Aviv 123
Rome 114
Milan 110
Sofia 110
Princeton 109
Shanghai 107
Lauterbourg 104
Istanbul 103
Ogden 77
Seoul 77
Chicago 75
Ho Chi Minh City 74
Andover 70
Santa Clara 64
Hanoi 59
Helsinki 59
Woodbridge 54
Ottawa 53
London 52
Orem 45
Islamabad 44
Warsaw 40
Atlanta 38
Tokyo 38
Columbus 31
Brooklyn 30
Denver 30
The Dalles 28
Nairobi 27
Seattle 27
Mexico City 26
Stockholm 26
Houston 24
Montreal 24
Frankfurt am Main 23
Poplar 23
Genoa 22
Chennai 21
Johannesburg 21
Phoenix 21
Boston 20
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
San Francisco 11
North Bergen 10
Düsseldorf 9
Lahore 9
Las Vegas 9
Quito 9
Altoona 8
Amsterdam 8
Asunción 8
Buenos Aires 8
Dhaka 8
Erbil 8
Haiphong 8
Los Lunas 8
Paris 8
Bangalore 7
Brasília 7
Dublin 7
Duque de Caxias 7
Jeddah 7
Totale 13.749
Salva come PNG Salva come JPEG
Nome #
Moving horizon estimation of service demands in queuing networks 325
PID Control of Biochemical Reaction Networks 320
Stochastic Process Algebras. 290
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 290
Software Performance Self-Adaptation through Efficient Model Predictive Control 283
SENSORIA Process Calculi for Service-Oriented Computing 282
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 278
Learning queuing networks by recurrent neural networks 268
An analytical model of a BitTorrent peer 266
Model-based Performance Self-adaptation: A Tutorial 261
Learning Queuing Networks via Linear Optimization 259
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 254
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 252
Symbolic Performance Adaptation 251
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 251
A Markov model of a freerider in a BitTorrent P2P network 250
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 249
Quantitative Analysis of Web Services Using SRMC 247
Automatic Translation of UML Sequence Diagrams into PEPA Models 245
A Fluid Model for Layered Queueing Networks 243
Statistical Learning of Markov Chains of Programs 238
Tight Error Analysis in Fixed-Point Arithmetic 236
The PEPA Eclipse Plug-in 235
Challenging Large Language Models’ “ intelligence ” with human tools: A Neuropsychological Investigation in Italian language on Prefrontal Functioning 234
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 232
Extended differential aggregations in process algebra for performance and biology 230
A partial-differential approximation for spatial stochastic process algebra 230
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 229
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 228
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 228
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 228
Systems Security Modeling and Analysis at IMT Lucca 226
Blending randomness in closed queueing network models 226
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures 224
μOpt: An Efficient Optimal Autoscaler for Microservice Applications 223
Differential Equivalence Yields Network Centrality 223
Inferring Performance from Code: A Review 220
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 219
Maximal aggregation of polynomial dynamical systems 217
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 217
Scalable Differential Analysis of Large Process Algebra Models 216
Approximate Mean Value Analysis of Process Algebra Models 214
Insensitivity to service-time distributions for fluid queueing models 211
Comparing chemical reaction networks: A categorical and algorithmic perspective 209
Generalised Communication for Interacting Agents 208
The PEPA Plug-in Project 207
Scalable Analysis of Scalable Systems 207
Replicating Web Services for Scalability 207
Relating layered queueing networks and process algebra models 206
A unified framework for differential aggregations in Markovian process algebra 206
Service-Level Agreements for Service-Oriented Computing 205
Efficient syntax-Driven lumping of differential equations 204
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 203
Noise Reduction in Complex Biological Switches 203
Large-Scale Modelling with the PEPA Eclipse Plug-In 202
Tackling continuous state-space explosion in a Markovian process algebra 200
Improved estimations of stochastic chemical kinetics by finite-state expansion 200
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 198
EGAC: A genetic algorithm to compare chemical reaction networks 198
Quantitative abstractions for collective adaptive systems 196
Backward Invariance for Linear Differential Algebraic Equations 196
Hybrid Semantics for PEPA 195
Scaling size & parameter spaces in variability-aware software performance models 195
Symbolic Computation of Differential Equivalences 195
ASCENS: Engineering Autonomic Service-Component Ensembles 194
μP: A Development Framework for Predicting Performance of Microservices by Design 193
Forward and Backward Bisimulations for Chemical Reaction Networks 192
Scaling size and parameter spaces in variability-aware software performance models 191
Guaranteed error bounds on approximate model abstractions through reachability analysis 190
Exact fluid lumpability in Markovian process algebra 189
Behavioral Relations in a Process Algebra for Variants 186
Exact fluid lumpability for Markovian process algebra 185
Syntactic Markovian bisimulation for chemical reaction networks 185
Size expansions of mean field approximation: Transient and steady-state analysis 183
Fluid Rewards for a Stochastic Process Algebra 182
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 181
Performance Modelling of Design Patterns for Distributed Computation 179
Non-functional properties in the model-driven development of service-oriented systems 179
From electric circuits to chemical networks 179
Modelling exogenous variability in cloud deployments 178
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 178
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations 178
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 177
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 175
SAT-based synthesis of spoofing attacks in cyber-physical control systems 173
Spatial fluid limits for stochastic mobile networks 172
Supporting performance awareness in autonomous ensembles 172
Comparing chemical reaction networks: A categorical and algorithmic perspective 171
Scalable Differential Analysis of Process Algebra Models 170
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 170
Fluid Performability Analysis of Nested Automata Models 169
Differential analysis of interacting automata with immediate actions 168
PID Control of Biochemical Reaction Networks 168
Challenges in quantitative abstractions for collective adaptive systems 164
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 162
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 161
Size expansions of mean field approximation: Transient and steady-state analysis 161
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning 161
Scaling Performance Analysis Using Fluid-Flow Approximation 160
Model-based development and performance analysis for evolving manufacturing systems 159
Totale 21.123
Salva come PNG Salva come JPEG
Categoria #
all - tutte 103.894
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 103.894
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021319 0 0 0 0 0 0 0 0 0 0 0 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/202611.018 429 487 2.293 4.195 356 400 840 170 531 389 817 111
Totale 24.467