MARIN, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 20.812
AS - Asia 9.613
EU - Europa 7.878
SA - Sud America 703
AF - Africa 130
OC - Oceania 25
Continente sconosciuto - Info sul continente non disponibili 19
Totale 39.180
Nazione #
US - Stati Uniti d'America 20.513
CN - Cina 3.355
SG - Singapore 3.009
PL - Polonia 2.355
IT - Italia 1.742
VN - Vietnam 1.282
DE - Germania 671
UA - Ucraina 607
BR - Brasile 549
HK - Hong Kong 526
IE - Irlanda 504
GB - Regno Unito 461
SE - Svezia 309
FI - Finlandia 307
JP - Giappone 293
RU - Federazione Russa 260
KR - Corea 256
FR - Francia 231
CA - Canada 216
IN - India 188
TR - Turchia 185
AT - Austria 139
BD - Bangladesh 68
ID - Indonesia 67
IQ - Iraq 67
BE - Belgio 66
AR - Argentina 62
PK - Pakistan 56
MX - Messico 51
NL - Olanda 51
PH - Filippine 39
ZA - Sudafrica 39
ES - Italia 38
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
RO - Romania 10
BJ - Benin 9
DZ - Algeria 9
EG - Egitto 9
EU - Europa 9
TN - Tunisia 9
LB - Libano 8
LT - Lituania 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
JM - Giamaica 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
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
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
SV - El Salvador 3
BS - Bahamas 2
CG - Congo 2
GE - Georgia 2
HN - Honduras 2
HR - Croazia 2
LK - Sri Lanka 2
MK - Macedonia 2
NO - Norvegia 2
Totale 39.151
Città #
Woodbridge 3.179
Fairfield 2.364
Warsaw 2.347
Ashburn 2.283
Singapore 1.698
Chandler 1.217
Houston 1.012
Ann Arbor 970
Jacksonville 945
Seattle 933
Wilmington 812
San Jose 807
Cambridge 770
Dallas 610
Hong Kong 508
Dublin 501
Beijing 350
Ho Chi Minh City 339
New York 326
Hanoi 292
Mestre 275
Nanjing 268
Boardman 248
Jinan 237
Venezia 228
Guangzhou 227
Seoul 219
Council Bluffs 213
Dearborn 213
Venice 207
Shenyang 202
Tokyo 199
Des Moines 169
The Dalles 159
Los Angeles 157
Izmir 156
Hefei 145
Boston 137
San Mateo 131
Hebei 124
San Diego 117
Vienna 116
Mülheim 115
Lauterbourg 112
Princeton 112
Tianjin 103
Toronto 97
Changsha 96
Hangzhou 96
Andover 91
Bengaluru 91
Santa Clara 79
Buffalo 78
Nanchang 78
São Paulo 78
Jiaxing 76
Da Nang 73
Ningbo 73
Milan 69
Zhengzhou 69
Altamura 67
London 66
Taiyuan 66
Ottawa 65
Taizhou 63
Frankfurt am Main 62
Brooklyn 59
Fuzhou 59
Haikou 59
Southend 58
Brussels 57
Columbus 55
Haiphong 55
Jakarta 53
Elk Grove Village 48
Munich 47
Saint Petersburg 46
Orem 45
San Paolo di Civitate 43
Chicago 41
Moscow 38
Redwood City 38
Dong Ket 35
Phoenix 32
Shanghai 32
Treviso 31
Johannesburg 27
Stockholm 25
Baghdad 23
Bologna 23
Chennai 23
Helsinki 23
Manchester 22
Mountain View 22
Padova 22
Redondo Beach 20
Washington 20
Atlanta 19
Montreal 19
San Francisco 19
Totale 29.623
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 668
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems 644
Stochastic modeling of depth based routing in underwater sensor networks 636
Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks 628
Behavioural equivalences and interference metrics for mobile ad-hoc networks 627
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 622
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 601
Petri nets for modelling metabolic pathways: a survey 578
On the optimality of opportunistic routing protocols for underwater sensor networks 510
MPath2PN - Translating Metabolic Pathways into Petri Nets 507
Priority-based bandwidth allocation in wireless sensor networks 495
A Product-form Model for the Analysis of Systems with Aging Objects 493
Quantitative Analysis of Concurrent Reversible Computations 485
On the relations between Markov chain lumpability and reversibility 484
Identifying the Optimal transmission range in Depth-Based Routing For UWSN 482
Performance evaluation of AQM techniques with heterogeneous traffic 480
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 478
Product-form in G-networks 469
Perfect sampling in stochastic Petri nets using decision diagrams 466
Lumping and reversed processes in cooperating automata 464
Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation 443
null 439
Biased processor sharing in fork-join queues 437
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 421
Guest editor's forewords: Special issue on Valuetools 2017 418
Model Checking Adaptive Service Compositions 417
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 406
Computation of the normalising constant for product-form models of distributed systems with synchronisation 403
Optimisation of Virtual Machine Garbage Collection Policies 399
Implementation of Depth-based routing and its enhancement in Aqua-Sim Next Generation for Underwater Wireless Sensor Networks 396
Product-forms for Probabilistic Input/Output Automata 395
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 391
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 391
Evaluating the impact of eDoS attacks to cloud facilities 385
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes 382
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 381
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 379
Performance Evaluation of Depth Based Routing in Underwater Sensor Networks 369
A unifying approach to product-forms in networks with finite capacity constraints 367
A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols 362
Control and optimization of the SRPT service policy by frequency scaling 361
Analysis of stochastic Petri nets with signals 357
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 353
Modelling retrial-upon-conflict systems with product-form stochastic Petri nets 344
A numerical algorithm for the solution of product-form models with infinite state spaces 338
Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis 338
Cooperating stochastic automata: approximate lumping an reversed process 336
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper) 336
Power control in saturated fork-join queueing systems 333
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains 330
Interference-sensitive Preorders for MANETs 326
Fair workload distribution for multi-server systems with pulling strategies 317
A Survey on Multi-Formalism Performance Evaluation Tools 315
Information Flow Security for Stochastic Processes 313
Queueing networks and conditional product-forms 309
Autoreversibility: exploiting symmetries in Markov chains 303
A tool for the numerical solution of cooperating Markov chains in product-form 300
Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process 299
Lumping and Reversed Processes in Cooperating Automata 298
Exploiting product forms solution techniques in multiformalism modeling 297
Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations 295
Modeling Energy Packets Networks in the Presence of Failures 292
On Discrete Time Reversibility modulo State Renaming and its Applications 284
Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems 284
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data 283
A process algebra for (delimited) persistent stochastic non-interference 282
Queueing Networks 278
A Simulation Package For an Energy-Aware Comparison of ARQ protocols 277
Algorithmic product-form approximations of interacting stochastic models 271
Product-form solutions for models with joint-state dependent transition rates 269
On the characterization of probabilistic queueing disciplines. 263
Separable equilibrium distributions for systems with unreliable wireless links 263
LB-networks: A model for dynamic load balancing in queueing networks 255
Optimisation of servers with different quality of service 253
Representing LCFSPR BCMP service center with Coxian service time by GSPN 252
A general result for deriving product-form solutions of Markovian models 251
Product-Forms in Multi-Way Synchronizations 249
null 248
Separable solutions for Markov processes in random environments 247
A Queueing Model that Works Only on the Biggest Jobs 247
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 244
On the relations between Lumpability and Reversibility 241
Interconnected Wireless Sensors with Energy Harvesting 239
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 239
Dynamic resource allocation in fork-join queues 236
Methodological construction of product-form stochastic Petri nets for performance evaluation 230
Proportional Lumpability 230
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 211
On product-form approximations of cooperating stochastic models 209
Deriving the rate equations characterising product-form models and application to propagating synchronisations 204
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. 201
Composition of product-form Generalized Stochastic Petri Nets: a modular approach 188
Frequency scaling in multilevel queues 186
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 184
Delimited persistent stochastic non-interference 181
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation 174
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 174
Cheating at Craps: A Quantitative Analysis 172
Contextual Lumpability 170
Performance Engineering with Product-Form Models: Efficient Solutions and Applications 168
Totale 34.725
Categoria #
all - tutte 114.688
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 114.688


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.673 0 0 0 0 0 0 0 0 0 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/202610.215 649 670 956 849 1.346 940 1.380 775 1.473 1.177 0 0
Totale 39.751