IRIS
RAIMONDI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.081
AS - Asia 1.535
NA - Nord America 1.373
SA - Sud America 175
AF - Africa 41
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.208
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 2.314
US - Stati Uniti d'America 1.315
SG - Singapore 536
CN - Cina 441
IT - Italia 440
VN - Vietnam 167
BR - Brasile 132
HK - Hong Kong 132
DE - Germania 60
FR - Francia 58
GB - Regno Unito 54
KR - Corea 54
TR - Turchia 47
BD - Bangladesh 45
IN - India 31
NL - Olanda 31
CA - Canada 23
UA - Ucraina 22
MX - Messico 19
FI - Finlandia 17
IQ - Iraq 16
SE - Svezia 16
AR - Argentina 14
ZA - Sudafrica 14
PL - Polonia 13
ES - Italia 11
JP - Giappone 11
EC - Ecuador 9
SA - Arabia Saudita 9
CZ - Repubblica Ceca 8
KE - Kenya 8
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
PK - Pakistan 6
PT - Portogallo 6
UZ - Uzbekistan 6
IE - Irlanda 5
CO - Colombia 4
ID - Indonesia 4
IL - Israele 4
LT - Lituania 4
NO - Norvegia 4
PH - Filippine 4
AO - Angola 3
AT - Austria 3
CL - Cile 3
DZ - Algeria 3
JM - Giamaica 3
KZ - Kazakistan 3
MY - Malesia 3
PA - Panama 3
PY - Paraguay 3
RO - Romania 3
TJ - Tagikistan 3
AU - Australia 2
AZ - Azerbaigian 2
BB - Barbados 2
CI - Costa d'Avorio 2
GR - Grecia 2
RS - Serbia 2
TT - Trinidad e Tobago 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
BO - Bolivia 1
CV - Capo Verde 1
CW - ???statistics.table.value.countryCode.CW??? 1
DM - Dominica 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
ET - Etiopia 1
GA - Gabon 1
GD - Grenada 1
GH - Ghana 1
GT - Guatemala 1
KG - Kirghizistan 1
LU - Lussemburgo 1
LV - Lettonia 1
LY - Libia 1
MA - Marocco 1
MK - Macedonia 1
MN - Mongolia 1
MZ - Mozambico 1
NI - Nicaragua 1
PE - Perù 1
PS - Palestinian Territory 1
QA - Qatar 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TN - Tunisia 1
TW - Taiwan 1
TZ - Tanzania 1
UY - Uruguay 1
YT - Mayotte 1
Totale 6.208
Salva come PNG Salva come JPEG
Città #
Moscow 563
Rome 260
Singapore 235
Ashburn 206
San Jose 202
Council Bluffs 161
Boardman 144
Hong Kong 132
The Dalles 101
Chicago 81
Milan 67
Shanghai 61
Beijing 58
Hefei 51
Ho Chi Minh City 51
Seoul 51
L’Aquila 49
Lauterbourg 46
New York 43
Hanoi 40
Istanbul 39
Munich 36
Dallas 32
Orem 27
Los Angeles 26
Amsterdam 25
São Paulo 23
Santa Clara 22
Shenzhen 19
Kyiv 17
Stockholm 16
Guangzhou 12
Johannesburg 12
Rio de Janeiro 12
Warsaw 12
Brooklyn 11
Denver 11
Montreal 11
Tokyo 11
Chennai 10
Helsinki 10
Manchester 10
Boston 9
Haiphong 9
London 9
Brno 8
Da Nang 8
Houston 7
Mumbai 7
Nairobi 7
Quito 7
Reading 7
Atlanta 6
Baghdad 6
East Finchley 6
Erbil 6
Mexico City 6
Phoenix 6
Poplar 6
Seattle 6
Tashkent 6
Turku 6
San Francisco 5
Tolentino 5
Ankara 4
Chieti 4
Dhaka 4
Leiden 4
Lisbon 4
Nuremberg 4
Querétaro 4
Skerries 4
Taizhou 4
Bergen 3
Biên Hòa 3
Brasília 3
Buccinasco 3
Carney 3
Dammam 3
Delhi 3
Dushanbe 3
Greensboro 3
Hangzhou 3
Jacksonville 3
Jeddah 3
Jiaxing 3
Kingston 3
Kuala Lumpur 3
Memphis 3
Miami 3
New Delhi 3
Nha Trang 3
Philadelphia 3
Pontypridd 3
Riyadh 3
Santiago 3
São José do Rio Preto 3
Toronto 3
York 3
Zhuji 3
Totale 3.271
Salva come PNG Salva come JPEG
Nome #
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 162
Analysis and verification of ECA rules in intelligent environments 145
A theory of change for prioritised resilient and evolvable software systems 141
Application of verification techniques to security: Model checking insider attacks 132
An approach to quantify workload in a system of agents 131
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 131
A synergistic and extensible framework for multi-agent system verification 129
Automatic Annotation of~Confidential Data in~Java Code 129
A Computationally Grounded, Weighted Doxastic Logic 129
CoSMed: A confidentiality-verified social media platform 129
A proof-theoretic trust and reputation model for VANET 128
The packing chromatic number of the infinite square lattice is between 13 and 15 128
Architecture as Code 128
A typed natural deduction calculus to reason about secure trust 128
CoSMed: A Confidentiality-Verified Social Media Platform 123
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 122
A novel symbolic approach to verifying epistemic properties of programs 121
Model-checking for Resource-Bounded ATL with production and consumption of resources 120
Contradictory information flow in networks with trust and distrust 120
Combinatorial optimization based recommender systems 120
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 119
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 119
Taking Arduino to the Internet of Things: The ASIP programming model 118
Symbolic model-checking for resource-bounded ATL 117
MIRTO: An open-source robotic platform for education 117
A Constrained ECA Language Supporting Formal Verification of WSNs 116
A model for trustworthy orchestration in the internet of things 116
The anonymous subgraph problem 113
Differential cost analysis with simultaneous potentials and anti-potentials 111
Trust and distrust in contradictory information transmission 108
Software theory change for resilient near-complete specifications 108
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes 108
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 107
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 106
Symbolic verification of event?condition?action rules in intelligent environments 105
The anonymous subgraph problem 105
Teaching functional patterns through robotic applications 103
MCMAS: an open-source model checker for the verification of multi-agent systems 100
On the Role of Value Sensitive Concerns in Software Engineering Practice 99
Decidable model-checking for a resource logic with production of resources 99
Towards Cyber-physical Systems as Services: The ASIP Protocol 98
Lifting On-Demand Analysis to Higher-Order Languages 97
On-the-fly image classification to help blind people 96
Domain types: Abstract-domain selection based on variable usage 96
Programming the MIRTO robot with neurons 96
Improving the model checking of strategies under partial observability and fairness constraints 95
Symbolic model checking for one-resource RB?ATL 95
Minimizing transitive trust threats in software management systems 94
Lessons Learned from Training the Next Generation of Space Software Engineers 93
Multi-agent based simulations of block-free distributed ledgers 93
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 92
Slrtool: A tool to support collaborative systematic literature reviews 91
Modeling complex Air Traffic Management Systems 89
Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study 83
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 78
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 57
Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach 36
Totale 6.269
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.260
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 24.260
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/20265.023 283 175 106 294 310 2.368 338 102 490 170 185 202
Totale 6.269