IRIS
BERNARDO, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.116
EU - Europa 6.182
AS - Asia 4.660
SA - Sud America 380
AF - Africa 65
Continente sconosciuto - Info sul continente non disponibili 36
OC - Oceania 31
AN - Antartide 1
Totale 24.471
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.009
CN - Cina 2.505
GB - Regno Unito 2.079
SG - Singapore 1.221
UA - Ucraina 1.114
IT - Italia 565
SE - Svezia 554
TR - Turchia 505
FI - Finlandia 418
RU - Federazione Russa 389
DE - Germania 360
BR - Brasile 296
IE - Irlanda 234
PL - Polonia 201
FR - Francia 119
VN - Vietnam 119
IN - India 73
CA - Canada 69
JP - Giappone 63
AR - Argentina 40
HK - Hong Kong 37
EU - Europa 32
TG - Togo 32
BE - Belgio 30
AU - Australia 28
KR - Corea 24
MX - Messico 21
AT - Austria 19
ZA - Sudafrica 19
ES - Italia 18
LB - Libano 18
NL - Olanda 15
BD - Bangladesh 14
EC - Ecuador 13
ID - Indonesia 12
IL - Israele 12
CO - Colombia 9
CH - Svizzera 7
IR - Iran 7
PT - Portogallo 7
PY - Paraguay 7
BG - Bulgaria 6
PK - Pakistan 6
RO - Romania 6
SA - Arabia Saudita 6
SM - San Marino 6
CZ - Repubblica Ceca 5
IQ - Iraq 5
LT - Lituania 5
NO - Norvegia 5
PH - Filippine 5
VE - Venezuela 5
A2 - ???statistics.table.value.countryCode.A2??? 4
KE - Kenya 4
KZ - Kazakistan 4
CL - Cile 3
DO - Repubblica Dominicana 3
EE - Estonia 3
IM - Isola di Man 3
MY - Malesia 3
NZ - Nuova Zelanda 3
PA - Panama 3
UY - Uruguay 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BO - Bolivia 2
CR - Costa Rica 2
DK - Danimarca 2
HN - Honduras 2
HU - Ungheria 2
KG - Kirghizistan 2
LA - Repubblica Popolare Democratica del Laos 2
MA - Marocco 2
NI - Nicaragua 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TJ - Tagikistan 2
TM - Turkmenistan 2
AL - Albania 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BT - Bhutan 1
BW - Botswana 1
CG - Congo 1
DM - Dominica 1
DZ - Algeria 1
EG - Egitto 1
ET - Etiopia 1
FK - Isole Falkland (Malvinas) 1
GA - Gabon 1
GR - Grecia 1
GS - Georgia del Sud e Isole Sandwich Australi 1
HR - Croazia 1
JM - Giamaica 1
LU - Lussemburgo 1
LV - Lettonia 1
MS - Montserrat 1
MU - Mauritius 1
Totale 24.464
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.944
Southend 1.834
Fairfield 1.504
Houston 1.253
Ann Arbor 1.094
Ashburn 948
Jacksonville 883
Chandler 757
Cambridge 616
Seattle 591
Nanjing 552
Wilmington 543
Singapore 533
Izmir 380
Beijing 268
Dallas 253
Boardman 233
Dublin 233
New York 218
Nanchang 216
Helsinki 166
Kraków 163
Princeton 134
Shenyang 117
Los Angeles 116
Hebei 107
Moscow 92
Tianjin 91
Kunming 90
Düsseldorf 88
San Mateo 87
Jiaxing 80
Bremen 79
Changsha 76
Velikiy Novgorod 68
Urbino 64
San Diego 63
Jinan 62
Buffalo 58
Des Moines 53
Shanghai 53
Istanbul 50
Hangzhou 47
Munich 47
Santa Clara 45
Ho Chi Minh City 43
London 39
Guangzhou 36
Hong Kong 34
Chicago 33
Tokyo 33
Lomé 32
Zhengzhou 32
São Paulo 31
San Francisco 30
Brussels 25
Ningbo 25
Rome 25
Toronto 25
Lanzhou 24
Taizhou 24
Warsaw 24
Denver 22
Hanoi 22
Montreal 22
Milan 20
Council Bluffs 18
The Dalles 18
Brooklyn 17
Frankfurt am Main 17
Poplar 17
Seongnam 17
Shenzhen 17
Atlanta 16
Chennai 16
Alba Adriatica 15
Boston 15
Changchun 15
Macerata 15
Melbourne 15
Orem 15
Civitanova Marche 14
Johannesburg 14
Stockholm 14
Falls Church 13
Indiana 13
Wuppertal 13
Amsterdam 12
Haikou 12
Edinburgh 11
Norwalk 11
Auburn Hills 10
Phoenix 10
Salt Lake City 10
Acton 9
Fuzhou 9
Naples 9
Turku 9
Washington 9
Biên Hòa 8
Totale 18.003
Salva come PNG Salva come JPEG
Nome #
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 306
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 293
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions 291
A General Approach to Deadlock Freedom Verification for Software Architectures 279
A Theory of Testing for Markovian Processes 263
A Formal Approach to the Integrated Analysis of Security and QoS 260
An Algebra-Based Method to Associate Rewards with EMPA Terms 258
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions 250
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 250
Synthesizing Concurrency Control Components from Process Algebraic Specifications 249
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 249
Architectural Types Revisited: Extensible And/Or Connections 241
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 241
A Survey of Markovian Behavioral Equivalences 233
Extended Markovian Process Algebra 230
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 229
A Process Algebraic Approach to Software Architecture Design 227
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language 224
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems 223
Preserving Architectural Properties in Multithreaded Code Generation 222
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 221
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 218
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 217
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 216
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components 215
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions 213
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 212
Implementing Symbolic Models for Value Passing in TwoTowers 211
Let's Evaluate Performance, Algebraically 209
Giving a Net Semantics to Markovian Process Algebra 208
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services 208
Component-Oriented Specification of Performance Measures 207
Exogenous and Endogenous Extensions of Architectural Types 207
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 207
Predicting the Functional/Performance Impact of Dynamic Power Management 206
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 206
Towards Performance Evaluation with General Distributions in Process Algebras 205
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 203
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 203
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems 203
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 203
Architecting Families of Software Systems with Process Algebras 202
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time 199
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time 199
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi 197
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences 197
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems 197
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 195
Non-Bisimulation-Based Markovian Behavioral Equivalences 195
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 195
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 194
On the Formalization of Architectural Types with Process Algebras 192
Encoding Timed Models as Uniform Labeled Transition Systems 192
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks 191
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems 190
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 188
ChaRLeS: An Open-Source Chat Room Learning System 187
Markovian Testing Equivalence and Exponentially Timed Internal Actions 186
Modal Logic Characterization of Markovian Testing and Trace Equivalences 185
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 185
Component-Oriented Verification of Noninterference 184
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes 183
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems 183
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 182
Packetized Audio for Industrial Applications: A Simulation Study 181
Performance Evaluation at the Software Architecture Level 179
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 178
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra 178
On the Usability of Process Algebra: An Architectural View 175
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities 175
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 174
Formal Methods for Multicore Programming (SFM 2015) 174
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions 174
Towards State Space Reduction Based on T-Lumpability-Consistent Relations 174
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity 173
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions 173
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 172
Extended Markovian Process Algebra: A Case Study 172
A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence 172
Formal Methods for the Design of Real-Time Systems (SFM 2004) 172
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 170
Integrating TwoTowers and GreatSPN through a Compact Net Semantics 170
Reward Based Congruences: Can We Aggregate More? 169
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 169
Stochastic Process Algebras for the Analysis of Internet Protocols 168
Performance Measure Sensitive Congruences for Markovian Process Algebras 166
Theory and Application of Extended Markovian Process Algebra 166
Performability Measure Specification: Combining CSRL and MSL 166
On the Discriminating Power of Passivation and Higher-Order Interaction 165
Compact Net Semantics for Process Algebras 163
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes 162
Functional and Performance Modeling and Analysis of Token Ring Using EMPA 161
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems 160
TwoTowers 3.0: Enhancing Usability 160
Formal Methods for Eternal Networked Software Systems (SFM 2011) 159
Special Issue on Open Problems in Concurrency Theory 159
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics 158
From EMPA to GSMPA: Allowing for General Distributions 157
Formal Methods for Dynamical Systems (SFM 2013) 156
Formal Methods for Hardware Verification (SFM 2006) 153
Totale 19.867
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.370
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.370
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.316 0 0 0 0 0 192 118 170 318 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/20262.903 288 508 596 929 560 22 0 0 0 0 0 0
Totale 25.071