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