Sessa, Mirko
 Distribuzione geografica
Continente #
EU - Europa 89
NA - Nord America 84
AS - Asia 40
SA - Sud America 7
Totale 220
Nazione #
US - Stati Uniti d'America 84
RU - Federazione Russa 29
DE - Germania 26
CN - Cina 11
SG - Singapore 11
UA - Ucraina 9
HK - Hong Kong 8
BR - Brasile 6
FR - Francia 5
IT - Italia 5
FI - Finlandia 4
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
BD - Bangladesh 1
EE - Estonia 1
SE - Svezia 1
Totale 220
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
Chicago 1
Contagem 1
Costa Mesa 1
Ferrara 1
Frankfurt am Main 1
Goiânia 1
Hanover 1
Los Angeles 1
Norwalk 1
Russas 1
Seattle 1
São Paulo 1
Taboão da Serra 1
Tallinn 1
Tianjin 1
Vitória da Conquista 1
Totale 123
Nome #
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 100
From Electrical Switched Networks to Hybrid Automata 69
SMT-based analysis of switching multi-domain linear Kirchhoff networks 64
Totale 233
Categoria #
all - tutte 1.339
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.339


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/202565 1 1 4 2 2 4 1 3 29 10 8 0
Totale 233