UniSa - IRIS Institutional Research Information System

LA TORRE, Salvatore
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.697
AS - Asia 2.301
EU - Europa 1.710
SA - Sud America 298
AF - Africa 64
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 2
Totale 11.083
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.628
SG - Singapore 1.003
CN - Cina 507
UA - Ucraina 402
IT - Italia 336
VN - Vietnam 238
BR - Brasile 220
RU - Federazione Russa 198
HK - Hong Kong 182
DE - Germania 174
SE - Svezia 169
IE - Irlanda 129
FR - Francia 112
TR - Turchia 112
FI - Finlandia 91
KR - Corea 67
IN - India 42
CA - Canada 35
GB - Regno Unito 33
AR - Argentina 31
BD - Bangladesh 29
IQ - Iraq 27
MX - Messico 18
ZA - Sudafrica 18
JP - Giappone 15
PL - Polonia 13
EC - Ecuador 12
VE - Venezuela 12
PH - Filippine 11
CO - Colombia 10
PK - Pakistan 10
SA - Arabia Saudita 10
ES - Italia 9
EU - Europa 9
BE - Belgio 8
ID - Indonesia 8
EG - Egitto 7
MA - Marocco 7
NP - Nepal 7
UZ - Uzbekistan 6
AT - Austria 5
IL - Israele 5
RO - Romania 5
TN - Tunisia 5
CL - Cile 4
JO - Giordania 4
KE - Kenya 4
PY - Paraguay 4
SN - Senegal 4
CM - Camerun 3
LB - Libano 3
MY - Malesia 3
NL - Olanda 3
UY - Uruguay 3
AL - Albania 2
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BG - Bulgaria 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
GR - Grecia 2
KZ - Kazakistan 2
LT - Lituania 2
MU - Mauritius 2
NE - Niger 2
TT - Trinidad e Tobago 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
AU - Australia 1
BO - Bolivia 1
BW - Botswana 1
BZ - Belize 1
CG - Congo 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
DZ - Algeria 1
EE - Estonia 1
ET - Etiopia 1
GA - Gabon 1
GD - Grenada 1
GT - Guatemala 1
HT - Haiti 1
HU - Ungheria 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
LC - Santa Lucia 1
LU - Lussemburgo 1
LY - Libia 1
MQ - Martinica 1
MR - Mauritania 1
MZ - Mozambico 1
NI - Nicaragua 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
OM - Oman 1
Totale 11.070
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.529
Wilmington 757
Singapore 565
Woodbridge 500
Jacksonville 496
Chandler 492
Houston 460
Princeton 364
San Jose 340
Dallas 214
Ashburn 206
Hong Kong 179
Dublin 128
Council Bluffs 124
Nanjing 98
Lauterbourg 95
Andover 90
Izmir 89
The Dalles 81
Salerno 69
Boardman 63
Beijing 59
Dong Ket 59
Mestre 58
Pellezzano 57
Ho Chi Minh City 56
Moscow 50
Hanoi 49
Düsseldorf 40
Hebei 34
Nanchang 34
Los Angeles 32
Fairfield 27
São Paulo 24
Frankfurt am Main 22
New York 22
Santa Clara 22
Jiaxing 21
Tianjin 21
Changsha 20
Shenyang 20
Chicago 19
Montreal 15
Munich 15
Norwalk 15
Brooklyn 14
Des Moines 13
San Francisco 13
Tokyo 13
Warsaw 13
Baghdad 12
Milan 12
Columbus 11
Da Nang 11
Washington 11
Johannesburg 10
Memphis 10
Ankara 9
Biên Hòa 9
Phoenix 9
San Diego 9
Spinea 9
Brussels 8
Cambridge 8
Chennai 8
Napoli 8
Orem 8
Boston 7
Charlotte 7
Haiphong 7
London 7
Rome 7
Dhaka 6
Jeddah 6
Naples 6
Ottawa 6
Philadelphia 6
Pune 6
Quito 6
Rio de Janeiro 6
Tashkent 6
Atlanta 5
Avellino 5
Buffalo 5
Campo Grande 5
Caracas 5
Denver 5
Edinburgh 5
Lappeenranta 5
Nuremberg 5
Vũng Tàu 5
Asunción 4
Belo Horizonte 4
Cairo 4
Cardiff 4
Dakar 4
Helsinki 4
Horia 4
Lahore 4
Las Vegas 4
Totale 8.133
Salva come PNG Salva come JPEG
Nome #
Lazy-CSeq: A Lazy Sequentialization Tool for C 209
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 188
A general modular synthesis problem for pushdown systems 176
Winning CaRet Games with Modular Strategies 175
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 173
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 169
Lazy sequentialization for the safety verification of unbounded concurrent programs 162
A Decidable Dense Branching-time Temporal Logic 161
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 156
Verification of Scope-dependent Hierarchical State Machines 149
Synchronization of a Line of Identical Processors at a Given Time 147
Automata-theoretic decision of timed games 147
Hierarchical and Recursive State Machines with Context-Dependent Properties 140
Context-Bounded Analysis of Concurrent Queue Systems 139
Timed tree Automata with an application to Temporal Logic 137
Decision Problems for lower/upper bound Parametric Timed Automata 136
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 136
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011. Electronic Proceedings in Theoretical Computer Science 133
Games, Automata, Logic, and Formal Verification (GandALF 2011) 133
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 133
null 132
The word problem for visibly pushdown languages described by grammars 130
Verification of Succinct Hierarchical State Machines 130
Automata-based Representations for Infinite Graphs 129
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 129
Representing hyper-graphs by regular languages 129
An Infinite Automaton Characterization of Double Exponential Time 128
Visibly pushdown modular games 128
Deterministic generators and games for Ltl fragments 127
A Temporal Logic for Multi-threaded Programs 126
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 125
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 124
Optimal paths in weighted timed automata 123
Visibly Pushdown Modular Games 123
Analyzing Recursive Programs using a Fixed-point Calculus 123
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 122
Deterministic Generators and Games for LTL Fragments 121
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 120
Sequentializing Parameterized Programs 120
Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation 115
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 115
Decision Problems for lower/upper bound Parametric Timed Automata 114
Modular Synthesis with Open Components Reachability Problems 114
Scope-Bounded Pushdown Languages 114
A Robust Class of Context-Sensitive Languages 113
MU-CSeq 0.4: Individual memory location unwindings 112
Modelling the Effects of Input Correlation in Iterative Software 110
The Firing Squad Synchronization Problem on Squares, Toruses and Rings 109
Parametric metric interval temporal logic 109
Parallel bug-finding in concurrent programs via reduced interleaving instances 109
Finite automata on timed omega-trees. 109
Synchronization of 1-way connected processors 107
Automata-Theoretic Decision of Timed Games 106
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings 105
Verification of well-formed Communicating Recursive State Machines 105
Using shared memory abstractions to design eager sequentializations for weak memory models 105
A Model of Finite Automata on Timed omega-Trees 104
A Unifying Approach for Multistack Pushdown Automata 102
Verifying Concurrent Programs by Memory Unwinding 101
The Language Theory of Bounded Context-Switching 100
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 100
Parametric Temporal Logic for Model Measuring 100
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 98
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable 96
Weak Muller acceptance conditions for tree automata 95
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK 95
On the Complexity of LTL Model-Checking of Recursive State Machines 95
Representing Infinite hyper-graphs by regular languages 94
Deterministic finite automata with recursive calls and DPDAs 94
Polyhedral Flows in Hybrid Automata 91
Verification of Well-Formed Communicating Recursive State Machines 91
Scope-Bounded Pushdown Languages 91
Reducing context-bounded concurrent reachability to sequentialreachability 90
Polyhedral Flows in Hybrid Automata 89
On the Membership Problem for Visibly Pushdown Languages 88
Parallel Word Substitution 88
Parametric Metric Interval Temporal Logic 86
Parametric temporal logic for "model measuring" 85
Dense Real-Time Games 85
Modular Strategies for Recursive Game Graphs 85
Perturbed Timed Automata 83
Optimal Paths in Weighted Timed Automata 83
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 83
Modular Strategies for Recursive Game Graphs 81
Playing Games with Boxes and Diamonds 81
Weak Muller Acceptance Conditions for Tree Automata 80
Modular Strategies for Infinite Games on Recursive Graphs 80
Decidability and Infinite Precision in Timed Automata 78
Reachability of scope-bounded multistack pushdown systems 78
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 77
Reasoning About Co-Büchi Tree Automata 76
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 75
Complexity of qualitative timeline-based planning 74
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 73
Model Checking BDI Logics over Finite-state Worlds 71
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 70
null 67
null 63
Reachability in Concurrent Uninterpreted Programs 62
Automated Planning Through Program Verification 61
Totale 11.098
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.928
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 38.928
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021105 0 0 0 0 0 0 0 0 0 0 0 105
2021/2022654 0 0 3 17 24 9 3 31 99 86 85 297
2022/20231.103 112 82 10 140 153 247 0 103 161 4 61 30
2023/2024294 37 62 23 15 11 27 23 21 0 14 12 49
2024/2025871 78 26 51 53 29 115 114 115 100 32 104 54
2025/20263.057 137 166 345 101 469 268 678 138 193 433 108 21
Totale 11.327