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.714
EU - Europa 3.535
AS - Asia 2.773
SA - Sud America 575
AF - Africa 99
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 14.703
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.518
RU - Federazione Russa 1.285
SG - Singapore 990
CN - Cina 750
IT - Italia 577
BR - Brasile 502
VN - Vietnam 461
UA - Ucraina 257
DE - Germania 244
SE - Svezia 215
AT - Austria 195
FR - Francia 162
KR - Corea 157
CA - Canada 156
GB - Regno Unito 153
FI - Finlandia 151
JP - Giappone 104
IE - Irlanda 79
IN - India 68
NL - Olanda 59
ES - Italia 57
MA - Marocco 49
HK - Hong Kong 45
PL - Polonia 45
BD - Bangladesh 33
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
CO - Colombia 9
VE - Venezuela 9
PH - Filippine 8
TH - Thailandia 8
CZ - Repubblica Ceca 7
EG - Egitto 7
GR - Grecia 7
OM - Oman 7
PK - Pakistan 7
CH - Svizzera 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
JM - Giamaica 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
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
PR - Porto Rico 1
RS - Serbia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
VI - Stati Uniti Isole Vergini 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 14.703
Salva come PNG Salva come JPEG
Città #
Ashburn 861
Fairfield 701
Woodbridge 579
San Jose 569
Singapore 500
Houston 439
Ann Arbor 391
Chandler 385
Wilmington 348
Seattle 322
Santa Clara 294
Cambridge 247
Vienna 191
Moscow 182
Milan 152
Boardman 150
Dearborn 149
Council Bluffs 148
Jacksonville 145
Seoul 144
The Dalles 140
Hefei 139
Beijing 128
Ottawa 110
Tokyo 101
Ho Chi Minh City 96
Lauterbourg 94
Medford 89
Lawrence 88
Hanoi 80
Los Angeles 79
Dublin 78
North Charleston 71
Dong Ket 68
Dallas 62
New York 60
Helsinki 56
Buffalo 50
Rome 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 25
Amman 22
London 22
Las Vegas 21
Orem 21
Phoenix 19
Rio de Janeiro 18
Belo Horizonte 17
Guangzhou 17
Kent 17
Turin 17
Jakarta 15
Montreal 15
Shanghai 15
Brooklyn 14
Brussels 14
Chennai 14
Kenitra 14
Turku 14
Da Nang 13
Norwalk 13
Toronto 13
Atlanta 12
Munich 12
Naples 12
Paris 12
San Francisco 12
Stockholm 12
Washington 12
Haiphong 11
Karlsruhe 11
Taipei 11
Tashkent 11
Abidjan 10
Denver 10
Frisco 10
Verona 10
Curitiba 9
Dhaka 9
Düsseldorf 9
Hangzhou 9
Shenzhen 9
Auburn Hills 8
Brasília 8
Campinas 8
Miami 8
Szczecin 8
Baghdad 7
Boston 7
Goiânia 7
Jinan 7
Nuremberg 7
Totale 9.510
Salva come PNG Salva come JPEG
Nome #
A tool for deciding the satisfiability of continuous-time metric temporal logic 308
Constraint LTL Satisfiability Checking without Automata 282
A logical characterization of timed regular languages 275
An SMT-based approach to satisfiability checking of MITL 266
A Logical Characterization of Timed (non-)Regular Languages 253
Alias Analysis by means of a Model Checker 238
Efficient large-scale trace checking using mapreduce 234
Bounded Reachability for Temporal Logic over Constraint Systems 230
An object-oriented logic language for modular system specification 216
Associative definition of programming languages 214
Model Checking Temporal Metric Specifications with Trio2Promela 214
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 212
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 212
A Finite-Domain Semantics for Testing Temporal Logic Specifications 207
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 207
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 207
A Metric Encoding for Bounded Model Checking 205
Automatic verification of multi-queue discrete timed automata 199
A scalable formal method for design and automatic checking of user interfaces 198
Consensual languages and matching finite-state computations 197
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 196
Software procurement and methods for specification and validation in the railway transportation industry 193
Deciding the Satisfiability of MITL Specifications 193
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 186
Counter machines, Petri Nets, and consensual computation 182
Picture languages: Tiling systems versus tile rewriting grammars 179
An application of a tool for automated system analysis based on modular specifications 179
Trio2Promela: A Model Checker for Temporal Metric Specifications 176
A scalable formal method for design and automatic checking of user interfaces 174
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 173
Generation of Execution Sequences for Modular Time Critical Systems 172
Verification in Loosely Synchronous Queue-Connected Discrete Timed Automata 166
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 163
A polynomial-time parsing algorithm for a class of nondeterministic two-stack automata 162
A polynomial-time parsing algorithm for $K$-depth languages. 162
Regular languages as local functions with small alphabets 159
Some structural Properties of Associative Language Descriptions 154
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops 152
Model-checking TRIO specifications in SPIN 152
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework 149
Associative languages descriptions 147
On the Initialization of Clocks in Timed Formalisms 145
Row-Column Combination of Dyck Words 143
Deque Languages, Automata and Planar Graphs 138
Dense counter machines and verification problems 136
Consensual Definition of Languages by Regular Sets 135
Dense-choice Counter Machines revisited 135
Tree Adjoining Languages and Multipushdown Languages 134
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations 133
STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES 130
Embedding time granularity in a logical specification language for synchronous real-time systems 129
From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem 128
Extracting Synchronization-free chains of dependent iterations in non-uniform loops 128
Languages based on structural local testability 128
The defense of electric power systems: an approach exploiting formal methods 127
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 126
Object-oriented logical specification of time-critical systems 126
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES 125
From Regular to Strictly Locally Testable Languages 124
Commutative Languages and their Composition by Consensual Methods 124
Regular Languages and Associative Language Descriptions 123
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 123
Reuse of object-oriented requirement specificationsEntity-Relationship Approach — ER '93 122
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 119
On Presburger Liveness of Discrete Timed Automata 119
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 119
Validation and Verification of the safety Kernel of the Naples subway 118
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions 118
Improved Bounded Model Checking of Timed Automata 118
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding 117
On Presburger Liveness of Discrete Timed Automata 117
Practical Model Checking of LTL with Past 113
Regular languages and associative language descriptions 112
Dense-choice Counter Machines revisited 111
Model Checking the Secure Electronic Transaction Protocol, 108
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes 107
Regular languages as images of local functions over small alphabets 106
On the relation between multi-depth grammars and tree adjoining grammars. 102
Potenza e limiti del calcolo automatico:problemi intrattabil 102
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications 102
On the Satisfiability of Metric Temporal Logics over the Reals 102
The word problem for k -depth languages. Semigroups, automata and languages 100
Formal Methods Teaching - FMTEA 2023 98
Real-Counter Automata and Applications to Verification 98
Model Checking-Aided Design of Secure Distributed Systems 97
On the relations between multi-depth grammars and label distinguished control.grammars 94
Deque automata, languages, and planar graph representations 94
Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations. Electronic Modeling. 93
Reducing Local Alphabet Size in Recognizable Picture Languages 92
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 92
Strict Local Testability with Consensus Equals RegularityImplementation and Application of Automata 92
The missing case in chomsky-schützenberger theorem 92
Liveness verification of reversal-bounded multicounter machines with a free counter (extended abstract) 90
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces 89
Extracting Synchronization-Free Slices of Operations in Perfectly-Nested Loops 89
Presburger liveness verification of discrete timed automata 75
Deterministic Counter Machines and Parallel Matching ComputationsImplementation and Application of Automata 75
Special Issue for the Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, 74
Real-counter automata and their decision problems (extended abstract) 73
Non-erasing Chomsky-Sch{"{u}}tzenberger theorem with grammar-independent alphabet 65
Totale 14.687
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.635
article - articoli 14.911
book - libri 0
conference - conferenze 24.918
curatela - curatele 210
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 326
Totale 81.000
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021151 0 0 0 0 0 0 0 0 0 0 0 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/20266.210 972 1.055 293 504 316 330 1.004 284 308 588 136 420
Totale 14.786