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