Dubbioso, Sara
 Distribuzione geografica
Continente #
NA - Nord America 34
AS - Asia 24
SA - Sud America 17
EU - Europa 13
AF - Africa 3
Totale 91
Nazione #
US - Stati Uniti d'America 33
BR - Brasile 15
SG - Singapore 12
CN - Cina 6
FR - Francia 5
IT - Italia 5
VN - Vietnam 4
ID - Indonesia 2
CA - Canada 1
DE - Germania 1
DZ - Algeria 1
ES - Italia 1
GB - Regno Unito 1
MA - Marocco 1
PE - Perù 1
UY - Uruguay 1
ZA - Sudafrica 1
Totale 91
Città #
Memphis 8
New York 5
San Jose 5
Singapore 5
Council Bluffs 3
Ho Chi Minh City 3
Blois 2
Dallas 2
Lauterbourg 2
Reggio Emilia 2
Santa Clara 2
Americana 1
Augusta 1
Balneário Camboriú 1
Balsas 1
Bisceglie 1
Camaquã 1
Catanduva 1
Chalon-sur-Saône 1
Curitiba 1
Fortaleza 1
Guanambi 1
Hanoi 1
Içara 1
Kenitra 1
Lima 1
London 1
Los Angeles 1
Marbella 1
Millbury 1
Montreal 1
Nuremberg 1
Paranaguá 1
Pasadena 1
Pedra Azul 1
Punta del Este 1
Purbalingga 1
Rio de Janeiro 1
Sanclerlândia 1
Seriate 1
Stellenbosch 1
Tampa 1
Tangerang 1
Teresina 1
Valdagno 1
Valparaíso de Goiás 1
Winfield 1
Totale 75
Nome #
Verification of K-step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled with Petri Nets 65
Sequence-based Vs Observer-based Approaches to Verify Current-State Opacity: A Benchmark Case 17
An Optimization Approach to Current State Opacity Assessment 13
A Sequence-Based Approach for the Verification of Current-State Opacity in Bounded Discrete Event Systems 1
Totale 96
Categoria #
all - tutte 294
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 294


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/20252 0 0 0 0 0 0 0 0 0 0 0 2
2025/202694 1 6 7 15 9 9 11 1 4 13 17 1
Totale 96