statistiche ricercatore

Continente	#
NA - Nord America	483
EU - Europa	475
AS - Asia	350
SA - Sud America	56
Continente sconosciuto - Info sul continente non disponibili	23
AF - Africa	20
OC - Oceania	2
Totale	1.409

Nazione	#
US - Stati Uniti d'America	456
RU - Federazione Russa	297
SG - Singapore	175
IT - Italia	80
CN - Cina	52
BR - Brasile	45
VN - Vietnam	40
HK - Hong Kong	37
GB - Regno Unito	18
FR - Francia	16
DE - Germania	13
KR - Corea	12
CA - Canada	10
IE - Irlanda	10
FI - Finlandia	9
SE - Svezia	9
MX - Messico	7
NL - Olanda	7
ZA - Sudafrica	6
AR - Argentina	5
BD - Bangladesh	5
JP - Giappone	5
TR - Turchia	5
BJ - Benin	4
TG - Togo	4
IN - India	3
IQ - Iraq	3
NG - Nigeria	3
SA - Arabia Saudita	3
UA - Ucraina	3
AT - Austria	2
AU - Australia	2
CR - Costa Rica	2
EC - Ecuador	2
ES - Italia	2
LT - Lituania	2
MY - Malesia	2
PH - Filippine	2
PL - Polonia	2
SV - El Salvador	2
UZ - Uzbekistan	2
VE - Venezuela	2
AD - Andorra	1
AE - Emirati Arabi Uniti	1
BE - Belgio	1
BG - Bulgaria	1
BS - Bahamas	1
CD - Congo	1
CL - Cile	1
CW - ???statistics.table.value.countryCode.CW???	1
GD - Grenada	1
GT - Guatemala	1
HN - Honduras	1
HR - Croazia	1
IL - Israele	1
KZ - Kazakistan	1
LV - Lettonia	1
MA - Marocco	1
NI - Nicaragua	1
PE - Perù	1
PK - Pakistan	1
PR - Porto Rico	1
RE - Reunion	1
Totale	1.387

Nome	#
A computable and compositional semantics for hybrid systems	163
A higher order method for input-affine uncertain systems	163
Rigorous continuous evolution of uncertain systems	126
Automating Numerical Parameters Along the Evolution of a Nonlinear System	125
Recent Results on Computable and Compositional Semantics for Hybrid Systems	124
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics	112
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics	107
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties	105
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics	98
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics	98
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics	95
Rigorous Function Calculi in Ariadne	62
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics	31
Totale	1.409

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	5	0	0	0	0	1	0	0	1	1	0	0	2
2022/2023	48	1	1	1	0	10	10	7	13	4	0	1	0
2023/2024	51	6	6	6	3	4	7	4	1	0	5	7	2
2024/2025	243	8	8	8	45	10	12	4	28	34	25	21	40
2025/2026	889	50	45	48	166	274	52	80	40	50	61	11	12
2026/2027	150	5	21	38	78	8	0	0	0	0	0	0	0
Totale													1.409

CATALOGO DEI PRODOTTI DELLA RICERCA