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.454
NA - Nord America 3.344
AS - Asia 1.219
SA - Sud America 481
AF - Africa 55
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 8.558
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.257
RU - Federazione Russa 1.546
IE - Irlanda 598
SG - Singapore 473
IT - Italia 459
BR - Brasile 393
CN - Cina 258
UA - Ucraina 167
DE - Germania 156
SE - Svezia 154
VN - Vietnam 134
FI - Finlandia 113
FR - Francia 92
GB - Regno Unito 69
HK - Hong Kong 58
BD - Bangladesh 52
IN - India 52
CA - Canada 45
TR - Turchia 35
AR - Argentina 33
JP - Giappone 28
PL - Polonia 26
MX - Messico 25
NL - Olanda 23
ID - Indonesia 20
IQ - Iraq 19
ZA - Sudafrica 16
CO - Colombia 14
ES - Italia 11
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
PK - Pakistan 10
UZ - Uzbekistan 10
VE - Venezuela 10
EC - Ecuador 8
CL - Cile 7
KE - Kenya 7
PE - Perù 7
AT - Austria 6
AZ - Azerbaigian 6
LT - Lituania 6
MA - Marocco 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
KR - Corea 4
MY - Malesia 4
OM - Oman 4
CH - Svizzera 3
CZ - Repubblica Ceca 3
EU - Europa 3
KH - Cambogia 3
UY - Uruguay 3
BA - Bosnia-Erzegovina 2
EG - Egitto 2
ET - Etiopia 2
HN - Honduras 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
KY - Cayman, isole 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
PA - Panama 1
RO - Romania 1
SV - El Salvador 1
TH - Thailandia 1
YE - Yemen 1
ZW - Zimbabwe 1
Totale 8.558
Salva come PNG Salva come JPEG
Città #
Dallas 667
Dublin 597
Moscow 513
Chandler 487
Jacksonville 294
San Jose 291
Singapore 224
Ashburn 141
Baranello 113
Helsinki 110
The Dalles 103
Milan 92
Beijing 86
Dearborn 80
San Mateo 64
Princeton 58
Ho Chi Minh City 55
Hong Kong 55
Lauterbourg 52
Wilmington 51
São Paulo 47
Los Angeles 45
Columbus 43
New York 39
Santa Clara 36
Hanoi 29
Rome 27
Council Bluffs 26
Warsaw 26
Campobasso 23
Tokyo 22
Frankfurt am Main 20
Orem 20
Ann Arbor 16
Isernia 16
Ottawa 16
Hanover 15
Houston 14
Belo Horizonte 13
Chennai 12
Denver 12
Mountain View 12
Stockholm 12
Toronto 12
Boston 11
Falkenstein 11
Hillsboro 11
Abidjan 10
Amsterdam 10
Augusta 10
Brussels 10
Chicago 10
London 10
Rio de Janeiro 10
Tashkent 10
Woodbridge 10
Brooklyn 9
Hefei 9
Manchester 9
Mexico City 9
Poplar 9
Des Moines 8
Kocaeli 8
Monmouth Junction 8
Mumbai 8
Naples 8
Ankara 7
Ardabil 7
Baghdad 7
Brasília 7
Guangzhou 7
Haiphong 7
Johannesburg 7
Kunming 7
Leawood 7
Nanjing 7
Salvador 7
Baku 6
Buffalo 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
Phoenix 5
Porto Alegre 5
Sumaré 5
Turin 5
Bari 4
Boardman 4
Bolton 4
Totale 5.094
Salva come PNG Salva come JPEG
Nome #
Verifying Tree-Manipulating Programs via CHCs 373
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 192
Automated Planning Through Program Verification 181
Analyzing Recursive Programs using Fixed-point Calculus 176
CSeq: A Sequentialization Tool for C 175
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 169
Analyzing temporal role based access control models 169
Reachability of scope-bounded multistack pushdown systems 167
CSeq: A concurrency pre-processor for sequential C verification tools 164
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 163
Decidable logics combining heap structures and data 160
Context-Bounded Analysis of Concurrent Queue Systems 159
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 158
An Infinite Automaton Characterization of Double Exponential Time 157
Fast payment schemes for truthful mechanisms with verification 157
A Robust Class of Context-Sensitive Languages 157
Preventing unauthorized data flows 156
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 156
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 149
Context-Bounded Analysis of TSO Systems 149
On the model-checking of branching-time temporal logic with BDI modalities 145
Analyzing temporal role based access control models 144
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 140
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 138
On the Complexity of Ltl Model-Checking of Recursive State Machines 137
Model checking BDI logics over finite-state worlds 133
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 132
Hierarchical and Recursive State Machines with Context-Dependent Properties 132
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 125
Security Analysis of Role-Based Access Control through Program Verification 124
On Sequentializing Concurrent Programs 124
Minimum Weighted Feedback Vertex Set on Diamonds 123
The Language Theory of Bounded Context-Switching 119
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 118
Policy analysis for self-administrated role-based access control 117
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 116
Reasoning about Data Trees using CHCs 115
Parallel bug-finding in concurrent programs via reduced interleaving instances 114
Getting Rid of Store-Buffers in TSO Analysis 113
Verifying Concurrent Programs by Memory Unwinding 113
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 113
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 112
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 112
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 112
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 109
Scope-Bounded Pushdown Languages. 109
Security Analysis of Role-Based Access Control through Program Verification 109
Lazy-CSeq: A Lazy Sequentialization Tool for C 108
Reachability Games Modulo Theories with a Bounded Safety Player 108
The Tree Width of Auxiliary Storage 107
MU-CSeq 0.4: Individual Memory Location Unwindings 107
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 107
On the Path-Width of Integer Linear Programming 105
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 105
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 102
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 102
Security analysis for temporal role based access control 101
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 99
On the path-width of integer linear programming 97
Scope-Bounded Pushdown Languages 92
Unifying Approach for Multistack Pushdown Automata 92
Vac - Verifier of administrative role-based access control policies 91
null 87
null 73
Verifying Programs by Bounded Tree-Width Behavior Graphs 68
Static Data Race Detection via Lazy Sequentialization 64
Reasoning About Data Trees Using CHCs 63
Totale 8.663
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.534
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 36.534
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212 0 0 0 0 0 0 0 0 0 0 0 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.286 152 341 583 364 852 870 412 115 150 310 89 48
Totale 8.663