IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.848
AS - Asia 756
EU - Europa 581
Continente sconosciuto - Info sul continente non disponibili 148
SA - Sud America 129
AF - Africa 16
Totale 3.478
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.770
SG - Singapore 303
IT - Italia 253
VN - Vietnam 176
CN - Cina 111
BR - Brasile 106
RU - Federazione Russa 74
CA - Canada 49
KR - Corea 49
GB - Regno Unito 47
FR - Francia 39
BG - Bulgaria 36
LV - Lettonia 29
HK - Hong Kong 27
DE - Germania 25
ID - Indonesia 21
NL - Olanda 16
FI - Finlandia 15
DK - Danimarca 13
IN - India 13
AR - Argentina 9
BD - Bangladesh 8
MX - Messico 7
PL - Polonia 7
IQ - Iraq 6
JO - Giordania 6
UA - Ucraina 6
CO - Colombia 5
JM - Giamaica 5
PH - Filippine 5
PK - Pakistan 5
BE - Belgio 4
IR - Iran 4
MA - Marocco 4
CR - Costa Rica 3
EC - Ecuador 3
ES - Italia 3
GP - Guadalupe 3
GR - Grecia 3
JP - Giappone 3
KG - Kirghizistan 3
LT - Lituania 3
PY - Paraguay 3
SE - Svezia 3
TR - Turchia 3
TT - Trinidad e Tobago 3
UZ - Uzbekistan 3
ZA - Sudafrica 3
DZ - Algeria 2
KE - Kenya 2
LK - Sri Lanka 2
NP - Nepal 2
PR - Porto Rico 2
SA - Arabia Saudita 2
VE - Venezuela 2
AO - Angola 1
AT - Austria 1
BB - Barbados 1
CL - Cile 1
CW - ???statistics.table.value.countryCode.CW??? 1
CZ - Repubblica Ceca 1
DM - Dominica 1
EG - Egitto 1
GA - Gabon 1
GD - Grenada 1
GT - Guatemala 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
LB - Libano 1
LU - Lussemburgo 1
MY - Malesia 1
NO - Norvegia 1
SN - Senegal 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
Totale 3.331
Salva come PNG Salva come JPEG
Città #
Ashburn 245
Singapore 198
San Jose 163
Chandler 104
Santa Clara 99
Trento 93
San Mateo 87
Dallas 73
New York 65
Columbus 62
Ho Chi Minh City 55
Fairfield 51
Hanoi 50
Princeton 50
Los Angeles 49
Seoul 48
Council Bluffs 41
Sofia 36
Chicago 32
Riga 29
Moscow 28
The Dalles 28
Lauterbourg 26
Hong Kong 22
Wilmington 22
San Diego 21
Jakarta 20
Houston 17
Milan 17
Rome 16
Seattle 15
London 14
Buffalo 13
Toronto 13
Verona 13
Helsinki 12
Cambridge 11
Phoenix 10
Washington 10
Ann Arbor 9
Bassano del Grappa 9
Boston 9
Brooklyn 9
Da Nang 9
Elk Grove Village 9
St Louis 9
Atlanta 8
Beijing 8
Haiphong 8
Hefei 8
Orem 8
Tampa 7
Warsaw 7
Boardman 6
Montreal 6
Salt Lake City 6
Denver 5
Falkenstein 5
Florence 5
Frankfurt am Main 5
Slough 5
Amsterdam 4
Falls Church 4
Guangzhou 4
Guarulhos 4
Las Vegas 4
Naples 4
Norwalk 4
Ottawa 4
Paris 4
São Paulo 4
Albignasego 3
Amman 3
Baghdad 3
Bishkek 3
Bologna 3
Brussels 3
Caserta 3
Hải Dương 3
Manaus 3
Miami 3
Miano 3
Newark 3
Phú Nhuận 3
Prato 3
Prescot 3
Quảng Ngãi 3
Redondo Beach 3
Rio de Janeiro 3
Shijiazhuang 3
Stockholm 3
Turin 3
Vicenza 3
Woodbridge 3
Xi'an 3
Albany 2
Ancona 2
Ashland 2
Bagé 2
Belo Horizonte 2
Totale 2.240
Salva come PNG Salva come JPEG
Nome #
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report 168
Consolidating cybersecurity in Europe: A case study on job profiles assessment 148
An efficient statistical model checker for nondeterminism and rare events 141
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 137
FFORT: A Benchmark Suite for Fault Tree Analysis 136
Automated compositional importance splitting 136
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 133
FIG: The Finite Improbability Generator 125
A compositional semantics for Repairable Fault Trees with general distributions 119
A Maturity Assessment Model for Cyber Security Education in Europe 115
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 109
Efficient Algorithms for Quantitative Attack Tree Analysis 109
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 108
Using Statistical Model Checking for Cybersecurity Analysis 106
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 106
Analysis of non-Markovian repairable fault trees through rare event simulation 104
Enhanced transport through desorption-mediated diffusion 104
The Dynamic Fault Tree Rare Event Simulator 101
The Marriage Between Safety and Cybersecurity: Still Practicing 101
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 96
Replicating RESTART with Prolonged Retrials: An Experimental Report 90
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 89
Rare Event Simulation for Non-Markovian Repairable Fault Trees 88
Rare Event Simulation with fully automated importance splitting 87
Automation of Importance Splitting Techniques for Rare Event Simulation 87
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 83
JANI: Quantitative Model and Tool Interaction 82
Better Automated Importance Splitting for Transient Rare Events 77
A statistical model checker for nondeterminism and rare events 73
FIG: the Finite Improbability Generator v1.3 68
Modelling Smart Buildings Using Fault Maintenance Trees 68
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 65
The Road from Stochastic Automata to the Simulation of Rare Events 57
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 57
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe 5
Totale 3.478
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.442
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 544
Totale 20.986
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022271 0 0 0 0 1 7 23 154 9 8 17 52
2022/2023360 53 18 3 15 64 82 6 28 65 3 17 6
2023/2024269 8 11 24 11 27 79 3 8 11 49 11 27
2024/2025644 20 6 9 124 41 113 13 31 55 103 103 26
2025/20261.353 115 30 184 138 119 94 313 40 98 124 33 65
2026/2027471 27 78 150 215 1 0 0 0 0 0 0 0
Totale 3.478