IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.770
NA - Nord America 10.701
AS - Asia 3.803
SA - Sud America 724
Continente sconosciuto - Info sul continente non disponibili 206
AF - Africa 97
OC - Oceania 7
Totale 26.308
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.507
RU - Federazione Russa 8.393
CN - Cina 1.221
SG - Singapore 935
BR - Brasile 592
IT - Italia 457
SE - Svezia 434
VN - Vietnam 362
DE - Germania 316
UA - Ucraina 291
TR - Turchia 281
GB - Regno Unito 270
HK - Hong Kong 249
FR - Francia 192
IN - India 168
IL - Israele 148
CA - Canada 111
BG - Bulgaria 110
FI - Finlandia 78
KR - Corea 78
BD - Bangladesh 77
PK - Pakistan 67
MX - Messico 58
PL - Polonia 51
IQ - Iraq 44
JP - Giappone 43
AR - Argentina 39
ZA - Sudafrica 37
ES - Italia 31
KE - Kenya 27
NL - Olanda 27
CO - Colombia 21
EC - Ecuador 21
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
CZ - Repubblica Ceca 7
PE - Perù 7
PT - Portogallo 7
TH - Thailandia 7
AZ - Azerbaigian 6
BH - Bahrain 6
EU - Europa 6
HN - Honduras 6
JM - Giamaica 6
TN - Tunisia 6
BO - Bolivia 5
KZ - Kazakistan 5
LV - Lettonia 5
MY - Malesia 5
PA - Panama 5
RO - Romania 5
AE - Emirati Arabi Uniti 4
GR - Grecia 4
AL - Albania 3
AU - Australia 3
BY - Bielorussia 3
ET - Etiopia 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
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 26.094
Salva come PNG Salva come JPEG
Città #
Moscow 2.424
Council Bluffs 2.247
Ashburn 1.791
Chandler 844
San Jose 704
Jacksonville 674
Beijing 530
Singapore 470
San Mateo 380
Hefei 376
Dallas 331
Boardman 324
Hong Kong 241
New York 219
Columbus 177
Los Angeles 172
Kocaeli 146
São Paulo 143
Ann Arbor 142
Dong Ket 140
Wilmington 139
Munich 137
Lawrence 125
Tel Aviv 123
Rome 119
Milan 112
Sofia 110
Princeton 109
Shanghai 107
Lauterbourg 104
Istanbul 103
Ogden 77
Seoul 77
Chicago 76
Ho Chi Minh City 74
Andover 70
Santa Clara 70
Hanoi 59
Helsinki 59
Woodbridge 54
Ottawa 53
London 52
Orem 45
Islamabad 44
Warsaw 40
Atlanta 39
Tokyo 39
Brooklyn 31
Denver 30
The Dalles 28
Nairobi 27
Seattle 27
Mexico City 26
Stockholm 26
Phoenix 25
Houston 24
Montreal 24
Frankfurt am Main 23
Poplar 23
Genoa 22
Boston 21
Chennai 21
Johannesburg 21
Guangzhou 19
Brussels 17
Da Nang 17
Manchester 16
Mumbai 15
Rio de Janeiro 15
Ankara 14
Turku 14
Baghdad 13
Belo Horizonte 13
Dearborn 13
Tashkent 13
Toronto 13
Hanover 12
New Delhi 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
Brasília 8
Buenos Aires 8
Dhaka 8
Erbil 8
Haiphong 8
Los Lunas 8
Paris 8
Bangalore 7
Bologna 7
Buffalo 7
Charlotte 7
Totale 15.494
Salva come PNG Salva come JPEG
Nome #
Moving horizon estimation of service demands in queuing networks 337
PID Control of Biochemical Reaction Networks 334
Stochastic Process Algebras. 310
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 303
Software Performance Self-Adaptation through Efficient Model Predictive Control 297
SENSORIA Process Calculi for Service-Oriented Computing 294
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 291
Learning queuing networks by recurrent neural networks 282
An analytical model of a BitTorrent peer 281
Model-based Performance Self-adaptation: A Tutorial 274
Learning Queuing Networks via Linear Optimization 270
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 268
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 266
Symbolic Performance Adaptation 264
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 264
A Markov model of a freerider in a BitTorrent P2P network 263
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 262
Automatic Translation of UML Sequence Diagrams into PEPA Models 260
A Fluid Model for Layered Queueing Networks 259
Quantitative Analysis of Web Services Using SRMC 259
Statistical Learning of Markov Chains of Programs 253
Tight Error Analysis in Fixed-Point Arithmetic 251
The PEPA Eclipse Plug-in 248
Challenging Large Language Models’ “ intelligence ” with human tools: A Neuropsychological Investigation in Italian language on Prefrontal Functioning 247
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 246
Systems Security Modeling and Analysis at IMT Lucca 245
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 245
Extended differential aggregations in process algebra for performance and biology 243
A partial-differential approximation for spatial stochastic process algebra 243
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 243
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 243
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 242
Blending randomness in closed queueing network models 239
Differential Equivalence Yields Network Centrality 239
μOpt: An Efficient Optimal Autoscaler for Microservice Applications 237
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures 236
Inferring Performance from Code: A Review 235
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 234
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 232
Scalable Differential Analysis of Large Process Algebra Models 230
Maximal aggregation of polynomial dynamical systems 228
Insensitivity to service-time distributions for fluid queueing models 226
Approximate Mean Value Analysis of Process Algebra Models 226
Comparing chemical reaction networks: A categorical and algorithmic perspective 223
Scalable Analysis of Scalable Systems 221
Generalised Communication for Interacting Agents 221
A unified framework for differential aggregations in Markovian process algebra 221
The PEPA Plug-in Project 219
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 218
Relating layered queueing networks and process algebra models 218
Replicating Web Services for Scalability 218
Service-Level Agreements for Service-Oriented Computing 217
Efficient syntax-Driven lumping of differential equations 217
Improved estimations of stochastic chemical kinetics by finite-state expansion 215
Large-Scale Modelling with the PEPA Eclipse Plug-In 214
Noise Reduction in Complex Biological Switches 214
Tackling continuous state-space explosion in a Markovian process algebra 213
Backward Invariance for Linear Differential Algebraic Equations 212
Quantitative abstractions for collective adaptive systems 211
EGAC: A genetic algorithm to compare chemical reaction networks 210
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 209
Hybrid Semantics for PEPA 208
ASCENS: Engineering Autonomic Service-Component Ensembles 207
Scaling size & parameter spaces in variability-aware software performance models 207
μP: A Development Framework for Predicting Performance of Microservices by Design 205
Symbolic Computation of Differential Equivalences 205
Guaranteed error bounds on approximate model abstractions through reachability analysis 204
Forward and Backward Bisimulations for Chemical Reaction Networks 203
Scaling size and parameter spaces in variability-aware software performance models 203
Exact fluid lumpability in Markovian process algebra 202
Behavioral Relations in a Process Algebra for Variants 200
Size expansions of mean field approximation: Transient and steady-state analysis 200
Exact fluid lumpability for Markovian process algebra 199
Fluid Rewards for a Stochastic Process Algebra 197
Syntactic Markovian bisimulation for chemical reaction networks 197
Performance Modelling of Design Patterns for Distributed Computation 196
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations 196
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 195
Non-functional properties in the model-driven development of service-oriented systems 194
Modelling exogenous variability in cloud deployments 192
From electric circuits to chemical networks 192
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 190
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 189
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 188
SAT-based synthesis of spoofing attacks in cyber-physical control systems 187
Spatial fluid limits for stochastic mobile networks 186
Supporting performance awareness in autonomous ensembles 185
Fluid Performability Analysis of Nested Automata Models 184
Comparing chemical reaction networks: A categorical and algorithmic perspective 184
PID Control of Biochemical Reaction Networks 184
Scalable Differential Analysis of Process Algebra Models 183
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 183
Differential analysis of interacting automata with immediate actions 181
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 177
Challenges in quantitative abstractions for collective adaptive systems 176
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 176
Model-based development and performance analysis for evolving manufacturing systems 175
Size expansions of mean field approximation: Transient and steady-state analysis 174
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning 174
Stochastic Process Algebras: From Individuals to Populations 173
Totale 22.491
Salva come PNG Salva come JPEG
Categoria #
all - tutte 110.681
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 110.681
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022811 0 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.442 429 487 2.293 4.195 356 400 840 170 531 389 817 535
2026/20271.417 1.065 352 0 0 0 0 0 0 0 0 0 0
Totale 26.308