IRIS
Budde, Carlos Esteban
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 853
EU - Europa 370
AS - Asia 221
SA - Sud America 56
AF - Africa 8
Totale 1.508
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 843
IT - Italia 171
SG - Singapore 132
RU - Federazione Russa 65
BR - Brasile 54
CN - Cina 41
BG - Bulgaria 36
GB - Regno Unito 30
ID - Indonesia 20
DE - Germania 19
FI - Finlandia 12
DK - Danimarca 10
CA - Canada 9
FR - Francia 8
HK - Hong Kong 7
NL - Olanda 7
JO - Giordania 5
PK - Pakistan 4
BE - Belgio 3
GR - Grecia 3
IN - India 3
IQ - Iraq 2
LK - Sri Lanka 2
LT - Lituania 2
MA - Marocco 2
ZA - Sudafrica 2
AR - Argentina 1
AT - Austria 1
BB - Barbados 1
CL - Cile 1
DZ - Algeria 1
GA - Gabon 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KR - Corea 1
PL - Polonia 1
SE - Svezia 1
SN - Senegal 1
TR - Turchia 1
UA - Ucraina 1
VN - Vietnam 1
Totale 1.508
Salva come PNG Salva come JPEG
Città #
Chandler 104
Trento 93
San Mateo 87
Singapore 79
Santa Clara 77
Columbus 53
New York 53
Fairfield 51
Princeton 50
Sofia 36
Ashburn 31
Moscow 27
San Diego 21
Wilmington 21
Jakarta 20
Los Angeles 19
Chicago 18
Houston 14
London 14
Seattle 12
Cambridge 11
Helsinki 10
Ann Arbor 9
Bassano del Grappa 9
Hefei 8
Verona 8
Washington 8
Hong Kong 7
Rome 6
Elk Grove Village 5
Falkenstein 5
Brooklyn 4
Falls Church 4
Florence 4
Norwalk 4
Paris 4
Buffalo 3
Caserta 3
Dallas 3
Milan 3
Prescot 3
Salt Lake City 3
Tampa 3
Vicenza 3
Woodbridge 3
Albignasego 2
Amman 2
Atlanta 2
Bagé 2
Belo Horizonte 2
Boardman 2
Boston 2
Brussels 2
Comabbio 2
Como 2
Frankfurt am Main 2
Guarulhos 2
Johannesburg 2
Karachi 2
Kongens Lyngby 2
Lappeenranta 2
Manaus 2
Miami 2
Nanning 2
Negrar 2
Ottawa 2
Ragama 2
Recife 2
Regensburg 2
South Bend 2
Sterling 2
Surrey 2
São Paulo 2
Toronto 2
Wandsworth 2
Xi'an 2
Acqui Terme 1
Ananindeua 1
Aparecida de Goiânia 1
Bacabal 1
Bari 1
Betim 1
Bishkek 1
Bridgetown 1
Campo Formoso Municipality 1
Canaã dos Carajás 1
Cangzhou 1
Changsha 1
Charlotte 1
Charlottesville 1
Chengdu 1
Chiswick 1
Contagem 1
Council Bluffs 1
Cruz 1
Curitiba 1
Córdoba 1
Daiano 1
Dakar 1
Duisburg 1
Totale 1.099
Salva come PNG Salva come JPEG
Nome #
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report 95
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 68
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 66
A compositional semantics for Repairable Fault Trees with general distributions 64
An efficient statistical model checker for nondeterminism and rare events 63
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 62
Automated compositional importance splitting 61
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 60
The Marriage Between Safety and Cybersecurity: Still Practicing 59
The Dynamic Fault Tree Rare Event Simulator 58
Efficient Algorithms for Quantitative Attack Tree Analysis 57
FFORT: A Benchmark Suite for Fault Tree Analysis 55
FIG: The Finite Improbability Generator 55
A Maturity Assessment Model for Cyber Security Education in Europe 54
Consolidating cybersecurity in Europe: A case study on job profiles assessment 53
Enhanced transport through desorption-mediated diffusion 47
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems 46
Replicating RESTART with Prolonged Retrials: An Experimental Report 44
Better Automated Importance Splitting for Transient Rare Events 44
JANI: Quantitative Model and Tool Interaction 43
Automation of Importance Splitting Techniques for Rare Event Simulation 43
Rare Event Simulation for Non-Markovian Repairable Fault Trees 42
Analysis of non-Markovian repairable fault trees through rare event simulation 41
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 39
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth 38
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 37
Using Statistical Model Checking for Cybersecurity Analysis 36
A statistical model checker for nondeterminism and rare events 35
FIG: the Finite Improbability Generator v1.3 34
Rare Event Simulation with fully automated importance splitting 34
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 34
Modelling Smart Buildings Using Fault Maintenance Trees 31
The Road from Stochastic Automata to the Simulation of Rare Events 30
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 20
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe 5
Totale 1.653
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.330
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 401
Totale 14.731
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/2025643 20 6 9 124 41 113 13 31 55 103 103 25
Totale 1.653