IRIS
MURANO, ANIELLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.172
EU - Europa 1.648
AS - Asia 1.119
SA - Sud America 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 5.952
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.100
IT - Italia 900
SG - Singapore 635
CN - Cina 379
IE - Irlanda 166
DE - Germania 148
FI - Finlandia 117
SE - Svezia 113
CA - Canada 70
GB - Regno Unito 57
IN - India 51
UA - Ucraina 47
FR - Francia 32
TR - Turchia 19
VN - Vietnam 18
NL - Olanda 16
BG - Bulgaria 12
RO - Romania 11
CZ - Repubblica Ceca 5
ES - Italia 4
NO - Norvegia 4
AT - Austria 3
EU - Europa 3
JP - Giappone 3
MY - Malesia 3
NZ - Nuova Zelanda 3
AR - Argentina 2
CH - Svizzera 2
CI - Costa d'Avorio 2
HK - Hong Kong 2
HR - Croazia 2
IL - Israele 2
KR - Corea 2
RU - Federazione Russa 2
SK - Slovacchia (Repubblica Slovacca) 2
AZ - Azerbaigian 1
BR - Brasile 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 5.952
Salva come PNG Salva come JPEG
Città #
Singapore 521
Chandler 520
Santa Clara 281
Millbury 183
Princeton 131
Nanjing 123
Naples 118
Ashburn 104
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
Hebei 25
Jiaxing 25
Ann Arbor 23
Rome 21
Houston 19
Dong Ket 18
Fairfield 18
Dublin 17
Shenyang 17
Amsterdam 14
Caserta 14
Guangzhou 14
Milan 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
Florence 8
Hangzhou 8
Helsinki 8
Potenza 8
Redwood City 8
Castellammare di Stabia 7
Norwalk 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
Drammen 4
London 4
Marano Di Napoli 4
Marta 4
New York 4
Nuremberg 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
Sandston 3
Sarno 3
Selvazzano Dentro 3
Stockholm 3
Taizhou 3
Totale 3.347
Salva come PNG Salva come JPEG
Nome #
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games 149
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 94
2-Visibly Pushdown automata 80
Additional Winning Strategies in Two-Player Games 68
Typeness for w-Regular Automata 66
Model-checking the Secure Release of a Time-locked Secret over a Network 66
NWin: A Tool for Counting Winning Strategies (Demonstration) 65
Balanced Paths in Colored Graph 58
THE C@ROLIN@ SOFTWARE - A System for Monitoring Skills Development of Children with Down Syndrome 57
Studio di fattibilita per la realizzazione di una rete informatica oncologica pediatrica 56
Dense Real-time Games 56
Weak Muller Acceptance Conditions for Tree Automata 56
INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche 54
Reasoning about substructures and games 53
An Interdisciplinary Science Learning Envirnoment. 52
A Behavioral Hierarchy of Strategy Logic 50
Weak Muller Acceptance Condition for Tree Automata 49
Reasoning About Strategies 48
Imperfect-Information Games and Generalized Planning 48
A game-based model for human-robots interaction 47
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation 47
Strategy Games: A Renewed Framework 46
Logic-based clustering approach for management and improvement of VANETs 46
EENET: Energy efficient detection of NETwork changes using a wireless sensor network 45
Dynamic Escape Game 45
Branching-Time Temporal Logics with Minimal Model Quantifiers 44
Exploring the Boundary of Half Positionality 44
Hierarchical cost-parity games 44
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications 43
A Logic-based Clustering Approach for Cooperative Traffic Control Systems 43
Checking interval properties of computations 42
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science 41
An Interdisciplinary Science Learning Environment 41
Cycle detection in computation tree logic 41
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 41
Typeness for omega-Regular Automata 39
The Complexity of Enriched μ-Calculi 39
Pushdown Module Checking 39
A Sketch-Based System for Teaching Geometry 39
A novel split bregman algorithm for MRI denoising task in an e-Health system 39
Additional Winning Strategies in Reachability Games 39
Reasoning About Co-Buchi Tree Automata 38
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 38
Graded Computation Tree Logic 38
Pushdown Module Checking with Imperfect Information 37
A Technological Infrastructure Design for a Pediatric Oncology Network 37
A Social Network Framework for the Carolina Software 37
On the Counting of Strategies 37
Quantitative Fairness Games 36
Exploring the Boundary of Half Positionality 36
Graded Computation Tree Logic 36
Substructure Temporal Logic 36
Extended graded modalities in strategy logic 36
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 35
Games with additional winning strategies 35
Solving parity games using an automata-based algorithm 35
Reasoning about strategies: On the satisfiability problem 35
Automatic verification of multi-agent systems in parameterised grid-environments 35
Strategy logic with imperfect information 35
Hierarchical cost-parity games 35
Graded Computation Tree Logic with Binary Coding 34
Strategic Reasoning in Formal Verification (invited talk) 34
WiFACT - Wireless fingerprinting automated continuous training 34
V2V-EN - Vehicle-2-Vehicle Elastic Network 34
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 34
The complexity of model checking knowledge and time 34
Reasoning About Strategies: On the Model-Checking Problem 33
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm 33
Equilibria for games with combined qualitative and quantitative objectives 33
Alternating Tree Automata with Qualitative Semantics 33
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 32
On the Boundary of Behavioral Strategies 32
Automata-theoretic decision of timed games 32
Special issue on SR 2013 32
Module checking of strategic ability 32
Cycle Detection in Computation Tree Logic 32
Associate Editor 32
Quantifying Bounds in Strategy Logic 32
Natural strategic ability 32
Planning under LTL environment specifications 32
Context-free timed formalisms: Robust automata and linear temporal logics 32
Enriched \mu-calculus Pushdown Module Checking 31
And Logic Begat Computer Science: When Giants Roamed the Earth 31
Solving parity games in scala 31
Multi-agent path planning in known dynamic environments 31
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 31
Checking Interval Properties of Computations 31
Ordered multi-stack visibly pushdown automata 31
Practical verification of multi-agent systems against Slk specifications 31
Alternating-time Temporal Logic on Finite Traces 31
Module Checking of Pushdown Multi-agent Systems 31
Reasoning about natural strategic ability 31
M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS 30
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 30
First International Workshop on Strategic Reasoning, SR 2013 30
Changing Observations in Epistemic Temporal Logic 30
Quantitatively Fair Scheduling 29
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications 29
Reasoning About Additional Winning Strategies in Two-Player Games 29
Event-Clock Nested Automata 29
Totale 4.111
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.903
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 28.903
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020283 0 0 0 0 20 2 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.026 290 407 21 75 233 0 0 0 0 0 0 0
Totale 6.309