IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.592
EU - Europa 10.984
AS - Asia 3.817
SA - Sud America 729
Continente sconosciuto - Info sul continente non disponibili 208
AF - Africa 97
OC - Oceania 12
Totale 28.439
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.305
RU - Federazione Russa 8.395
CN - Cina 1.223
SG - Singapore 937
IT - Italia 656
BR - Brasile 592
SE - Svezia 434
VN - Vietnam 362
DE - Germania 319
UA - Ucraina 291
TR - Turchia 284
GB - Regno Unito 270
HK - Hong Kong 251
FR - Francia 194
IN - India 168
CA - Canada 159
IL - Israele 148
BG - Bulgaria 110
FI - Finlandia 78
KR - Corea 78
BD - Bangladesh 77
PK - Pakistan 67
MX - Messico 58
PL - Polonia 51
JP - Giappone 48
IQ - Iraq 44
AR - Argentina 39
ZA - Sudafrica 37
ES - Italia 33
NL - Olanda 31
KE - Kenya 27
CO - Colombia 26
EC - Ecuador 21
AT - Austria 19
BE - Belgio 17
SA - Arabia Saudita 17
CL - Cile 16
PH - Filippine 16
DK - Danimarca 14
HN - Honduras 13
UZ - Uzbekistan 13
LT - Lituania 10
NP - Nepal 10
PY - Paraguay 10
VE - Venezuela 10
CR - Costa Rica 9
GT - Guatemala 9
ID - Indonesia 9
IE - Irlanda 9
JO - Giordania 9
AU - Australia 8
MA - Marocco 8
SV - El Salvador 8
CZ - Repubblica Ceca 7
JM - Giamaica 7
PE - Perù 7
PR - Porto Rico 7
PT - Portogallo 7
TH - Thailandia 7
AZ - Azerbaigian 6
BH - Bahrain 6
EU - Europa 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
NI - Nicaragua 4
AL - Albania 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
TT - Trinidad e Tobago 3
AO - Angola 2
BA - Bosnia-Erzegovina 2
CH - Svizzera 2
CI - Costa d'Avorio 2
CW - ???statistics.table.value.countryCode.CW??? 2
DZ - Algeria 2
EG - Egitto 2
HR - Croazia 2
HU - Ungheria 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
Totale 28.220
Salva come PNG Salva come JPEG
Città #
Council Bluffs 3.406
Moscow 2.424
Ashburn 1.854
Chandler 844
San Jose 837
Jacksonville 674
Beijing 531
Singapore 472
San Mateo 380
Hefei 376
Dallas 335
Boardman 328
Hong Kong 242
New York 221
Los Angeles 182
Columbus 178
Kocaeli 146
São Paulo 143
Ann Arbor 142
Dong Ket 140
Wilmington 140
Munich 139
Staranzano 132
Rome 126
Lawrence 125
Tel Aviv 123
Chicago 120
Milan 114
Sofia 110
Princeton 109
Shanghai 107
Lauterbourg 104
Istanbul 103
Phoenix 84
Ogden 77
Seoul 77
Ho Chi Minh City 74
Santa Clara 73
Andover 70
Hanoi 59
Helsinki 59
Woodbridge 55
Ottawa 54
London 53
Atlanta 45
Orem 45
Islamabad 44
Tokyo 43
Warsaw 40
Denver 37
Brooklyn 33
Montreal 30
Seattle 29
The Dalles 29
Nairobi 27
Houston 26
Mexico City 26
Stockholm 26
Frankfurt am Main 24
Boston 23
Poplar 23
Genoa 22
Chennai 21
Johannesburg 21
Toronto 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
Hanover 12
Las Vegas 12
New Delhi 12
San Francisco 12
Vienna 12
Amsterdam 11
Barnet 11
Bologna 10
North Bergen 10
Charlotte 9
Düsseldorf 9
Florence 9
Lahore 9
Quito 9
Altoona 8
Asunción 8
Brasília 8
Buenos Aires 8
Buffalo 8
Dhaka 8
Erbil 8
Guatemala City 8
Haiphong 8
Totale 17.175
Salva come PNG Salva come JPEG
Nome #
Moving horizon estimation of service demands in queuing networks 354
PID Control of Biochemical Reaction Networks 354
Stochastic Process Algebras. 324
Model-based Performance Self-adaptation: A Tutorial 319
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 316
Software Performance Self-Adaptation through Efficient Model Predictive Control 315
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 309
SENSORIA Process Calculi for Service-Oriented Computing 305
An analytical model of a BitTorrent peer 299
Learning queuing networks by recurrent neural networks 296
Learning Queuing Networks via Linear Optimization 291
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 283
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 283
A Fluid Model for Layered Queueing Networks 281
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 281
Symbolic Performance Adaptation 280
A Markov model of a freerider in a BitTorrent P2P network 280
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 279
Automatic Translation of UML Sequence Diagrams into PEPA Models 276
Quantitative Analysis of Web Services Using SRMC 273
Challenging Large Language Models’ “ intelligence ” with human tools: A Neuropsychological Investigation in Italian language on Prefrontal Functioning 272
Tight Error Analysis in Fixed-Point Arithmetic 270
Statistical Learning of Markov Chains of Programs 268
μOpt: An Efficient Optimal Autoscaler for Microservice Applications 267
Systems Security Modeling and Analysis at IMT Lucca 267
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 263
The PEPA Eclipse Plug-in 260
A partial-differential approximation for spatial stochastic process algebra 260
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 260
Extended differential aggregations in process algebra for performance and biology 259
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 259
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 257
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 254
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures 253
Blending randomness in closed queueing network models 253
Differential Equivalence Yields Network Centrality 252
Inferring Performance from Code: A Review 250
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 247
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 247
Scalable Differential Analysis of Large Process Algebra Models 244
Maximal aggregation of polynomial dynamical systems 243
Insensitivity to service-time distributions for fluid queueing models 243
The PEPA Plug-in Project 241
Comparing chemical reaction networks: A categorical and algorithmic perspective 240
Approximate Mean Value Analysis of Process Algebra Models 239
Generalised Communication for Interacting Agents 237
Relating layered queueing networks and process algebra models 235
Scalable Analysis of Scalable Systems 235
Efficient syntax-Driven lumping of differential equations 235
A unified framework for differential aggregations in Markovian process algebra 235
Backward Invariance for Linear Differential Algebraic Equations 235
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 233
Improved estimations of stochastic chemical kinetics by finite-state expansion 231
Service-Level Agreements for Service-Oriented Computing 230
Replicating Web Services for Scalability 230
Tackling continuous state-space explosion in a Markovian process algebra 229
Noise Reduction in Complex Biological Switches 229
Large-Scale Modelling with the PEPA Eclipse Plug-In 228
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 226
EGAC: A genetic algorithm to compare chemical reaction networks 226
Quantitative abstractions for collective adaptive systems 225
Hybrid Semantics for PEPA 222
ASCENS: Engineering Autonomic Service-Component Ensembles 221
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations 221
μP: A Development Framework for Predicting Performance of Microservices by Design 220
Scaling size and parameter spaces in variability-aware software performance models 220
Fluid Rewards for a Stochastic Process Algebra 219
Scaling size & parameter spaces in variability-aware software performance models 219
Guaranteed error bounds on approximate model abstractions through reachability analysis 219
Performance Modelling of Design Patterns for Distributed Computation 218
Forward and Backward Bisimulations for Chemical Reaction Networks 218
Symbolic Computation of Differential Equivalences 218
Behavioral Relations in a Process Algebra for Variants 216
Exact fluid lumpability in Markovian process algebra 214
Exact fluid lumpability for Markovian process algebra 213
Syntactic Markovian bisimulation for chemical reaction networks 213
Size expansions of mean field approximation: Transient and steady-state analysis 212
Non-functional properties in the model-driven development of service-oriented systems 209
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 208
From electric circuits to chemical networks 207
Modelling exogenous variability in cloud deployments 206
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 204
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 204
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 201
Fluid Performability Analysis of Nested Automata Models 200
Scalable Differential Analysis of Process Algebra Models 199
SAT-based synthesis of spoofing attacks in cyber-physical control systems 199
Supporting performance awareness in autonomous ensembles 199
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 198
Spatial fluid limits for stochastic mobile networks 198
PID Control of Biochemical Reaction Networks 198
Differential analysis of interacting automata with immediate actions 195
Comparing chemical reaction networks: A categorical and algorithmic perspective 195
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 191
Challenges in quantitative abstractions for collective adaptive systems 190
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods 190
Model-based development and performance analysis for evolving manufacturing systems 189
Differential Equivalence for Linear Differential Algebraic Equations 187
Stochastic Process Algebras: From Individuals to Populations 186
Size expansions of mean field approximation: Transient and steady-state analysis 186
Totale 24.087
Salva come PNG Salva come JPEG
Categoria #
all - tutte 119.193
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 119.193
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022775 0 0 0 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/20273.548 1.065 694 633 1.156 0 0 0 0 0 0 0 0
Totale 28.439