statistiche ricercatore

Continente	#
AS - Asia	543
NA - Nord America	446
EU - Europa	272
SA - Sud America	67
Continente sconosciuto - Info sul continente non disponibili	56
AF - Africa	11
OC - Oceania	1
Totale	1.396

Nazione	#
US - Stati Uniti d'America	425
SG - Singapore	174
CN - Cina	170
IT - Italia	126
HK - Hong Kong	63
BR - Brasile	54
KR - Corea	51
VN - Vietnam	33
RU - Federazione Russa	32
NL - Olanda	23
BD - Bangladesh	17
DE - Germania	17
GB - Regno Unito	16
PL - Polonia	14
FR - Francia	12
FI - Finlandia	10
IN - India	10
CA - Canada	8
ES - Italia	5
MX - Messico	5
ZA - Sudafrica	5
SA - Arabia Saudita	4
SE - Svezia	4
TR - Turchia	4
AR - Argentina	3
CH - Svizzera	3
CR - Costa Rica	3
HN - Honduras	3
JP - Giappone	3
PY - Paraguay	3
SN - Senegal	3
AT - Austria	2
BO - Bolivia	2
EC - Ecuador	2
IE - Irlanda	2
IR - Iran	2
JO - Giordania	2
LT - Lituania	2
UA - Ucraina	2
VE - Venezuela	2
AE - Emirati Arabi Uniti	1
AU - Australia	1
AZ - Azerbaigian	1
BB - Barbados	1
BE - Belgio	1
BS - Bahamas	1
CO - Colombia	1
CZ - Repubblica Ceca	1
EG - Egitto	1
GE - Georgia	1
ID - Indonesia	1
IL - Israele	1
KE - Kenya	1
KH - Cambogia	1
LB - Libano	1
NP - Nepal	1
PH - Filippine	1
TN - Tunisia	1
UZ - Uzbekistan	1
XK - ???statistics.table.value.countryCode.XK???	1
Totale	1.341

Nome	#
A Monoidal View on Fixpoint Checks	108
(Un)Decidability for History Preserving True Concurrent Logics	107
Systems of Fixpoint Equations: Abstraction, Games, Up-To Techniques and Local Algorithms	105
Model Checking a Logic for True Concurrency	103
Behavioural logics for configuration structures	92
Fixpoint theory – upside down	90
Characterising Spectra of Equivalences for Event Structures, Logically	90
Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling	88
A Lattice-Theoretical View of Strategy Iteration	86
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations	84
A Monoidal View on Fixpoint Checks	81
FIXPOINT THEORY -- UPSIDE DOWN	80
Fixpoint games on continuous lattices	78
Local model checking in a logic for true concurrency	55
Relating some logics for true concurrency	54
Automata for true concurrency properties	41
Approximating Fixpoints of Approximated Functions	36
Machine learning and symbolic regression for interpretable PM10 estimation in urban air quality monitoring	18
Totale	1.396

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2022/2023	3	0	0	0	0	0	0	0	0	0	0	3	0
2023/2024	129	3	0	16	24	8	9	10	41	0	5	5	8
2024/2025	294	1	5	18	13	26	26	88	8	9	38	34	28
2025/2026	815	89	71	77	60	51	75	128	27	63	89	25	60
2026/2027	155	50	65	40	0	0	0	0	0	0	0	0	0
Totale													1.396

ArTS Archivio della ricerca di Trieste