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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022381 0 110 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/2027103 27 76 0 0 0 0 0 0 0 0 0 0
Totale 3.110