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.779
NA - Nord America 1.618
AS - Asia 415
SA - Sud America 95
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 4
Totale 3.924
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.590
IE - Irlanda 592
IT - Italia 422
SG - Singapore 200
UA - Ucraina 162
RU - Federazione Russa 151
SE - Svezia 143
DE - Germania 132
CN - Cina 112
FI - Finlandia 110
BR - Brasile 88
HK - Hong Kong 37
CA - Canada 22
JP - Giappone 18
GB - Regno Unito 17
FR - Francia 14
NL - Olanda 13
TR - Turchia 12
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
IN - India 9
AT - Austria 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
CO - Colombia 3
EU - Europa 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
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
Totale 3.924
Salva come PNG Salva come JPEG
Città #
Dublin 592
Chandler 487
Jacksonville 294
Baranello 113
Helsinki 108
Milan 92
Dearborn 80
Singapore 66
San Mateo 64
Princeton 58
Wilmington 50
Hong Kong 35
The Dalles 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
Abidjan 10
Brussels 10
Santa Clara 10
Woodbridge 10
Hefei 9
São Paulo 9
Belo Horizonte 8
Kocaeli 8
Monmouth Junction 8
Ardabil 7
Ashburn 7
Guangzhou 7
Kunming 7
Leawood 7
Nanjing 7
Amsterdam 6
Augusta 6
Marrùbiu 6
Nanchang 6
Redwood City 6
Shenyang 6
Borås 5
Frankfurt am Main 5
Jinan 5
Molise 5
Naples 5
Norwalk 5
Bolton 4
Haikou 4
Livorno 4
Los Angeles 4
Mumbai 4
Toronto 4
Trento 4
Turin 4
Woodford Green 4
Andover 3
Baku 3
Bari 3
Hebei 3
Karlsruhe 3
Palermo 3
Pescara 3
Pianella 3
Salerno 3
Southampton 3
Verona 3
Amman 2
Bellante 2
Bologna 2
Brdo 2
Chongqing 2
Dalian 2
Fairfield 2
Falls Church 2
Genoa 2
Lappeenranta 2
Marcianise 2
Morgan Hill 2
Munich 2
Ningbo 2
Portland 2
Rio de Janeiro 2
Rockville 2
San Giovanni Rotondo 2
Tashkent 2
Treviglio 2
Tsukuba 2
Vienna 2
Aabybro 1
Américo Brasiliense 1
Ancona 1
Angri 1
Antalya 1
Totale 2.573
Salva come PNG Salva come JPEG
Nome #
Reachability of scope-bounded multistack pushdown systems 110
Automated Planning Through Program Verification 103
On the Complexity of Ltl Model-Checking of Recursive State Machines 93
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 92
On the model-checking of branching-time temporal logic with BDI modalities 90
Analyzing Recursive Programs using Fixed-point Calculus 89
null 87
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 87
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 87
CSeq: A Sequentialization Tool for C 84
Preventing unauthorized data flows 80
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 80
Context-Bounded Analysis of Concurrent Queue Systems 77
Hierarchical and Recursive State Machines with Context-Dependent Properties 77
Analyzing temporal role based access control models 75
A Robust Class of Context-Sensitive Languages 75
Context-Bounded Analysis of TSO Systems 73
null 73
Decidable logics combining heap structures and data 72
The Language Theory of Bounded Context-Switching 72
An Infinite Automaton Characterization of Double Exponential Time 72
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 71
Analyzing temporal role based access control models 70
Security Analysis of Role-Based Access Control through Program Verification 69
Getting Rid of Store-Buffers in TSO Analysis 69
CSeq: A concurrency pre-processor for sequential C verification tools 69
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 69
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 69
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 68
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 68
Model checking BDI logics over finite-state worlds 67
Fast payment schemes for truthful mechanisms with verification 66
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 66
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 65
On Sequentializing Concurrent Programs 65
Reasoning about Data Trees using CHCs 63
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 63
Lazy-CSeq: A Lazy Sequentialization Tool for C 62
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 62
Security analysis for temporal role based access control 61
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 61
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 58
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 57
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 57
Security Analysis of Role-Based Access Control through Program Verification 51
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 50
Reachability Games Modulo Theories with a Bounded Safety Player 49
Verifying Concurrent Programs by Memory Unwinding 46
MU-CSeq 0.4: Individual Memory Location Unwindings 46
Minimum Weighted Feedback Vertex Set on Diamonds 45
On the path-width of integer linear programming 45
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 44
Scope-Bounded Pushdown Languages. 44
Parallel bug-finding in concurrent programs via reduced interleaving instances 43
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 43
Unifying Approach for Multistack Pushdown Automata 43
Policy analysis for self-administrated role-based access control 40
On the Path-Width of Integer Linear Programming 36
The Tree Width of Auxiliary Storage 35
Scope-Bounded Pushdown Languages 34
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 26
Vac - Verifier of administrative role-based access control policies 16
Reasoning About Data Trees Using CHCs 14
Static Data Race Detection via Lazy Sequentialization 13
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 13
Verifying Programs by Bounded Tree-Width Behavior Graphs 9
Totale 4.028
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.376
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.376
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/2025890 35 56 48 53 181 68 78 224 110 33 4 0
Totale 4.028