MARIN, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 16.923
EU - Europa 7.211
AS - Asia 4.370
SA - Sud America 332
AF - Africa 24
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 14
Totale 28.891
Nazione #
US - Stati Uniti d'America 16.742
CN - Cina 2.440
PL - Polonia 2.328
IT - Italia 1.597
SG - Singapore 1.100
UA - Ucraina 593
DE - Germania 566
IE - Irlanda 503
GB - Regno Unito 382
HK - Hong Kong 369
BR - Brasile 298
SE - Svezia 288
FI - Finlandia 284
RU - Federazione Russa 239
CA - Canada 169
TR - Turchia 163
AT - Austria 133
FR - Francia 88
BE - Belgio 65
ID - Indonesia 50
VN - Vietnam 37
NL - Olanda 36
CH - Svizzera 30
KR - Corea 30
IN - India 29
PK - Pakistan 27
IR - Iran 22
BD - Bangladesh 20
GR - Grecia 19
ES - Italia 15
AU - Australia 13
CL - Cile 13
UZ - Uzbekistan 12
JP - Giappone 11
BG - Bulgaria 9
EU - Europa 9
CZ - Repubblica Ceca 8
TW - Taiwan 8
IL - Israele 7
PE - Perù 7
AE - Emirati Arabi Uniti 6
BA - Bosnia-Erzegovina 6
DZ - Algeria 6
RO - Romania 6
MX - Messico 5
PH - Filippine 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AR - Argentina 4
EC - Ecuador 4
IQ - Iraq 4
LB - Libano 4
MA - Marocco 4
NZ - Nuova Zelanda 4
SA - Arabia Saudita 4
ZA - Sudafrica 4
KE - Kenya 3
MY - Malesia 3
VE - Venezuela 3
AZ - Azerbaigian 2
EG - Egitto 2
HR - Croazia 2
HU - Ungheria 2
JM - Giamaica 2
LK - Sri Lanka 2
LV - Lettonia 2
MD - Moldavia 2
OM - Oman 2
PT - Portogallo 2
PY - Paraguay 2
SY - Repubblica araba siriana 2
AL - Albania 1
AM - Armenia 1
BB - Barbados 1
BJ - Benin 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BS - Bahamas 1
CR - Costa Rica 1
EE - Estonia 1
HN - Honduras 1
JO - Giordania 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
MM - Myanmar 1
MO - Macao, regione amministrativa speciale della Cina 1
NG - Nigeria 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TH - Thailandia 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 28.891
Città #
Woodbridge 3.179
Fairfield 2.364
Warsaw 2.322
Chandler 1.217
Houston 990
Ashburn 984
Ann Arbor 970
Jacksonville 944
Seattle 924
Wilmington 811
Cambridge 770
Singapore 588
Dublin 500
Hong Kong 369
Mestre 274
Nanjing 267
New York 254
Boardman 248
Jinan 234
Venezia 228
Dearborn 213
Shenyang 199
Beijing 197
Council Bluffs 189
Venice 169
Guangzhou 166
Des Moines 157
Izmir 154
San Mateo 131
Boston 129
Hebei 124
San Diego 116
Mülheim 115
Vienna 114
Princeton 112
Tianjin 100
Andover 91
Changsha 90
Hangzhou 86
Toronto 86
The Dalles 85
Nanchang 78
Jiaxing 74
Ningbo 72
Altamura 67
Zhengzhou 66
Ottawa 65
Taiyuan 63
Taizhou 62
Fuzhou 59
Haikou 59
Southend 58
Brussels 57
Milan 56
Jakarta 49
Brooklyn 46
London 46
Saint Petersburg 46
Los Angeles 44
San Paolo di Civitate 43
Elk Grove Village 42
Hefei 40
Redwood City 38
Moscow 36
Dong Ket 35
São Paulo 34
Santa Clara 27
Mountain View 22
Padova 22
Washington 19
Bologna 18
Phoenix 18
Norwalk 17
Shanghai 17
Kunming 16
Treviso 16
Auburn Hills 15
North Bergen 15
Nürnberg 15
San Francisco 15
Chicago 14
Kilburn 14
Berlin 13
Dallas 13
Renton 13
Fremont 12
Munich 12
Verona 12
Helsinki 11
Zanjan 11
Lappeenranta 10
Naples 10
Nuremberg 10
Trieste 10
Chengdu 9
Amsterdam 8
Curitiba 8
Henderson 8
Puxian 8
Xiangfen 8
Totale 23.061
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 574
Stochastic modeling of depth based routing in underwater sensor networks 562
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems 554
Behavioural equivalences and interference metrics for mobile ad-hoc networks 536
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 535
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 528
Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks 521
Petri nets for modelling metabolic pathways: a survey 443
null 439
Priority-based bandwidth allocation in wireless sensor networks 435
On the relations between Markov chain lumpability and reversibility 432
Performance evaluation of AQM techniques with heterogeneous traffic 422
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 420
On the optimality of opportunistic routing protocols for underwater sensor networks 418
Quantitative Analysis of Concurrent Reversible Computations 414
Identifying the Optimal transmission range in Depth-Based Routing For UWSN 414
Product-form in G-networks 412
MPath2PN - Translating Metabolic Pathways into Petri Nets 400
A Product-form Model for the Analysis of Systems with Aging Objects 393
Lumping and reversed processes in cooperating automata 389
Perfect sampling in stochastic Petri nets using decision diagrams 381
Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation 365
Model Checking Adaptive Service Compositions 356
Biased processor sharing in fork-join queues 352
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 343
Guest editor's forewords: Special issue on Valuetools 2017 342
Implementation of Depth-based routing and its enhancement in Aqua-Sim Next Generation for Underwater Wireless Sensor Networks 334
Computation of the normalising constant for product-form models of distributed systems with synchronisation 314
Evaluating the impact of eDoS attacks to cloud facilities 306
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 303
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 301
Product-forms for Probabilistic Input/Output Automata 299
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 297
Control and optimization of the SRPT service policy by frequency scaling 296
Optimisation of Virtual Machine Garbage Collection Policies 293
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 289
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 279
A unifying approach to product-forms in networks with finite capacity constraints 277
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper) 276
Analysis of stochastic Petri nets with signals 275
Performance Evaluation of Depth Based Routing in Underwater Sensor Networks 275
Power control in saturated fork-join queueing systems 274
Fair workload distribution for multi-server systems with pulling strategies 260
Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process 259
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes 257
A numerical algorithm for the solution of product-form models with infinite state spaces 255
A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols 252
Explicit solutions for queues with Hypo-exponential service time and applications to product-form analysis 249
null 248
Interference-sensitive Preorders for MANETs 247
Modeling Energy Packets Networks in the Presence of Failures 245
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains 244
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 238
Modelling retrial-upon-conflict systems with product-form stochastic Petri nets 237
Information Flow Security for Stochastic Processes 235
Autoreversibility: exploiting symmetries in Markov chains 234
Cooperating stochastic automata: approximate lumping an reversed process 233
Queueing networks and conditional product-forms 225
Algorithmic product-form approximations of interacting stochastic models 224
Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations 223
On Discrete Time Reversibility modulo State Renaming and its Applications 222
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data 221
Exploiting product forms solution techniques in multiformalism modeling 213
Lumping and Reversed Processes in Cooperating Automata 211
Applying BCMP Multi-class Queueing Networks for the Performance Evaluation of Hierarchical and Modular Software Ssystems 211
Product-form solutions for models with joint-state dependent transition rates 210
LB-networks: A model for dynamic load balancing in queueing networks 205
Queueing Networks 203
Representing LCFSPR BCMP service center with Coxian service time by GSPN 203
On the characterization of probabilistic queueing disciplines. 203
A Survey on Multi-Formalism Performance Evaluation Tools 201
Separable equilibrium distributions for systems with unreliable wireless links 200
On the relations between Lumpability and Reversibility 200
Optimisation of servers with different quality of service 199
Interconnected Wireless Sensors with Energy Harvesting 198
A process algebra for (delimited) persistent stochastic non-interference 195
Product-Forms in Multi-Way Synchronizations 192
Separable solutions for Markov processes in random environments 191
A tool for the numerical solution of cooperating Markov chains in product-form 185
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 181
Proportional Lumpability 176
Methodological construction of product-form stochastic Petri nets for performance evaluation 175
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 174
A general result for deriving product-form solutions of Markovian models 171
A Queueing Model that Works Only on the Biggest Jobs 166
A Simulation Package For an Energy-Aware Comparison of ARQ protocols 162
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. 161
On product-form approximations of cooperating stochastic models 156
Dynamic resource allocation in fork-join queues 156
Deriving the rate equations characterising product-form models and application to propagating synchronisations 153
Composition of product-form Generalized Stochastic Petri Nets: a modular approach 131
Delimited persistent stochastic non-interference 127
Frequency scaling in multilevel queues 125
Performance Engineering with Product-Form Models: Efficient Solutions and Applications 121
Cheating at Craps: A Quantitative Analysis 121
From BCMP Queueing Networks to Generalized Stochastic Petri Nets: An Algorithm and an Equivalence Definition 118
From system to components: constructive methods for product-form solutions 118
Synchronisation semantics for networks with fork and join: a product-form approach 118
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach 118
On representing multiclass M/M/k queues by generalized stochastic Petri nets 117
Totale 27.341
Categoria #
all - tutte 92.352
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 92.352


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020210 0 0 0 0 0 0 0 0 0 0 0 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.594 68 108 57 48 173 352 116 100 161 53 216 142
2024/20252.714 61 114 259 287 232 146 253 353 312 284 279 134
Totale 29.455