IRIS
BERNARDO, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.166
EU - Europa 6.583
AS - Asia 5.356
SA - Sud America 448
AF - Africa 94
Continente sconosciuto - Info sul continente non disponibili 37
OC - Oceania 31
AN - Antartide 1
Totale 26.716
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.040
CN - Cina 2.582
GB - Regno Unito 2.092
SG - Singapore 1.651
UA - Ucraina 1.117
IT - Italia 604
SE - Svezia 557
RU - Federazione Russa 524
TR - Turchia 515
FI - Finlandia 425
DE - Germania 380
BR - Brasile 346
FR - Francia 264
IE - Irlanda 241
PL - Polonia 206
VN - Vietnam 174
IN - India 96
CA - Canada 75
JP - Giappone 70
HK - Hong Kong 55
AR - Argentina 48
EU - Europa 32
TG - Togo 32
BE - Belgio 31
MX - Messico 29
AU - Australia 28
BD - Bangladesh 27
ZA - Sudafrica 26
KR - Corea 24
NL - Olanda 23
ES - Italia 22
AT - Austria 20
LB - Libano 19
IQ - Iraq 16
EC - Ecuador 15
IL - Israele 15
ID - Indonesia 13
SA - Arabia Saudita 13
PH - Filippine 12
CO - Colombia 11
IR - Iran 9
KE - Kenya 9
PK - Pakistan 9
PY - Paraguay 9
VE - Venezuela 8
BG - Bulgaria 7
CH - Svizzera 7
PT - Portogallo 7
RO - Romania 7
KZ - Kazakistan 6
LT - Lituania 6
MA - Marocco 6
SM - San Marino 6
UZ - Uzbekistan 6
CZ - Repubblica Ceca 5
MY - Malesia 5
NO - Norvegia 5
PA - Panama 5
A2 - ???statistics.table.value.countryCode.A2??? 4
DO - Repubblica Dominicana 4
EG - Egitto 4
JO - Giordania 4
NP - Nepal 4
TN - Tunisia 4
CL - Cile 3
CR - Costa Rica 3
EE - Estonia 3
HN - Honduras 3
IM - Isola di Man 3
KG - Kirghizistan 3
NZ - Nuova Zelanda 3
OM - Oman 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AM - Armenia 2
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
BW - Botswana 2
CG - Congo 2
DK - Danimarca 2
ET - Etiopia 2
GR - Grecia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
LV - Lettonia 2
MM - Myanmar 2
NI - Nicaragua 2
PE - Perù 2
PS - Palestinian Territory 2
TJ - Tagikistan 2
TM - Turkmenistan 2
BH - Bahrain 1
BN - Brunei Darussalam 1
BT - Bhutan 1
BY - Bielorussia 1
Totale 26.696
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.944
Southend 1.834
Fairfield 1.504
Houston 1.255
Ashburn 1.107
Ann Arbor 1.094
Singapore 899
Jacksonville 883
Chandler 757
Cambridge 616
San Jose 595
Seattle 593
Nanjing 552
Wilmington 543
Izmir 380
Beijing 275
Dallas 259
Dublin 240
Boardman 233
New York 233
Nanchang 216
Helsinki 170
Kraków 163
Lauterbourg 136
Princeton 134
Los Angeles 130
Shenyang 118
The Dalles 109
Hebei 107
Moscow 106
Tianjin 91
Kunming 90
Düsseldorf 88
San Mateo 87
Jiaxing 80
Bremen 79
Changsha 76
Velikiy Novgorod 68
San Diego 64
Urbino 64
Jinan 62
Buffalo 61
Ho Chi Minh City 60
Santa Clara 57
Des Moines 53
Istanbul 53
Shanghai 53
Hong Kong 52
Hangzhou 47
Munich 47
London 42
Orem 41
Tokyo 38
Chicago 37
Guangzhou 37
Hanoi 37
São Paulo 36
Council Bluffs 34
Lomé 32
Rome 32
Zhengzhou 32
San Francisco 31
Warsaw 29
Frankfurt am Main 28
Toronto 28
Brussels 25
Denver 25
Ningbo 25
Lanzhou 24
Milan 24
Montreal 24
Taizhou 24
Brooklyn 20
Chennai 20
Amsterdam 19
Atlanta 19
Poplar 19
Johannesburg 17
Seongnam 17
Shenzhen 17
Stockholm 17
Boston 16
Alba Adriatica 15
Changchun 15
Macerata 15
Melbourne 15
Civitanova Marche 14
Falls Church 13
Indiana 13
Phoenix 13
Wuppertal 13
Haikou 12
Edinburgh 11
Norwalk 11
Auburn Hills 10
Biên Hòa 10
New Delhi 10
Nuremberg 10
Querétaro 10
Salt Lake City 10
Totale 19.603
Salva come PNG Salva come JPEG
Nome #
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 327
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions 318
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 314
A General Approach to Deadlock Freedom Verification for Software Architectures 293
A Theory of Testing for Markovian Processes 282
A Formal Approach to the Integrated Analysis of Security and QoS 274
Synthesizing Concurrency Control Components from Process Algebraic Specifications 272
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions 271
An Algebra-Based Method to Associate Rewards with EMPA Terms 268
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 267
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 266
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 260
Architectural Types Revisited: Extensible And/Or Connections 256
A Survey of Markovian Behavioral Equivalences 253
Extended Markovian Process Algebra 251
Preserving Architectural Properties in Multithreaded Code Generation 244
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 243
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language 243
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 242
A Process Algebraic Approach to Software Architecture Design 241
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems 239
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 236
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 234
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components 233
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 232
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 232
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 228
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions 228
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems 227
Predicting the Functional/Performance Impact of Dynamic Power Management 227
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time 226
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 224
Component-Oriented Specification of Performance Measures 222
Exogenous and Endogenous Extensions of Architectural Types 221
Architecting Families of Software Systems with Process Algebras 219
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 219
Implementing Symbolic Models for Value Passing in TwoTowers 218
Let's Evaluate Performance, Algebraically 217
Giving a Net Semantics to Markovian Process Algebra 217
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems 217
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 216
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 216
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services 216
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 214
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems 214
Towards Performance Evaluation with General Distributions in Process Algebras 213
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi 211
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time 210
Non-Bisimulation-Based Markovian Behavioral Equivalences 208
ChaRLeS: An Open-Source Chat Room Learning System 207
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 206
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 206
Encoding Timed Models as Uniform Labeled Transition Systems 206
Performance Evaluation at the Software Architecture Level 203
On the Formalization of Architectural Types with Process Algebras 202
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences 202
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks 201
Markovian Testing Equivalence and Exponentially Timed Internal Actions 201
Modal Logic Characterization of Markovian Testing and Trace Equivalences 199
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 199
Packetized Audio for Industrial Applications: A Simulation Study 196
Component-Oriented Verification of Noninterference 196
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 195
On the Usability of Process Algebra: An Architectural View 194
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 194
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions 191
Reward Based Congruences: Can We Aggregate More? 190
Towards State Space Reduction Based on T-Lumpability-Consistent Relations 189
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes 188
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems 188
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 187
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 186
A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence 186
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity 186
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 186
Performance Measure Sensitive Congruences for Markovian Process Algebras 184
Integrating TwoTowers and GreatSPN through a Compact Net Semantics 184
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra 183
Formal Methods for Multicore Programming (SFM 2015) 183
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions 183
Formal Methods for the Design of Real-Time Systems (SFM 2004) 183
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 182
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities 182
Extended Markovian Process Algebra: A Case Study 181
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 180
Theory and Application of Extended Markovian Process Algebra 178
Performability Measure Specification: Combining CSRL and MSL 178
Stochastic Process Algebras for the Analysis of Internet Protocols 177
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems 177
On the Discriminating Power of Passivation and Higher-Order Interaction 174
From EMPA to GSMPA: Allowing for General Distributions 171
Functional and Performance Modeling and Analysis of Token Ring Using EMPA 171
TwoTowers 3.0: Enhancing Usability 169
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics 169
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes 168
Formal Methods for Eternal Networked Software Systems (SFM 2011) 168
Compact Net Semantics for Process Algebras 167
Formal Methods for Dynamical Systems (SFM 2013) 166
Special Issue on Open Problems in Concurrency Theory 166
Formal Methods for Hardware Verification (SFM 2006) 161
Totale 21.288
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.544
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 96.544
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021518 0 0 0 0 0 0 0 0 0 190 243 85
2021/20221.668 98 257 161 209 70 60 89 84 104 121 33 382
2022/20232.249 290 87 62 253 214 541 6 182 363 60 122 69
2023/2024644 51 64 36 55 66 199 18 98 1 7 3 46
2024/20252.145 116 101 490 143 124 170 191 140 193 116 251 110
2025/20265.150 288 508 596 929 560 432 924 228 348 337 0 0
Totale 27.318