IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.234
EU - Europa 2.056
AS - Asia 1.275
SA - Sud America 99
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 7.696
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.175
RU - Federazione Russa 538
CN - Cina 498
SE - Svezia 407
IT - Italia 325
UA - Ucraina 280
TR - Turchia 242
SG - Singapore 194
GB - Regno Unito 149
VN - Vietnam 140
DE - Germania 134
BG - Bulgaria 110
BR - Brasile 91
KR - Corea 78
IN - India 75
CA - Canada 54
KE - Kenya 21
IL - Israele 20
FI - Finlandia 19
FR - Francia 19
BE - Belgio 15
DK - Danimarca 11
NL - Olanda 7
EU - Europa 6
HK - Hong Kong 6
IE - Irlanda 6
AT - Austria 5
CZ - Repubblica Ceca 5
JP - Giappone 4
PA - Panama 4
PT - Portogallo 4
AZ - Azerbaigian 3
CO - Colombia 3
LU - Lussemburgo 3
PK - Pakistan 3
PL - Polonia 3
AR - Argentina 2
GR - Grecia 2
IR - Iran 2
LV - Lettonia 2
NZ - Nuova Zelanda 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BO - Bolivia 1
CH - Svizzera 1
CL - Cile 1
CY - Cipro 1
DO - Repubblica Dominicana 1
ES - Italia 1
ET - Etiopia 1
HR - Croazia 1
IM - Isola di Man 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LT - Lituania 1
PE - Perù 1
PH - Filippine 1
SI - Slovenia 1
TH - Thailandia 1
TN - Tunisia 1
Totale 7.696
Salva come PNG Salva come JPEG
Città #
Chandler 844
Jacksonville 671
San Mateo 380
Boardman 323
Beijing 291
Kocaeli 146
Ann Arbor 142
Dong Ket 140
Wilmington 138
Singapore 130
Lawrence 125
Moscow 116
Sofia 110
Princeton 109
Rome 102
New York 101
Istanbul 96
Shanghai 91
São Paulo 89
Milan 87
Ogden 77
Seoul 77
Los Angeles 75
Andover 70
Ottawa 53
Woodbridge 53
Ashburn 39
Council Bluffs 37
London 30
Chicago 25
Nairobi 21
Seattle 21
Santa Clara 20
Guangzhou 19
Helsinki 19
Dallas 18
Brussels 15
Dearborn 13
Genoa 13
Hanover 12
Atlanta 10
Hefei 10
North Bergen 10
Munich 8
Bangalore 7
Las Vegas 7
Nanjing 7
Padova 7
Dublin 6
Valenciennes 6
Copenhagen 5
Redmond 5
Chengdu 4
Fairfield 4
Houston 4
Jinan 4
Lisbon 4
Lyngby 4
Nanchang 4
North Charleston 4
Portland 4
Redwood City 4
Tokyo 4
Vienna 4
Albignasego 3
Baku 3
Boston 3
Fuzhou 3
Gunzenhausen 3
Hong Kong 3
Kunming 3
Kyiv 3
Lucca 3
Luxembourg 3
L’Aquila 3
Strasbourg 3
Treviso 3
Trieste 3
Zhengzhou 3
Athens 2
Bratislava 2
Brno 2
Buenos Aires 2
Caruaru 2
Cascina 2
Cassino 2
Cernobbio 2
Changsha 2
Chongqing 2
Clifton 2
Islamabad 2
Krasnodar 2
La Ceja 2
Nanning 2
Ningbo 2
Norwalk 2
Nuremberg 2
Olomouc 2
Pisa 2
Pontedera 2
Totale 5.161
Salva come PNG Salva come JPEG
Nome #
SENSORIA Process Calculi for Service-Oriented Computing 149
Stochastic Process Algebras. 100
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 99
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 95
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 95
A partial-differential approximation for spatial stochastic process algebra 94
Symbolic Performance Adaptation 93
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 92
An analytical model of a BitTorrent peer 92
Hybrid Semantics for PEPA 91
Software Performance Self-Adaptation through Efficient Model Predictive Control 90
Quantitative Analysis of Web Services Using SRMC 90
Moving horizon estimation of service demands in queuing networks 89
A Fluid Model for Layered Queueing Networks 88
A Markov model of a freerider in a BitTorrent P2P network 88
Model-based Performance Self-adaptation: A Tutorial 88
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 87
Tight Error Analysis in Fixed-Point Arithmetic 86
Learning queuing networks by recurrent neural networks 85
The PEPA Eclipse Plug-in 84
Generalised Communication for Interacting Agents 84
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 84
Extended differential aggregations in process algebra for performance and biology 82
Insensitivity to service-time distributions for fluid queueing models 81
Replicating Web Services for Scalability 81
The PEPA Plug-in Project 80
Maximal aggregation of polynomial dynamical systems 79
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 79
Approximate Mean Value Analysis of Process Algebra Models 79
Noise Reduction in Complex Biological Switches 79
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 78
Automatic Translation of UML Sequence Diagrams into PEPA Models 77
Efficient syntax-Driven lumping of differential equations 76
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 75
Scaling size & parameter spaces in variability-aware software performance models 75
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 75
Service-Level Agreements for Service-Oriented Computing 74
Scalable Analysis of Scalable Systems 74
Scalable Differential Analysis of Large Process Algebra Models 74
Symbolic Computation of Differential Equivalences 74
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 74
Comparing chemical reaction networks: A categorical and algorithmic perspective 73
Syntactic Markovian bisimulation for chemical reaction networks 73
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 73
SAT-based synthesis of spoofing attacks in cyber-physical control systems 71
Scaling size and parameter spaces in variability-aware software performance models 71
Differential Equivalence Yields Network Centrality 71
Large-Scale Modelling with the PEPA Eclipse Plug-In 70
Behavioral Relations in a Process Algebra for Variants 70
Quantitative abstractions for collective adaptive systems 70
Learning Queuing Networks via Linear Optimization 70
Tackling continuous state-space explosion in a Markovian process algebra 69
Performance Modelling of Design Patterns for Distributed Computation 69
Relating layered queueing networks and process algebra models 69
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 68
Blending randomness in closed queueing network models 68
Exact fluid lumpability in Markovian process algebra 67
Forward and Backward Bisimulations for Chemical Reaction Networks 67
Backward Invariance for Linear Differential Algebraic Equations 67
ASCENS: Engineering Autonomic Service-Component Ensembles 66
Exact fluid lumpability for Markovian process algebra 66
Differential Bisimulation for a Markovian Process Algebra 66
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 64
A unified framework for differential aggregations in Markovian process algebra 64
Guaranteed error bounds on approximate model abstractions through reachability analysis 64
PID Control of Biochemical Reaction Networks 64
Fluid Rewards for a Stochastic Process Algebra 63
Supporting performance awareness in autonomous ensembles 63
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 62
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 62
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 62
Modelling exogenous variability in cloud deployments 61
Differential analysis of interacting automata with immediate actions 61
Comparing chemical reaction networks: A categorical and algorithmic perspective 61
EGAC: A genetic algorithm to compare chemical reaction networks 61
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 60
Modular performance modelling for mobile applications 60
Scaling Performance Analysis Using Fluid-Flow Approximation 60
From electric circuits to chemical networks 60
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning 60
Lumpability of fluid models with heterogeneous agent types 59
Non-functional properties in the model-driven development of service-oriented systems 59
Fluid Performability Analysis of Nested Automata Models 58
PID Control of Biochemical Reaction Networks 58
Family-Based Performance Analysis of Variant-Rich Software Systems 57
Size expansions of mean field approximation: Transient and steady-state analysis 57
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations 57
Statistical Learning of Markov Chains of Programs 57
Inferring Performance from Code: A Review 57
Spatial fluid limits for stochastic mobile networks 55
Model-based development and performance analysis for evolving manufacturing systems 54
Fluid limits of queueing networks with batches 54
DiffLQN: Differential Equation Analysis of Layered Queuing Networks 54
Challenges in quantitative abstractions for collective adaptive systems 54
Scalable Differential Analysis of Process Algebra Models 53
Service Composition for Collective Adaptive Systems 53
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 52
Fluid Analysis of Queueing in Two-Stage Random Environments 51
Size expansions of mean field approximation: Transient and steady-state analysis 50
Stochastic Process Algebras: From Individuals to Populations 49
Totale 7.173
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.008
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 50.008
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020711 0 0 0 0 0 56 104 94 276 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/20251.365 137 185 181 499 86 277 0 0 0 0 0 0
Totale 7.826