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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202049 0 0 0 0 0 0 0 0 0 0 0 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/20256.601 137 185 181 499 86 678 1.321 251 765 829 1.619 50
Totale 13.062