IRIS
RAIMONDI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.163
NA - Nord America 2.110
AS - Asia 1.545
SA - Sud America 176
Continente sconosciuto - Info sul continente non disponibili 62
AF - Africa 41
OC - Oceania 2
Totale 7.099
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 2.314
US - Stati Uniti d'America 2.042
SG - Singapore 542
IT - Italia 519
CN - Cina 441
VN - Vietnam 167
BR - Brasile 132
HK - Hong Kong 132
DE - Germania 61
FR - Francia 58
GB - Regno Unito 54
KR - Corea 54
TR - Turchia 48
BD - Bangladesh 47
NL - Olanda 32
IN - India 31
CA - Canada 29
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
MY - Malesia 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
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
CR - Costa Rica 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
HN - Honduras 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 7.038
Salva come PNG Salva come JPEG
Città #
Moscow 563
Council Bluffs 536
Rome 262
San Jose 260
Singapore 236
Ashburn 219
Boardman 144
Hong Kong 132
The Dalles 101
Chicago 83
Milan 68
New York 62
Shanghai 61
Beijing 58
Phoenix 52
Staranzano 52
Hefei 51
Ho Chi Minh City 51
Seoul 51
L’Aquila 50
Lauterbourg 46
Hanoi 40
Istanbul 39
Dallas 37
Munich 36
Denver 30
Los Angeles 29
Orem 27
Amsterdam 25
Santa Clara 24
São Paulo 23
Shenzhen 19
Tavernier 19
Kyiv 17
Stockholm 16
Brooklyn 13
Guangzhou 12
Johannesburg 12
Rio de Janeiro 12
Warsaw 12
Houston 11
Montreal 11
Tokyo 11
Atlanta 10
Boston 10
Chennai 10
Corpus Christi 10
Helsinki 10
Levico Terme 10
Manchester 10
Haiphong 9
London 9
Seattle 9
Brno 8
Da Nang 8
Mumbai 7
Nairobi 7
Quito 7
Reading 7
Baghdad 6
East Finchley 6
Erbil 6
Mexico City 6
Poplar 6
Tashkent 6
Turku 6
San Francisco 5
Tolentino 5
Ankara 4
Chieti 4
Dhaka 4
Kuala Lumpur 4
Leiden 4
Lisbon 4
Nuremberg 4
Philadelphia 4
Port Charlotte 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
Frankfurt am Main 3
Greensboro 3
Hangzhou 3
Jacksonville 3
Jeddah 3
Jiaxing 3
Kingston 3
Memphis 3
Miami 3
New Delhi 3
Nha Trang 3
Padua 3
Totale 3.914
Salva come PNG Salva come JPEG
Nome #
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 178
Analysis and verification of ECA rules in intelligent environments 159
A theory of change for prioritised resilient and evolvable software systems 156
A proof-theoretic trust and reputation model for VANET 148
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 147
A Computationally Grounded, Weighted Doxastic Logic 146
A synergistic and extensible framework for multi-agent system verification 145
An approach to quantify workload in a system of agents 145
Architecture as Code 145
Application of verification techniques to security: Model checking insider attacks 145
A typed natural deduction calculus to reason about secure trust 145
Automatic Annotation of~Confidential Data in~Java Code 144
The packing chromatic number of the infinite square lattice is between 13 and 15 142
CoSMed: A confidentiality-verified social media platform 142
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 136
Model-checking for Resource-Bounded ATL with production and consumption of resources 136
CoSMed: A Confidentiality-Verified Social Media Platform 136
A novel symbolic approach to verifying epistemic properties of programs 135
Combinatorial optimization based recommender systems 135
A model for trustworthy orchestration in the internet of things 134
Contradictory information flow in networks with trust and distrust 133
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 133
A Constrained ECA Language Supporting Formal Verification of WSNs 132
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 132
Trust and distrust in contradictory information transmission 130
Symbolic model-checking for resource-bounded ATL 130
Taking Arduino to the Internet of Things: The ASIP programming model 130
MIRTO: An open-source robotic platform for education 127
The anonymous subgraph problem 126
Differential cost analysis with simultaneous potentials and anti-potentials 123
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes 122
Software theory change for resilient near-complete specifications 121
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 120
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 118
The anonymous subgraph problem 118
Symbolic verification of event?condition?action rules in intelligent environments 117
Teaching functional patterns through robotic applications 117
MCMAS: an open-source model checker for the verification of multi-agent systems 115
Lessons Learned from Training the Next Generation of Space Software Engineers 114
Decidable model-checking for a resource logic with production of resources 113
Lifting On-Demand Analysis to Higher-Order Languages 112
On the Role of Value Sensitive Concerns in Software Engineering Practice 111
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 110
Towards Cyber-physical Systems as Services: The ASIP Protocol 109
Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study 109
On-the-fly image classification to help blind people 108
Improving the model checking of strategies under partial observability and fairness constraints 108
Programming the MIRTO robot with neurons 108
Domain types: Abstract-domain selection based on variable usage 107
Slrtool: A tool to support collaborative systematic literature reviews 107
Minimizing transitive trust threats in software management systems 106
Symbolic model checking for one-resource RB?ATL 105
Multi-agent based simulations of block-free distributed ledgers 105
Modeling complex Air Traffic Management Systems 101
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 99
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 70
Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach 54
Totale 7.099
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.328
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 27.328
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/2027828 146 251 273 158 0 0 0 0 0 0 0 0
Totale 7.099