IRIS
RAIMONDI, FRANCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.991
AS - Asia 1.476
NA - Nord America 1.102
SA - Sud America 170
AF - Africa 41
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 5.782
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 2.314
US - Stati Uniti d'America 1.050
SG - Singapore 524
CN - Cina 420
IT - Italia 372
VN - Vietnam 166
HK - Hong Kong 131
BR - Brasile 127
DE - Germania 60
FR - Francia 58
KR - Corea 52
TR - Turchia 47
GB - Regno Unito 44
IN - India 31
NL - Olanda 26
BD - Bangladesh 24
UA - Ucraina 22
MX - Messico 19
CA - Canada 18
FI - Finlandia 16
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
UZ - Uzbekistan 6
IE - Irlanda 5
CO - Colombia 4
IL - Israele 4
LT - Lituania 4
PH - Filippine 4
AO - Angola 3
AT - Austria 3
CL - Cile 3
DZ - Algeria 3
ID - Indonesia 3
JM - Giamaica 3
KZ - Kazakistan 3
MY - Malesia 3
PA - Panama 3
PY - Paraguay 3
RO - Romania 3
TJ - Tagikistan 3
AZ - Azerbaigian 2
BB - Barbados 2
CI - Costa d'Avorio 2
GR - Grecia 2
NO - Norvegia 2
PT - Portogallo 2
RS - Serbia 2
TT - Trinidad e Tobago 2
AL - Albania 1
AU - Australia 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
TN - Tunisia 1
TW - Taiwan 1
TZ - Tanzania 1
UY - Uruguay 1
YT - Mayotte 1
Totale 5.782
Salva come PNG Salva come JPEG
Città #
Moscow 563
Rome 243
Singapore 234
Ashburn 200
San Jose 158
Boardman 143
Hong Kong 131
The Dalles 101
Chicago 76
Milan 62
Shanghai 61
Beijing 55
Hefei 51
Seoul 51
Ho Chi Minh City 50
Lauterbourg 46
Hanoi 40
Istanbul 39
Munich 36
New York 30
Dallas 29
L’Aquila 27
Orem 26
Amsterdam 25
São Paulo 23
Los Angeles 22
Santa Clara 19
Shenzhen 19
Kyiv 17
Stockholm 16
Guangzhou 12
Johannesburg 12
Warsaw 12
Brooklyn 11
Montreal 11
Tokyo 11
Chennai 10
Denver 10
Helsinki 10
Manchester 10
Boston 9
Council Bluffs 9
Haiphong 9
London 9
Brno 8
Da Nang 8
Houston 7
Mumbai 7
Nairobi 7
Quito 7
Reading 7
Rio de Janeiro 7
Baghdad 6
Erbil 6
Mexico City 6
Poplar 6
Seattle 6
Tashkent 6
Turku 6
Atlanta 5
Phoenix 5
San Francisco 5
Ankara 4
Dhaka 4
Nuremberg 4
Querétaro 4
Skerries 4
Taizhou 4
Biên Hòa 3
Brasília 3
Dammam 3
Delhi 3
Dushanbe 3
Greensboro 3
Jeddah 3
Jiaxing 3
Kingston 3
Kuala Lumpur 3
Miami 3
New Delhi 3
Nha Trang 3
Pontypridd 3
Riyadh 3
Santiago 3
São José do Rio Preto 3
Zhuji 3
Abidjan 2
Baku 2
Belo Horizonte 2
Bogotá 2
Bridgetown 2
Bến Tre 2
Campinas 2
Candeias 2
Carney 2
Concord 2
Faisalabad 2
Frankfurt am Main 2
Goiânia 2
Guarulhos 2
Totale 2.959
Salva come PNG Salva come JPEG
Nome #
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 140
Analysis and verification of ECA rules in intelligent environments 139
Application of verification techniques to security: Model checking insider attacks 129
An approach to quantify workload in a system of agents 127
A Computationally Grounded, Weighted Doxastic Logic 126
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 125
A synergistic and extensible framework for multi-agent system verification 124
CoSMed: A confidentiality-verified social media platform 124
The packing chromatic number of the infinite square lattice is between 13 and 15 123
A proof-theoretic trust and reputation model for VANET 122
Automatic Annotation of~Confidential Data in~Java Code 121
A typed natural deduction calculus to reason about secure trust 121
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 119
CoSMed: A Confidentiality-Verified Social Media Platform 119
Contradictory information flow in networks with trust and distrust 117
A theory of change for prioritised resilient and evolvable software systems 116
Model-checking for Resource-Bounded ATL with production and consumption of resources 115
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints 114
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 114
Taking Arduino to the Internet of Things: The ASIP programming model 114
Symbolic model-checking for resource-bounded ATL 113
A novel symbolic approach to verifying epistemic properties of programs 113
A Constrained ECA Language Supporting Formal Verification of WSNs 112
Combinatorial optimization based recommender systems 112
A model for trustworthy orchestration in the internet of things 111
The anonymous subgraph problem 109
Architecture as Code 107
Software theory change for resilient near-complete specifications 105
Differential cost analysis with simultaneous potentials and anti-potentials 104
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers 104
Trust and distrust in contradictory information transmission 103
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes 103
Symbolic verification of event?condition?action rules in intelligent environments 103
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper) 102
MIRTO: An open-source robotic platform for education 101
The anonymous subgraph problem 101
Teaching functional patterns through robotic applications 100
MCMAS: an open-source model checker for the verification of multi-agent systems 97
On the Role of Value Sensitive Concerns in Software Engineering Practice 95
Decidable model-checking for a resource logic with production of resources 95
Lifting On-Demand Analysis to Higher-Order Languages 94
Towards Cyber-physical Systems as Services: The ASIP Protocol 94
Programming the MIRTO robot with neurons 93
On-the-fly image classification to help blind people 92
Implementing adaptation and reconfiguration strategies in heterogeneous WSN 91
Domain types: Abstract-domain selection based on variable usage 91
Minimizing transitive trust threats in software management systems 91
Improving the model checking of strategies under partial observability and fairness constraints 91
Symbolic model checking for one-resource RB?ATL 90
Multi-agent based simulations of block-free distributed ledgers 88
Modeling complex Air Traffic Management Systems 86
Slrtool: A tool to support collaborative systematic literature reviews 86
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 76
Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring 44
Lessons Learned from Training the Next Generation of Space Software Engineers 38
Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study 37
Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach 22
Totale 5.843
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.084
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 22.084
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/20264.597 283 175 106 294 310 2.368 338 102 490 131 0 0
Totale 5.843