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

PARLATO, Gennaro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.789
NA - Nord America 1.696
AS - Asia 420
SA - Sud America 95
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.018
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.667
IE - Irlanda 592
IT - Italia 423
SG - Singapore 203
UA - Ucraina 162
RU - Federazione Russa 151
SE - Svezia 144
DE - Germania 132
CN - Cina 112
FI - Finlandia 110
BR - Brasile 88
HK - Hong Kong 37
CA - Canada 23
GB - Regno Unito 21
JP - Giappone 18
FR - Francia 14
NL - Olanda 13
TR - Turchia 13
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
IN - India 9
AE - Emirati Arabi Uniti 4
AT - Austria 4
AZ - Azerbaigian 3
CO - Colombia 3
EU - Europa 3
PL - Polonia 3
BA - Bosnia-Erzegovina 2
BD - Bangladesh 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
JO - Giordania 2
MX - Messico 2
PK - Pakistan 2
UZ - Uzbekistan 2
VE - Venezuela 2
A1 - Anonimo 1
AR - Argentina 1
CH - Svizzera 1
DK - Danimarca 1
EC - Ecuador 1
ES - Italia 1
GA - Gabon 1
KR - Corea 1
LT - Lituania 1
MA - Marocco 1
MD - Moldavia 1
NI - Nicaragua 1
OM - Oman 1
PA - Panama 1
RO - Romania 1
TN - Tunisia 1
ZA - Sudafrica 1
Totale 4.018
Salva come PNG Salva come JPEG
Città #
Dublin 592
Chandler 487
Jacksonville 294
Baranello 113
Helsinki 108
Milan 92
Dearborn 80
Singapore 69
San Mateo 64
The Dalles 60
Princeton 58
Wilmington 50
Hong Kong 35
Campobasso 23
Rome 18
Ann Arbor 16
Beijing 16
Ottawa 16
Dallas 15
Hanover 14
Isernia 14
Tokyo 13
Council Bluffs 12
Mountain View 12
Falkenstein 11
Houston 11
Santa Clara 11
Abidjan 10
Brussels 10
Woodbridge 10
Hefei 9
Los Angeles 9
São Paulo 9
Belo Horizonte 8
Kocaeli 8
Monmouth Junction 8
Ardabil 7
Ashburn 7
Augusta 7
Guangzhou 7
Kunming 7
Leawood 7
Nanjing 7
Amsterdam 6
Marrùbiu 6
Nanchang 6
Naples 6
Redwood City 6
Shenyang 6
Borås 5
Frankfurt am Main 5
Jinan 5
Molise 5
Norwalk 5
Toronto 5
Bolton 4
Boston 4
Brooklyn 4
Haikou 4
Livorno 4
Mumbai 4
Trento 4
Turin 4
Woodford Green 4
Andover 3
Baku 3
Bari 3
Chicago 3
Hebei 3
Karlsruhe 3
London 3
Palermo 3
Pescara 3
Pianella 3
Salerno 3
Southampton 3
Verona 3
Warsaw 3
Amman 2
Bellante 2
Bologna 2
Brdo 2
Chongqing 2
Dalian 2
Fairfield 2
Falls Church 2
Genoa 2
Lappeenranta 2
Marcianise 2
Miami 2
Morgan Hill 2
Munich 2
New York 2
Ningbo 2
Portland 2
Rio de Janeiro 2
Rockville 2
San Giovanni Rotondo 2
San Jose 2
Stockholm 2
Totale 2.622
Salva come PNG Salva come JPEG
Nome #
Reachability of scope-bounded multistack pushdown systems 112
Automated Planning Through Program Verification 104
On the Complexity of Ltl Model-Checking of Recursive State Machines 95
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 94
On the model-checking of branching-time temporal logic with BDI modalities 92
Analyzing Recursive Programs using Fixed-point Calculus 91
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 90
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 89
null 87
CSeq: A Sequentialization Tool for C 85
Preventing unauthorized data flows 82
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 81
Context-Bounded Analysis of Concurrent Queue Systems 79
Hierarchical and Recursive State Machines with Context-Dependent Properties 79
A Robust Class of Context-Sensitive Languages 77
Analyzing temporal role based access control models 76
Context-Bounded Analysis of TSO Systems 75
Decidable logics combining heap structures and data 74
The Language Theory of Bounded Context-Switching 73
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 73
An Infinite Automaton Characterization of Double Exponential Time 73
null 73
Getting Rid of Store-Buffers in TSO Analysis 71
Analyzing temporal role based access control models 71
CSeq: A concurrency pre-processor for sequential C verification tools 71
Security Analysis of Role-Based Access Control through Program Verification 70
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 70
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 70
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 70
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 69
Fast payment schemes for truthful mechanisms with verification 68
Model checking BDI logics over finite-state worlds 68
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 68
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 67
On Sequentializing Concurrent Programs 67
Reasoning about Data Trees using CHCs 65
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 64
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 64
Lazy-CSeq: A Lazy Sequentialization Tool for C 63
Security analysis for temporal role based access control 62
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 62
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 59
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 59
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 58
Security Analysis of Role-Based Access Control through Program Verification 52
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 51
Reachability Games Modulo Theories with a Bounded Safety Player 51
Verifying Concurrent Programs by Memory Unwinding 47
MU-CSeq 0.4: Individual Memory Location Unwindings 47
Minimum Weighted Feedback Vertex Set on Diamonds 46
On the path-width of integer linear programming 46
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 45
Scope-Bounded Pushdown Languages. 45
Parallel bug-finding in concurrent programs via reduced interleaving instances 44
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 44
Unifying Approach for Multistack Pushdown Automata 44
Policy analysis for self-administrated role-based access control 41
On the Path-Width of Integer Linear Programming 37
The Tree Width of Auxiliary Storage 36
Scope-Bounded Pushdown Languages 35
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 27
Vac - Verifier of administrative role-based access control policies 19
Reasoning About Data Trees Using CHCs 16
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 15
Static Data Race Detection via Lazy Sequentialization 14
Verifying Programs by Bounded Tree-Width Behavior Graphs 10
Totale 4.122
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.805
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 24.805
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202059 0 0 0 0 0 0 0 0 0 0 5 54
2020/2021434 1 51 1 77 57 20 56 7 48 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/2025984 35 56 48 53 181 68 78 224 110 33 98 0
Totale 4.122