RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

SAN PIETRO, PIERLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.488
EU - Europa 3.269
AS - Asia 2.745
SA - Sud America 574
AF - Africa 99
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 14.182
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.297
RU - Federazione Russa 1.285
SG - Singapore 987
CN - Cina 746
BR - Brasile 502
VN - Vietnam 446
IT - Italia 312
UA - Ucraina 257
DE - Germania 244
SE - Svezia 215
AT - Austria 195
FR - Francia 162
KR - Corea 157
CA - Canada 154
GB - Regno Unito 153
FI - Finlandia 151
JP - Giappone 104
IE - Irlanda 79
IN - India 66
NL - Olanda 59
ES - Italia 57
MA - Marocco 49
HK - Hong Kong 45
PL - Polonia 45
BD - Bangladesh 29
AR - Argentina 26
ID - Indonesia 23
JO - Giordania 22
MX - Messico 21
IQ - Iraq 20
BE - Belgio 15
EC - Ecuador 15
TW - Taiwan 13
TR - Turchia 12
ZA - Sudafrica 12
CI - Costa d'Avorio 11
UZ - Uzbekistan 11
VE - Venezuela 9
CO - Colombia 8
PH - Filippine 8
TH - Thailandia 8
EG - Egitto 7
GR - Grecia 7
OM - Oman 7
PK - Pakistan 7
CH - Svizzera 6
CZ - Repubblica Ceca 6
KE - Kenya 5
MY - Malesia 5
PE - Perù 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
IL - Israele 4
PY - Paraguay 4
AZ - Azerbaigian 3
BB - Barbados 3
CL - Cile 3
DO - Repubblica Dominicana 3
IR - Iran 3
KZ - Kazakistan 3
NP - Nepal 3
NZ - Nuova Zelanda 3
PA - Panama 3
PT - Portogallo 3
AO - Angola 2
AU - Australia 2
BG - Bulgaria 2
BO - Bolivia 2
CR - Costa Rica 2
ET - Etiopia 2
GE - Georgia 2
HU - Ungheria 2
JM - Giamaica 2
LK - Sri Lanka 2
LT - Lituania 2
LV - Lettonia 2
ML - Mali 2
NI - Nicaragua 2
RO - Romania 2
SA - Arabia Saudita 2
TN - Tunisia 2
BH - Bahrain 1
BJ - Benin 1
BS - Bahamas 1
DK - Danimarca 1
DZ - Algeria 1
EU - Europa 1
GA - Gabon 1
KW - Kuwait 1
LB - Libano 1
NE - Niger 1
NG - Nigeria 1
NO - Norvegia 1
RS - Serbia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 14.182
Salva come PNG Salva come JPEG
Città #
Ashburn 844
Fairfield 701
Woodbridge 579
San Jose 554
Singapore 497
Houston 439
Ann Arbor 391
Chandler 385
Wilmington 346
Seattle 322
Santa Clara 283
Cambridge 247
Vienna 191
Moscow 182
Dearborn 149
Jacksonville 145
Seoul 144
The Dalles 140
Hefei 139
Council Bluffs 129
Beijing 125
Boardman 110
Ottawa 110
Tokyo 101
Lauterbourg 94
Ho Chi Minh City 92
Medford 89
Lawrence 88
Los Angeles 79
Dublin 78
Hanoi 73
North Charleston 71
Dong Ket 68
Milan 64
Dallas 60
Helsinki 56
New York 54
Buffalo 49
Málaga 43
San Diego 39
São Paulo 38
Hong Kong 36
Amsterdam 35
Casablanca 32
Frankfurt am Main 32
Des Moines 31
Warsaw 31
Chicago 24
Amman 22
London 22
Las Vegas 21
Orem 21
Phoenix 18
Rio de Janeiro 18
Belo Horizonte 17
Guangzhou 17
Kent 17
Jakarta 15
Montreal 15
Shanghai 15
Brussels 14
Chennai 14
Kenitra 14
Turku 14
Brooklyn 13
Da Nang 13
Norwalk 13
Toronto 13
Turin 13
Atlanta 12
Munich 12
Paris 12
Stockholm 12
Washington 12
Haiphong 11
Karlsruhe 11
Taipei 11
Tashkent 11
Abidjan 10
Denver 10
Rome 10
San Francisco 10
Curitiba 9
Dhaka 9
Düsseldorf 9
Hangzhou 9
Shenzhen 9
Auburn Hills 8
Brasília 8
Campinas 8
Szczecin 8
Baghdad 7
Boston 7
Goiânia 7
Jinan 7
Miami 7
Nuremberg 7
Tianjin 7
Columbus 6
Hải Dương 6
Totale 9.230
Salva come PNG Salva come JPEG
Nome #
A tool for deciding the satisfiability of continuous-time metric temporal logic 303
Constraint LTL Satisfiability Checking without Automata 277
A logical characterization of timed regular languages 271
An SMT-based approach to satisfiability checking of MITL 260
A Logical Characterization of Timed (non-)Regular Languages 242
Alias Analysis by means of a Model Checker 231
Efficient large-scale trace checking using mapreduce 230
Bounded Reachability for Temporal Logic over Constraint Systems 216
An object-oriented logic language for modular system specification 213
Associative definition of programming languages 211
Model Checking Temporal Metric Specifications with Trio2Promela 211
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 208
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 207
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 206
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 205
A Metric Encoding for Bounded Model Checking 203
A Finite-Domain Semantics for Testing Temporal Logic Specifications 201
A scalable formal method for design and automatic checking of user interfaces 194
Automatic verification of multi-queue discrete timed automata 193
Software procurement and methods for specification and validation in the railway transportation industry 191
Consensual languages and matching finite-state computations 190
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 189
Deciding the Satisfiability of MITL Specifications 189
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 182
An application of a tool for automated system analysis based on modular specifications 175
A scalable formal method for design and automatic checking of user interfaces 172
Counter machines, Petri Nets, and consensual computation 172
Generation of Execution Sequences for Modular Time Critical Systems 169
Picture languages: Tiling systems versus tile rewriting grammars 166
Trio2Promela: A Model Checker for Temporal Metric Specifications 165
A polynomial-time parsing algorithm for a class of nondeterministic two-stack automata 162
Verification in Loosely Synchronous Queue-Connected Discrete Timed Automata 161
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 161
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 161
A polynomial-time parsing algorithm for $K$-depth languages. 150
Model-checking TRIO specifications in SPIN 150
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops 148
Regular languages as local functions with small alphabets 148
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework 144
Associative languages descriptions 144
Some structural Properties of Associative Language Descriptions 140
On the Initialization of Clocks in Timed Formalisms 140
Row-Column Combination of Dyck Words 140
Dense-choice Counter Machines revisited 132
Dense counter machines and verification problems 131
Consensual Definition of Languages by Regular Sets 131
Deque Languages, Automata and Planar Graphs 129
Embedding time granularity in a logical specification language for synchronous real-time systems 127
STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES 127
Extracting Synchronization-free chains of dependent iterations in non-uniform loops 126
Tree Adjoining Languages and Multipushdown Languages 126
From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem 125
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES 124
Commutative Languages and their Composition by Consensual Methods 124
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations 122
Languages based on structural local testability 121
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 121
From Regular to Strictly Locally Testable Languages 120
Object-oriented logical specification of time-critical systems 119
Reuse of object-oriented requirement specificationsEntity-Relationship Approach — ER '93 119
Regular Languages and Associative Language Descriptions 118
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 117
On Presburger Liveness of Discrete Timed Automata 117
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 117
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions 116
The defense of electric power systems: an approach exploiting formal methods 115
On Presburger Liveness of Discrete Timed Automata 115
Improved Bounded Model Checking of Timed Automata 113
Practical Model Checking of LTL with Past 112
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 112
Dense-choice Counter Machines revisited 111
Regular languages and associative language descriptions 110
Validation and Verification of the safety Kernel of the Naples subway 109
Model Checking the Secure Electronic Transaction Protocol, 107
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes 105
On the relation between multi-depth grammars and tree adjoining grammars. 102
Regular languages as images of local functions over small alphabets 101
On the Satisfiability of Metric Temporal Logics over the Reals 101
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications 98
The word problem for k -depth languages. Semigroups, automata and languages 97
Formal Methods Teaching - FMTEA 2023 95
Model Checking-Aided Design of Secure Distributed Systems 94
Potenza e limiti del calcolo automatico:problemi intrattabil 93
Deque automata, languages, and planar graph representations 92
Reducing Local Alphabet Size in Recognizable Picture Languages 91
Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations. Electronic Modeling. 91
Generating functional test cases in-the-large for time-critical systems from logic-based specificationsProceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 89
Extracting Synchronization-Free Slices of Operations in Perfectly-Nested Loops 89
On the relations between multi-depth grammars and label distinguished control.grammars 88
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces 86
The missing case in chomsky-schützenberger theorem 86
Liveness verification of reversal-bounded multicounter machines with a free counter (extended abstract) 84
Real-Counter Automata and Applications to Verification 84
Strict Local Testability with Consensus Equals RegularityImplementation and Application of Automata 84
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding 83
Deterministic Counter Machines and Parallel Matching ComputationsImplementation and Application of Automata 73
Presburger liveness verification of discrete timed automata 72
Real-counter automata and their decision problems (extended abstract) 70
Special Issue for the Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, 70
Non-erasing Chomsky-Sch{"{u}}tzenberger theorem with grammar-independent alphabet 64
Totale 14.186
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.724
article - articoli 14.244
book - libri 0
conference - conferenze 23.739
curatela - curatele 192
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 295
Totale 77.194
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021225 0 0 0 0 0 0 0 0 0 0 74 151
2021/2022722 36 121 48 55 61 40 45 34 33 57 65 127
2022/2023880 122 73 7 96 97 125 5 64 133 70 64 24
2023/2024413 38 87 20 40 31 64 22 20 4 26 0 61
2024/20251.786 17 12 34 49 292 168 64 171 272 132 279 296
2025/20265.688 972 1.055 293 504 316 330 1.004 284 308 588 34 0
Totale 14.264