MURANO, ANIELLO
 Distribuzione geografica
Continente #
NA - Nord America 2.993
EU - Europa 1.638
AS - Asia 1.084
SA - Sud America 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 5.728
Nazione #
US - Stati Uniti d'America 2.922
IT - Italia 892
SG - Singapore 601
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 30
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
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
HK - Hong Kong 1
HU - Ungheria 1
ID - Indonesia 1
IR - Iran 1
LV - Lettonia 1
PH - Filippine 1
PK - Pakistan 1
PL - Polonia 1
SI - Slovenia 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 5.728
Città #
Chandler 520
Singapore 487
Millbury 183
Princeton 131
Nanjing 123
Naples 114
Ashburn 104
Santa Clara 103
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
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
Trieste 3
Totale 3.130
Nome #
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games 148
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 93
2-Visibly Pushdown automata 79
Additional Winning Strategies in Two-Player Games 67
Typeness for w-Regular Automata 65
Model-checking the Secure Release of a Time-locked Secret over a Network 64
NWin: A Tool for Counting Winning Strategies (Demonstration) 64
THE C@ROLIN@ SOFTWARE - A System for Monitoring Skills Development of Children with Down Syndrome 56
Studio di fattibilita per la realizzazione di una rete informatica oncologica pediatrica 55
Dense Real-time Games 55
Weak Muller Acceptance Conditions for Tree Automata 55
Balanced Paths in Colored Graph 54
INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche 54
Reasoning about substructures and games 52
An Interdisciplinary Science Learning Envirnoment. 51
Weak Muller Acceptance Condition for Tree Automata 48
A Behavioral Hierarchy of Strategy Logic 48
Imperfect-Information Games and Generalized Planning 47
Reasoning About Strategies 46
A game-based model for human-robots interaction 46
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation 46
Logic-based clustering approach for management and improvement of VANETs 45
Strategy Games: A Renewed Framework 44
EENET: Energy efficient detection of NETwork changes using a wireless sensor network 44
Hierarchical cost-parity games 43
Dynamic Escape Game 43
Branching-Time Temporal Logics with Minimal Model Quantifiers 42
Exploring the Boundary of Half Positionality 42
A Logic-based Clustering Approach for Cooperative Traffic Control Systems 42
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications 41
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science 40
An Interdisciplinary Science Learning Environment 40
Checking interval properties of computations 40
Cycle detection in computation tree logic 40
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 40
Typeness for omega-Regular Automata 38
The Complexity of Enriched μ-Calculi 38
Pushdown Module Checking 38
A Sketch-Based System for Teaching Geometry 38
A novel split bregman algorithm for MRI denoising task in an e-Health system 38
Additional Winning Strategies in Reachability Games 38
Reasoning About Co-Buchi Tree Automata 37
Pushdown Module Checking with Imperfect Information 36
Graded Computation Tree Logic 36
A Social Network Framework for the Carolina Software 36
On the Counting of Strategies 36
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 35
A Technological Infrastructure Design for a Pediatric Oncology Network 35
Exploring the Boundary of Half Positionality 35
Graded Computation Tree Logic 35
Extended graded modalities in strategy logic 35
Substructure Temporal Logic 34
Games with additional winning strategies 34
Solving parity games using an automata-based algorithm 34
Automatic verification of multi-agent systems in parameterised grid-environments 34
Strategy logic with imperfect information 34
Hierarchical cost-parity games 34
Quantitative Fairness Games 33
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 33
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 33
Graded Computation Tree Logic with Binary Coding 32
Strategic Reasoning in Formal Verification (invited talk) 32
WiFACT - Wireless fingerprinting automated continuous training 32
V2V-EN - Vehicle-2-Vehicle Elastic Network 32
Reasoning about strategies: On the satisfiability problem 32
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm 32
The complexity of model checking knowledge and time 32
Equilibria for games with combined qualitative and quantitative objectives 32
Alternating Tree Automata with Qualitative Semantics 32
Reasoning About Strategies: On the Model-Checking Problem 31
Module checking of strategic ability 31
Cycle Detection in Computation Tree Logic 31
Associate Editor 31
Quantifying Bounds in Strategy Logic 31
Natural strategic ability 31
Planning under LTL environment specifications 31
Context-free timed formalisms: Robust automata and linear temporal logics 31
Enriched \mu-calculus Pushdown Module Checking 30
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 30
On the Boundary of Behavioral Strategies 30
Automata-theoretic decision of timed games 30
And Logic Begat Computer Science: When Giants Roamed the Earth 30
Special issue on SR 2013 30
Solving parity games in scala 30
Multi-agent path planning in known dynamic environments 30
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 30
Checking Interval Properties of Computations 30
Ordered multi-stack visibly pushdown automata 30
Practical verification of multi-agent systems against Slk specifications 30
Alternating-time Temporal Logic on Finite Traces 30
Module Checking of Pushdown Multi-agent Systems 30
Reasoning about natural strategic ability 30
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 29
First International Workshop on Strategic Reasoning, SR 2013 29
Changing Observations in Epistemic Temporal Logic 29
M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS 28
Reasoning About Additional Winning Strategies in Two-Player Games 28
Event-Clock Nested Automata 28
Quantitatively Fair Scheduling 27
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications 27
Totale 3.977
Categoria #
all - tutte 27.394
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 27.394


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/2025802 290 407 21 75 9 0 0 0 0 0 0 0
Totale 6.085