IRIS
RAIMONDI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.248
AS - Asia 1.182
NA - Nord America 696
SA - Sud America 121
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.268
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 965
US - Stati Uniti d'America 657
SG - Singapore 446
CN - Cina 384
HK - Hong Kong 125
BR - Brasile 94
IT - Italia 77
DE - Germania 56
KR - Corea 51
TR - Turchia 45
VN - Vietnam 37
GB - Regno Unito 28
NL - Olanda 23
IN - India 19
UA - Ucraina 19
BD - Bangladesh 16
SE - Svezia 15
CA - Canada 14
FI - Finlandia 13
MX - Messico 13
AR - Argentina 11
IQ - Iraq 11
PL - Polonia 10
JP - Giappone 9
CZ - Repubblica Ceca 8
SA - Arabia Saudita 8
ZA - Sudafrica 8
FR - Francia 7
ES - Italia 6
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
UZ - Uzbekistan 5
IL - Israele 4
KE - Kenya 4
AT - Austria 3
EC - Ecuador 3
LT - Lituania 3
MY - Malesia 3
PK - Pakistan 3
PY - Paraguay 3
TJ - Tagikistan 3
BB - Barbados 2
GR - Grecia 2
JM - Giamaica 2
KZ - Kazakistan 2
NO - Norvegia 2
PA - Panama 2
RS - Serbia 2
TT - Trinidad e Tobago 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
BO - Bolivia 1
CO - Colombia 1
CV - Capo Verde 1
CW - ???statistics.table.value.countryCode.CW??? 1
DM - Dominica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
GA - Gabon 1
GD - Grenada 1
GH - Ghana 1
ID - Indonesia 1
KG - Kirghizistan 1
LU - Lussemburgo 1
MK - Macedonia 1
MN - Mongolia 1
MZ - Mozambico 1
NI - Nicaragua 1
PE - Perù 1
PS - Palestinian Territory 1
PT - Portogallo 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
TZ - Tanzania 1
UY - Uruguay 1
YT - Mayotte 1
Totale 3.268
Salva come PNG Salva come JPEG
Città #
Moscow 265
Singapore 196
Boardman 143
Hong Kong 125
The Dalles 101
Ashburn 98
Shanghai 61
Milan 57
Beijing 52
Hefei 51
Seoul 51
Istanbul 38
Munich 36
Dallas 29
Amsterdam 23
New York 20
Shenzhen 19
Santa Clara 18
São Paulo 17
Kyiv 16
Los Angeles 15
Stockholm 15
Ho Chi Minh City 14
Chicago 13
Guangzhou 12
Brooklyn 11
Hanoi 9
Montreal 9
Tokyo 9
Warsaw 9
Boston 8
Brno 8
Denver 8
Johannesburg 8
London 8
Manchester 8
Helsinki 7
Poplar 6
Seattle 6
Turku 6
Erbil 5
Houston 5
Orem 5
Phoenix 5
San Francisco 5
Tashkent 5
Ankara 4
Baghdad 4
Chennai 4
Mumbai 4
Nairobi 4
Querétaro 4
Rio de Janeiro 4
Taizhou 4
Atlanta 3
Dammam 3
Dhaka 3
Dushanbe 3
Greensboro 3
Jiaxing 3
Kuala Lumpur 3
L’Aquila 3
Mexico City 3
Miami 3
New Delhi 3
Pontypridd 3
Riyadh 3
Rome 3
São José do Rio Preto 3
Zhuji 3
Belo Horizonte 2
Bridgetown 2
Candeias 2
Council Bluffs 2
Delhi 2
Guarulhos 2
Jeddah 2
Kingston 2
Mersin 2
North Charleston 2
Nuremberg 2
Perugia 2
Quito 2
Raleigh 2
Regina 2
Ribeirão Preto 2
Santa Fe 2
Sorocaba 2
Subiaco 2
São Bernardo do Campo 2
Tinaquillo 2
Topeka 2
Xi'an 2
Abu Dhabi 1
Accra 1
Alterosa 1
Araci 1
As Samawah 1
Ascensión 1
Astana 1
Totale 1.768
Salva come PNG Salva come JPEG
Nome #
Analysis and verification of ECA rules in intelligent environments 90
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 85
A Computationally Grounded, Weighted Doxastic Logic 82
Application of verification techniques to security: Model checking insider attacks 81
CoSMed: A confidentiality-verified social media platform 78
Automatic Annotation of~Confidential Data in~Java Code 77
CoSMed: A Confidentiality-Verified Social Media Platform 77
An approach to quantify workload in a system of agents 76
The packing chromatic number of the infinite square lattice is between 13 and 15 76
A synergistic and extensible framework for multi-agent system verification 75
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 75
Combinatorial optimization based recommender systems 74
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 72
A proof-theoretic trust and reputation model for VANET 71
A novel symbolic approach to verifying epistemic properties of programs 70
A model for trustworthy orchestration in the internet of things 70
A typed natural deduction calculus to reason about secure trust 69
Contradictory information flow in networks with trust and distrust 68
Symbolic model-checking for resource-bounded ATL 67
A theory of change for prioritised resilient and evolvable software systems 67
The anonymous subgraph problem 66
A Constrained ECA Language Supporting Formal Verification of WSNs 65
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 65
Model-checking for Resource-Bounded ATL with production and consumption of resources 64
Software theory change for resilient near-complete specifications 62
Taking Arduino to the Internet of Things: The ASIP programming model 62
The anonymous subgraph problem 62
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 61
Towards Cyber-physical Systems as Services: The ASIP Protocol 59
Differential cost analysis with simultaneous potentials and anti-potentials 59
Architecture as Code 58
MCMAS: an open-source model checker for the verification of multi-agent systems 58
Trust and distrust in contradictory information transmission 57
Multi-agent based simulations of block-free distributed ledgers 57
Lifting On-Demand Analysis to Higher-Order Languages 56
Symbolic verification of event?condition?action rules in intelligent environments 56
Slrtool: A tool to support collaborative systematic literature reviews 55
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 55
On the Role of Value Sensitive Concerns in Software Engineering Practice 54
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes 54
Decidable model-checking for a resource logic with production of resources 54
Programming the MIRTO robot with neurons 54
Symbolic model checking for one-resource RB?ATL 54
Improving the model checking of strategies under partial observability and fairness constraints 52
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 52
MIRTO: An open-source robotic platform for education 51
Teaching functional patterns through robotic applications 50
Modeling complex Air Traffic Management Systems 49
Domain types: Abstract-domain selection based on variable usage 49
Minimizing transitive trust threats in software management systems 49
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 47
On-the-fly image classification to help blind people 46
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 32
Totale 3.324
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.323
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 18.323
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202499 0 0 0 0 0 0 0 0 0 0 52 47
2024/20251.147 43 140 234 50 48 50 125 22 88 108 148 91
2025/20262.078 283 175 106 294 310 910 0 0 0 0 0 0
Totale 3.324