IRIS
MURANO, ANIELLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.525
EU - Europa 1.718
AS - Asia 1.597
SA - Sud America 10
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 6.859
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.453
IT - Italia 909
SG - Singapore 713
HK - Hong Kong 397
CN - Cina 381
IE - Irlanda 166
DE - Germania 159
FI - Finlandia 140
SE - Svezia 113
CA - Canada 70
GB - Regno Unito 57
IN - India 51
UA - Ucraina 47
FR - Francia 32
RU - Federazione Russa 25
TR - Turchia 19
VN - Vietnam 18
NL - Olanda 17
BG - Bulgaria 12
RO - Romania 11
BR - Brasile 7
AT - Austria 5
CZ - Repubblica Ceca 5
NO - Norvegia 5
ES - Italia 4
EU - Europa 3
JP - Giappone 3
MY - Malesia 3
NZ - Nuova Zelanda 3
AR - Argentina 2
AZ - Azerbaigian 2
CH - Svizzera 2
CI - Costa d'Avorio 2
HR - Croazia 2
IL - Israele 2
KR - Corea 2
SK - Slovacchia (Repubblica Slovacca) 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
CR - Costa Rica 1
DK - Danimarca 1
HU - Ungheria 1
ID - Indonesia 1
IR - Iran 1
LV - Lettonia 1
MX - Messico 1
PH - Filippine 1
PK - Pakistan 1
PL - Polonia 1
SI - Slovenia 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 6.859
Salva come PNG Salva come JPEG
Città #
Santa Clara 584
Singapore 583
Chandler 520
Hong Kong 395
Millbury 183
Princeton 131
Nanjing 123
Naples 121
Ashburn 107
Des Moines 85
Boston 84
Wilmington 74
Jacksonville 72
Beijing 71
Napoli 70
Lawrence 66
Ottawa 52
Woodbridge 50
Munich 44
Brindisi 43
Nanchang 41
Helsinki 31
Hebei 25
Jiaxing 25
Ann Arbor 23
Rome 21
Houston 19
Dong Ket 18
Fairfield 18
Dublin 17
Shenyang 17
Milan 15
Amsterdam 14
Caserta 14
Guangzhou 14
Seattle 14
Kronberg 12
Montecchio Maggiore 12
Sofia 12
Tianjin 12
Changsha 11
Siano 11
Falls Church 10
Frankfurt am Main 10
Kunming 10
Timisoara 10
Falkenstein 8
Florence 8
Hangzhou 8
Moscow 8
Potenza 8
Redwood City 8
Castellammare di Stabia 7
Norwalk 7
Nuremberg 7
Portici 7
Salerno 7
San Giorgio a Cremano 7
Toronto 7
Ansbach 6
Boardman 6
Cagliari 6
Verdun 6
Washington 6
Aversa 5
Gurgaon 5
Lauria 5
Los Angeles 5
Nocera Superiore 5
Reggio Calabria 5
San Francisco 5
San Vitaliano 5
Toulouse 5
Vietri sul Mare 5
Casalnuovo di Napoli 4
Drammen 4
London 4
Marano Di Napoli 4
Marta 4
New York 4
Paris 4
Redmond 4
Shanghai 4
Torre Del Greco 4
Anacapri 3
Batu Pahat 3
Brno 3
Caivano 3
Chianciano Terme 3
Giugliano in Campania 3
Hamilton 3
Indiana 3
Modena 3
Mountain View 3
Ningbo 3
Nocera Inferiore 3
Oxford 3
Pomigliano d'Arco 3
Qualiano 3
Rennes 3
Totale 4.159
Salva come PNG Salva come JPEG
Nome #
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games 154
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 100
2-Visibly Pushdown automata 84
Additional Winning Strategies in Two-Player Games 72
Model-checking the Secure Release of a Time-locked Secret over a Network 70
Typeness for w-Regular Automata 69
NWin: A Tool for Counting Winning Strategies (Demonstration) 69
THE C@ROLIN@ SOFTWARE - A System for Monitoring Skills Development of Children with Down Syndrome 62
Dense Real-time Games 61
Balanced Paths in Colored Graph 61
Weak Muller Acceptance Conditions for Tree Automata 60
Studio di fattibilita per la realizzazione di una rete informatica oncologica pediatrica 59
An Interdisciplinary Science Learning Envirnoment. 59
INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche 58
Reasoning about substructures and games 56
A Behavioral Hierarchy of Strategy Logic 54
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation 54
Imperfect-Information Games and Generalized Planning 53
Weak Muller Acceptance Condition for Tree Automata 52
Reasoning About Strategies 52
Strategy Games: A Renewed Framework 52
A game-based model for human-robots interaction 52
Dynamic Escape Game 52
Hierarchical cost-parity games 50
Branching-Time Temporal Logics with Minimal Model Quantifiers 49
EENET: Energy efficient detection of NETwork changes using a wireless sensor network 49
Logic-based clustering approach for management and improvement of VANETs 48
A Logic-based Clustering Approach for Cooperative Traffic Control Systems 48
Exploring the Boundary of Half Positionality 47
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications 47
A novel split bregman algorithm for MRI denoising task in an e-Health system 47
An Interdisciplinary Science Learning Environment 46
Checking interval properties of computations 46
Cycle detection in computation tree logic 46
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 46
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science 45
Pushdown Module Checking 44
A Sketch-Based System for Teaching Geometry 44
On the Counting of Strategies 44
Additional Winning Strategies in Reachability Games 44
Typeness for omega-Regular Automata 43
The Complexity of Enriched μ-Calculi 43
Strategy logic with imperfect information 43
Graded Computation Tree Logic 42
A Social Network Framework for the Carolina Software 42
Solving parity games using an automata-based algorithm 42
Pushdown Module Checking with Imperfect Information 41
Reasoning About Co-Buchi Tree Automata 41
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 41
Graded Computation Tree Logic 41
Graded Computation Tree Logic with Binary Coding 41
Games with additional winning strategies 41
Extended graded modalities in strategy logic 41
A Technological Infrastructure Design for a Pediatric Oncology Network 40
Exploring the Boundary of Half Positionality 40
Substructure Temporal Logic 40
Reasoning about strategies: On the satisfiability problem 40
Automatic verification of multi-agent systems in parameterised grid-environments 40
Hierarchical cost-parity games 40
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 39
Quantitative Fairness Games 39
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 39
Special issue on SR 2013 39
WiFACT - Wireless fingerprinting automated continuous training 39
V2V-EN - Vehicle-2-Vehicle Elastic Network 39
The complexity of model checking knowledge and time 39
Natural strategic ability 39
Context-free timed formalisms: Robust automata and linear temporal logics 39
Reasoning About Strategies: On the Model-Checking Problem 38
Solving parity games in scala 38
Cycle Detection in Computation Tree Logic 38
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 38
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm 38
Equilibria for games with combined qualitative and quantitative objectives 38
Planning under LTL environment specifications 38
Alternating Tree Automata with Qualitative Semantics 38
On the Boundary of Behavioral Strategies 37
Strategic Reasoning in Formal Verification (invited talk) 37
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 37
Module Checking of Pushdown Multi-agent Systems 37
Multi-agent path planning in known dynamic environments 36
Quantifying Bounds in Strategy Logic 36
Alternating-time Temporal Logic on Finite Traces 36
Event-Clock Nested Automata 36
Automata-theoretic decision of timed games 35
Module checking of strategic ability 35
Checking Interval Properties of Computations 35
Associate Editor 35
Reasoning about natural strategic ability 35
Enriched \mu-calculus Pushdown Module Checking 34
M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS 34
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 34
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 34
Ordered multi-stack visibly pushdown automata 34
Hiding actions in concurrent games 34
Practical verification of multi-agent systems against Slk specifications 34
Changing Observations in Epistemic Temporal Logic 34
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications 33
First International Workshop on Strategic Reasoning, SR 2013 33
On CTL* With graded path modalities 33
Totale 4.580
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.454
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 32.454
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020261 0 0 0 0 0 0 4 8 17 112 67 53
2020/2021410 8 15 27 15 12 96 30 21 110 32 25 19
2021/20221.295 23 1 3 34 22 60 90 38 240 73 301 410
2022/20231.309 229 66 65 87 161 160 12 158 225 32 77 37
2023/2024866 48 181 94 85 39 47 23 38 21 18 194 78
2024/20251.948 290 407 21 75 236 441 478 0 0 0 0 0
Totale 7.231