MARIN, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 16.245
EU - Europa 6.733
AS - Asia 2.794
SA - Sud America 24
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 13
AF - Africa 10
Totale 25.834
Nazione #
US - Stati Uniti d'America 16.085
PL - Polonia 2.321
CN - Cina 2.216
IT - Italia 1.362
UA - Ucraina 592
DE - Germania 519
IE - Irlanda 501
GB - Regno Unito 357
SE - Svezia 286
FI - Finlandia 262
HK - Hong Kong 175
RU - Federazione Russa 173
CA - Canada 158
TR - Turchia 158
AT - Austria 123
SG - Singapore 85
BE - Belgio 65
FR - Francia 56
VN - Vietnam 36
CH - Svizzera 25
IN - India 22
NL - Olanda 22
KR - Corea 21
PK - Pakistan 19
GR - Grecia 18
IR - Iran 18
ES - Italia 13
CL - Cile 12
AU - Australia 11
BR - Brasile 11
UZ - Uzbekistan 10
BG - Bulgaria 9
EU - Europa 9
IL - Israele 7
BA - Bosnia-Erzegovina 6
RO - Romania 6
JP - Giappone 5
A2 - ???statistics.table.value.countryCode.A2??? 4
CZ - Repubblica Ceca 4
LB - Libano 4
NZ - Nuova Zelanda 4
TW - Taiwan 4
DZ - Algeria 3
BD - Bangladesh 2
HR - Croazia 2
HU - Ungheria 2
ID - Indonesia 2
LV - Lettonia 2
MA - Marocco 2
MX - Messico 2
PT - Portogallo 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
BJ - Benin 1
EE - Estonia 1
EG - Egitto 1
IQ - Iraq 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
MM - Myanmar 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
PE - Perù 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
ZA - Sudafrica 1
Totale 25.834
Città #
Woodbridge 3.179
Fairfield 2.364
Warsaw 2.316
Chandler 1.217
Houston 990
Ann Arbor 970
Ashburn 961
Jacksonville 944
Seattle 923
Wilmington 810
Cambridge 770
Dublin 498
Mestre 274
Nanjing 265
New York 244
Jinan 234
Venezia 228
Dearborn 213
Shenyang 198
Hong Kong 175
Beijing 174
Des Moines 157
Izmir 154
Guangzhou 150
San Mateo 131
Boston 124
Hebei 124
Boardman 117
San Diego 116
Mülheim 115
Princeton 112
Vienna 111
Tianjin 99
Andover 91
Changsha 88
Hangzhou 86
Toronto 84
Nanchang 78
Venice 78
Jiaxing 74
Ningbo 71
Altamura 67
Ottawa 65
Zhengzhou 65
Taiyuan 63
Taizhou 62
Fuzhou 59
Haikou 59
Southend 58
Brussels 57
Saint Petersburg 46
San Paolo di Civitate 43
Elk Grove Village 42
Milan 42
London 41
Brooklyn 40
Los Angeles 39
Redwood City 38
Dong Ket 35
Hefei 26
Mountain View 22
Norwalk 17
Phoenix 17
Washington 17
Auburn Hills 15
Kunming 15
Nürnberg 15
Kilburn 14
Shanghai 14
Renton 13
Bologna 12
Fremont 12
Verona 12
Padova 11
Zanjan 11
Chengdu 9
Chicago 9
Moscow 9
São Paulo 9
Henderson 8
Puxian 8
San Francisco 8
Xiangfen 8
Clearwater 7
Indiana 7
Silea 7
Singapore 7
Sofia 7
Tappahannock 7
Udine 7
Augusta 6
Cornedo Vicentino 6
Den Haag 6
Menlo Park 6
Orange 6
Roncade 6
Santo Stino Di Livenza 6
Sarajevo 6
Treviso 6
Dolo 5
Totale 21.447
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 540
Stochastic modeling of depth based routing in underwater sensor networks 535
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems 527
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 511
Behavioural equivalences and interference metrics for mobile ad-hoc networks 499
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 499
Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks 492
null 439
On the relations between Markov chain lumpability and reversibility 421
Petri nets for modelling metabolic pathways: a survey 418
Priority-based bandwidth allocation in wireless sensor networks 407
Performance evaluation of AQM techniques with heterogeneous traffic 404
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 403
Product-form in G-networks 394
Identifying the Optimal transmission range in Depth-Based Routing For UWSN 390
Quantitative Analysis of Concurrent Reversible Computations 389
MPath2PN - Translating Metabolic Pathways into Petri Nets 366
Lumping and reversed processes in cooperating automata 364
Perfect sampling in stochastic Petri nets using decision diagrams 363
On the optimality of opportunistic routing protocols for underwater sensor networks 363
A Product-form Model for the Analysis of Systems with Aging Objects 362
Model Checking Adaptive Service Compositions 337
Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation 336
Biased processor sharing in fork-join queues 330
Guest editor's forewords: Special issue on Valuetools 2017 324
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 323
Implementation of Depth-based routing and its enhancement in Aqua-Sim Next Generation for Underwater Wireless Sensor Networks 310
Evaluating the impact of eDoS attacks to cloud facilities 282
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 280
Product-forms for Probabilistic Input/Output Automata 278
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 277
Control and optimization of the SRPT service policy by frequency scaling 277
Computation of the normalising constant for product-form models of distributed systems with synchronisation 277
Optimisation of Virtual Machine Garbage Collection Policies 276
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 273
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 264
A unifying approach to product-forms in networks with finite capacity constraints 259
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 255
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper) 252
Power control in saturated fork-join queueing systems 249
null 248
Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process 244
Fair workload distribution for multi-server systems with pulling strategies 241
Analysis of stochastic Petri nets with signals 240
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes 238
Modeling Energy Packets Networks in the Presence of Failures 232
Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis 231
Interference-sensitive Preorders for MANETs 231
A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols 229
A numerical algorithm for the solution of product-form models with infinite state spaces 224
Modelling retrial-upon-conflict systems with product-form stochastic Petri nets 219
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains 218
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 215
Information Flow Security for Stochastic Processes 215
Cooperating stochastic automata: approximate lumping an reversed process 214
Performance Evaluation of Depth Based Routing in Underwater Sensor Networks 211
Algorithmic product-form approximations of interacting stochastic models 210
Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations 210
Autoreversibility: exploiting symmetries in Markov chains 206
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data 204
On Discrete Time Reversibility modulo State Renaming and its Applications 204
Queueing networks and conditional product-forms 202
Product-form solutions for models with joint-state dependent transition rates 196
Lumping and Reversed Processes in Cooperating Automata 195
Representing LCFSPR BCMP service center with Coxian service time by GSPN 189
LB-networks: A model for dynamic load balancing in queueing networks 189
On the characterization of probabilistic queueing disciplines. 187
Exploiting product forms solution techniques in multiformalism modeling 187
Queueing Networks 186
Interconnected Wireless Sensors with Energy Harvesting 186
Separable equilibrium distributions for systems with unreliable wireless links 185
Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems 185
Optimisation of servers with different quality of service 183
A Survey on Multi-Formalism Performance Evaluation Tools 181
On the relations between Lumpability and Reversibility 181
Separable solutions for Markov processes in random environments 175
Product-Forms in Multi-Way Synchronizations 173
A process algebra for (delimited) persistent stochastic non-interference 171
A tool for the numerical solution of cooperating Markov chains in product-form 162
Methodological construction of product-form stochastic Petri nets for performance evaluation 160
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 160
A general result for deriving product-form solutions of Markovian models 155
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 153
On product-form approximations of cooperating stochastic models 146
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. 145
Deriving the rate equations characterising product-form models and application to propagating synchronisations 144
A Simulation Package For an Energy-Aware Comparison of ARQ protocols 143
A Queueing Model that Works Only on the Biggest Jobs 141
Proportional Lumpability 128
Dynamic resource allocation in fork-join queues 123
Composition of product-form Generalized Stochastic Petri Nets: a modular approach 117
Delimited persistent stochastic non-interference 117
Performance Engineering with Product-Form Models: Efficient Solutions and Applications 109
Frequency scaling in multilevel queues 108
On representing multiclass M/M/k queues by generalized stochastic Petri nets 104
From BCMP Queueing Networks to Generalized Stochastic Petri Nets: An Algorithm and an Equivalence Definition 103
Synchronisation semantics for networks with fork and join: a product-form approach 103
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach 103
From system to components: constructive methods for product-form solutions 99
Cheating at Craps: A Quantitative Analysis 98
Totale 25.201
Categoria #
all - tutte 69.981
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 69.981


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.092 0 0 0 0 0 0 0 0 0 0 452 640
2019/20206.455 558 410 557 1.433 414 522 419 673 455 522 282 210
2020/20215.477 342 328 451 286 728 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.241 68 108 57 48 173 352 116 100 161 53 5 0
Totale 26.388