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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.310 0 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.988 137 185 181 499 86 678 1.321 244 759 824 1.609 465
2025/2026721 429 292 0 0 0 0 0 0 0 0 0 0
Totale 14.170