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.851
EU - Europa 3.659
AS - Asia 2.779
SA - Sud America 578
AF - Africa 99
Continente sconosciuto - Info sul continente non disponibili 85
OC - Oceania 5
Totale 15.056
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.624
RU - Federazione Russa 1.285
SG - Singapore 994
CN - Cina 751
IT - Italia 697
BR - Brasile 505
VN - Vietnam 461
UA - Ucraina 257
DE - Germania 244
SE - Svezia 215
AT - Austria 195
CA - Canada 164
FR - Francia 163
KR - Corea 157
GB - Regno Unito 153
FI - Finlandia 151
JP - Giappone 104
IE - Irlanda 79
IN - India 68
NL - Olanda 60
ES - Italia 57
MA - Marocco 49
HK - Hong Kong 46
PL - Polonia 45
BD - Bangladesh 33
AR - Argentina 26
MX - Messico 24
ID - Indonesia 23
JO - Giordania 22
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
JM - Giamaica 7
OM - Oman 7
PK - Pakistan 7
CH - Svizzera 6
CR - Costa Rica 6
KE - Kenya 5
MY - Malesia 5
PE - Perù 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
DO - Repubblica Dominicana 4
IL - Israele 4
PR - Porto Rico 4
PY - Paraguay 4
AZ - Azerbaigian 3
BB - Barbados 3
CL - Cile 3
IR - Iran 3
KZ - Kazakistan 3
NI - Nicaragua 3
NP - Nepal 3
NZ - Nuova Zelanda 3
PA - Panama 3
PT - Portogallo 3
TT - Trinidad e Tobago 3
AO - Angola 2
AU - Australia 2
BG - Bulgaria 2
BO - Bolivia 2
BS - Bahamas 2
DK - Danimarca 2
ET - Etiopia 2
GE - Georgia 2
HN - Honduras 2
HU - Ungheria 2
LK - Sri Lanka 2
LT - Lituania 2
LV - Lettonia 2
ML - Mali 2
RO - Romania 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
TN - Tunisia 2
BH - Bahrain 1
BJ - Benin 1
DZ - Algeria 1
EU - Europa 1
GA - Gabon 1
GT - Guatemala 1
KW - Kuwait 1
LB - Libano 1
NE - Niger 1
NG - Nigeria 1
NO - Norvegia 1
RS - Serbia 1
SC - Seychelles 1
Totale 14.970
Salva come PNG Salva come JPEG
Città #
Ashburn 871
Fairfield 701
Woodbridge 579
San Jose 571
Singapore 504
Houston 440
Ann Arbor 391
Chandler 385
Wilmington 348
Seattle 323
Santa Clara 300
Cambridge 247
Milan 228
Vienna 191
Moscow 182
Boardman 150
Dearborn 149
Council Bluffs 148
Jacksonville 146
Seoul 144
The Dalles 140
Hefei 139
Beijing 129
Ottawa 110
Tokyo 101
Ho Chi Minh City 96
Lauterbourg 94
Medford 89
Lawrence 88
Hanoi 80
Los Angeles 80
Dublin 78
North Charleston 71
Dong Ket 68
Rome 66
Dallas 65
New York 60
Helsinki 56
Buffalo 50
Málaga 43
San Diego 39
São Paulo 38
Hong Kong 37
Amsterdam 35
Casablanca 32
Frankfurt am Main 32
Des Moines 31
Warsaw 31
Chicago 26
London 23
Amman 22
Las Vegas 22
Orem 21
Turin 21
Frisco 19
Phoenix 19
Rio de Janeiro 18
Belo Horizonte 17
Guangzhou 17
Kent 17
Jakarta 15
Montreal 15
Shanghai 15
Brooklyn 14
Brussels 14
Chennai 14
Kenitra 14
Toronto 14
Turku 14
Atlanta 13
Da Nang 13
Naples 13
Norwalk 13
Munich 12
Paris 12
San Francisco 12
Stockholm 12
Washington 12
Haiphong 11
Karlsruhe 11
Taipei 11
Tashkent 11
Abidjan 10
Denver 10
Verona 10
Curitiba 9
Dhaka 9
Düsseldorf 9
Hangzhou 9
Shenzhen 9
Auburn Hills 8
Brasília 8
Campinas 8
Figino 8
Mexico City 8
Miami 8
Padua 8
Szczecin 8
Baghdad 7
Bologna 7
Totale 9.656
Salva come PNG Salva come JPEG
Nome #
A tool for deciding the satisfiability of continuous-time metric temporal logic 324
Constraint LTL Satisfiability Checking without Automata 285
A logical characterization of timed regular languages 277
An SMT-based approach to satisfiability checking of MITL 269
A Logical Characterization of Timed (non-)Regular Languages 256
Efficient large-scale trace checking using mapreduce 242
Alias Analysis by means of a Model Checker 238
Bounded Reachability for Temporal Logic over Constraint Systems 230
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 218
Associative definition of programming languages 216
An object-oriented logic language for modular system specification 216
Model Checking Temporal Metric Specifications with Trio2Promela 216
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 213
A Metric Encoding for Bounded Model Checking 210
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 209
A Finite-Domain Semantics for Testing Temporal Logic Specifications 207
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 207
Software procurement and methods for specification and validation in the railway transportation industry 202
Automatic verification of multi-queue discrete timed automata 200
A scalable formal method for design and automatic checking of user interfaces 200
Consensual languages and matching finite-state computations 198
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 197
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 184
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 178
A scalable formal method for design and automatic checking of user interfaces 175
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 174
Generation of Execution Sequences for Modular Time Critical Systems 173
A polynomial-time parsing algorithm for a class of nondeterministic two-stack automata 168
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 168
Verification in Loosely Synchronous Queue-Connected Discrete Timed Automata 166
A polynomial-time parsing algorithm for $K$-depth languages. 165
Regular languages as local functions with small alphabets 165
Model-checking TRIO specifications in SPIN 159
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops 158
Some structural Properties of Associative Language Descriptions 154
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework 151
Associative languages descriptions 148
On the Initialization of Clocks in Timed Formalisms 147
Row-Column Combination of Dyck Words 147
Deque Languages, Automata and Planar Graphs 139
From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem 138
Tree Adjoining Languages and Multipushdown Languages 138
Dense counter machines and verification problems 137
Languages based on structural local testability 136
Dense-choice Counter Machines revisited 136
Consensual Definition of Languages by Regular Sets 135
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations 134
Commutative Languages and their Composition by Consensual Methods 133
STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES 132
Embedding time granularity in a logical specification language for synchronous real-time systems 131
The defense of electric power systems: an approach exploiting formal methods 129
Extracting Synchronization-free chains of dependent iterations in non-uniform loops 128
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 128
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES 128
Object-oriented logical specification of time-critical systems 127
Regular Languages and Associative Language Descriptions 124
From Regular to Strictly Locally Testable Languages 124
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 124
Improved Bounded Model Checking of Timed Automata 124
Validation and Verification of the safety Kernel of the Naples subway 122
Reuse of object-oriented requirement specificationsEntity-Relationship Approach — ER '93 122
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding 120
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 120
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 120
On Presburger Liveness of Discrete Timed Automata 119
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions 118
On Presburger Liveness of Discrete Timed Automata 117
Practical Model Checking of LTL with Past 115
Regular languages and associative language descriptions 114
Regular languages as images of local functions over small alphabets 113
Dense-choice Counter Machines revisited 112
On the Satisfiability of Metric Temporal Logics over the Reals 111
On the relation between multi-depth grammars and tree adjoining grammars. 110
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes 109
Model Checking the Secure Electronic Transaction Protocol, 108
Formal Methods Teaching - FMTEA 2023 105
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications 103
Potenza e limiti del calcolo automatico:problemi intrattabil 102
The word problem for k -depth languages. Semigroups, automata and languages 100
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 100
Real-Counter Automata and Applications to Verification 98
Model Checking-Aided Design of Secure Distributed Systems 98
On the relations between multi-depth grammars and label distinguished control.grammars 96
The missing case in chomsky-schützenberger theorem 96
Deque automata, languages, and planar graph representations 95
Strict Local Testability with Consensus Equals RegularityImplementation and Application of Automata 94
Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations. Electronic Modeling. 94
Liveness verification of reversal-bounded multicounter machines with a free counter (extended abstract) 93
Reducing Local Alphabet Size in Recognizable Picture Languages 92
Extracting Synchronization-Free Slices of Operations in Perfectly-Nested Loops 92
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces 89
Presburger liveness verification of discrete timed automata 78
Special Issue for the Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, 76
Real-counter automata and their decision problems (extended abstract) 75
Deterministic Counter Machines and Parallel Matching ComputationsImplementation and Application of Automata 75
Non-erasing Chomsky-Sch{"{u}}tzenberger theorem with grammar-independent alphabet 70
Totale 14.943
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.972
article - articoli 15.394
book - libri 0
conference - conferenze 25.719
curatela - curatele 230
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 348
Totale 83.663
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022686 0 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.320 972 1.055 293 504 316 330 1.004 284 308 588 136 530
2026/2027160 141 19 0 0 0 0 0 0 0 0 0 0
Totale 15.056