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