IRIS
RAIMONDI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.089
NA - Nord America 1.568
AS - Asia 1.537
SA - Sud America 176
Continente sconosciuto - Info sul continente non disponibili 62
AF - Africa 41
OC - Oceania 2
Totale 6.475
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 2.314
US - Stati Uniti d'America 1.507
SG - Singapore 537
IT - Italia 446
CN - Cina 441
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 48
BD - Bangladesh 45
NL - Olanda 32
IN - India 31
CA - Canada 25
UA - Ucraina 22
MX - Messico 19
FI - Finlandia 17
IQ - Iraq 16
SE - Svezia 16
AR - Argentina 15
ZA - Sudafrica 14
PL - Polonia 13
ES - Italia 12
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
PR - Porto Rico 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.414
Salva come PNG Salva come JPEG
Città #
Moscow 563
Council Bluffs 338
Rome 260
Singapore 236
Ashburn 207
San Jose 202
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 50
Lauterbourg 46
New York 43
Hanoi 40
Istanbul 39
Munich 36
Dallas 33
Orem 27
Los Angeles 26
Amsterdam 25
São Paulo 23
Santa Clara 22
Shenzhen 19
Kyiv 17
Stockholm 16
Brooklyn 13
Guangzhou 12
Johannesburg 12
Rio de Janeiro 12
Warsaw 12
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
Philadelphia 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
Pescara 3
Pontypridd 3
Regina 3
Riyadh 3
Santiago 3
São José do Rio Preto 3
Toronto 3
Totale 3.455
Salva come PNG Salva come JPEG
Nome #
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 165
Analysis and verification of ECA rules in intelligent environments 147
A theory of change for prioritised resilient and evolvable software systems 145
An approach to quantify workload in a system of agents 135
Application of verification techniques to security: Model checking insider attacks 135
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 134
A proof-theoretic trust and reputation model for VANET 133
A Computationally Grounded, Weighted Doxastic Logic 133
CoSMed: A confidentiality-verified social media platform 133
A synergistic and extensible framework for multi-agent system verification 132
The packing chromatic number of the infinite square lattice is between 13 and 15 132
Automatic Annotation of~Confidential Data in~Java Code 132
Architecture as Code 132
A typed natural deduction calculus to reason about secure trust 131
CoSMed: A Confidentiality-Verified Social Media Platform 127
A novel symbolic approach to verifying epistemic properties of programs 126
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 125
Model-checking for Resource-Bounded ATL with production and consumption of resources 125
Combinatorial optimization based recommender systems 124
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 122
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 122
A Constrained ECA Language Supporting Formal Verification of WSNs 121
Contradictory information flow in networks with trust and distrust 121
Taking Arduino to the Internet of Things: The ASIP programming model 121
Symbolic model-checking for resource-bounded ATL 120
MIRTO: An open-source robotic platform for education 120
A model for trustworthy orchestration in the internet of things 119
The anonymous subgraph problem 116
Differential cost analysis with simultaneous potentials and anti-potentials 115
Trust and distrust in contradictory information transmission 114
Software theory change for resilient near-complete specifications 111
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes 111
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 110
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 109
The anonymous subgraph problem 109
Symbolic verification of event?condition?action rules in intelligent environments 108
Teaching functional patterns through robotic applications 108
MCMAS: an open-source model checker for the verification of multi-agent systems 104
On the Role of Value Sensitive Concerns in Software Engineering Practice 102
Decidable model-checking for a resource logic with production of resources 102
On-the-fly image classification to help blind people 100
Lessons Learned from Training the Next Generation of Space Software Engineers 100
Lifting On-Demand Analysis to Higher-Order Languages 99
Domain types: Abstract-domain selection based on variable usage 99
Programming the MIRTO robot with neurons 99
Towards Cyber-physical Systems as Services: The ASIP Protocol 99
Minimizing transitive trust threats in software management systems 98
Improving the model checking of strategies under partial observability and fairness constraints 98
Symbolic model checking for one-resource RB?ATL 97
Multi-agent based simulations of block-free distributed ledgers 97
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 95
Slrtool: A tool to support collaborative systematic literature reviews 94
Modeling complex Air Traffic Management Systems 92
Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study 92
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 82
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 62
Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach 41
Totale 6.475
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.518
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 25.518
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.025 283 175 106 294 310 2.368 338 102 490 170 185 204
2026/2027204 146 58 0 0 0 0 0 0 0 0 0 0
Totale 6.475