DE FRANCESCO, NICOLETTA
 Distribuzione geografica
Continente #
NA - Nord America 211
EU - Europa 105
AS - Asia 76
AF - Africa 5
OC - Oceania 3
SA - Sud America 1
Totale 401
Nazione #
US - Stati Uniti d'America 205
IT - Italia 32
GB - Regno Unito 17
CN - Cina 16
FR - Francia 14
DE - Germania 12
HK - Hong Kong 11
IR - Iran 9
SG - Singapore 8
IN - India 7
UA - Ucraina 7
CA - Canada 6
NL - Olanda 6
FI - Finlandia 5
JP - Giappone 4
VN - Vietnam 4
AE - Emirati Arabi Uniti 3
AU - Australia 3
DZ - Algeria 3
PL - Polonia 3
TW - Taiwan 3
CZ - Repubblica Ceca 2
ES - Italia 2
KR - Corea 2
PK - Pakistan 2
TR - Turchia 2
ZA - Sudafrica 2
AL - Albania 1
BD - Bangladesh 1
BG - Bulgaria 1
BH - Bahrain 1
CL - Cile 1
DK - Danimarca 1
GR - Grecia 1
ID - Indonesia 1
IL - Israele 1
MY - Malesia 1
RU - Federazione Russa 1
Totale 401
Città #
Ashburn 30
Houston 21
Buffalo 13
Serra 13
Santa Cruz 12
Fairfield 9
Ann Arbor 8
Dallas 8
Eugene 8
Chernihiv 5
Los Angeles 5
Vicopisano 5
Central District 4
Chengdu 4
Fleming Island 4
Helsinki 4
Verdun 4
Abu Dhabi 3
Burke 3
Changsha 3
Chicago 3
Fairfax 3
Fürth 3
New York 3
Rome 3
Taipei 3
Woodbridge 3
Albuquerque 2
Atlanta 2
Beijing 2
Bengaluru 2
Berlin 2
Boardman 2
Boynton Beach 2
Brisbane 2
Castellón 2
Central 2
Crugers 2
Delft 2
Des Moines 2
Dong Ket 2
Fontenay-sous-Bois 2
Frankfurt (Oder) 2
Gifu 2
Guangzhou 2
Lake Forest 2
McKinney 2
Muizenberg 2
Osaka 2
Poplar 2
Shanghai 2
Solana Beach 2
Warsaw 2
Wilmington 2
Aarhus 1
Ain Oulmene 1
Amsterdam 1
Bandung 1
Bangalore 1
Bonn 1
Boulder 1
Brescia 1
Columbus 1
Coventry 1
Decatur 1
Delhi 1
Dhaka 1
Duncan 1
Elk Grove Village 1
Falkenstein 1
Fort Collins 1
Gaggio Montano 1
Gelsenkirchen 1
Grenoble 1
Hangzhou 1
Herndon 1
Honolulu 1
Huddersfield 1
Istanbul 1
Izmir 1
Kowloon 1
Kozani 1
Kuala Lumpur 1
Las Vegas 1
Laval-du-Tarn 1
Manama 1
Manassas 1
Manchester 1
Milan 1
Milpitas 1
Motherwell 1
Mountain View 1
Nagpur 1
North Bergen 1
Nottingham 1
Ottawa 1
Paris 1
Rende 1
Rishon LeTsiyyon 1
Riva 1
Totale 287
Nome #
Design and simulation of the emergent behavior of small drones swarming for distributed target localization, file e0d6c92d-2197-fcf8-e053-d805fe0aa794 286
Swarm coordination of mini-UAVs for target search using imperfect sensors, file e0d6c92d-05e0-fcf8-e053-d805fe0aa794 79
Heuristic search for equivalence checking, file e0d6c930-9a5d-fcf8-e053-d805fe0aa794 27
Model checking for malicious family detection and phylogenetic analysis in mobile environment, file e0d6c92e-4d3a-fcf8-e053-d805fe0aa794 6
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications, file e0d6c92c-61fd-fcf8-e053-d805fe0aa794 3
Instruction-level security analysis for information flow in stack-based assembly languages, file e0d6c925-f67d-fcf8-e053-d805fe0aa794 2
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification, file e0d6c926-2560-fcf8-e053-d805fe0aa794 2
Java bytecode verification for secure information flow, file e0d6c92c-a56a-fcf8-e053-d805fe0aa794 2
Swarm coordination of mini-UAVs for target search using imperfect sensors, file e0d6c930-c5e4-fcf8-e053-d805fe0aa794 2
Decomposing Bytecode Verification by Abstract Interpretation, file e0d6c926-1f0b-fcf8-e053-d805fe0aa794 1
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs, file e0d6c926-21a7-fcf8-e053-d805fe0aa794 1
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation, file e0d6c926-3f4b-fcf8-e053-d805fe0aa794 1
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION, file e0d6c927-8887-fcf8-e053-d805fe0aa794 1
Heuristic search for equivalence checking, file e0d6c930-b712-fcf8-e053-d805fe0aa794 1
Design and simulation of the emergent behavior of small drones swarming for distributed target localization, file e0d6c930-ccad-fcf8-e053-d805fe0aa794 1
Totale 415
Categoria #
all - tutte 973
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 973


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203 0 0 0 0 0 0 0 0 0 3 0 0
2020/202149 0 0 0 0 5 2 1 0 14 11 10 6
2021/2022147 11 10 13 21 20 6 21 5 4 11 20 5
2022/2023124 9 7 14 12 14 7 9 11 2 18 15 6
2023/202487 11 19 12 8 12 1 7 7 3 7 0 0
Totale 415