IRIS
BERNARDO, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.595
EU - Europa 6.619
AS - Asia 5.502
SA - Sud America 448
AF - Africa 94
Continente sconosciuto - Info sul continente non disponibili 37
OC - Oceania 31
AN - Antartide 1
Totale 27.327
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.449
CN - Cina 2.620
GB - Regno Unito 2.092
SG - Singapore 1.699
UA - Ucraina 1.117
IT - Italia 637
SE - Svezia 557
RU - Federazione Russa 524
TR - Turchia 515
FI - Finlandia 425
DE - Germania 380
BR - Brasile 346
FR - Francia 265
IE - Irlanda 241
PL - Polonia 206
VN - Vietnam 174
IN - India 97
CA - Canada 85
BD - Bangladesh 81
JP - Giappone 71
HK - Hong Kong 59
AR - Argentina 48
EU - Europa 32
TG - Togo 32
BE - Belgio 31
MX - Messico 29
AU - Australia 28
ZA - Sudafrica 26
NL - Olanda 25
KR - Corea 24
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
JM - Giamaica 6
KZ - Kazakistan 6
LT - Lituania 6
MA - Marocco 6
SM - San Marino 6
UZ - Uzbekistan 6
CZ - Repubblica Ceca 5
HN - Honduras 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
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
Totale 27.304
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.944
Southend 1.834
Fairfield 1.504
Houston 1.256
Ashburn 1.113
Ann Arbor 1.094
Singapore 903
Jacksonville 884
Chandler 757
San Jose 676
Cambridge 616
Seattle 594
Nanjing 552
Wilmington 543
Izmir 380
Beijing 283
Dallas 267
Boardman 261
New York 242
Dublin 240
Nanchang 217
Helsinki 170
Kraków 163
Council Bluffs 137
Lauterbourg 136
Los Angeles 136
Princeton 134
Shenyang 118
The Dalles 109
Hebei 107
Moscow 106
Tianjin 92
Kunming 90
Düsseldorf 88
San Mateo 87
Jiaxing 80
Bremen 79
Changsha 77
Santa Clara 69
Velikiy Novgorod 68
San Diego 64
Urbino 64
Buffalo 63
Jinan 62
Ho Chi Minh City 60
Hong Kong 56
Des Moines 53
Istanbul 53
Shanghai 53
Hangzhou 47
Munich 47
Columbus 44
London 43
Orem 43
Rome 38
Tokyo 38
Chicago 37
Guangzhou 37
Hanoi 37
São Paulo 36
Lomé 32
Zhengzhou 32
San Francisco 31
Toronto 29
Warsaw 29
Denver 28
Frankfurt am Main 28
Milan 27
Brussels 25
Ningbo 25
Lanzhou 24
Montreal 24
Taizhou 24
Brooklyn 21
Chennai 20
Amsterdam 19
Atlanta 19
Poplar 19
Johannesburg 17
Seongnam 17
Shenzhen 17
Stockholm 17
Boston 16
Changchun 16
Alba Adriatica 15
Macerata 15
Melbourne 15
Phoenix 15
Civitanova Marche 14
Falls Church 13
Indiana 13
Wuppertal 13
Haikou 12
Edinburgh 11
Norwalk 11
Washington 11
Auburn Hills 10
Biên Hòa 10
Naples 10
New Delhi 10
Totale 19.935
Salva come PNG Salva come JPEG
Nome #
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 330
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions 324
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 318
A General Approach to Deadlock Freedom Verification for Software Architectures 295
A Theory of Testing for Markovian Processes 289
Synthesizing Concurrency Control Components from Process Algebraic Specifications 279
A Formal Approach to the Integrated Analysis of Security and QoS 277
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions 275
An Algebra-Based Method to Associate Rewards with EMPA Terms 270
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 269
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 267
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 265
Architectural Types Revisited: Extensible And/Or Connections 258
A Survey of Markovian Behavioral Equivalences 255
Extended Markovian Process Algebra 251
Preserving Architectural Properties in Multithreaded Code Generation 250
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems 247
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 245
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language 244
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 243
A Process Algebraic Approach to Software Architecture Design 243
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components 239
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 239
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 238
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 235
Predicting the Functional/Performance Impact of Dynamic Power Management 234
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 232
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions 231
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time 230
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems 229
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 228
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 226
Exogenous and Endogenous Extensions of Architectural Types 225
Architecting Families of Software Systems with Process Algebras 224
Component-Oriented Specification of Performance Measures 223
Implementing Symbolic Models for Value Passing in TwoTowers 221
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 221
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 220
Giving a Net Semantics to Markovian Process Algebra 219
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 219
Towards Performance Evaluation with General Distributions in Process Algebras 218
Let's Evaluate Performance, Algebraically 218
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems 217
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services 217
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 216
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems 214
Encoding Timed Models as Uniform Labeled Transition Systems 214
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time 213
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi 212
ChaRLeS: An Open-Source Chat Room Learning System 210
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 208
Non-Bisimulation-Based Markovian Behavioral Equivalences 208
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 206
On the Formalization of Architectural Types with Process Algebras 204
Modal Logic Characterization of Markovian Testing and Trace Equivalences 204
Performance Evaluation at the Software Architecture Level 204
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks 203
Markovian Testing Equivalence and Exponentially Timed Internal Actions 202
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences 202
Component-Oriented Verification of Noninterference 201
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems 201
Packetized Audio for Industrial Applications: A Simulation Study 200
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 200
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions 200
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 197
On the Usability of Process Algebra: An Architectural View 196
Reward Based Congruences: Can We Aggregate More? 195
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 195
Towards State Space Reduction Based on T-Lumpability-Consistent Relations 191
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity 189
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes 189
Performance Measure Sensitive Congruences for Markovian Process Algebras 188
A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence 188
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra 188
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 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
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 186
Formal Methods for Multicore Programming (SFM 2015) 185
Extended Markovian Process Algebra: A Case Study 184
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 184
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities 184
Integrating TwoTowers and GreatSPN through a Compact Net Semantics 184
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions 184
Formal Methods for the Design of Real-Time Systems (SFM 2004) 184
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems 181
Stochastic Process Algebras for the Analysis of Internet Protocols 179
Theory and Application of Extended Markovian Process Algebra 179
Performability Measure Specification: Combining CSRL and MSL 178
From EMPA to GSMPA: Allowing for General Distributions 177
On the Discriminating Power of Passivation and Higher-Order Interaction 175
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics 173
TwoTowers 3.0: Enhancing Usability 171
Functional and Performance Modeling and Analysis of Token Ring Using EMPA 171
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes 170
Timed Process Calculi: From Durationless Actions to Durational Ones 170
Formal Methods for Eternal Networked Software Systems (SFM 2011) 168
Formal Methods for Dynamical Systems (SFM 2013) 168
Compact Net Semantics for Process Algebras 168
Special Issue on Open Problems in Concurrency Theory 166
Totale 21.565
Salva come PNG Salva come JPEG
Categoria #
all - tutte 100.968
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 100.968
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202185 0 0 0 0 0 0 0 0 0 0 0 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.762 288 508 596 929 560 432 924 228 348 463 319 167
Totale 27.930