FERRANDO, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.383
AS - Asia 6.042
EU - Europa 2.122
SA - Sud America 973
Continente sconosciuto - Info sul continente non disponibili 145
AF - Africa 132
OC - Oceania 6
Totale 16.803
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.045
CN - Cina 2.378
SG - Singapore 1.591
BR - Brasile 774
IT - Italia 722
VN - Vietnam 551
HK - Hong Kong 544
KR - Corea 405
GB - Regno Unito 313
FR - Francia 171
RU - Federazione Russa 161
FI - Finlandia 155
CA - Canada 141
SE - Svezia 139
DE - Germania 138
BD - Bangladesh 132
ID - Indonesia 86
IN - India 80
MX - Messico 73
NL - Olanda 73
AR - Argentina 58
LT - Lituania 55
ZA - Sudafrica 38
EC - Ecuador 36
TR - Turchia 36
IQ - Iraq 33
JP - Giappone 31
CO - Colombia 30
ES - Italia 30
IL - Israele 25
JM - Giamaica 25
CL - Cile 24
MA - Marocco 22
AT - Austria 20
PL - Polonia 20
CR - Costa Rica 19
HN - Honduras 18
KE - Kenya 18
VE - Venezuela 16
AE - Emirati Arabi Uniti 15
CH - Svizzera 15
PK - Pakistan 15
UZ - Uzbekistan 15
RO - Romania 13
MY - Malesia 12
TN - Tunisia 12
TT - Trinidad e Tobago 12
PH - Filippine 11
PR - Porto Rico 11
PY - Paraguay 11
SA - Arabia Saudita 11
IE - Irlanda 10
SV - El Salvador 10
TW - Taiwan 10
UA - Ucraina 10
UY - Uruguay 10
BG - Bulgaria 8
BO - Bolivia 8
EG - Egitto 8
JO - Giordania 8
NI - Nicaragua 8
RS - Serbia 8
CZ - Repubblica Ceca 7
DK - Danimarca 7
KZ - Kazakistan 7
NP - Nepal 7
IS - Islanda 6
PE - Perù 6
PT - Portogallo 6
AZ - Azerbaigian 5
BH - Bahrain 5
CI - Costa d'Avorio 5
CW - ???statistics.table.value.countryCode.CW??? 5
DZ - Algeria 5
EE - Estonia 5
GP - Guadalupe 5
LB - Libano 5
AL - Albania 4
AU - Australia 4
ET - Etiopia 4
GT - Guatemala 4
LU - Lussemburgo 4
MD - Moldavia 4
MT - Malta 4
PS - Palestinian Territory 4
SC - Seychelles 4
SN - Senegal 4
BA - Bosnia-Erzegovina 3
TH - Thailandia 3
AO - Angola 2
BB - Barbados 2
CG - Congo 2
DM - Dominica 2
DO - Repubblica Dominicana 2
GD - Grenada 2
GE - Georgia 2
HR - Croazia 2
HU - Ungheria 2
KG - Kirghizistan 2
KH - Cambogia 2
Totale 16.631
Salva come PNG Salva come JPEG
Città #
Hefei 1.380
Santa Clara 1.275
San Jose 859
Singapore 819
Ashburn 703
Hong Kong 531
Council Bluffs 503
Seoul 396
London 213
Ho Chi Minh City 196
Los Angeles 189
Lilburn 178
Helsinki 147
Hanoi 134
Staranzano 133
The Dalles 127
Chicago 125
Phoenix 125
Beijing 117
New York 102
Lauterbourg 90
Milan 86
Kent 83
Buffalo 70
São Paulo 68
Dallas 67
Moscow 51
Atlanta 49
Boardman 49
Jakarta 48
Amsterdam 47
Milwaukee 44
Columbus 39
Salt Lake City 38
Brooklyn 35
Genoa 34
Frankfurt am Main 32
Modena 32
Rome 32
Orem 31
Mexico City 30
Tampa 30
Bologna 29
Lansdowne 29
Shanghai 29
Da Nang 27
Denver 27
Rio de Janeiro 27
Shijiazhuang 26
Paris 25
Falkenstein 24
Montreal 24
Toronto 23
Naples 22
Redondo Beach 22
Miano 21
Munich 21
Seattle 19
Tokyo 19
Manchester 18
Philadelphia 18
Brasília 17
Chennai 17
Houston 17
Porto Alegre 17
Johannesburg 16
Kingston 16
San Francisco 16
Guangzhou 15
Nairobi 15
North Bergen 15
Nuremberg 15
Baghdad 14
Boston 14
Haiphong 14
Las Vegas 14
Miami 14
Tashkent 14
Reggio Emilia 13
Rishon LeTsiyyon 13
Warsaw 13
Biên Hòa 12
Detroit 12
Elk Grove Village 12
Guayaquil 12
Newark 12
San José 12
Sterling 12
Turin 12
Hillsboro 11
Izmir 11
Kansas City 11
Quito 11
The Bronx 11
Wilmington 11
Belo Horizonte 10
Bogotá 10
Cape Town 10
Changsha 10
Charlotte 10
Totale 10.298
Salva come PNG Salva come JPEG
Nome #
ChatBDI: Think BDI, Talk LLM 320
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions 308
Verifying and validating autonomous systems: Towards an integrated approach 242
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 227
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 223
Comparing trace expressions and linear temporal logic for runtime verification 221
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives 195
ROSMonitoring: A Runtime Verification Framework for ROS 190
Integrating Ontologies and Cognitive Conversational Agents in On2Conv 189
The early bird catches the worm: First verify, then monitor! 184
Can determinism and compositionality coexist in RML? 182
RML: Theory and practice of a domain specific language for runtime verification 177
An overview of verification and validation challenges for inspection 177
Using a {BDI} Agent to Represent a Human on the Factory Floor of the {ARIAC} 2023 Industrial Automation Competition 171
An Interface for Programming Verifiable Autonomous Agents in {ROS} 168
Automated Planning and {BDI} Agents: {A} Case Study 167
On enactability of agent interaction protocols: Towards a unified approach 164
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 162
Agreement Games in Multi-Agent Systems 161
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker 161
A deterministic event calculus for effective runtime verification 159
Bridging the gap between single- and multi-model predictive runtime verification 157
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 155
Agents interoperability via conformance modulo mapping 153
Runtime Verification with Imperfect Information Through Indistinguishability Relations 151
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 151
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 150
Smart RogAgent: Where Agents and Humans Team Up 150
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 145
HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification 144
Theory and Practice of Quantitative ATL 144
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 143
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa 142
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 140
Declarative parameterized verification of topology-sensitive distributed protocols 140
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 140
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 139
Solvent: Liquidity Verification of Smart Contracts 139
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 139
Incrementally predictive runtime verification 139
Development planning based on interoperable agent driven simulation 139
A review of agent-based programming for multi-agent systems 137
Agile Tasking of Robotic Systems with Explicit Autonomy 137
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design 136
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study 136
{RVPLAN:} a general purpose framework for replanning using runtime verification 136
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems 135
Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey 135
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 135
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 134
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems 133
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 133
Global protocols as first class entities for self-adaptive agents 133
Combine Model Checking and Runtime Verification in Multi-Agent Systems 131
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications 128
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest 128
Timed trace expressions 126
Smart rogaining for computer science orientation 126
Computational thinking for beginners: {A} successful experience using Prolog 123
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 123
Simulation of autonomous systems in the extended marine domain 122
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information 122
Towards Partial Monitoring: It is Always too Soon to Give Up 120
Implementing Ethical Governors in {BDI} 119
Towards partial monitoring: Never too early to give in 119
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management 119
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead 118
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents 118
Runtime Verification of Hash Code in Mutable Classes 117
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 117
How to Find Good Coalitions to Achieve Strategic Objectives 115
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 115
Incrementally Predictive Runtime Verification 115
Special issue for the 23rd workshop "from objects to agents" (WOA 2022) 115
Comparison of Multi-Agent Platform Usability for Industrial-Grade Applications 114
Hackmytown: An educational experience on smart cities 114
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 113
Parametric trace expressions for runtime verification of Java-like programs 113
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 113
Decentralizing MAS Monitoring with DecAMon 112
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 111
RV4JaCa - Runtime Verification for Multi-Agent Systems 110
Modeling Robot Control Architectures for Verification and Monitoring 110
StreamB: {A} Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms 110
Open Challenges in the Formal Verification of Autonomous Driving 110
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 109
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition 107
Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 107
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest 106
Let Me Talk to You! Natural Language Interaction Between Humans and BDI Agents via ChatBDI 106
Special issue: Agents and robots for reliable engineered autonomy 106
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time? 105
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning 105
RVPLAN: Runtime Verification of Assumptions in Automated Planning 103
VITAMIN: VerIficaTion of A MultI ageNt system 102
Runtime Verification for Trustworthy Computing 101
Parametric protocol-driven agents and their integration in {JADE} 100
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems 100
Increasing confidence in autonomous systems 99
Scalable Verification of Strategy Logic through Three-Valued Abstraction 98
Totale 13.988
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.401
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 61.401
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/2024363 0 0 0 0 0 0 0 147 18 44 72 82
2024/20253.764 42 30 18 186 818 697 251 89 318 250 542 523
2025/20268.894 767 769 1.108 1.296 616 407 1.059 474 759 785 405 449
2026/20273.782 461 1.129 1.202 990 0 0 0 0 0 0 0 0
Totale 16.803