UniSa - IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022651 0 0 0 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.482 137 166 345 101 469 268 678 138 193 433 108 446
2026/20271.019 153 163 364 339 0 0 0 0 0 0 0 0
Totale 12.771