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