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


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/20265.005 649 670 956 849 1.346 535 0 0 0 0 0 0
Totale 34.541