IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.044
EU - Europa 3.631
AS - Asia 1.648
SA - Sud America 189
AF - Africa 28
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 3
Totale 10.550
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.983
RU - Federazione Russa 1.889
CN - Cina 513
SE - Svezia 407
IT - Italia 373
SG - Singapore 357
UA - Ucraina 284
TR - Turchia 243
DE - Germania 233
HK - Hong Kong 170
BR - Brasile 169
GB - Regno Unito 153
VN - Vietnam 140
BG - Bulgaria 110
KR - Corea 78
IN - India 75
FI - Finlandia 64
CA - Canada 54
KE - Kenya 22
IL - Israele 21
FR - Francia 20
BE - Belgio 17
DK - Danimarca 14
AT - Austria 12
JP - Giappone 12
NL - Olanda 9
AR - Argentina 8
CZ - Repubblica Ceca 6
EU - Europa 6
IE - Irlanda 6
AZ - Azerbaigian 5
CO - Colombia 5
PK - Pakistan 5
PT - Portogallo 5
KZ - Kazakistan 4
LV - Lettonia 4
PA - Panama 4
UZ - Uzbekistan 4
BD - Bangladesh 3
LU - Lussemburgo 3
MA - Marocco 3
PE - Perù 3
PH - Filippine 3
PL - Polonia 3
RO - Romania 3
BA - Bosnia-Erzegovina 2
CH - Svizzera 2
EC - Ecuador 2
ES - Italia 2
GR - Grecia 2
IR - Iran 2
KG - Kirghizistan 2
LK - Sri Lanka 2
NZ - Nuova Zelanda 2
SK - Slovacchia (Repubblica Slovacca) 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AU - Australia 1
BO - Bolivia 1
BY - Bielorussia 1
CL - Cile 1
CY - Cipro 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
IM - Isola di Man 1
IQ - Iraq 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
NP - Nepal 1
SA - Arabia Saudita 1
SI - Slovenia 1
TH - Thailandia 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZA - Sudafrica 1
Totale 10.550
Salva come PNG Salva come JPEG
Città #
Chandler 844
Ashburn 742
Jacksonville 671
San Mateo 380
Boardman 323
Beijing 291
Moscow 178
Hong Kong 167
Kocaeli 146
Singapore 144
Ann Arbor 142
Dong Ket 140
Wilmington 138
Lawrence 125
Sofia 110
Princeton 109
Rome 107
Shanghai 106
Milan 101
New York 101
Istanbul 96
São Paulo 95
Munich 90
Los Angeles 84
Ogden 77
Seoul 77
Andover 70
Helsinki 59
Ottawa 53
Woodbridge 53
Council Bluffs 49
London 32
Chicago 25
Nairobi 22
Seattle 21
Santa Clara 20
Genoa 19
Guangzhou 19
Dallas 18
Brussels 17
Dearborn 13
Hanover 12
Atlanta 10
Hefei 10
North Bergen 10
Tokyo 8
Vienna 8
Bangalore 7
Las Vegas 7
Nanjing 7
Padova 7
Dublin 6
Rio de Janeiro 6
Valenciennes 6
Baku 5
Copenhagen 5
Redmond 5
Buenos Aires 4
Chengdu 4
Fairfield 4
Houston 4
Jinan 4
Lisbon 4
Lyngby 4
Nanchang 4
Niigata 4
North Charleston 4
Portland 4
Redwood City 4
Riga 4
Tashkent 4
The Dalles 4
Albignasego 3
Almaty 3
Boston 3
Colombo 3
Florence 3
Fuzhou 3
Guarulhos 3
Gunzenhausen 3
Islamabad 3
Jyväskylä 3
Kunming 3
Kyiv 3
Lavagna 3
Lucca 3
Luxembourg 3
L’Aquila 3
Strasbourg 3
Treviso 3
Trieste 3
Zhengzhou 3
Athens 2
Belo Horizonte 2
Bratislava 2
Brno 2
Brønshøj 2
Caruaru 2
Cascina 2
Cassino 2
Totale 6.329
Salva come PNG Salva come JPEG
Nome #
PID Control of Biochemical Reaction Networks 199
SENSORIA Process Calculi for Service-Oriented Computing 188
Software Performance Self-Adaptation through Efficient Model Predictive Control 147
Moving horizon estimation of service demands in queuing networks 146
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 146
Stochastic Process Algebras. 142
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 138
Symbolic Performance Adaptation 137
Quantitative Analysis of Web Services Using SRMC 135
An analytical model of a BitTorrent peer 135
Model-based Performance Self-adaptation: A Tutorial 135
Learning queuing networks by recurrent neural networks 134
A Markov model of a freerider in a BitTorrent P2P network 133
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 124
The PEPA Plug-in Project 123
The PEPA Eclipse Plug-in 122
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 122
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 122
Automatic Translation of UML Sequence Diagrams into PEPA Models 120
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 120
Replicating Web Services for Scalability 120
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 120
Tight Error Analysis in Fixed-Point Arithmetic 119
Learning Queuing Networks via Linear Optimization 119
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 117
Scalable Differential Analysis of Large Process Algebra Models 116
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 115
Scalable Analysis of Scalable Systems 114
Service-Level Agreements for Service-Oriented Computing 113
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 113
Differential Equivalence Yields Network Centrality 113
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 112
Large-Scale Modelling with the PEPA Eclipse Plug-In 111
Relating layered queueing networks and process algebra models 107
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 107
Statistical Learning of Markov Chains of Programs 107
A partial-differential approximation for spatial stochastic process algebra 103
Hybrid Semantics for PEPA 101
Inferring Performance from Code: A Review 100
A Fluid Model for Layered Queueing Networks 98
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 98
Generalised Communication for Interacting Agents 93
Extended differential aggregations in process algebra for performance and biology 92
Insensitivity to service-time distributions for fluid queueing models 91
Approximate Mean Value Analysis of Process Algebra Models 91
μOpt: An Efficient Optimal Autoscaler for Microservice Applications 90
Maximal aggregation of polynomial dynamical systems 89
Noise Reduction in Complex Biological Switches 89
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures 88
Performance Modelling of Design Patterns for Distributed Computation 87
Symbolic Computation of Differential Equivalences 87
Quantitative abstractions for collective adaptive systems 87
Efficient syntax-Driven lumping of differential equations 86
EGAC: A genetic algorithm to compare chemical reaction networks 85
Syntactic Markovian bisimulation for chemical reaction networks 84
SAT-based synthesis of spoofing attacks in cyber-physical control systems 83
Comparing chemical reaction networks: A categorical and algorithmic perspective 82
Scaling size & parameter spaces in variability-aware software performance models 82
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 81
Behavioral Relations in a Process Algebra for Variants 81
Exact fluid lumpability in Markovian process algebra 79
Forward and Backward Bisimulations for Chemical Reaction Networks 79
Scaling size and parameter spaces in variability-aware software performance models 79
Challenging Large Language Models’ “ intelligence ” with human tools: A Neuropsychological Investigation in Italian language on Prefrontal Functioning 78
Tackling continuous state-space explosion in a Markovian process algebra 78
ASCENS: Engineering Autonomic Service-Component Ensembles 78
Blending randomness in closed queueing network models 78
Exact fluid lumpability for Markovian process algebra 77
Differential Bisimulation for a Markovian Process Algebra 77
A unified framework for differential aggregations in Markovian process algebra 76
Backward Invariance for Linear Differential Algebraic Equations 76
Fluid Rewards for a Stochastic Process Algebra 75
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 75
Guaranteed error bounds on approximate model abstractions through reachability analysis 75
Improved estimations of stochastic chemical kinetics by finite-state expansion 75
μP: A Development Framework for Predicting Performance of Microservices by Design 74
PID Control of Biochemical Reaction Networks 74
Supporting performance awareness in autonomous ensembles 74
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 73
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 73
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 73
Differential analysis of interacting automata with immediate actions 73
Modelling exogenous variability in cloud deployments 72
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 72
Comparing chemical reaction networks: A categorical and algorithmic perspective 72
Non-functional properties in the model-driven development of service-oriented systems 72
Family-Based Performance Analysis of Variant-Rich Software Systems 71
Fluid Performability Analysis of Nested Automata Models 70
Modular performance modelling for mobile applications 70
Lumpability of fluid models with heterogeneous agent types 70
Scaling Performance Analysis Using Fluid-Flow Approximation 70
Systems Security Modeling and Analysis at IMT Lucca 69
From electric circuits to chemical networks 69
Size expansions of mean field approximation: Transient and steady-state analysis 68
Fluid limits of queueing networks with batches 67
Spatial fluid limits for stochastic mobile networks 67
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning 67
Model-based development and performance analysis for evolving manufacturing systems 65
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations 65
Stochastic Process Algebras: From Individuals to Populations 64
Totale 9.648
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.635
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 58.635
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020181 0 0 0 0 0 0 0 0 0 40 92 49
2020/20211.399 89 4 79 11 72 86 120 9 202 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/20254.239 137 185 181 499 86 678 1.321 251 765 136 0 0
Totale 10.700