statistiche ricercatore

Continente	#
NA - Nord America	382
EU - Europa	315
AS - Asia	72
AF - Africa	1
Continente sconosciuto - Info sul continente non disponibili	1
Totale	771

Nome	#
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games	144
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II	86
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation	44
Hierarchical cost-parity games	41
A game-based model for human-robots interaction	41
Cycle detection in computation tree logic	34
Additional Winning Strategies in Reachability Games	34
On the Counting of Strategies	31
Hierarchical cost-parity games	29
Games with additional winning strategies	27
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm	27
Solving parity games in scala	25
Cycle Detection in Computation Tree Logic	25
Reasoning about graded strategy quantifiers	24
Model-checking graded computation-tree logic with finite path semantics	22
On promptness in parity games	21
Network Signal Comparison Through Waves Parameters: A Local-Alignment-Based Approach	21
Hiding actions in multi-player games	21
On Promptness in Parity Games	20
Graded CTL* over Finite Paths	20
A Smart Compact Traffic Network Vision Based on Wave Representation	20
Hiding actions in concurrent games	19
Concurrent Multi-Player Parity Games	15
Results on Alternating-Time Temporal Logics with Linear Past	15
On promptness in parity games	4
Totale	810

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2018/2019	6	0	0	0	0	0	0	0	0	0	0	6	0
2019/2020	70	22	0	0	0	5	1	0	0	5	19	18	0
2020/2021	78	1	0	0	3	0	13	1	12	25	15	4	4
2021/2022	265	11	0	0	7	5	10	79	18	26	4	52	53
2022/2023	218	36	5	7	14	26	33	7	22	37	8	18	5
2023/2024	82	6	26	12	14	5	10	4	2	2	1	0	0
Totale													810