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.504
EU - Europa 3.472
AS - Asia 2.566
SA - Sud America 517
AF - Africa 143
Continente sconosciuto - Info sul continente non disponibili 121
OC - Oceania 10
Totale 15.333
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.297
RU - Federazione Russa 1.184
SG - Singapore 945
IT - Italia 773
CN - Cina 617
BR - Brasile 454
VN - Vietnam 379
DE - Germania 244
UA - Ucraina 211
AT - Austria 182
FI - Finlandia 161
FR - Francia 150
CA - Canada 149
GB - Regno Unito 137
KR - Corea 132
SE - Svezia 121
JP - Giappone 102
NL - Olanda 98
IE - Irlanda 77
MA - Marocco 74
HK - Hong Kong 72
BD - Bangladesh 65
IN - India 59
ES - Italia 48
ID - Indonesia 47
PL - Polonia 33
AR - Argentina 28
TR - Turchia 24
MX - Messico 21
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 11
PH - Filippine 10
JM - Giamaica 9
EC - Ecuador 8
AE - Emirati Arabi Uniti 7
AU - Australia 7
CH - Svizzera 7
CR - Costa Rica 7
EG - Egitto 6
TN - Tunisia 6
UZ - Uzbekistan 5
VE - Venezuela 5
CL - Cile 4
CZ - Repubblica Ceca 4
EU - Europa 4
GT - Guatemala 4
KZ - Kazakistan 4
LT - Lituania 4
NI - Nicaragua 4
NP - Nepal 4
RO - Romania 4
SC - Seychelles 4
TH - Thailandia 4
TT - Trinidad e Tobago 4
BJ - Benin 3
DZ - Algeria 3
HR - Croazia 3
IL - Israele 3
KE - Kenya 3
LB - Libano 3
MU - Mauritius 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
HN - Honduras 2
HU - Ungheria 2
LK - Sri Lanka 2
LV - Lettonia 2
MD - Moldavia 2
MY - Malesia 2
NG - Nigeria 2
OM - Oman 2
PE - Perù 2
PR - Porto Rico 2
SK - Slovacchia (Repubblica Slovacca) 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
Totale 15.203
Salva come PNG Salva come JPEG
Città #
Ashburn 1.085
Fairfield 906
Woodbridge 663
San Jose 634
Singapore 509
Houston 440
Ann Arbor 394
Seattle 380
Wilmington 380
Cambridge 360
Chandler 349
Santa Clara 317
Milan 213
Moscow 183
Council Bluffs 169
Vienna 165
Beijing 138
Jacksonville 132
Boardman 131
The Dalles 128
Seoul 122
Tokyo 101
Dearborn 97
Los Angeles 93
Ottawa 89
Lauterbourg 85
Dallas 77
Ho Chi Minh City 77
Dublin 75
Lawrence 73
Helsinki 72
Hanoi 69
Hong Kong 64
Hefei 62
Rome 61
Medford 55
North Charleston 55
Dong Ket 54
San Diego 54
New York 48
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 25
Turin 25
Washington 23
Chicago 22
Las Vegas 21
Atlanta 19
Amman 18
Princeton 18
Guangzhou 15
Taipei 15
Abidjan 14
Chennai 14
Da Nang 14
Montreal 14
Nuremberg 14
Boston 13
Toronto 13
Brooklyn 12
Brussels 12
Karlsruhe 12
Turku 12
Denver 11
Florence 11
Springfield 11
Haiphong 10
Redwood City 10
Rio de Janeiro 10
San Francisco 10
Stockholm 10
Ankara 9
Belo Horizonte 9
Frisco 9
Lappeenranta 9
Munich 9
Curitiba 8
Dhaka 8
Miami 8
Seongnam 8
Auburn Hills 7
Bari 7
Betim 7
Biassono 7
Biên Hòa 7
Bologna 7
Brescia 7
Columbus 7
Figino 7
Totale 10.169
Salva come PNG Salva come JPEG
Nome #
Parallel parsing made practical 302
Constraint LTL Satisfiability Checking without Automata 284
Toward a theory of input-driven locally parsable languages 242
Bounded Reachability for Temporal Logic over Constraint Systems 230
Operator precedence temporal logic and model checking 227
A unifying approach to picture grammars 221
A CKY parser for picture grammars 221
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 220
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 218
A Formal Approach for Designing CORBA based Applications 218
A UML 2-compatible language and tool for formal modeling real-time system architectures 217
A formal description of a practical agent for e-commerce 217
Associative definition of programming languages 216
Model Checking Temporal Metric Specifications with Trio2Promela 216
A Tile-based Approach for Self-assembling Service Compositions 215
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 213
A Metric Encoding for Bounded Model Checking 210
A Finite-Domain Semantics for Testing Temporal Logic Specifications 207
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 207
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 207
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 205
ContextErlang: A language for distributed context-aware self-adaptive applications 204
Comments on temporal logics for real-time system specification 203
An evaluation of the adaptation capabilities in programming languages 202
An Automatic Approach to Enable Replacement of Conversational Services 202
Software procurement and methods for specification and validation in the railway transportation industry 201
An Analysis of Language-Level Support for Self-Adaptive Software 195
A Model Checker for Operator Precedence Languages 193
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 192
A formal approach for designing CORBA-based applications 191
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 190
Linear temporal logics for structured context-free languages 189
A UML-compatible formal language for system architecture description 189
Picture Languages: From Wang Tiles to 2DGrammars 187
Generalizing input-driven languages: Theoretical and practical benefits 187
Comments on “An Interval Logic for Real-Time System Specification” 186
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 185
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 185
A SAT-based parser and completer for pictures specified by tiling 184
Efficient analysis of event processing applications 184
First-Order Logic Definability of Free Languages 182
Tile rewriting grammars and picture languages 180
Picture languages: Tiling systems versus tile rewriting grammars 179
Trio2Promela: A Model Checker for Temporal Metric Specifications 178
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 178
Analyzing Security-Enhanced Linux Policy Specifications 176
Context-oriented programming: A software engineering perspective 175
Picture recognizability with automata based on Wang tiles 174
Regional Languages and Tiling: A Unifying Approach to Picture Grammars 168
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 168
Operator precedence ω-languages 167
Context Oriented Programming in Highly Concurrent Systems 167
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 165
Strategies to scan pictures with automata based on Wang tiles 165
Beyond operator-precedence grammars and languages 164
Precedence Automata and Languages 163
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 162
Programming Languages shouldn't be "too Natural" 159
Model-checking TRIO specifications in SPIN 159
Model-Checking Structured Context-Free Languages 158
Towards more expressive 2D deterministic automata 154
Snake-Deterministic Tiling Systems 152
Locally Chain-Parsable Languages 146
Tile Rewriting Grammars 145
Synthesizing adapters for conversational web-services from their WSDL interface 144
Temporal Logic and Model Checking for Operator Precedence Languages 144
Static Analysis of Infrastructure as Code: A Survey 143
Parallel parsing of operator precedence grammars 142
An Evolutionary Approach to the Design of Supervision and Control Systems 138
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 135
The PAPAGENO Parallel-Parser Generator 135
Higher-order operator precedence languages 135
Weighted Operator Precedence Languages 131
Verification of Programs with Exceptions Through Operator Precedence Automata 130
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 128
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 124
Deterministic recognizability of picture languages with Wang automata 124
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 124
ContextErlang: introducing context-oriented programming in the actor model 121
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 120
Practical Model Checking of LTL with Past 115
Weighted operator precedence languages 113
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 110
Review on Verified Functional Programming in Agda 102
Word- and Tree-based Temporal Logics for Operator Precedence Languages 101
Modeling Security-Enchanced Linux Policy Specifications for Analysis 99
Free Grammars and Languages 89
Attribute-Based Precedence Relations for Free-Form Grammars 50
Cyclic operator precedence grammars for parallel parsing 46
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars 44
Totale 15.333
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.862
article - articoli 15.138
book - libri 0
conference - conferenze 27.724
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 85.724
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022738 0 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/20266.129 981 885 260 413 348 304 1.071 269 350 643 184 421
2026/2027138 119 19 0 0 0 0 0 0 0 0 0 0
Totale 15.333