IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

PARLATO, Gennaro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.436
NA - Nord America 3.233
AS - Asia 1.148
SA - Sud America 478
AF - Africa 55
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 8.355
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.158
RU - Federazione Russa 1.546
IE - Irlanda 598
SG - Singapore 454
IT - Italia 445
BR - Brasile 392
CN - Cina 235
UA - Ucraina 167
DE - Germania 156
SE - Svezia 154
VN - Vietnam 134
FI - Finlandia 113
FR - Francia 92
GB - Regno Unito 67
HK - Hong Kong 54
IN - India 52
CA - Canada 37
TR - Turchia 35
AR - Argentina 32
BD - Bangladesh 30
JP - Giappone 27
PL - Polonia 26
MX - Messico 25
NL - Olanda 22
ID - Indonesia 20
IQ - Iraq 19
ZA - Sudafrica 16
CO - Colombia 14
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
ES - Italia 10
PK - Pakistan 10
UZ - Uzbekistan 10
VE - Venezuela 10
EC - Ecuador 8
CL - Cile 7
KE - Kenya 7
AT - Austria 6
AZ - Azerbaigian 6
LT - Lituania 6
MA - Marocco 6
PE - Perù 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
JO - Giordania 5
NP - Nepal 5
PY - Paraguay 5
TN - Tunisia 5
DO - Repubblica Dominicana 4
DZ - Algeria 4
JM - Giamaica 4
MY - Malesia 4
CH - Svizzera 3
CZ - Repubblica Ceca 3
EU - Europa 3
KH - Cambogia 3
KR - Corea 3
OM - Oman 3
UY - Uruguay 3
BA - Bosnia-Erzegovina 2
EG - Egitto 2
ET - Etiopia 2
IL - Israele 2
MD - Moldavia 2
MN - Mongolia 2
NI - Nicaragua 2
PH - Filippine 2
PS - Palestinian Territory 2
RS - Serbia 2
A1 - Anonimo 1
AI - Anguilla 1
AL - Albania 1
AM - Armenia 1
AU - Australia 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CR - Costa Rica 1
DK - Danimarca 1
EE - Estonia 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
PA - Panama 1
RO - Romania 1
TH - Thailandia 1
YE - Yemen 1
ZW - Zimbabwe 1
Totale 8.355
Salva come PNG Salva come JPEG
Città #
Dallas 662
Dublin 597
Moscow 513
Chandler 487
Jacksonville 294
San Jose 274
Singapore 220
Ashburn 129
Baranello 113
Helsinki 110
The Dalles 103
Milan 92
Beijing 82
Dearborn 80
San Mateo 64
Princeton 58
Ho Chi Minh City 55
Lauterbourg 52
Hong Kong 51
Wilmington 50
São Paulo 47
Columbus 43
Los Angeles 43
New York 34
Hanoi 29
Santa Clara 28
Council Bluffs 26
Warsaw 26
Rome 25
Campobasso 23
Tokyo 21
Frankfurt am Main 20
Orem 18
Ann Arbor 16
Ottawa 16
Hanover 15
Isernia 14
Belo Horizonte 13
Houston 13
Chennai 12
Mountain View 12
Stockholm 12
Boston 11
Denver 11
Falkenstein 11
Abidjan 10
Amsterdam 10
Brussels 10
London 10
Rio de Janeiro 10
Tashkent 10
Woodbridge 10
Augusta 9
Brooklyn 9
Chicago 9
Hefei 9
Hillsboro 9
Mexico City 9
Poplar 9
Kocaeli 8
Manchester 8
Monmouth Junction 8
Mumbai 8
Toronto 8
Ankara 7
Ardabil 7
Baghdad 7
Brasília 7
Des Moines 7
Guangzhou 7
Haiphong 7
Johannesburg 7
Kunming 7
Leawood 7
Nanjing 7
Naples 7
Salvador 7
Baku 6
Goiânia 6
Hải Dương 6
Marrùbiu 6
Montreal 6
Nairobi 6
Nanchang 6
New Delhi 6
Redwood City 6
Shenyang 6
Atlanta 5
Borås 5
Jinan 5
Molise 5
Norwalk 5
Porto Alegre 5
Sumaré 5
Boardman 4
Bolton 4
Dhaka 4
Haikou 4
Hortolândia 4
Istanbul 4
Totale 5.008
Salva come PNG Salva come JPEG
Nome #
Verifying Tree-Manipulating Programs via CHCs 344
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 179
Automated Planning Through Program Verification 178
Analyzing Recursive Programs using Fixed-point Calculus 175
CSeq: A Sequentialization Tool for C 172
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 167
Analyzing temporal role based access control models 166
Reachability of scope-bounded multistack pushdown systems 163
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 162
CSeq: A concurrency pre-processor for sequential C verification tools 161
Context-Bounded Analysis of Concurrent Queue Systems 157
An Infinite Automaton Characterization of Double Exponential Time 156
A Robust Class of Context-Sensitive Languages 156
Preventing unauthorized data flows 155
Decidable logics combining heap structures and data 154
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 153
Context-Bounded Analysis of TSO Systems 148
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 146
On the model-checking of branching-time temporal logic with BDI modalities 145
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 144
Analyzing temporal role based access control models 142
Fast payment schemes for truthful mechanisms with verification 142
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 138
On the Complexity of Ltl Model-Checking of Recursive State Machines 137
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 131
Model checking BDI logics over finite-state worlds 131
Hierarchical and Recursive State Machines with Context-Dependent Properties 130
Security Analysis of Role-Based Access Control through Program Verification 124
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 124
On Sequentializing Concurrent Programs 122
Minimum Weighted Feedback Vertex Set on Diamonds 120
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 120
The Language Theory of Bounded Context-Switching 118
Policy analysis for self-administrated role-based access control 116
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 116
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 116
Getting Rid of Store-Buffers in TSO Analysis 113
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 113
Verifying Concurrent Programs by Memory Unwinding 112
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 112
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 112
Reasoning about Data Trees using CHCs 111
Parallel bug-finding in concurrent programs via reduced interleaving instances 111
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 111
Scope-Bounded Pushdown Languages. 108
Security Analysis of Role-Based Access Control through Program Verification 107
Lazy-CSeq: A Lazy Sequentialization Tool for C 107
MU-CSeq 0.4: Individual Memory Location Unwindings 107
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 106
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 104
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 104
Reachability Games Modulo Theories with a Bounded Safety Player 104
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 102
Security analysis for temporal role based access control 101
On the Path-Width of Integer Linear Programming 101
The Tree Width of Auxiliary Storage 99
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 99
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 97
On the path-width of integer linear programming 96
Unifying Approach for Multistack Pushdown Automata 90
Vac - Verifier of administrative role-based access control policies 89
Scope-Bounded Pushdown Languages 88
null 87
null 73
Verifying Programs by Bounded Tree-Width Behavior Graphs 65
Reasoning About Data Trees Using CHCs 62
Static Data Race Detection via Lazy Sequentialization 61
Totale 8.460
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.937
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 34.937
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021116 0 0 0 0 0 0 0 0 0 8 106 2
2021/2022405 1 55 45 42 32 31 12 33 73 27 14 40
2022/20231.515 183 70 71 138 53 120 6 77 703 54 17 23
2023/2024290 87 19 14 4 14 4 5 13 2 4 114 10
2024/20251.239 35 56 48 53 181 68 78 224 110 33 161 192
2025/20264.083 152 341 583 364 852 870 412 115 150 244 0 0
Totale 8.460