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

PRADELLA, MATTEO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.345
EU - Europa 3.212
AS - Asia 2.545
SA - Sud America 513
AF - Africa 143
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 5
Totale 14.773
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.164
RU - Federazione Russa 1.183
SG - Singapore 944
CN - Cina 616
IT - Italia 517
BR - Brasile 451
VN - Vietnam 369
DE - Germania 244
UA - Ucraina 211
AT - Austria 182
FI - Finlandia 161
FR - Francia 150
CA - Canada 142
GB - Regno Unito 137
KR - Corea 132
SE - Svezia 121
JP - Giappone 102
NL - Olanda 97
IE - Irlanda 77
MA - Marocco 74
HK - Hong Kong 67
BD - Bangladesh 63
IN - India 58
ES - Italia 48
ID - Indonesia 47
PL - Polonia 32
AR - Argentina 28
TR - Turchia 24
MX - Messico 19
JO - Giordania 18
ZA - Sudafrica 17
TW - Taiwan 16
CI - Costa d'Avorio 14
IQ - Iraq 14
BE - Belgio 13
PK - Pakistan 13
CO - Colombia 10
PH - Filippine 10
EC - Ecuador 8
AE - Emirati Arabi Uniti 7
AU - Australia 7
CH - Svizzera 7
EG - Egitto 6
TN - Tunisia 6
JM - Giamaica 5
UZ - Uzbekistan 5
VE - Venezuela 5
CL - Cile 4
CZ - Repubblica Ceca 4
EU - Europa 4
KZ - Kazakistan 4
LT - Lituania 4
NP - Nepal 4
RO - Romania 4
SC - Seychelles 4
TH - Thailandia 4
BJ - Benin 3
CR - Costa Rica 3
DZ - Algeria 3
HR - Croazia 3
KE - Kenya 3
LB - Libano 3
MU - Mauritius 3
NI - Nicaragua 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
SA - Arabia Saudita 3
AM - Armenia 2
AO - Angola 2
BH - Bahrain 2
BO - Bolivia 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
GT - Guatemala 2
HU - Ungheria 2
IL - Israele 2
LK - Sri Lanka 2
LV - Lettonia 2
MD - Moldavia 2
MY - Malesia 2
NG - Nigeria 2
OM - Oman 2
PE - Perù 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AZ - Azerbaigian 1
BG - Bulgaria 1
BS - Bahamas 1
BY - Bielorussia 1
CG - Congo 1
DK - Danimarca 1
GE - Georgia 1
GR - Grecia 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
LC - Santa Lucia 1
LY - Libia 1
ML - Mali 1
Totale 14.761
Salva come PNG Salva come JPEG
Città #
Ashburn 1.074
Fairfield 906
Woodbridge 663
San Jose 632
Singapore 508
Houston 439
Ann Arbor 394
Seattle 380
Wilmington 380
Cambridge 360
Chandler 349
Santa Clara 306
Moscow 183
Council Bluffs 166
Vienna 165
Beijing 137
Boardman 131
Jacksonville 131
Milan 128
The Dalles 128
Seoul 122
Tokyo 101
Dearborn 97
Los Angeles 93
Ottawa 89
Lauterbourg 85
Dallas 76
Dublin 75
Ho Chi Minh City 73
Lawrence 73
Helsinki 72
Hanoi 63
Hefei 62
Hong Kong 59
Medford 55
North Charleston 55
Dong Ket 54
San Diego 53
New York 47
Amsterdam 40
Buffalo 40
São Paulo 39
Frankfurt am Main 38
Shanghai 36
Casablanca 34
Málaga 34
Warsaw 32
Des Moines 31
Jakarta 31
London 31
Kenitra 28
Orem 28
Phoenix 24
Washington 23
Las Vegas 20
Atlanta 19
Chicago 19
Amman 18
Princeton 18
Turin 17
Rome 16
Guangzhou 15
Taipei 15
Abidjan 14
Chennai 14
Da Nang 14
Nuremberg 14
Montreal 13
Brussels 12
Karlsruhe 12
Toronto 12
Turku 12
Boston 11
Brooklyn 11
Denver 11
Haiphong 10
Redwood City 10
Rio de Janeiro 10
San Francisco 10
Stockholm 10
Ankara 9
Belo Horizonte 9
Lappeenranta 9
Munich 9
Curitiba 8
Dhaka 8
Miami 8
Seongnam 8
Auburn Hills 7
Betim 7
Biassono 7
Biên Hòa 7
Johannesburg 7
Lahore 7
Mumbai 7
Norwalk 7
Tianjin 7
Brasília 6
Brescia 6
Changsha 6
Totale 9.959
Salva come PNG Salva come JPEG
Nome #
Parallel parsing made practical 291
Constraint LTL Satisfiability Checking without Automata 280
Toward a theory of input-driven locally parsable languages 238
Operator precedence temporal logic and model checking 221
Bounded Reachability for Temporal Logic over Constraint Systems 220
A unifying approach to picture grammars 220
A Formal Approach for Designing CORBA based Applications 216
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 215
A CKY parser for picture grammars 215
Associative definition of programming languages 214
A UML 2-compatible language and tool for formal modeling real-time system architectures 214
A formal description of a practical agent for e-commerce 212
A Tile-based Approach for Self-assembling Service Compositions 212
Model Checking Temporal Metric Specifications with Trio2Promela 212
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 211
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 210
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 207
A Metric Encoding for Bounded Model Checking 205
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 205
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 204
An evaluation of the adaptation capabilities in programming languages 201
A Finite-Domain Semantics for Testing Temporal Logic Specifications 201
ContextErlang: A language for distributed context-aware self-adaptive applications 201
An Automatic Approach to Enable Replacement of Conversational Services 200
Comments on temporal logics for real-time system specification 199
Software procurement and methods for specification and validation in the railway transportation industry 193
An Analysis of Language-Level Support for Self-Adaptive Software 190
A Model Checker for Operator Precedence Languages 189
A formal approach for designing CORBA-based applications 189
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 188
Picture Languages: From Wang Tiles to 2DGrammars 186
Comments on “An Interval Logic for Real-Time System Specification” 185
A UML-compatible formal language for system architecture description 185
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 184
Generalizing input-driven languages: Theoretical and practical benefits 184
Linear temporal logics for structured context-free languages 183
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 181
A SAT-based parser and completer for pictures specified by tiling 178
First-Order Logic Definability of Free Languages 178
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 177
Efficient analysis of event processing applications 177
Analyzing Security-Enhanced Linux Policy Specifications 174
Tile rewriting grammars and picture languages 174
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 173
Picture languages: Tiling systems versus tile rewriting grammars 169
Regional Languages and Tiling: A Unifying Approach to Picture Grammars 168
Context-oriented programming: A software engineering perspective 168
Trio2Promela: A Model Checker for Temporal Metric Specifications 167
Strategies to scan pictures with automata based on Wang tiles 163
Context Oriented Programming in Highly Concurrent Systems 163
Picture recognizability with automata based on Wang tiles 161
Precedence Automata and Languages 160
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 160
Beyond operator-precedence grammars and languages 157
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 157
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 156
Model-Checking Structured Context-Free Languages 154
Programming Languages shouldn't be "too Natural" 153
Operator precedence ω-languages 153
Towards more expressive 2D deterministic automata 153
Model-checking TRIO specifications in SPIN 152
Snake-Deterministic Tiling Systems 146
Temporal Logic and Model Checking for Operator Precedence Languages 144
Tile Rewriting Grammars 143
Synthesizing adapters for conversational web-services from their WSDL interface 141
Locally Chain-Parsable Languages 138
Parallel parsing of operator precedence grammars 137
An Evolutionary Approach to the Design of Supervision and Control Systems 136
The PAPAGENO Parallel-Parser Generator 133
Higher-order operator precedence languages 133
Static Analysis of Infrastructure as Code: A Survey 132
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 129
Weighted Operator Precedence Languages 128
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 123
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 122
Verification of Programs with Exceptions Through Operator Precedence Automata 122
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 118
ContextErlang: introducing context-oriented programming in the actor model 115
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 114
Practical Model Checking of LTL with Past 113
Deterministic recognizability of picture languages with Wang automata 113
Weighted operator precedence languages 110
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 109
Review on Verified Functional Programming in Agda 97
Word- and Tree-based Temporal Logics for Operator Precedence Languages 95
Modeling Security-Enchanced Linux Policy Specifications for Analysis 93
Free Grammars and Languages 85
Attribute-Based Precedence Relations for Free-Form Grammars 40
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars 38
Cyclic operator precedence grammars for parallel parsing 36
Totale 14.889
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.430
article - articoli 14.627
book - libri 0
conference - conferenze 26.803
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 82.860
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021130 0 0 0 0 0 0 0 0 0 0 0 130
2021/2022776 38 131 88 67 50 27 43 41 34 45 91 121
2022/2023788 111 62 15 89 77 112 2 58 118 68 59 17
2023/2024494 43 87 22 53 48 54 38 28 2 34 5 80
2024/20251.785 12 18 55 57 306 204 71 156 278 103 252 273
2025/20265.823 981 885 260 413 348 304 1.071 269 350 643 184 115
Totale 14.889