MARIN, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 22.923
AS - Asia 9.811
EU - Europa 8.062
SA - Sud America 739
Continente sconosciuto - Info sul continente non disponibili 593
AF - Africa 130
OC - Oceania 26
Totale 42.284
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 22.528
CN - Cina 3.380
SG - Singapore 3.119
PL - Polonia 2.356
IT - Italia 1.849
VN - Vietnam 1.288
DE - Germania 673
UA - Ucraina 608
BR - Brasile 565
HK - Hong Kong 535
IE - Irlanda 504
GB - Regno Unito 465
SE - Svezia 355
FI - Finlandia 307
JP - Giappone 294
CA - Canada 263
KR - Corea 262
RU - Federazione Russa 260
FR - Francia 237
IN - India 188
TR - Turchia 185
AT - Austria 139
BD - Bangladesh 95
BE - Belgio 70
ID - Indonesia 69
IQ - Iraq 67
AR - Argentina 63
PK - Pakistan 60
MX - Messico 54
NL - Olanda 51
ES - Italia 44
PH - Filippine 40
ZA - Sudafrica 39
CH - Svizzera 33
TH - Thailandia 32
TW - Taiwan 31
IR - Iran 27
CL - Cile 22
VE - Venezuela 22
AU - Australia 20
MA - Marocco 20
GR - Grecia 19
UZ - Uzbekistan 19
CR - Costa Rica 17
EC - Ecuador 17
CO - Colombia 15
JM - Giamaica 15
AE - Emirati Arabi Uniti 14
KE - Kenya 14
PY - Paraguay 14
SA - Arabia Saudita 14
CZ - Repubblica Ceca 13
JO - Giordania 13
BG - Bulgaria 12
IL - Israele 11
PE - Perù 11
RO - Romania 10
BJ - Benin 9
DZ - Algeria 9
EG - Egitto 9
EU - Europa 9
LT - Lituania 9
TN - Tunisia 9
HN - Honduras 8
LB - Libano 8
NP - Nepal 8
KZ - Kazakistan 7
MY - Malesia 7
BA - Bosnia-Erzegovina 6
OM - Oman 6
SV - El Salvador 6
UY - Uruguay 6
XK - ???statistics.table.value.countryCode.XK??? 6
AZ - Azerbaigian 5
HU - Ungheria 5
MD - Moldavia 5
NI - Nicaragua 5
PT - Portogallo 5
A2 - ???statistics.table.value.countryCode.A2??? 4
BB - Barbados 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
GT - Guatemala 4
NZ - Nuova Zelanda 4
PR - Porto Rico 4
RS - Serbia 4
SN - Senegal 4
SY - Repubblica araba siriana 4
TT - Trinidad e Tobago 4
AL - Albania 3
AM - Armenia 3
BO - Bolivia 3
KG - Kirghizistan 3
LV - Lettonia 3
NG - Nigeria 3
PA - Panama 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
BN - Brunei Darussalam 2
BS - Bahamas 2
Totale 41.669
Salva come PNG Salva come JPEG
Città #
Woodbridge 3.181
Ashburn 2.797
Fairfield 2.366
Warsaw 2.347
Singapore 1.719
Chandler 1.218
Houston 1.017
San Jose 973
Ann Arbor 970
Jacksonville 945
Seattle 936
Council Bluffs 875
Wilmington 813
Cambridge 770
Dallas 622
Hong Kong 515
Dublin 502
Beijing 353
New York 349
Ho Chi Minh City 339
Hanoi 294
Mestre 275
Nanjing 268
Boardman 260
Jinan 237
Venezia 228
Guangzhou 227
Seoul 225
Venice 216
Dearborn 213
Shenyang 202
Tokyo 200
The Dalles 177
Los Angeles 172
Des Moines 170
Izmir 156
Hefei 145
Boston 141
Santa Clara 135
San Mateo 131
Hebei 124
San Diego 119
Vienna 116
Mülheim 115
Princeton 113
Columbus 112
Lauterbourg 112
Tianjin 103
Toronto 102
Changsha 96
Hangzhou 96
Andover 91
Bengaluru 91
Milan 87
Buffalo 85
Nanchang 78
São Paulo 78
Jiaxing 76
Da Nang 74
Ningbo 73
Zhengzhou 69
London 68
Altamura 67
Brooklyn 67
Taiyuan 66
Ottawa 65
Taizhou 63
Frankfurt am Main 62
Brussels 61
Fuzhou 59
Haikou 59
Southend 58
Haiphong 55
Jakarta 54
Chicago 52
Elk Grove Village 48
Munich 47
Orem 47
Saint Petersburg 46
San Paolo di Civitate 43
Moscow 38
Phoenix 38
Redwood City 38
Dong Ket 35
Shanghai 34
Treviso 32
Johannesburg 27
Montreal 25
San Francisco 25
Stockholm 25
Washington 24
Baghdad 23
Bologna 23
Chennai 23
Helsinki 23
Atlanta 22
Manchester 22
Mountain View 22
Padova 22
Rome 22
Totale 31.319
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 681
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems 669
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 650
Stochastic modeling of depth based routing in underwater sensor networks 650
Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks 649
Behavioural equivalences and interference metrics for mobile ad-hoc networks 646
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 620
Petri nets for modelling metabolic pathways: a survey 601
MPath2PN - Translating Metabolic Pathways into Petri Nets 531
On the optimality of opportunistic routing protocols for underwater sensor networks 529
Priority-based bandwidth allocation in wireless sensor networks 517
A Product-form Model for the Analysis of Systems with Aging Objects 507
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 505
On the relations between Markov chain lumpability and reversibility 504
Identifying the Optimal transmission range in Depth-Based Routing For UWSN 501
Quantitative Analysis of Concurrent Reversible Computations 500
Performance evaluation of AQM techniques with heterogeneous traffic 494
Product-form in G-networks 494
Perfect sampling in stochastic Petri nets using decision diagrams 486
Lumping and reversed processes in cooperating automata 484
Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation 455
Biased processor sharing in fork-join queues 453
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 440
null 439
Model Checking Adaptive Service Compositions 432
Guest editor's forewords: Special issue on Valuetools 2017 426
Computation of the normalising constant for product-form models of distributed systems with synchronisation 424
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 420
Implementation of Depth-based routing and its enhancement in Aqua-Sim Next Generation for Underwater Wireless Sensor Networks 415
Optimisation of Virtual Machine Garbage Collection Policies 412
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 412
Product-forms for Probabilistic Input/Output Automata 411
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 409
Evaluating the impact of eDoS attacks to cloud facilities 405
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes 399
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 395
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 395
A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols 384
A unifying approach to product-forms in networks with finite capacity constraints 382
Performance Evaluation of Depth Based Routing in Underwater Sensor Networks 381
Control and optimization of the SRPT service policy by frequency scaling 375
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 372
Analysis of stochastic Petri nets with signals 363
Modelling retrial-upon-conflict systems with product-form stochastic Petri nets 355
Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis 352
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains 351
Cooperating stochastic automata: approximate lumping an reversed process 351
A numerical algorithm for the solution of product-form models with infinite state spaces 348
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper) 346
Power control in saturated fork-join queueing systems 342
Interference-sensitive Preorders for MANETs 339
Queueing networks and conditional product-forms 334
Fair workload distribution for multi-server systems with pulling strategies 332
A Survey on Multi-Formalism Performance Evaluation Tools 331
Information Flow Security for Stochastic Processes 327
A tool for the numerical solution of cooperating Markov chains in product-form 326
Autoreversibility: exploiting symmetries in Markov chains 325
Lumping and Reversed Processes in Cooperating Automata 323
Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations 316
Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process 314
Exploiting product forms solution techniques in multiformalism modeling 311
On Discrete Time Reversibility modulo State Renaming and its Applications 309
Modeling Energy Packets Networks in the Presence of Failures 309
Queueing Networks 308
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data 306
Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems 301
A Simulation Package For an Energy-Aware Comparison of ARQ protocols 295
A process algebra for (delimited) persistent stochastic non-interference 291
Product-form solutions for models with joint-state dependent transition rates 286
Algorithmic product-form approximations of interacting stochastic models 284
Separable equilibrium distributions for systems with unreliable wireless links 278
On the characterization of probabilistic queueing disciplines. 277
LB-networks: A model for dynamic load balancing in queueing networks 270
A general result for deriving product-form solutions of Markovian models 268
Optimisation of servers with different quality of service 266
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 266
Product-Forms in Multi-Way Synchronizations 265
Representing LCFSPR BCMP service center with Coxian service time by GSPN 262
A Queueing Model that Works Only on the Biggest Jobs 262
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 257
Separable solutions for Markov processes in random environments 253
Interconnected Wireless Sensors with Energy Harvesting 253
On the relations between Lumpability and Reversibility 253
Dynamic resource allocation in fork-join queues 249
null 248
Proportional Lumpability 247
Methodological construction of product-form stochastic Petri nets for performance evaluation 245
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 232
On product-form approximations of cooperating stochastic models 228
Deriving the rate equations characterising product-form models and application to propagating synchronisations 224
Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains 212
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. 206
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation 203
Cheating at Craps: A Quantitative Analysis 203
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 201
Frequency scaling in multilevel queues 199
Composition of product-form Generalized Stochastic Petri Nets: a modular approach 198
The saturated Multiserver Job Queuing Model with two classes of jobs: Exact and approximate results 191
Delimited persistent stochastic non-interference 191
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 189
Totale 36.425
Salva come PNG Salva come JPEG
Categoria #
all - tutte 124.235
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 124.235
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20223.783 0 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.690 649 670 956 849 1.346 940 1.380 775 1.473 1.301 526 825
2026/20271.058 491 567 0 0 0 0 0 0 0 0 0 0
Totale 42.284