UniSa - IRIS Institutional Research Information System

LA TORRE, Salvatore
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.523
AS - Asia 2.288
EU - Europa 1.699
SA - Sud America 298
AF - Africa 64
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 2
Totale 10.885
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.459
SG - Singapore 1.001
CN - Cina 502
UA - Ucraina 402
IT - Italia 325
VN - Vietnam 238
BR - Brasile 220
RU - Federazione Russa 198
HK - Hong Kong 179
DE - Germania 174
SE - Svezia 169
IE - Irlanda 129
FR - Francia 112
TR - Turchia 112
FI - Finlandia 91
KR - Corea 67
IN - India 42
GB - Regno Unito 33
AR - Argentina 31
CA - Canada 30
BD - Bangladesh 27
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 6
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 10.872
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.529
Wilmington 757
Singapore 564
Woodbridge 500
Jacksonville 495
Chandler 492
Houston 457
Princeton 364
San Jose 259
Dallas 213
Ashburn 198
Hong Kong 176
Dublin 128
Council Bluffs 122
Nanjing 98
Lauterbourg 95
Andover 90
Izmir 89
The Dalles 81
Salerno 69
Boardman 63
Dong Ket 59
Beijing 58
Mestre 58
Pellezzano 57
Ho Chi Minh City 56
Moscow 50
Hanoi 49
Düsseldorf 40
Hebei 34
Nanchang 34
Los Angeles 30
Fairfield 27
São Paulo 24
Frankfurt am Main 22
Jiaxing 21
Tianjin 21
Changsha 20
Shenyang 20
New York 19
Chicago 17
Santa Clara 17
Montreal 15
Munich 15
Norwalk 15
Des Moines 13
Tokyo 13
Warsaw 13
Baghdad 12
Brooklyn 12
Milan 12
Columbus 11
Da Nang 11
San Francisco 11
Washington 11
Johannesburg 10
Ankara 9
Biên Hòa 9
San Diego 9
Spinea 9
Brussels 8
Cambridge 8
Chennai 8
Napoli 8
Orem 8
Haiphong 7
London 7
Phoenix 7
Boston 6
Charlotte 6
Dhaka 6
Jeddah 6
Naples 6
Ottawa 6
Pune 6
Quito 6
Rio de Janeiro 6
Tashkent 6
Atlanta 5
Avellino 5
Campo Grande 5
Caracas 5
Edinburgh 5
Lappeenranta 5
Nuremberg 5
Rome 5
Vũng Tàu 5
Asunción 4
Belo Horizonte 4
Cairo 4
Cardiff 4
Dakar 4
Denver 4
Helsinki 4
Horia 4
Lahore 4
Mexico City 4
Mumbai 4
Philadelphia 4
Quezon City 4
Totale 8.000
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 184
Winning CaRet Games with Modular Strategies 175
A general modular synthesis problem for pushdown systems 175
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 167
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 166
A Decidable Dense Branching-time Temporal Logic 160
Lazy sequentialization for the safety verification of unbounded concurrent programs 160
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 155
Synchronization of a Line of Identical Processors at a Given Time 146
Automata-theoretic decision of timed games 145
Verification of Scope-dependent Hierarchical State Machines 143
Context-Bounded Analysis of Concurrent Queue Systems 138
Hierarchical and Recursive State Machines with Context-Dependent Properties 135
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 135
Timed tree Automata with an application to Temporal Logic 134
Decision Problems for lower/upper bound Parametric Timed Automata 134
null 132
Games, Automata, Logic, and Formal Verification (GandALF 2011) 132
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 132
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011. Electronic Proceedings in Theoretical Computer Science 131
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 129
Verification of Succinct Hierarchical State Machines 128
An Infinite Automaton Characterization of Double Exponential Time 128
Representing hyper-graphs by regular languages 128
Automata-based Representations for Infinite Graphs 127
The word problem for visibly pushdown languages described by grammars 126
A Temporal Logic for Multi-threaded Programs 125
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 125
Visibly pushdown modular games 125
Optimal paths in weighted timed automata 123
Visibly Pushdown Modular Games 123
Analyzing Recursive Programs using a Fixed-point Calculus 123
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 123
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 122
Deterministic generators and games for Ltl fragments 120
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 119
Deterministic Generators and Games for LTL Fragments 119
Sequentializing Parameterized Programs 119
Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation 115
Scope-Bounded Pushdown Languages 114
A Robust Class of Context-Sensitive Languages 113
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 113
Decision Problems for lower/upper bound Parametric Timed Automata 112
Modular Synthesis with Open Components Reachability Problems 112
MU-CSeq 0.4: Individual memory location unwindings 111
Parametric metric interval temporal logic 109
Finite automata on timed omega-trees. 109
The Firing Squad Synchronization Problem on Squares, Toruses and Rings 108
Modelling the Effects of Input Correlation in Iterative Software 107
Synchronization of 1-way connected processors 106
Using shared memory abstractions to design eager sequentializations for weak memory models 104
Automata-Theoretic Decision of Timed Games 104
Verification of well-formed Communicating Recursive State Machines 103
A Model of Finite Automata on Timed omega-Trees 102
Verifying Concurrent Programs by Memory Unwinding 101
Parallel bug-finding in concurrent programs via reduced interleaving instances 101
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings 100
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 100
A Unifying Approach for Multistack Pushdown Automata 100
Parametric Temporal Logic for Model Measuring 98
The Language Theory of Bounded Context-Switching 97
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 96
Representing Infinite hyper-graphs by regular languages 94
On the Complexity of LTL Model-Checking of Recursive State Machines 94
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable 94
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK 93
Weak Muller acceptance conditions for tree automata 91
Scope-Bounded Pushdown Languages 91
Deterministic finite automata with recursive calls and DPDAs 90
Polyhedral Flows in Hybrid Automata 89
Verification of Well-Formed Communicating Recursive State Machines 89
Polyhedral Flows in Hybrid Automata 87
On the Membership Problem for Visibly Pushdown Languages 86
Reducing context-bounded concurrent reachability to sequentialreachability 86
Parallel Word Substitution 86
Parametric Metric Interval Temporal Logic 84
Parametric temporal logic for "model measuring" 83
Dense Real-Time Games 83
Modular Strategies for Recursive Game Graphs 83
Modular Strategies for Recursive Game Graphs 81
Optimal Paths in Weighted Timed Automata 81
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 81
Weak Muller Acceptance Conditions for Tree Automata 79
Playing Games with Boxes and Diamonds 78
Modular Strategies for Infinite Games on Recursive Graphs 78
Reachability of scope-bounded multistack pushdown systems 78
Decidability and Infinite Precision in Timed Automata 77
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 76
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 75
Perturbed Timed Automata 74
Complexity of qualitative timeline-based planning 74
Reasoning About Co-Büchi Tree Automata 74
Model Checking BDI Logics over Finite-state Worlds 70
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 68
null 67
Automated Planning Through Program Verification 61
Reachability in Concurrent Uninterpreted Programs 60
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 60
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 56
Totale 10.906
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.640
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 37.640
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021245 0 0 0 0 0 0 0 0 0 18 122 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/20262.857 137 166 345 101 469 268 678 138 193 362 0 0
Totale 11.127