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