Sessa, Mirko
 Distribuzione geografica
Continente #
EU - Europa 89
NA - Nord America 83
AS - Asia 39
SA - Sud America 4
Totale 215
Nazione #
US - Stati Uniti d'America 83
RU - Federazione Russa 29
DE - Germania 26
CN - Cina 11
SG - Singapore 11
UA - Ucraina 9
HK - Hong Kong 8
FR - Francia 5
IT - Italia 5
FI - Finlandia 4
BR - Brasile 3
GB - Regno Unito 3
IE - Irlanda 3
IN - India 3
NL - Olanda 3
VN - Vietnam 3
LB - Libano 2
AR - Argentina 1
AZ - Azerbaigian 1
EE - Estonia 1
SE - Svezia 1
Totale 215
Città #
Jacksonville 21
Chandler 11
Wilmington 10
Hong Kong 8
Singapore 7
Beijing 6
Moscow 6
The Dalles 5
Boardman 4
Dearborn 4
Trento 4
Dong Ket 3
Dublin 3
Guangzhou 3
Helsinki 3
Kronberg 3
Falkenstein 2
New York 2
Baku 1
Cañuelas 1
Contagem 1
Costa Mesa 1
Ferrara 1
Frankfurt am Main 1
Hanover 1
Los Angeles 1
Norwalk 1
Seattle 1
São Paulo 1
Taboão da Serra 1
Tallinn 1
Tianjin 1
Totale 119
Nome #
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 97
From Electrical Switched Networks to Hybrid Automata 68
SMT-based analysis of switching multi-domain linear Kirchhoff networks 63
Totale 228
Categoria #
all - tutte 1.311
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.311


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20206 0 0 0 0 0 0 0 0 0 0 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/202560 1 1 4 2 2 4 1 3 29 10 3 0
Totale 228