IRIS
MURANO, ANIELLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.655
EU - Europa 1.515
AS - Asia 487
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
SA - Sud America 3
Totale 4.669
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.590
IT - Italia 835
CN - Cina 376
IE - Irlanda 166
FI - Finlandia 113
SE - Svezia 113
DE - Germania 98
CA - Canada 64
GB - Regno Unito 58
IN - India 51
UA - Ucraina 47
FR - Francia 20
TR - Turchia 19
VN - Vietnam 18
NL - Olanda 16
BG - Bulgaria 12
RO - Romania 11
SG - Singapore 8
CZ - Repubblica Ceca 5
AT - Austria 4
ES - Italia 4
NO - Norvegia 4
EU - Europa 3
JP - Giappone 3
MY - Malesia 3
NZ - Nuova Zelanda 3
CI - Costa d'Avorio 2
IL - Israele 2
KR - Corea 2
RU - Federazione Russa 2
SK - Slovacchia (Repubblica Slovacca) 2
AR - Argentina 1
AZ - Azerbaigian 1
BR - Brasile 1
CR - Costa Rica 1
DK - Danimarca 1
HK - Hong Kong 1
HU - Ungheria 1
ID - Indonesia 1
IR - Iran 1
LU - Lussemburgo 1
LV - Lettonia 1
PH - Filippine 1
SI - Slovenia 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 4.669
Salva come PNG Salva come JPEG
Città #
Chandler 520
Millbury 183
Princeton 131
Nanjing 123
Naples 103
Ashburn 102
Des Moines 85
Boston 84
Wilmington 74
Jacksonville 72
Beijing 71
Napoli 70
Lawrence 66
Ottawa 52
Woodbridge 50
Brindisi 43
Nanchang 41
Hebei 25
Jiaxing 25
Ann Arbor 23
Houston 19
Dong Ket 18
Fairfield 18
Dublin 17
Shenyang 17
Rome 15
Amsterdam 14
Caserta 14
Guangzhou 12
Kronberg 12
Montecchio Maggiore 12
Sofia 12
Tianjin 12
Changsha 11
Siano 11
Falls Church 10
Kunming 10
Timisoara 10
Florence 8
Frankfurt am Main 8
Hangzhou 8
Potenza 8
Redwood City 8
Milan 7
Norwalk 7
Portici 7
Salerno 7
San Giorgio a Cremano 7
Singapore 7
Toronto 7
Ansbach 6
Cagliari 6
Washington 6
Aversa 5
Gurgaon 5
Helsinki 5
Lauria 5
Los Angeles 5
Nocera Superiore 5
Reggio Calabria 5
San Francisco 5
San Vitaliano 5
Boardman 4
Drammen 4
London 4
Marano Di Napoli 4
Marta 4
New York 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
Nuremberg 3
Oxford 3
Qualiano 3
Rennes 3
Sarno 3
Selvazzano Dentro 3
Stockholm 3
Taizhou 3
Trieste 3
Albano di Lucania 2
Barcelona 2
Bari 2
Benevento 2
Bologna 2
Bratislava 2
Casoria 2
Cava De' Tirreni 2
Totale 2.454
Salva come PNG Salva come JPEG
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
2-Visibly Pushdown automata 75
Model-checking the Secure Release of a Time-locked Secret over a Network 61
Typeness for w-Regular Automata 59
Additional Winning Strategies in Two-Player Games 59
NWin: A Tool for Counting Winning Strategies (Demonstration) 58
Weak Muller Acceptance Conditions for Tree Automata 50
Balanced Paths in Colored Graph 48
Studio di fattibilita per la realizzazione di una rete informatica oncologica pediatrica 47
Dense Real-time Games 47
An Interdisciplinary Science Learning Envirnoment. 46
THE C@ROLIN@ SOFTWARE - A System for Monitoring Skills Development of Children with Down Syndrome 45
Reasoning about substructures and games 44
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation 44
INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche 43
A Behavioral Hierarchy of Strategy Logic 43
Reasoning About Strategies 41
Strategy Games: A Renewed Framework 41
Hierarchical cost-parity games 41
A game-based model for human-robots interaction 41
Dynamic Escape Game 41
Weak Muller Acceptance Condition for Tree Automata 40
Logic-based clustering approach for management and improvement of VANETs 40
Imperfect-Information Games and Generalized Planning 39
EENET: Energy efficient detection of NETwork changes using a wireless sensor network 39
A Logic-based Clustering Approach for Cooperative Traffic Control Systems 39
Branching-Time Temporal Logics with Minimal Model Quantifiers 38
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications 38
An Interdisciplinary Science Learning Environment 37
Exploring the Boundary of Half Positionality 37
The Complexity of Enriched μ-Calculi 36
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science 36
Pushdown Module Checking 35
Checking interval properties of computations 34
Cycle detection in computation tree logic 34
Additional Winning Strategies in Reachability Games 34
Exploring the Boundary of Half Positionality 33
A Sketch-Based System for Teaching Geometry 33
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 33
Pushdown Module Checking with Imperfect Information 32
Typeness for omega-Regular Automata 32
A novel split bregman algorithm for MRI denoising task in an e-Health system 32
Automatic verification of multi-agent systems in parameterised grid-environments 32
On the Counting of Strategies 31
Strategy logic with imperfect information 31
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 30
A Social Network Framework for the Carolina Software 30
Alternating Tree Automata with Qualitative Semantics 30
Reasoning About Co-Buchi Tree Automata 29
A Technological Infrastructure Design for a Pediatric Oncology Network 29
Graded Computation Tree Logic 29
Graded Computation Tree Logic 29
Hierarchical cost-parity games 29
Quantitative Fairness Games 28
Solving parity games using an automata-based algorithm 28
Reasoning about strategies: On the satisfiability problem 28
Natural strategic ability 28
Substructure Temporal Logic 27
Games with additional winning strategies 27
WiFACT - Wireless fingerprinting automated continuous training 27
V2V-EN - Vehicle-2-Vehicle Elastic Network 27
Associate Editor 27
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm 27
Quantifying Bounds in Strategy Logic 27
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 26
And Logic Begat Computer Science: When Giants Roamed the Earth 26
Multi-agent path planning in known dynamic environments 26
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 26
Extended graded modalities in strategy logic 26
Practical verification of multi-agent systems against Slk specifications 26
Equilibria for games with combined qualitative and quantitative objectives 26
Graded Computation Tree Logic with Binary Coding 25
Automata-theoretic decision of timed games 25
Reasoning About Strategies: On the Model-Checking Problem 25
Solving parity games in scala 25
Module checking of strategic ability 25
Checking Interval Properties of Computations 25
Cycle Detection in Computation Tree Logic 25
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 25
Alternating-time Temporal Logic on Finite Traces 25
Event-Clock Nested Automata 25
Planning under LTL environment specifications 25
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 24
First International Workshop on Strategic Reasoning, SR 2013 24
Ordered multi-stack visibly pushdown automata 24
Nash equilibria in concurrent games with lexicographic preferences 24
Reasoning about graded strategy quantifiers 24
Module checking for uncertain agents 23
On CTL* With graded path modalities 23
The complexity of model checking knowledge and time 23
Module Checking of Pushdown Multi-agent Systems 23
Alternating-time temporal logics with linear past 23
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 22
M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS 22
On the Boundary of Behavioral Strategies 22
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 22
Special issue on SR 2013 22
Model-checking graded computation-tree logic with finite path semantics 22
Context-free timed formalisms: Robust automata and linear temporal logics 22
Totale 3.431
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.538
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 19.538
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201950 0 0 0 0 0 0 0 0 0 8 21 21
2019/2020521 209 9 12 8 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.320 229 66 65 87 161 160 12 162 230 32 79 37
2023/2024597 48 183 94 86 39 47 23 38 21 18 0 0
Totale 5.025