Sessa, Mirko
 Distribuzione geografica
Continente #
EU - Europa 168
NA - Nord America 145
AS - Asia 90
SA - Sud America 34
AF - Africa 4
Totale 441
Nazione #
US - Stati Uniti d'America 142
RU - Federazione Russa 97
DE - Germania 30
SG - Singapore 28
BR - Brasile 27
CN - Cina 17
VN - Vietnam 16
HK - Hong Kong 10
UA - Ucraina 9
FR - Francia 8
IT - Italia 5
FI - Finlandia 4
GB - Regno Unito 4
IN - India 4
NL - Olanda 4
IE - Irlanda 3
SA - Arabia Saudita 3
ZA - Sudafrica 3
AR - Argentina 2
BD - Bangladesh 2
ID - Indonesia 2
LB - Libano 2
SE - Svezia 2
AZ - Azerbaigian 1
CA - Canada 1
CL - Cile 1
CO - Colombia 1
EC - Ecuador 1
EE - Estonia 1
IQ - Iraq 1
JP - Giappone 1
MA - Marocco 1
MX - Messico 1
PH - Filippine 1
PL - Polonia 1
TH - Thailandia 1
TR - Turchia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
VE - Venezuela 1
Totale 441
Città #
Jacksonville 21
San Jose 16
Singapore 12
Chandler 11
Ashburn 10
Hong Kong 10
Wilmington 10
Beijing 8
New York 8
Los Angeles 7
Dallas 6
Hanoi 6
Moscow 6
São Paulo 5
The Dalles 5
Boardman 4
Dearborn 4
Trento 4
Dong Ket 3
Dublin 3
Guangzhou 3
Hefei 3
Helsinki 3
Johannesburg 3
Kronberg 3
Atlanta 2
Chicago 2
Falkenstein 2
Kaiserslautern 2
Lauterbourg 2
Riyadh 2
Vitória da Conquista 2
Acarape 1
Agadir 1
Amsterdam 1
Aracati 1
Baku 1
Bangkok 1
Biñan 1
Boston 1
Bắc Ninh 1
Can Tho 1
Caxias do Sul 1
Caçapava 1
Cañuelas 1
Chennai 1
Contagem 1
Coronel 1
Costa Mesa 1
Da Nang 1
Dammam 1
Denpasar 1
Denver 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
Holambra 1
Ibitinga 1
Indaiatuba 1
Istanbul 1
Itaju do Colônia 1
Ituzaingó 1
La Victoria 1
Limeira 1
Luziânia 1
Maldonado 1
Manaus 1
Maringá 1
Medellín 1
Mirassol 1
Norwalk 1
Nuremberg 1
Orem 1
Phoenix 1
Phủ Lý 1
Poplar 1
Querétaro 1
Riobamba 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
Weingarten 1
Totale 254
Nome #
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 177
SMT-based analysis of switching multi-domain linear Kirchhoff networks 145
From Electrical Switched Networks to Hybrid Automata 132
Totale 454
Categoria #
all - tutte 1.853
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.853


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 0 0 0 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/2026210 7 17 17 32 13 6 23 72 11 12 0 0
Totale 454