Sessa, Mirko
 Distribuzione geografica
Continente #
NA - Nord America 125
EU - Europa 93
AS - Asia 69
SA - Sud America 28
AF - Africa 3
Totale 318
Nazione #
US - Stati Uniti d'America 122
RU - Federazione Russa 29
DE - Germania 27
BR - Brasile 23
SG - Singapore 18
CN - Cina 17
VN - Vietnam 12
HK - Hong Kong 9
UA - Ucraina 9
FR - Francia 6
IT - Italia 5
FI - Finlandia 4
GB - Regno Unito 4
IE - Irlanda 3
IN - India 3
NL - Olanda 3
ZA - Sudafrica 3
ID - Indonesia 2
LB - Libano 2
SA - Arabia Saudita 2
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CA - Canada 1
CO - Colombia 1
EC - Ecuador 1
EE - Estonia 1
IQ - Iraq 1
JP - Giappone 1
MX - Messico 1
PL - Polonia 1
SE - Svezia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
VE - Venezuela 1
Totale 318
Città #
Jacksonville 21
Chandler 11
Singapore 11
Wilmington 10
Ashburn 9
Hong Kong 9
Beijing 8
New York 8
Dallas 6
Los Angeles 6
Moscow 6
São Paulo 5
The Dalles 5
Boardman 4
Dearborn 4
Hanoi 4
Trento 4
Dong Ket 3
Dublin 3
Guangzhou 3
Hefei 3
Helsinki 3
Johannesburg 3
Kronberg 3
Atlanta 2
Chicago 2
Falkenstein 2
Vitória da Conquista 2
Acarape 1
Aracati 1
Baku 1
Boston 1
Caxias do Sul 1
Caçapava 1
Cañuelas 1
Contagem 1
Costa Mesa 1
Da Nang 1
Dammam 1
Denpasar 1
Diadema 1
Ferrara 1
Frankfurt am Main 1
Goiânia 1
Greensboro 1
Guanambi 1
Ha Long 1
Hangzhou 1
Hanover 1
Ho Chi Minh City 1
Ibitinga 1
Indaiatuba 1
Itaju do Colônia 1
La Victoria 1
Luziânia 1
Maldonado 1
Maringá 1
Medellín 1
Norwalk 1
Nuremberg 1
Phoenix 1
Phủ Lý 1
Poplar 1
Querétaro 1
Riobamba 1
Riyadh 1
Russas 1
San Francisco 1
San Juan 1
Seattle 1
Sulaymaniyah 1
Taboão da Serra 1
Tallinn 1
Thái Nguyên 1
Tianjin 1
Tokyo 1
Toronto 1
Uberlândia 1
Totale 210
Nome #
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 127
SMT-based analysis of switching multi-domain linear Kirchhoff networks 108
From Electrical Switched Networks to Hybrid Automata 96
Totale 331
Categoria #
all - tutte 1.657
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 1.657


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202114 0 0 0 0 0 0 5 0 2 3 0 4
2021/202212 0 0 0 1 0 0 2 5 1 0 0 3
2022/202333 1 2 2 4 0 3 1 0 12 2 4 2
2023/202424 4 1 1 0 1 2 0 3 6 1 1 4
2024/202576 1 1 4 2 2 4 1 3 29 10 12 7
2025/202687 7 17 17 32 13 1 0 0 0 0 0 0
Totale 331