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

MANDRIOLI, DINO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.786
EU - Europa 1.331
AS - Asia 518
AF - Africa 85
SA - Sud America 29
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.774
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.682
IT - Italia 352
DE - Germania 249
CN - Cina 167
FR - Francia 149
CA - Canada 97
GB - Regno Unito 86
RU - Federazione Russa 78
IN - India 77
CZ - Repubblica Ceca 74
NL - Olanda 56
JP - Giappone 47
AT - Austria 41
ZA - Sudafrica 36
UA - Ucraina 35
SG - Singapore 32
FI - Finlandia 31
ES - Italia 26
HK - Hong Kong 26
SE - Svezia 24
VN - Vietnam 24
PK - Pakistan 23
ID - Indonesia 20
AU - Australia 19
KR - Corea 19
IE - Irlanda 18
DZ - Algeria 17
IR - Iran 17
BE - Belgio 14
GR - Grecia 14
PL - Polonia 14
DK - Danimarca 13
RO - Romania 12
TR - Turchia 12
TW - Taiwan 12
BR - Brasile 10
CI - Costa d'Avorio 10
CL - Cile 9
IL - Israele 9
AE - Emirati Arabi Uniti 7
BG - Bulgaria 7
KE - Kenya 6
MY - Malesia 6
NO - Norvegia 6
RS - Serbia 6
CH - Svizzera 5
CM - Camerun 5
CO - Colombia 5
MX - Messico 5
PT - Portogallo 5
BD - Bangladesh 4
ET - Etiopia 4
LU - Lussemburgo 4
MA - Marocco 4
NZ - Nuova Zelanda 4
PE - Perù 4
QA - Qatar 4
HU - Ungheria 3
LT - Lituania 3
MD - Moldavia 3
AM - Armenia 2
EG - Egitto 2
LK - Sri Lanka 2
PH - Filippine 2
TH - Thailandia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
EU - Europa 1
HN - Honduras 1
HR - Croazia 1
IQ - Iraq 1
LV - Lettonia 1
NP - Nepal 1
PS - Palestinian Territory 1
SC - Seychelles 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
VE - Venezuela 1
Totale 4.774
Salva come PNG Salva come JPEG
Città #
Houston 264
Fairfield 248
Ashburn 194
Buffalo 189
Woodbridge 152
Seattle 136
Santa Cruz 134
Ann Arbor 120
Mountain View 118
Cambridge 96
Wilmington 80
Milan 71
Beijing 40
Shanghai 38
Las Vegas 34
Saint Petersburg 29
Tokyo 29
Vienna 28
Helsinki 26
Bengaluru 25
Muizenberg 25
Chicago 24
Clearwater 24
Ottawa 24
Rome 24
Munich 23
Paris 21
Phoenix 21
Los Angeles 20
San Diego 19
Dublin 17
Hangzhou 17
Toronto 17
Amsterdam 14
Boardman 14
New York 14
Henderson 13
Montreal 13
Redmond 12
Singapore 12
Dong Ket 11
Karlsruhe 11
Madrid 11
Abidjan 10
Brescia 10
Columbus 10
Dallas 10
Montréal 10
University Park 10
Freiburg 9
Mcallen 9
Padova 9
Riva 9
Riverside 9
Stuttgart 9
Jakarta 8
Provo 8
San Francisco 8
Aachen 7
Austin 7
Boulder 7
Central 7
Chennai 7
Fremont 7
Gavirate 7
Grenoble 7
Nürnberg 7
Sofia 7
Algiers 6
Atlanta 6
Biassono 6
Chandler 6
Council Bluffs 6
Easton 6
Fort Myers 6
Lahore 6
Lake Forest 6
London 6
Opole 6
Silverton 6
St Louis 6
Barcelona 5
Belgioioso 5
Duncan 5
Durham 5
Kharagpur 5
Milpitas 5
Nanjing 5
Pasadena 5
San Jose 5
Scranton 5
Sydney 5
Wuhan 5
Yellow Springs 5
Athens 4
Auckland 4
Belgrade 4
Berlin 4
Bouwel 4
Bremen 4
Totale 2.827
Salva come PNG Salva come JPEG
Nome #
Parallel parsing made practical, file e0c31c08-baf8-4599-e053-1705fe0aef77 510
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications, file e0c31c0b-3106-4599-e053-1705fe0aef77 453
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration, file e0c31c0a-2c9f-4599-e053-1705fe0aef77 284
Formal model of human erroneous behavior for safety analysis in collaborative robotics, file e0c31c0f-239d-4599-e053-1705fe0aef77 272
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars, file e0c31c0b-0bca-4599-e053-1705fe0aef77 268
Programming Languages shouldn't be "too Natural", file e0c31c09-3491-4599-e053-1705fe0aef77 228
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System, file e0c31c0a-2bad-4599-e053-1705fe0aef77 224
Safety Assessment of Collaborative Robotics Through Automated Formal Verification, file e0c31c0f-1dda-4599-e053-1705fe0aef77 203
Toward a theory of input-driven locally parsable languages, file e0c31c09-e728-4599-e053-1705fe0aef77 197
Formal Methods in Designing Critical Cyber-Physical Systems, file e0c31c0e-f3d4-4599-e053-1705fe0aef77 193
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization, file e0c31c08-7382-4599-e053-1705fe0aef77 187
Locally Chain-Parsable Languages, file e0c31c08-7907-4599-e053-1705fe0aef77 170
First-Order Logic Definability of Free Languages, file e0c31c08-7905-4599-e053-1705fe0aef77 159
Operator precedence temporal logic and model checking, file e0c31c10-35de-4599-e053-1705fe0aef77 154
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages, file e0c31c0b-1112-4599-e053-1705fe0aef77 152
Generalizing input-driven languages: Theoretical and practical benefits, file e0c31c0b-5d9f-4599-e053-1705fe0aef77 145
The PAPAGENO Parallel-Parser Generator, file e0c31c09-3120-4599-e053-1705fe0aef77 144
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications, file e0c31c09-df41-4599-e053-1705fe0aef77 143
Syntactic-semantic incrementality for agile verification, file e0c31c09-34e9-4599-e053-1705fe0aef77 139
Operator precedence ω-languages, file e0c31c0b-0aad-4599-e053-1705fe0aef77 139
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows, file e0c31c09-397f-4599-e053-1705fe0aef77 129
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages, file e0c31c10-6ff3-4599-e053-1705fe0aef77 118
Temporal Logic and Model Checking for Operator Precedence Languages, file e0c31c0c-7c9d-4599-e053-1705fe0aef77 115
Weighted Operator Precedence Languages, file e0c31c0b-a274-4599-e053-1705fe0aef77 67
Linear temporal logics for structured context-free languages, file e0c31c10-42b9-4599-e053-1705fe0aef77 57
Automated formal verification for flexible manufacturing systems, file e0c31c0d-cee8-4599-e053-1705fe0aef77 49
Model-Checking Structured Context-Free Languages, file e0c31c11-6184-4599-e053-1705fe0aef77 42
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES, file 4fe7d50d-3495-4b30-89a1-aca8bba92895 15
Weighted operator precedence languages, file e0c31c12-7cc8-4599-e053-1705fe0aef77 13
Word- and Tree-based Temporal Logics for Operator Precedence Languages, file e0c31c0e-6b90-4599-e053-1705fe0aef77 12
A Model Checker for Operator Precedence Languages, file 8a026924-b8dd-4053-a31a-9506eff9dcdf 4
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES, file e04f83bd-b8a5-4dcf-af49-c747b27e9686 4
Automated formal verification for flexible manufacturing systems, file e0c31c0a-25cd-4599-e053-1705fe0aef77 3
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications, file e0c31c0a-26e9-4599-e053-1705fe0aef77 3
On the Heroism of really Pursuing Formal Methods, file e0c31c08-7a65-4599-e053-1705fe0aef77 1
Syntax-Driven Program Verification of Matching Logic Properties, file e0c31c09-63d9-4599-e053-1705fe0aef77 1
Formal model of human erroneous behavior for safety analysis in collaborative robotics, file e0c31c0f-239c-4599-e053-1705fe0aef77 1
Totale 4.998
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.715
article - articoli 4.411
book - libri 0
conference - conferenze 4.832
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 472
Totale 19.430
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019226 0 0 0 0 0 0 0 0 0 0 116 110
2019/2020756 95 47 34 49 77 71 68 79 76 48 53 59
2020/2021696 41 53 30 58 44 53 41 71 79 96 67 63
2021/20221.093 55 50 62 205 139 68 60 73 45 48 212 76
2022/2023735 25 68 159 91 71 57 46 38 34 41 56 49
2023/2024760 62 61 90 48 74 61 79 79 74 86 46 0
Totale 4.998