statistiche ricercatore

Continente	#
AS - Asia	542
NA - Nord America	392
EU - Europa	245
SA - Sud America	67
Continente sconosciuto - Info sul continente non disponibili	54
AF - Africa	11
OC - Oceania	1
Totale	1.312

Nazione	#
US - Stati Uniti d'America	374
SG - Singapore	174
CN - Cina	169
IT - Italia	101
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	15
PL - Polonia	14
FR - Francia	12
FI - Finlandia	10
IN - India	10
CA - Canada	7
ES - Italia	5
MX - Messico	5
ZA - Sudafrica	5
SA - Arabia Saudita	4
TR - Turchia	4
AR - Argentina	3
CH - Svizzera	3
CR - Costa Rica	3
JP - Giappone	3
PY - Paraguay	3
SE - Svezia	3
SN - Senegal	3
AT - Austria	2
BO - Bolivia	2
EC - Ecuador	2
HN - Honduras	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
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.259

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

	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	71	50	21	0	0	0	0	0	0	0	0	0	0
Totale													1.312

ArTS Archivio della ricerca di Trieste