Sessa, Mirko
 Distribuzione geografica
Continente #
NA - Nord America 78
EU - Europa 55
AS - Asia 32
Totale 165
Nazione #
US - Stati Uniti d'America 78
DE - Germania 22
CN - Cina 9
UA - Ucraina 9
HK - Hong Kong 8
SG - Singapore 6
FR - Francia 5
FI - Finlandia 4
RU - Federazione Russa 4
GB - Regno Unito 3
IE - Irlanda 3
IN - India 3
IT - Italia 3
VN - Vietnam 3
LB - Libano 2
AZ - Azerbaigian 1
EE - Estonia 1
SE - Svezia 1
Totale 165
Città #
Jacksonville 21
Chandler 11
Wilmington 10
Hong Kong 8
Beijing 5
Singapore 5
Boardman 4
Dearborn 4
Dong Ket 3
Dublin 3
Guangzhou 3
Helsinki 3
Kronberg 3
New York 2
Trento 2
Baku 1
Costa Mesa 1
Ferrara 1
Hanover 1
Los Angeles 1
Norwalk 1
Seattle 1
Tallinn 1
Totale 95
Nome #
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 79
From Electrical Switched Networks to Hybrid Automata 53
SMT-based analysis of switching multi-domain linear Kirchhoff networks 46
Totale 178
Categoria #
all - tutte 1.077
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.077


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202031 0 0 0 0 8 4 4 0 4 5 6 0
2020/202130 4 0 6 1 5 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/202510 1 1 4 2 2 0 0 0 0 0 0 0
Totale 178