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.228
EU - Europa 3.196
AS - Asia 2.515
SA - Sud America 513
AF - Africa 143
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 5
Totale 14.610
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.052
RU - Federazione Russa 1.183
SG - Singapore 944
CN - Cina 615
IT - Italia 504
BR - Brasile 451
VN - Vietnam 369
DE - Germania 244
UA - Ucraina 211
AT - Austria 180
FI - Finlandia 161
FR - Francia 150
CA - Canada 140
GB - Regno Unito 137
KR - Corea 132
SE - Svezia 121
JP - Giappone 102
NL - Olanda 96
IE - Irlanda 77
MA - Marocco 74
HK - Hong Kong 66
IN - India 58
ES - Italia 48
ID - Indonesia 47
BD - Bangladesh 35
PL - Polonia 32
AR - Argentina 28
TR - Turchia 24
JO - Giordania 18
MX - Messico 17
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
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
CR - Costa Rica 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.598
Salva come PNG Salva come JPEG
Città #
Ashburn 1.064
Fairfield 906
Woodbridge 663
San Jose 627
Singapore 508
Houston 438
Ann Arbor 394
Wilmington 380
Seattle 379
Cambridge 360
Chandler 349
Santa Clara 295
Moscow 183
Vienna 165
Council Bluffs 146
Beijing 137
Jacksonville 131
Milan 127
The Dalles 127
Seoul 122
Tokyo 101
Boardman 100
Dearborn 97
Los Angeles 92
Ottawa 89
Lauterbourg 85
Dallas 76
Dublin 75
Ho Chi Minh City 73
Lawrence 73
Helsinki 72
Hanoi 63
Hefei 62
Hong Kong 58
Medford 55
North Charleston 55
Dong Ket 54
San Diego 53
New York 46
Amsterdam 40
Buffalo 39
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 22
Las Vegas 20
Amman 18
Atlanta 18
Chicago 18
Princeton 18
Turin 17
Guangzhou 15
Taipei 15
Abidjan 14
Chennai 14
Da Nang 14
Nuremberg 14
Rome 14
Montreal 13
Brussels 12
Karlsruhe 12
Turku 12
Boston 11
Brooklyn 11
Denver 11
Toronto 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.868
Salva come PNG Salva come JPEG
Nome #
Parallel parsing made practical 283
Constraint LTL Satisfiability Checking without Automata 278
Toward a theory of input-driven locally parsable languages 224
A unifying approach to picture grammars 219
Bounded Reachability for Temporal Logic over Constraint Systems 218
A Formal Approach for Designing CORBA based Applications 216
Operator precedence temporal logic and model checking 215
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 214
A CKY parser for picture grammars 214
Associative definition of programming languages 213
A UML 2-compatible language and tool for formal modeling real-time system architectures 211
A formal description of a practical agent for e-commerce 211
A Tile-based Approach for Self-assembling Service Compositions 211
Model Checking Temporal Metric Specifications with Trio2Promela 211
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 210
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 209
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 206
A Metric Encoding for Bounded Model Checking 204
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 204
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 203
A Finite-Domain Semantics for Testing Temporal Logic Specifications 201
ContextErlang: A language for distributed context-aware self-adaptive applications 201
Comments on temporal logics for real-time system specification 199
An evaluation of the adaptation capabilities in programming languages 199
An Automatic Approach to Enable Replacement of Conversational Services 199
Software procurement and methods for specification and validation in the railway transportation industry 191
An Analysis of Language-Level Support for Self-Adaptive Software 190
A formal approach for designing CORBA-based applications 188
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 187
A Model Checker for Operator Precedence Languages 186
A UML-compatible formal language for system architecture description 185
Picture Languages: From Wang Tiles to 2DGrammars 184
Generalizing input-driven languages: Theoretical and practical benefits 184
Comments on “An Interval Logic for Real-Time System Specification” 184
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 183
Linear temporal logics for structured context-free languages 179
A SAT-based parser and completer for pictures specified by tiling 177
First-Order Logic Definability of Free Languages 177
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 177
Efficient analysis of event processing applications 176
Analyzing Security-Enhanced Linux Policy Specifications 174
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 172
Tile rewriting grammars and picture languages 171
Picture languages: Tiling systems versus tile rewriting grammars 169
Regional Languages and Tiling: A Unifying Approach to Picture Grammars 167
Context-oriented programming: A software engineering perspective 167
Trio2Promela: A Model Checker for Temporal Metric Specifications 165
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 162
Context Oriented Programming in Highly Concurrent Systems 162
Strategies to scan pictures with automata based on Wang tiles 160
Precedence Automata and Languages 160
Picture recognizability with automata based on Wang tiles 159
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 158
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 157
Beyond operator-precedence grammars and languages 156
Operator precedence ω-languages 153
Towards more expressive 2D deterministic automata 153
Model-Checking Structured Context-Free Languages 151
Model-checking TRIO specifications in SPIN 150
Programming Languages shouldn't be "too Natural" 149
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 140
Locally Chain-Parsable Languages 138
Parallel parsing of operator precedence grammars 137
An Evolutionary Approach to the Design of Supervision and Control Systems 136
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 135
Higher-order operator precedence languages 133
Static Analysis of Infrastructure as Code: A Survey 132
The PAPAGENO Parallel-Parser Generator 131
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 128
Weighted Operator Precedence Languages 125
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 122
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 121
Verification of Programs with Exceptions Through Operator Precedence Automata 120
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 117
ContextErlang: introducing context-oriented programming in the actor model 115
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 113
Deterministic recognizability of picture languages with Wang automata 113
Practical Model Checking of LTL with Past 112
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 109
Weighted operator precedence languages 107
Review on Verified Functional Programming in Agda 96
Word- and Tree-based Temporal Logics for Operator Precedence Languages 94
Modeling Security-Enchanced Linux Policy Specifications for Analysis 93
Free Grammars and Languages 85
Attribute-Based Precedence Relations for Free-Form Grammars 36
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars 36
Cyclic operator precedence grammars for parallel parsing 33
Totale 14.726
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.503
article - articoli 14.275
book - libri 0
conference - conferenze 26.228
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 81.006
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021193 0 0 0 0 0 0 0 0 0 0 63 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.660 981 885 260 413 348 304 1.071 269 350 643 136 0
Totale 14.726