MARIN, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 22.078
AS - Asia 9.720
EU - Europa 7.914
SA - Sud America 704
AF - Africa 130
OC - Oceania 25
Continente sconosciuto - Info sul continente non disponibili 19
Totale 40.590
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 21.745
CN - Cina 3.372
SG - Singapore 3.071
PL - Polonia 2.355
IT - Italia 1.769
VN - Vietnam 1.283
DE - Germania 673
UA - Ucraina 607
BR - Brasile 550
HK - Hong Kong 530
IE - Irlanda 504
GB - Regno Unito 463
SE - Svezia 309
FI - Finlandia 307
JP - Giappone 293
KR - Corea 262
RU - Federazione Russa 260
CA - Canada 236
FR - Francia 231
IN - India 188
TR - Turchia 185
AT - Austria 139
BD - Bangladesh 85
ID - Indonesia 67
IQ - Iraq 67
BE - Belgio 66
AR - Argentina 62
PK - Pakistan 56
MX - Messico 54
NL - Olanda 51
ES - Italia 42
PH - Filippine 39
ZA - Sudafrica 39
CH - Svizzera 33
TH - Thailandia 30
TW - Taiwan 30
IR - Iran 27
CL - Cile 20
MA - Marocco 20
AU - Australia 19
GR - Grecia 19
UZ - Uzbekistan 19
EC - Ecuador 17
AE - Emirati Arabi Uniti 14
KE - Kenya 14
PY - Paraguay 14
VE - Venezuela 14
JO - Giordania 13
SA - Arabia Saudita 13
BG - Bulgaria 12
CZ - Repubblica Ceca 11
IL - Israele 11
PE - Perù 11
JM - Giamaica 10
RO - Romania 10
BJ - Benin 9
DZ - Algeria 9
EG - Egitto 9
EU - Europa 9
LT - Lituania 9
TN - Tunisia 9
LB - Libano 8
NP - Nepal 8
CO - Colombia 7
CR - Costa Rica 7
KZ - Kazakistan 7
BA - Bosnia-Erzegovina 6
MY - Malesia 6
OM - Oman 6
XK - ???statistics.table.value.countryCode.XK??? 6
AZ - Azerbaigian 5
HU - Ungheria 5
MD - Moldavia 5
PT - Portogallo 5
UY - Uruguay 5
A2 - ???statistics.table.value.countryCode.A2??? 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
NZ - Nuova Zelanda 4
RS - Serbia 4
SN - Senegal 4
SV - El Salvador 4
SY - Repubblica araba siriana 4
AM - Armenia 3
BO - Bolivia 3
KG - Kirghizistan 3
LV - Lettonia 3
NG - Nigeria 3
NI - Nicaragua 3
PA - Panama 3
PR - Porto Rico 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
BS - Bahamas 2
CG - Congo 2
GE - Georgia 2
GT - Guatemala 2
HN - Honduras 2
HR - Croazia 2
LK - Sri Lanka 2
Totale 40.557
Salva come PNG Salva come JPEG
Città #
Woodbridge 3.181
Ashburn 2.554
Fairfield 2.365
Warsaw 2.347
Singapore 1.714
Chandler 1.218
Houston 1.012
Ann Arbor 970
Jacksonville 945
Seattle 936
San Jose 903
Wilmington 813
Cambridge 770
Council Bluffs 763
Dallas 615
Hong Kong 511
Dublin 501
Beijing 352
New York 346
Ho Chi Minh City 339
Hanoi 292
Mestre 275
Nanjing 268
Boardman 258
Jinan 237
Venezia 228
Guangzhou 227
Seoul 225
Dearborn 213
Venice 210
Shenyang 202
Tokyo 199
Des Moines 169
Los Angeles 166
The Dalles 159
Izmir 156
Hefei 145
Boston 138
San Mateo 131
Hebei 124
San Diego 117
Vienna 116
Mülheim 115
Columbus 112
Lauterbourg 112
Princeton 112
Santa Clara 106
Tianjin 103
Toronto 102
Changsha 96
Hangzhou 96
Andover 91
Bengaluru 91
Buffalo 82
Nanchang 78
São Paulo 78
Jiaxing 76
Milan 74
Da Nang 73
Ningbo 73
Zhengzhou 69
Altamura 67
London 67
Taiyuan 66
Ottawa 65
Taizhou 63
Frankfurt am Main 62
Brooklyn 60
Fuzhou 59
Haikou 59
Southend 58
Brussels 57
Haiphong 55
Jakarta 53
Elk Grove Village 48
Munich 47
Orem 46
Saint Petersburg 46
Chicago 44
San Paolo di Civitate 43
Moscow 38
Redwood City 38
Phoenix 36
Dong Ket 35
Shanghai 33
Treviso 32
Johannesburg 27
Stockholm 25
Baghdad 23
Bologna 23
Chennai 23
Helsinki 23
Montreal 23
Manchester 22
Mountain View 22
Padova 22
Washington 21
Redondo Beach 20
San Francisco 20
Atlanta 19
Totale 30.739
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 674
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems 659
Stochastic modeling of depth based routing in underwater sensor networks 642
Behavioural equivalences and interference metrics for mobile ad-hoc networks 639
Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks 638
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 637
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 613
Petri nets for modelling metabolic pathways: a survey 590
On the optimality of opportunistic routing protocols for underwater sensor networks 521
MPath2PN - Translating Metabolic Pathways into Petri Nets 515
Priority-based bandwidth allocation in wireless sensor networks 505
On the relations between Markov chain lumpability and reversibility 500
A Product-form Model for the Analysis of Systems with Aging Objects 499
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 497
Identifying the Optimal transmission range in Depth-Based Routing For UWSN 494
Quantitative Analysis of Concurrent Reversible Computations 492
Performance evaluation of AQM techniques with heterogeneous traffic 488
Product-form in G-networks 487
Perfect sampling in stochastic Petri nets using decision diagrams 477
Lumping and reversed processes in cooperating automata 476
Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation 450
Biased processor sharing in fork-join queues 445
null 439
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 433
Guest editor's forewords: Special issue on Valuetools 2017 424
Model Checking Adaptive Service Compositions 423
Computation of the normalising constant for product-form models of distributed systems with synchronisation 412
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 411
Implementation of Depth-based routing and its enhancement in Aqua-Sim Next Generation for Underwater Wireless Sensor Networks 407
Optimisation of Virtual Machine Garbage Collection Policies 406
Product-forms for Probabilistic Input/Output Automata 405
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 403
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 401
Evaluating the impact of eDoS attacks to cloud facilities 395
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes 391
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 387
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 385
A unifying approach to product-forms in networks with finite capacity constraints 377
A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols 377
Performance Evaluation of Depth Based Routing in Underwater Sensor Networks 377
Control and optimization of the SRPT service policy by frequency scaling 366
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 362
Analysis of stochastic Petri nets with signals 360
Modelling retrial-upon-conflict systems with product-form stochastic Petri nets 351
A numerical algorithm for the solution of product-form models with infinite state spaces 344
Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis 343
Cooperating stochastic automata: approximate lumping an reversed process 343
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper) 342
Power control in saturated fork-join queueing systems 339
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains 337
Interference-sensitive Preorders for MANETs 333
Queueing networks and conditional product-forms 325
Fair workload distribution for multi-server systems with pulling strategies 325
A Survey on Multi-Formalism Performance Evaluation Tools 323
Information Flow Security for Stochastic Processes 320
Autoreversibility: exploiting symmetries in Markov chains 317
A tool for the numerical solution of cooperating Markov chains in product-form 315
Lumping and Reversed Processes in Cooperating Automata 312
Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations 308
Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process 307
Exploiting product forms solution techniques in multiformalism modeling 304
Modeling Energy Packets Networks in the Presence of Failures 303
Queueing Networks 299
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data 298
On Discrete Time Reversibility modulo State Renaming and its Applications 296
Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems 292
A Simulation Package For an Energy-Aware Comparison of ARQ protocols 285
A process algebra for (delimited) persistent stochastic non-interference 284
Product-form solutions for models with joint-state dependent transition rates 282
Algorithmic product-form approximations of interacting stochastic models 278
On the characterization of probabilistic queueing disciplines. 273
Separable equilibrium distributions for systems with unreliable wireless links 268
A general result for deriving product-form solutions of Markovian models 263
LB-networks: A model for dynamic load balancing in queueing networks 262
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 261
Optimisation of servers with different quality of service 260
A Queueing Model that Works Only on the Biggest Jobs 259
Representing LCFSPR BCMP service center with Coxian service time by GSPN 257
Product-Forms in Multi-Way Synchronizations 257
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 251
Interconnected Wireless Sensors with Energy Harvesting 250
On the relations between Lumpability and Reversibility 249
Separable solutions for Markov processes in random environments 248
null 248
Methodological construction of product-form stochastic Petri nets for performance evaluation 242
Dynamic resource allocation in fork-join queues 241
Proportional Lumpability 236
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 224
On product-form approximations of cooperating stochastic models 222
Deriving the rate equations characterising product-form models and application to propagating synchronisations 213
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. 204
Frequency scaling in multilevel queues 194
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation 193
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 191
Composition of product-form Generalized Stochastic Petri Nets: a modular approach 191
Delimited persistent stochastic non-interference 188
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 184
Size-based scheduling for TCP flows: Implementation and performance evaluation 182
Cheating at Craps: A Quantitative Analysis 182
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues 180
Totale 35.657
Salva come PNG Salva come JPEG
Categoria #
all - tutte 119.444
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 119.444
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021398 0 0 0 0 0 0 0 0 0 0 0 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/202611.626 649 670 956 849 1.346 940 1.380 775 1.473 1.301 526 761
Totale 41.162