IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.800
EU - Europa 1.410
AS - Asia 813
SA - Sud America 92
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 2
OC - Oceania 2
Totale 6.125
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.746
SE - Svezia 407
CN - Cina 347
UA - Ucraina 279
IT - Italia 274
GB - Regno Unito 148
TR - Turchia 146
VN - Vietnam 140
DE - Germania 118
BG - Bulgaria 110
BR - Brasile 89
KR - Corea 78
IN - India 73
CA - Canada 54
IL - Israele 20
FR - Francia 16
BE - Belgio 15
FI - Finlandia 11
RU - Federazione Russa 9
DK - Danimarca 7
EU - Europa 6
IE - Irlanda 4
AT - Austria 3
JP - Giappone 3
CO - Colombia 2
HK - Hong Kong 2
IR - Iran 2
NL - Olanda 2
RO - Romania 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
CL - Cile 1
ES - Italia 1
ET - Etiopia 1
HR - Croazia 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PL - Polonia 1
SG - Singapore 1
SI - Slovenia 1
TN - Tunisia 1
Totale 6.125
Salva come PNG Salva come JPEG
Città #
Chandler 844
Jacksonville 671
San Mateo 380
Beijing 285
Kocaeli 146
Ann Arbor 142
Dong Ket 140
Wilmington 138
Lawrence 125
Sofia 110
Princeton 109
New York 100
Rome 99
São Paulo 89
Ogden 77
Seoul 77
Andover 70
Los Angeles 59
Ottawa 53
Woodbridge 53
Milan 52
Boardman 46
Ashburn 37
Council Bluffs 37
London 30
Chicago 25
Brussels 15
Dearborn 13
Genoa 13
Guangzhou 12
Hanover 12
Helsinki 11
Atlanta 10
Hefei 9
Bangalore 7
Las Vegas 7
Nanjing 7
Padova 7
Valenciennes 6
Redmond 5
Chengdu 4
Dublin 4
Fairfield 4
Houston 4
Lyngby 4
Nanchang 4
Portland 4
Redwood City 4
Seattle 4
Boston 3
Fuzhou 3
Gunzenhausen 3
Jinan 3
Kunming 3
Kyiv 3
Lucca 3
Strasbourg 3
Tokyo 3
Treviso 3
Trieste 3
Vienna 3
Zhengzhou 3
Cassino 2
Cernobbio 2
Changsha 2
Copenhagen 2
Krasnodar 2
La Ceja 2
L’Aquila 2
Moscow 2
Ningbo 2
Norwalk 2
Pontedera 2
Rampur 2
Venice 2
Watertown 2
Bellante 1
Bolzaneto 1
Braunschweig 1
Buti 1
Campobello di Mazara 1
Castellarano 1
Cedar Knolls 1
Chongqing 1
Christchurch 1
Cupertino 1
Empoli 1
Erding 1
Ergolding 1
Glasgow 1
Göteborg 1
Hangzhou 1
Kharkiv 1
Kongens Lyngby 1
Leawood 1
Nanning 1
North Charleston 1
Novi Travnik 1
Novokuznetsk 1
Piacenza 1
Totale 4.255
Salva come PNG Salva come JPEG
Nome #
SENSORIA Process Calculi for Service-Oriented Computing 133
Stochastic Process Algebras. 89
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 86
A partial-differential approximation for spatial stochastic process algebra 80
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 80
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 79
Symbolic Performance Adaptation 77
An analytical model of a BitTorrent peer 77
Quantitative Analysis of Web Services Using SRMC 76
Hybrid Semantics for PEPA 76
Software Performance Self-Adaptation through Efficient Model Predictive Control 75
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 75
A Fluid Model for Layered Queueing Networks 74
A Markov model of a freerider in a BitTorrent P2P network 73
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 73
Generalised Communication for Interacting Agents 71
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 71
Model-based Performance Self-adaptation: A Tutorial 71
The PEPA Eclipse Plug-in 70
Moving horizon estimation of service demands in queuing networks 70
Tight Error Analysis in Fixed-Point Arithmetic 69
Extended differential aggregations in process algebra for performance and biology 68
Maximal aggregation of polynomial dynamical systems 68
The PEPA Plug-in Project 67
Insensitivity to service-time distributions for fluid queueing models 67
Replicating Web Services for Scalability 67
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 66
Approximate Mean Value Analysis of Process Algebra Models 66
Noise Reduction in Complex Biological Switches 66
Scaling size & parameter spaces in variability-aware software performance models 65
Scalable Differential Analysis of Large Process Algebra Models 65
Automatic Translation of UML Sequence Diagrams into PEPA Models 64
Comparing chemical reaction networks: A categorical and algorithmic perspective 64
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 64
Syntactic Markovian bisimulation for chemical reaction networks 64
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 64
Learning queuing networks by recurrent neural networks 64
Scalable Analysis of Scalable Systems 63
Efficient syntax-Driven lumping of differential equations 63
Service-Level Agreements for Service-Oriented Computing 61
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 61
SAT-based synthesis of spoofing attacks in cyber-physical control systems 60
Symbolic Computation of Differential Equivalences 59
Scaling size and parameter spaces in variability-aware software performance models 59
Differential Equivalence Yields Network Centrality 59
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 58
Blending randomness in closed queueing network models 58
Behavioral Relations in a Process Algebra for Variants 58
Performance Modelling of Design Patterns for Distributed Computation 57
Large-Scale Modelling with the PEPA Eclipse Plug-In 57
Forward and Backward Bisimulations for Chemical Reaction Networks 57
Relating layered queueing networks and process algebra models 57
Tackling continuous state-space explosion in a Markovian process algebra 56
Exact fluid lumpability for Markovian process algebra 56
Quantitative abstractions for collective adaptive systems 56
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 56
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 55
Exact fluid lumpability in Markovian process algebra 54
ASCENS: Engineering Autonomic Service-Component Ensembles 54
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 53
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 53
Differential Bisimulation for a Markovian Process Algebra 53
Comparing chemical reaction networks: A categorical and algorithmic perspective 53
Supporting performance awareness in autonomous ensembles 53
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning 52
Modelling exogenous variability in cloud deployments 51
PID Control of Biochemical Reaction Networks 51
Modular performance modelling for mobile applications 50
Lumpability of fluid models with heterogeneous agent types 50
A unified framework for differential aggregations in Markovian process algebra 50
Learning Queuing Networks via Linear Optimization 50
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 49
Scaling Performance Analysis Using Fluid-Flow Approximation 49
Differential analysis of interacting automata with immediate actions 49
Guaranteed error bounds on approximate model abstractions through reachability analysis 49
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 48
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 48
EGAC: A genetic algorithm to compare chemical reaction networks 48
Backward Invariance for Linear Differential Algebraic Equations 48
Model-based development and performance analysis for evolving manufacturing systems 47
Fluid Rewards for a Stochastic Process Algebra 47
Non-functional properties in the model-driven development of service-oriented systems 47
Fluid Performability Analysis of Nested Automata Models 46
Family-Based Performance Analysis of Variant-Rich Software Systems 46
Fluid limits of queueing networks with batches 45
DiffLQN: Differential Equation Analysis of Layered Queuing Networks 45
Spatial fluid limits for stochastic mobile networks 44
Scalable Differential Analysis of Process Algebra Models 43
Service Composition for Collective Adaptive Systems 43
Challenges in quantitative abstractions for collective adaptive systems 42
Statistical Learning of Markov Chains of Programs 42
Inferring Performance from Code: A Review 42
Stochastic Process Algebras: From Individuals to Populations 41
Fluid Analysis of Queueing in Two-Stage Random Environments 41
From electric circuits to chemical networks 41
Size expansions of mean field approximation: Transient and steady-state analysis 41
Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial 39
Size expansions of mean field approximation: Transient and steady-state analysis 38
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory 36
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 36
Totale 5.867
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.925
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 35.925
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201917 0 0 0 0 0 0 0 0 0 11 2 4
2019/2020912 23 1 88 6 83 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/2024699 46 49 64 23 80 27 117 35 86 172 0 0
Totale 6.239