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.633
EU - Europa 3.272
AS - Asia 2.752
SA - Sud America 574
AF - Africa 99
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 14.337
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.438
RU - Federazione Russa 1.285
SG - Singapore 988
CN - Cina 750
BR - Brasile 502
VN - Vietnam 446
IT - Italia 315
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 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
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.337
Salva come PNG Salva come JPEG
Città #
Ashburn 860
Fairfield 701
Woodbridge 579
San Jose 566
Singapore 498
Houston 439
Ann Arbor 391
Chandler 385
Wilmington 346
Seattle 322
Santa Clara 283
Cambridge 247
Vienna 191
Moscow 182
Boardman 150
Dearborn 149
Council Bluffs 148
Jacksonville 145
Seoul 144
The Dalles 140
Hefei 139
Beijing 128
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 62
New York 59
Helsinki 56
Buffalo 50
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
San Francisco 12
Stockholm 12
Washington 12
Haiphong 11
Karlsruhe 11
Rome 11
Taipei 11
Tashkent 11
Abidjan 10
Denver 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
Tianjin 7
Columbus 6
Hải Dương 6
Totale 9.333
Salva come PNG Salva come JPEG
Nome #
A tool for deciding the satisfiability of continuous-time metric temporal logic 307
Constraint LTL Satisfiability Checking without Automata 279
A logical characterization of timed regular languages 273
An SMT-based approach to satisfiability checking of MITL 261
A Logical Characterization of Timed (non-)Regular Languages 243
Alias Analysis by means of a Model Checker 234
Efficient large-scale trace checking using mapreduce 233
Bounded Reachability for Temporal Logic over Constraint Systems 220
An object-oriented logic language for modular system specification 215
Associative definition of programming languages 214
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 212
Model Checking Temporal Metric Specifications with Trio2Promela 212
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 211
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 207
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 206
A Metric Encoding for Bounded Model Checking 205
A Finite-Domain Semantics for Testing Temporal Logic Specifications 201
A scalable formal method for design and automatic checking of user interfaces 198
Automatic verification of multi-queue discrete timed automata 194
Software procurement and methods for specification and validation in the railway transportation industry 193
Consensual languages and matching finite-state computations 191
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 190
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 177
A scalable formal method for design and automatic checking of user interfaces 174
Counter machines, Petri Nets, and consensual computation 174
Generation of Execution Sequences for Modular Time Critical Systems 170
Picture languages: Tiling systems versus tile rewriting grammars 169
Trio2Promela: A Model Checker for Temporal Metric Specifications 167
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 164
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
Verification in Loosely Synchronous Queue-Connected Discrete Timed Automata 161
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops 152
A polynomial-time parsing algorithm for $K$-depth languages. 152
Model-checking TRIO specifications in SPIN 152
Regular languages as local functions with small alphabets 148
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework 147
Associative languages descriptions 147
Some structural Properties of Associative Language Descriptions 143
On the Initialization of Clocks in Timed Formalisms 140
Row-Column Combination of Dyck Words 140
Dense counter machines and verification problems 132
Dense-choice Counter Machines revisited 132
Consensual Definition of Languages by Regular Sets 131
Deque Languages, Automata and Planar Graphs 130
Tree Adjoining Languages and Multipushdown Languages 129
STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES 128
Extracting Synchronization-free chains of dependent iterations in non-uniform loops 127
Embedding time granularity in a logical specification language for synchronous real-time systems 127
From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem 126
Object-oriented logical specification of time-critical systems 124
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES 124
Commutative Languages and their Composition by Consensual Methods 124
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 123
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations 122
Languages based on structural local testability 121
From Regular to Strictly Locally Testable Languages 120
Reuse of object-oriented requirement specificationsEntity-Relationship Approach — ER '93 119
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 119
Regular Languages and Associative Language Descriptions 118
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 118
On Presburger Liveness of Discrete Timed Automata 117
Improved Bounded Model Checking of Timed Automata 117
The defense of electric power systems: an approach exploiting formal methods 116
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions 116
On Presburger Liveness of Discrete Timed Automata 115
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 114
Practical Model Checking of LTL with Past 113
Validation and Verification of the safety Kernel of the Naples subway 112
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 103
On the relation between multi-depth grammars and tree adjoining grammars. 102
On the Satisfiability of Metric Temporal Logics over the Reals 102
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications 100
Formal Methods Teaching - FMTEA 2023 98
The word problem for k -depth languages. Semigroups, automata and languages 98
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding 95
Model Checking-Aided Design of Secure Distributed Systems 95
Deque automata, languages, and planar graph representations 94
Potenza e limiti del calcolo automatico:problemi intrattabil 93
Reducing Local Alphabet Size in Recognizable Picture Languages 92
On the relations between multi-depth grammars and label distinguished control.grammars 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 91
Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations. Electronic Modeling. 91
Extracting Synchronization-Free Slices of Operations in Perfectly-Nested Loops 89
The missing case in chomsky-schützenberger theorem 87
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces 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
Presburger liveness verification of discrete timed automata 75
Deterministic Counter Machines and Parallel Matching ComputationsImplementation and Application of Automata 73
Real-counter automata and their decision problems (extended abstract) 71
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.337
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.869
article - articoli 14.651
book - libri 0
conference - conferenze 24.436
curatela - curatele 206
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 313
Totale 79.475
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/20265.843 972 1.055 293 504 316 330 1.004 284 308 588 136 53
Totale 14.419