IRIS
Mover, Sergio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 834
AS - Asia 384
EU - Europa 223
SA - Sud America 70
Continente sconosciuto - Info sul continente non disponibili 18
AF - Africa 10
OC - Oceania 2
Totale 1.541
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 812
SG - Singapore 156
VN - Vietnam 88
CN - Cina 64
BR - Brasile 54
IT - Italia 54
RU - Federazione Russa 42
DE - Germania 21
FR - Francia 21
KR - Corea 19
FI - Finlandia 17
GB - Regno Unito 14
LV - Lettonia 12
SE - Svezia 12
IN - India 10
CA - Canada 9
HK - Hong Kong 8
JO - Giordania 7
NL - Olanda 7
AR - Argentina 6
BG - Bulgaria 6
MX - Messico 6
TR - Turchia 5
UZ - Uzbekistan 5
ID - Indonesia 4
LT - Lituania 4
ZA - Sudafrica 4
CL - Cile 3
CR - Costa Rica 3
EC - Ecuador 3
JP - Giappone 3
UA - Ucraina 3
AT - Austria 2
AU - Australia 2
CO - Colombia 2
EG - Egitto 2
IE - Irlanda 2
KE - Kenya 2
KZ - Kazakistan 2
MY - Malesia 2
PK - Pakistan 2
PL - Polonia 2
SA - Arabia Saudita 2
BD - Bangladesh 1
BE - Belgio 1
GT - Guatemala 1
IQ - Iraq 1
JM - Giamaica 1
KG - Kirghizistan 1
LB - Libano 1
MA - Marocco 1
MC - Monaco 1
MT - Malta 1
PA - Panama 1
PH - Filippine 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
VE - Venezuela 1
Totale 1.523
Salva come PNG Salva come JPEG
Città #
Ashburn 130
Chandler 102
Singapore 85
San Jose 57
Dallas 38
Santa Clara 35
Columbus 25
Fairfield 24
Hanoi 23
Ho Chi Minh City 22
Princeton 22
Los Angeles 20
New York 19
Seoul 19
Council Bluffs 18
Helsinki 16
Woodbridge 16
Houston 15
Beijing 14
Washington 14
Moscow 13
Lauterbourg 12
Riga 12
San Mateo 10
Milan 9
Wilmington 9
Hong Kong 8
Cambridge 7
Chicago 7
Munich 7
Phoenix 7
Como 6
Haiphong 6
The Dalles 6
Brooklyn 5
Rome 5
Sofia 5
Toronto 5
Cagliari 4
Da Nang 4
Frankfurt am Main 4
London 4
Norwalk 4
Rio de Janeiro 4
San Diego 4
Seattle 4
Tashkent 4
Trento 4
Amsterdam 3
Boardman 3
Buffalo 3
Chengdu 3
Falkenstein 3
Jingmen 3
Johannesburg 3
Massy 3
Pittsburgh 3
Redondo Beach 3
San Francisco 3
San José 3
Shanghai 3
Stockholm 3
São Paulo 3
Thái Bình 3
Ankara 2
Augusta 2
Bologna 2
Charlotte 2
Chennai 2
Curitiba 2
Denver 2
Dublin 2
Go Vap 2
Hải Dương 2
Istanbul 2
Jacksonville 2
Lahore 2
Lấp Vò 2
Milwaukee 2
Nairobi 2
New Delhi 2
Nha Trang 2
Palhoça 2
Petaling Jaya 2
Phủ Từ Sơn 2
Pittsburg 2
Quito 2
Raleigh 2
Saarbrücken 2
San Paolo di Civitate 2
Severn 2
Thái Nguyên 2
Tianjin 2
Tokyo 2
Warsaw 2
Acton 1
Agadir 1
Almaty 1
Americana 1
Amman 1
Totale 1.008
Salva come PNG Salva come JPEG
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 201
Formal Verification of Infinite-State BIP Models 167
Verification of Hybrid Systems using Satisfiability Modulo Theories 140
Safety Assessment of AltaRica Models via Symbolic Model Checking 132
HYCOMP - an SMT-based model checker for hybrid systems 125
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 124
IC3 Modulo Theories via Implicit Predicate Abstraction 112
Model Checking and Safety Assessment of Altarica models 107
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 98
Infinite-state invariant checking with IC3 and predicate abstraction 92
Parameter Synthesis with IC3 88
Verifying LTL Properties of Hybrid Systems with K-Liveness 84
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 71
Totale 1.541
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.070
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 8.070
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202264 0 0 0 3 4 3 0 19 4 2 13 16
2022/2023179 15 26 2 29 17 25 0 11 30 4 16 4
2023/2024100 7 7 11 7 17 21 8 4 1 5 3 9
2024/2025263 4 2 14 53 13 47 2 16 17 50 35 10
2025/2026645 31 15 89 98 74 37 128 12 46 69 15 31
2026/2027191 17 30 68 76 0 0 0 0 0 0 0 0
Totale 1.541