statistiche ricercatore

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

Nazione	#
US - Stati Uniti d'America	425
SG - Singapore	174
CN - Cina	170
IT - Italia	108
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.323

Nome	#
A Monoidal View on Fixpoint Checks	107
(Un)Decidability for History Preserving True Concurrent Logics	106
Systems of Fixpoint Equations: Abstraction, Games, Up-To Techniques and Local Algorithms	104
Model Checking a Logic for True Concurrency	102
Behavioural logics for configuration structures	91
Fixpoint theory – upside down	89
Characterising Spectra of Equivalences for Event Structures, Logically	89
Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling	87
A Lattice-Theoretical View of Strategy Iteration	85
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations	83
A Monoidal View on Fixpoint Checks	80
FIXPOINT THEORY -- UPSIDE DOWN	79
Fixpoint games on continuous lattices	77
Local model checking in a logic for true concurrency	54
Relating some logics for true concurrency	53
Automata for true concurrency properties	40
Approximating Fixpoints of Approximated Functions	35
Machine learning and symbolic regression for interpretable PM10 estimation in urban air quality monitoring	17
Totale	1.378

	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	137	50	65	22	0	0	0	0	0	0	0	0	0
Totale													1.378

ArTS Archivio della ricerca di Trieste