MARIN, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18.905
EU - Europa 7.558
AS - Asia 6.447
SA - Sud America 553
AF - Africa 59
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 15
Totale 33.560
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.654
CN - Cina 3.067
PL - Polonia 2.352
SG - Singapore 1.957
IT - Italia 1.698
DE - Germania 639
UA - Ucraina 599
IE - Irlanda 503
HK - Hong Kong 470
BR - Brasile 450
GB - Regno Unito 423
SE - Svezia 305
FI - Finlandia 293
RU - Federazione Russa 252
CA - Canada 202
TR - Turchia 175
IN - India 138
VN - Vietnam 137
AT - Austria 136
JP - Giappone 127
FR - Francia 110
KR - Corea 90
BE - Belgio 66
ID - Indonesia 61
AR - Argentina 43
NL - Olanda 42
BD - Bangladesh 37
PK - Pakistan 34
CH - Svizzera 31
MX - Messico 31
ES - Italia 30
IR - Iran 26
IQ - Iraq 20
GR - Grecia 19
AU - Australia 17
ZA - Sudafrica 17
CL - Cile 14
UZ - Uzbekistan 13
AE - Emirati Arabi Uniti 12
EC - Ecuador 12
TW - Taiwan 12
BG - Bulgaria 10
PY - Paraguay 10
BJ - Benin 9
CZ - Repubblica Ceca 9
EU - Europa 9
IL - Israele 9
MA - Marocco 9
PE - Perù 9
VE - Venezuela 9
LT - Lituania 8
DZ - Algeria 7
KE - Kenya 7
SA - Arabia Saudita 7
BA - Bosnia-Erzegovina 6
JO - Giordania 6
LB - Libano 6
RO - Romania 6
CR - Costa Rica 5
MY - Malesia 5
PH - Filippine 5
A2 - ???statistics.table.value.countryCode.A2??? 4
NP - Nepal 4
NZ - Nuova Zelanda 4
PT - Portogallo 4
AM - Armenia 3
AZ - Azerbaigian 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LV - Lettonia 3
PA - Panama 3
SY - Repubblica araba siriana 3
CO - Colombia 2
DO - Repubblica Dominicana 2
EG - Egitto 2
HR - Croazia 2
HU - Ungheria 2
JM - Giamaica 2
LK - Sri Lanka 2
MD - Moldavia 2
OM - Oman 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AL - Albania 1
BB - Barbados 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BS - Bahamas 1
CG - Congo 1
EE - Estonia 1
GA - Gabon 1
GT - Guatemala 1
HN - Honduras 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
ME - Montenegro 1
ML - Mali 1
MM - Myanmar 1
Totale 33.543
Salva come PNG Salva come JPEG
Città #
Woodbridge 3.179
Fairfield 2.364
Warsaw 2.344
Ashburn 1.542
Chandler 1.217
Singapore 1.032
Houston 1.004
Ann Arbor 970
Jacksonville 945
Seattle 933
Wilmington 812
Cambridge 770
Dallas 606
Dublin 500
Hong Kong 470
Beijing 340
New York 313
Mestre 275
Nanjing 267
Boardman 248
Jinan 237
Venezia 228
Guangzhou 217
Dearborn 213
Shenyang 202
Venice 199
Council Bluffs 189
Des Moines 164
Izmir 154
Los Angeles 146
Hefei 143
Boston 137
San Mateo 131
Hebei 124
San Diego 116
Mülheim 115
Vienna 114
Princeton 112
The Dalles 112
Tianjin 102
Changsha 96
Andover 91
Toronto 91
Hangzhou 90
Bengaluru 89
Nanchang 78
Buffalo 76
Jiaxing 75
Ningbo 73
São Paulo 69
Zhengzhou 68
Altamura 67
Taiyuan 66
Ottawa 65
Milan 63
Taizhou 63
Seoul 61
Fuzhou 59
Haikou 59
Brooklyn 58
Santa Clara 58
Southend 58
Brussels 57
Columbus 55
London 55
Jakarta 53
Tokyo 50
Elk Grove Village 48
Saint Petersburg 46
Munich 44
San Paolo di Civitate 43
Frankfurt am Main 38
Redwood City 38
Moscow 36
Dong Ket 35
Chicago 34
Ho Chi Minh City 34
Treviso 31
Phoenix 25
Bologna 23
Mountain View 22
Padova 22
Shanghai 21
Stockholm 21
Redondo Beach 20
Washington 20
Hanoi 19
Orem 19
Atlanta 18
Norwalk 18
San Francisco 18
Kunming 17
Montreal 16
Auburn Hills 15
North Bergen 15
Nürnberg 15
Chennai 14
Denver 14
Kilburn 14
Turku 14
Totale 25.956
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 614
Stochastic modeling of depth based routing in underwater sensor networks 591
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems 584
Behavioural equivalences and interference metrics for mobile ad-hoc networks 574
Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks 569
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 567
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 557
Petri nets for modelling metabolic pathways: a survey 512
Priority-based bandwidth allocation in wireless sensor networks 456
On the relations between Markov chain lumpability and reversibility 451
On the optimality of opportunistic routing protocols for underwater sensor networks 450
Performance evaluation of AQM techniques with heterogeneous traffic 449
Identifying the Optimal transmission range in Depth-Based Routing For UWSN 444
MPath2PN - Translating Metabolic Pathways into Petri Nets 443
Quantitative Analysis of Concurrent Reversible Computations 442
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 441
A Product-form Model for the Analysis of Systems with Aging Objects 440
null 439
Product-form in G-networks 434
Lumping and reversed processes in cooperating automata 417
Perfect sampling in stochastic Petri nets using decision diagrams 403
Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation 397
Biased processor sharing in fork-join queues 381
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 378
Model Checking Adaptive Service Compositions 376
Guest editor's forewords: Special issue on Valuetools 2017 371
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 363
Implementation of Depth-based routing and its enhancement in Aqua-Sim Next Generation for Underwater Wireless Sensor Networks 363
Product-forms for Probabilistic Input/Output Automata 357
Optimisation of Virtual Machine Garbage Collection Policies 348
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 341
Computation of the normalising constant for product-form models of distributed systems with synchronisation 341
Evaluating the impact of eDoS attacks to cloud facilities 339
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 338
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 336
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 332
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes 325
Performance Evaluation of Depth Based Routing in Underwater Sensor Networks 325
A unifying approach to product-forms in networks with finite capacity constraints 321
Control and optimization of the SRPT service policy by frequency scaling 320
Analysis of stochastic Petri nets with signals 314
Power control in saturated fork-join queueing systems 303
A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols 302
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 300
A numerical algorithm for the solution of product-form models with infinite state spaces 298
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper) 298
Modelling retrial-upon-conflict systems with product-form stochastic Petri nets 292
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains 290
Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis 287
Interference-sensitive Preorders for MANETs 284
Cooperating stochastic automata: approximate lumping an reversed process 283
Fair workload distribution for multi-server systems with pulling strategies 282
Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process 269
Information Flow Security for Stochastic Processes 268
Modeling Energy Packets Networks in the Presence of Failures 264
Autoreversibility: exploiting symmetries in Markov chains 263
A Survey on Multi-Formalism Performance Evaluation Tools 261
Queueing networks and conditional product-forms 259
Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations 257
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data 249
Lumping and Reversed Processes in Cooperating Automata 248
null 248
On Discrete Time Reversibility modulo State Renaming and its Applications 247
A tool for the numerical solution of cooperating Markov chains in product-form 245
Algorithmic product-form approximations of interacting stochastic models 245
Exploiting product forms solution techniques in multiformalism modeling 243
Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems 238
Product-form solutions for models with joint-state dependent transition rates 236
On the characterization of probabilistic queueing disciplines. 232
Separable equilibrium distributions for systems with unreliable wireless links 232
A process algebra for (delimited) persistent stochastic non-interference 231
Queueing Networks 229
Representing LCFSPR BCMP service center with Coxian service time by GSPN 224
LB-networks: A model for dynamic load balancing in queueing networks 223
A general result for deriving product-form solutions of Markovian models 218
Optimisation of servers with different quality of service 218
Product-Forms in Multi-Way Synchronizations 216
Separable solutions for Markov processes in random environments 216
On the relations between Lumpability and Reversibility 216
Interconnected Wireless Sensors with Energy Harvesting 214
A Simulation Package For an Energy-Aware Comparison of ARQ protocols 212
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 210
A Queueing Model that Works Only on the Biggest Jobs 203
Proportional Lumpability 201
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 201
Methodological construction of product-form stochastic Petri nets for performance evaluation 199
Dynamic resource allocation in fork-join queues 185
On product-form approximations of cooperating stochastic models 176
Deriving the rate equations characterising product-form models and application to propagating synchronisations 174
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. 174
Composition of product-form Generalized Stochastic Petri Nets: a modular approach 152
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 151
From BCMP Queueing Networks to Generalized Stochastic Petri Nets: An Algorithm and an Equivalence Definition 148
Delimited persistent stochastic non-interference 148
Frequency scaling in multilevel queues 146
On representing multiclass M/M/k queues by generalized stochastic Petri nets 144
Performance Engineering with Product-Form Models: Efficient Solutions and Applications 144
Cheating at Craps: A Quantitative Analysis 143
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 140
Synchronisation semantics for networks with fork and join: a product-form approach 138
Totale 30.560
Salva come PNG Salva come JPEG
Categoria #
all - tutte 106.486
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 106.486
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213.342 0 0 0 0 0 417 633 287 332 503 772 398
2021/20224.389 606 649 220 586 355 60 106 115 100 368 902 322
2022/20233.423 221 317 62 399 399 933 182 266 355 19 216 54
2023/20241.594 68 108 57 48 173 352 116 100 161 53 216 142
2024/20252.795 61 114 259 287 232 146 253 353 312 284 279 215
2025/20264.595 649 670 956 849 1.346 125 0 0 0 0 0 0
Totale 34.131