CINECA IRIS Institutional Research Information System

DE FRANCESCO, NICOLETTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.882
AS - Asia 2.716
EU - Europa 2.616
SA - Sud America 305
AF - Africa 171
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 12.698
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.707
CN - Cina 944
IT - Italia 815
SG - Singapore 807
SE - Svezia 664
HK - Hong Kong 397
DE - Germania 299
BR - Brasile 266
BG - Bulgaria 215
TR - Turchia 159
CA - Canada 143
UA - Ucraina 143
KR - Corea 117
GB - Regno Unito 109
VN - Vietnam 107
FI - Finlandia 104
RU - Federazione Russa 100
NG - Nigeria 81
IN - India 69
CH - Svizzera 51
FR - Francia 51
CI - Costa d'Avorio 42
BD - Bangladesh 17
IQ - Iraq 15
JP - Giappone 15
SN - Senegal 14
AR - Argentina 13
BE - Belgio 13
SA - Arabia Saudita 13
MX - Messico 12
PK - Pakistan 8
ZA - Sudafrica 8
AT - Austria 7
CO - Colombia 7
ES - Italia 7
MA - Marocco 7
NL - Olanda 7
PL - Polonia 7
AE - Emirati Arabi Uniti 5
IE - Irlanda 5
NP - Nepal 5
PE - Perù 5
TT - Trinidad e Tobago 5
JO - Giordania 4
RO - Romania 4
RS - Serbia 4
TN - Tunisia 4
UY - Uruguay 4
AM - Armenia 3
AZ - Azerbaigian 3
DK - Danimarca 3
EG - Egitto 3
EU - Europa 3
GE - Georgia 3
IL - Israele 3
JM - Giamaica 3
NI - Nicaragua 3
NZ - Nuova Zelanda 3
PY - Paraguay 3
AL - Albania 2
BB - Barbados 2
BF - Burkina Faso 2
BJ - Benin 2
CL - Cile 2
DZ - Algeria 2
EC - Ecuador 2
GA - Gabon 2
ID - Indonesia 2
KE - Kenya 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MD - Moldavia 2
OM - Oman 2
PA - Panama 2
PH - Filippine 2
UZ - Uzbekistan 2
A1 - Anonimo 1
AO - Angola 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BS - Bahamas 1
BY - Bielorussia 1
CR - Costa Rica 1
ET - Etiopia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 1
KW - Kuwait 1
LU - Lussemburgo 1
MN - Mongolia 1
MY - Malesia 1
NO - Norvegia 1
PS - Palestinian Territory 1
PT - Portogallo 1
TH - Thailandia 1
Totale 12.696
Salva come PNG Salva come JPEG
Città #
Woodbridge 702
Ashburn 659
Fairfield 650
Ann Arbor 629
Chandler 587
Singapore 517
Houston 462
Santa Clara 413
Hong Kong 395
Seattle 274
Serra 262
Beijing 226
Cambridge 215
Sofia 215
Dallas 206
Wilmington 197
Shanghai 178
Jacksonville 165
Milan 154
Hefei 143
Ottawa 132
Izmir 122
New York 117
Seoul 117
Boardman 91
Nanjing 85
Princeton 82
Lagos 81
Bremen 80
Lawrence 78
Los Angeles 71
Des Moines 68
Medford 65
Bern 49
Florence 44
Abidjan 42
Dearborn 41
Munich 38
Dong Ket 36
Council Bluffs 32
Buffalo 30
Nanchang 30
Istanbul 29
Redondo Beach 28
Jüchen 27
San Diego 26
Frankfurt am Main 24
Pune 23
San Jose 20
San Vincenzo 20
Rome 19
Boulder 18
Columbus 17
Kunming 17
Düsseldorf 16
Ho Chi Minh City 16
Redwood City 16
The Dalles 16
Ogden 15
Dakar 14
Turku 14
Brussels 13
São Paulo 13
Changsha 12
Shenyang 12
Marseille 11
Quanzhou 11
Auburn Hills 10
Belo Horizonte 10
Hangzhou 10
Jiaxing 10
Fuzhou 9
Rio de Janeiro 9
London 8
Lyon 8
Norwalk 8
San Francisco 8
Tokyo 8
Brooklyn 7
Capannori 7
Changchun 7
Guangzhou 7
Indiana 7
Jinan 7
Tianjin 7
Baghdad 6
Hebei 6
Verona 6
Albissola Marina 5
Amsterdam 5
Betim 5
Bogotá 5
Caxias do Sul 5
Hanoi 5
Helsinki 5
Lima 5
Lucca 5
Nuremberg 5
Riyadh 5
Amman 4
Totale 9.451
Salva come PNG Salva come JPEG
Nome #
Swarm coordination of mini-UAVs for target search using imperfect sensors 256
Heuristic search for equivalence checking 245
Shared Abstract Data Types: an Algebraic Methodology for their Specification 232
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 225
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations 207
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 207
An interactive debugger for a concurrent language 205
A Petri Nets Semantics for Data Flow Networks 205
Model checking for malicious family detection and phylogenetic analysis in mobile environment 205
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 199
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 194
Checking Security of Java Bytecode by Abstract Interpretation 190
Instruction-level security typing by abstract interpretation 190
Concurrent programming tools for the MUTEAM multimicroprocessor system 189
A framework for data-flow distributed processing 189
A Tool Supporting Efficient Model Checking of Concurrent Specifications 183
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 183
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 182
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 181
A Transformation System for Concurrent Processes 180
Concurrent Programming Tools for the MuTEAM Microprocessor System 179
Finite Approximations for Model Checking Non-finite-state Processes 175
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 174
Proving Finiteness of CCS Processes by Non-Standard Semantics 172
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 170
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 167
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 167
A formula-driven modular attack on state explosion 166
Authenticity in a Reliable Protocol for Mobile Computing 165
Algebraic Computational Models of OR-parallel Execution of Prolog 163
Instruction-level security analysis for information flow in stack-based assembly languages 161
Development of a debugger for a concurrent language 161
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 160
MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS 159
Modelling Free Flight with Collision Avoidance. : 270-280 159
Decomposing Bytecode Verification by Abstract Interpretation 158
A Framework for Data-Flow Distributed Processing 157
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 156
Syntactic Reductions for Efficient Deadlock Analysis 155
Java bytecode verification for secure information flow 155
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 155
Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215 154
Partial model checking via abstract interpretation 154
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 152
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 152
An approach to system design based on P/T net simulation 150
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 149
Efficient Genotype Elimination via Adaptive Allele Consolidation 149
null 148
Modeling OR-Parallel Execution of Prolog using CHOCS 146
A Non-Standard Semantics for Generating Reduced Transition Systems 145
Fixing the Java Bytecode Verifier by a Suitable Type Domain 144
Checking security properties by model checking 144
Unfold/Fold Transformations of Concurrent Processes 143
Selective Mu-calculus and formula-based equivalence of transition systems 143
A Notion of Non-Interference for Timed Automata 143
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 141
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 140
State Space Reduction by Non-standard Semantics for Deadlock Analysis 140
Abstract Interpretation of Trace Semantics for Concurrent Calculi 139
A user-friendly interface to specify temporal properties of concurrent systems 138
Towards innovative software engineering environments 137
Checking Safety Proprieties through Simulation and Heuristic Search 136
Specification of Concurrency Control in Persistent Programming Languages 135
A Tool for Checking Secure Interaction in Java Cards 130
Towards a Logical Semantics fo Prolog 129
AXIOMATIZING CCS, NETS AND PROCESSES 128
Development of a Debugger for a Concurrent Language 125
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 122
Formula Based Abstractions of Transition Systems for Real-time Model Checking 121
Description of a Tool for Specifying and Prototyping Concurrent Programs 118
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 118
A Partial Order Semantics for FIFO-Nets 117
Concurrent behavior: a construct to specify the external behavior of objects in an object database 116
Development of a Debugger for a Concurrent Language 115
Efficient Verification of a Multicast Protocol for Mobile Computing 110
A Notion of Non-Interference for Timed Automata 103
Logic Based Abstractions of Real-time Systems 102
Timed Automata with non-Instantaneous Actions 96
null 85
GreASE: A Tool for Efficient "Nonequivalence" Checking 80
Model checking safety properties through simulation and heuristic search 39
Abstract Interpretation of Operational Semantics for Secure Information Flow 19
Totale 12.776
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.096
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 33.096
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021451 0 0 0 0 0 0 46 71 113 79 44 98
2021/20221.017 21 57 14 185 185 117 13 53 36 17 53 266
2022/20231.566 176 215 87 291 200 189 19 96 197 7 76 13
2023/2024693 107 84 99 34 105 118 28 15 13 7 30 53
2024/20252.510 5 109 11 139 306 297 196 78 184 321 350 514
2025/20261.495 264 324 256 157 235 246 13 0 0 0 0 0
Totale 12.776