IRIS
BERNARDO, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.698
EU - Europa 6.937
AS - Asia 5.587
Continente sconosciuto - Info sul continente non disponibili 648
SA - Sud America 486
AF - Africa 95
OC - Oceania 31
AN - Antartide 1
Totale 29.483
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.473
CN - Cina 2.641
GB - Regno Unito 2.109
SG - Singapore 1.716
UA - Ucraina 1.119
IT - Italia 897
SE - Svezia 557
RU - Federazione Russa 527
TR - Turchia 516
FI - Finlandia 425
DE - Germania 385
BR - Brasile 360
FR - Francia 270
IE - Irlanda 243
PL - Polonia 207
VN - Vietnam 176
CA - Canada 115
IN - India 97
BD - Bangladesh 86
JP - Giappone 72
HK - Hong Kong 71
AR - Argentina 49
MX - Messico 35
EU - Europa 32
TG - Togo 32
BE - Belgio 31
AU - Australia 28
ES - Italia 28
ZA - Sudafrica 27
NL - Olanda 26
KR - Corea 24
CO - Colombia 23
AT - Austria 20
EC - Ecuador 20
ID - Indonesia 19
LB - Libano 19
IQ - Iraq 16
PH - Filippine 16
SA - Arabia Saudita 16
IL - Israele 15
EE - Estonia 11
VE - Venezuela 11
HN - Honduras 10
JM - Giamaica 10
PK - Pakistan 10
PY - Paraguay 10
IR - Iran 9
KE - Kenya 9
LT - Lituania 9
PT - Portogallo 9
SV - El Salvador 9
TT - Trinidad e Tobago 9
MY - Malesia 8
BG - Bulgaria 7
CH - Svizzera 7
RO - Romania 7
CZ - Repubblica Ceca 6
KZ - Kazakistan 6
MA - Marocco 6
NI - Nicaragua 6
PA - Panama 6
PR - Porto Rico 6
SM - San Marino 6
UZ - Uzbekistan 6
CR - Costa Rica 5
GT - Guatemala 5
NO - Norvegia 5
NP - Nepal 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AE - Emirati Arabi Uniti 4
CL - Cile 4
CW - ???statistics.table.value.countryCode.CW??? 4
DO - Repubblica Dominicana 4
EG - Egitto 4
JO - Giordania 4
TH - Thailandia 4
TN - Tunisia 4
AL - Albania 3
AM - Armenia 3
BA - Bosnia-Erzegovina 3
IM - Isola di Man 3
KG - Kirghizistan 3
NZ - Nuova Zelanda 3
OM - Oman 3
PE - Perù 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
UY - Uruguay 3
AZ - Azerbaigian 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
Totale 28.845
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.944
Southend 1.834
Fairfield 1.504
Ashburn 1.334
Houston 1.257
Ann Arbor 1.094
Singapore 908
Jacksonville 884
Chandler 759
San Jose 737
Cambridge 618
Seattle 595
Nanjing 552
Wilmington 546
Izmir 380
Beijing 295
Dallas 272
Council Bluffs 268
Boardman 262
New York 251
Dublin 240
Nanchang 217
Helsinki 170
Kraków 163
Los Angeles 141
Lauterbourg 136
Princeton 135
Staranzano 133
Shenyang 118
Santa Clara 110
The Dalles 109
Hebei 107
Moscow 106
Tianjin 92
Kunming 90
Düsseldorf 88
San Mateo 88
Jiaxing 80
Bremen 79
Changsha 77
Chicago 77
Hong Kong 68
Velikiy Novgorod 68
Buffalo 67
San Diego 65
Urbino 65
Jinan 62
Ho Chi Minh City 61
Shanghai 55
Des Moines 54
Rome 54
Istanbul 53
Hangzhou 47
Munich 47
Columbus 44
London 44
Orem 44
Milan 42
Tokyo 39
Guangzhou 37
Hanoi 37
São Paulo 37
Toronto 37
San Francisco 35
Phoenix 34
Lomé 32
Zhengzhou 32
Denver 30
Frankfurt am Main 30
Warsaw 30
Atlanta 28
Montreal 26
Brussels 25
Ningbo 25
Lanzhou 24
Taizhou 24
Brooklyn 23
Amsterdam 20
Chennai 20
Poplar 19
Boston 17
Johannesburg 17
Seongnam 17
Shenzhen 17
Stockholm 17
Changchun 16
Naples 16
Alba Adriatica 15
Civitanova Marche 15
Macerata 15
Melbourne 15
Ancona 13
Falls Church 13
Indiana 13
Newark 13
Washington 13
Wuppertal 13
Haikou 12
Edinburgh 11
Mexico City 11
Totale 20.723
Salva come PNG Salva come JPEG
Nome #
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 352
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions 335
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 335
A General Approach to Deadlock Freedom Verification for Software Architectures 305
A Theory of Testing for Markovian Processes 302
A Formal Approach to the Integrated Analysis of Security and QoS 289
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions 286
Synthesizing Concurrency Control Components from Process Algebraic Specifications 286
An Algebra-Based Method to Associate Rewards with EMPA Terms 280
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 275
Non-Synchronous Communications in Process Algebraic Architectural Description Languages 275
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 273
A Survey of Markovian Behavioral Equivalences 265
Architectural Types Revisited: Extensible And/Or Connections 264
Extended Markovian Process Algebra 264
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems 264
Preserving Architectural Properties in Multithreaded Code Generation 260
A Process Algebraic Approach to Software Architecture Design 259
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 258
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 253
A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components 252
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 251
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language 250
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 245
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 244
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 244
Predicting the Functional/Performance Impact of Dynamic Power Management 244
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time 241
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 238
Architecting Families of Software Systems with Process Algebras 237
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions 236
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems 235
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets 235
Component-Oriented Specification of Performance Measures 232
Exogenous and Endogenous Extensions of Architectural Types 232
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 232
Towards Performance Evaluation with General Distributions in Process Algebras 231
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services 229
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 227
Let's Evaluate Performance, Algebraically 226
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems 226
A Survey of Modal Logics Characterising Behavioural Equivalences for Non-deterministic and Stochastic Systems 226
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time 225
Giving a Net Semantics to Markovian Process Algebra 224
Implementing Symbolic Models for Value Passing in TwoTowers 224
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 223
Non-Bisimulation-Based Markovian Behavioral Equivalences 221
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 221
Encoding Timed Models as Uniform Labeled Transition Systems 219
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems 219
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 217
ChaRLeS: An Open-Source Chat Room Learning System 217
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi 216
Modal Logic Characterization of Markovian Testing and Trace Equivalences 215
Performance Evaluation at the Software Architecture Level 215
On the Formalization of Architectural Types with Process Algebras 214
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks 214
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 214
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences 214
Packetized Audio for Industrial Applications: A Simulation Study 213
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 212
Component-Oriented Verification of Noninterference 211
Markovian Testing Equivalence and Exponentially Timed Internal Actions 209
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions 206
Reward Based Congruences: Can We Aggregate More? 205
On the Usability of Process Algebra: An Architectural View 204
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 204
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 203
Towards State Space Reduction Based on T-Lumpability-Consistent Relations 201
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 199
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 198
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 198
Performance Measure Sensitive Congruences for Markovian Process Algebras 197
A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence 195
A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems 193
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity 193
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra 193
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes 193
Integrating TwoTowers and GreatSPN through a Compact Net Semantics 192
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions 192
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 192
Extended Markovian Process Algebra: A Case Study 191
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 191
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities 191
Formal Methods for Multicore Programming (SFM 2015) 190
Formal Methods for the Design of Real-Time Systems (SFM 2004) 190
Stochastic Process Algebras for the Analysis of Internet Protocols 189
Performability Measure Specification: Combining CSRL and MSL 187
Theory and Application of Extended Markovian Process Algebra 185
From EMPA to GSMPA: Allowing for General Distributions 183
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics 183
TwoTowers 3.0: Enhancing Usability 181
On the Discriminating Power of Passivation and Higher-Order Interaction 180
Functional and Performance Modeling and Analysis of Token Ring Using EMPA 179
Timed Process Calculi: From Durationless Actions to Durational Ones 177
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes 175
Compact Net Semantics for Process Algebras 172
Modeling and Analyzing Concurrent Systems with MPA 171
Formal Methods for Eternal Networked Software Systems (SFM 2011) 171
Formal Methods for Dynamical Systems (SFM 2013) 171
Totale 22.465
Salva come PNG Salva come JPEG
Categoria #
all - tutte 109.240
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 109.240
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.152 0 0 0 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.801 288 508 596 929 560 432 924 228 348 463 319 206
2026/20271.514 183 145 690 496 0 0 0 0 0 0 0 0
Totale 29.483