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

MANDRIOLI, DINO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.740
EU - Europa 3.018
AS - Asia 718
SA - Sud America 157
AF - Africa 110
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 10
Totale 10.776
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.551
IT - Italia 795
DE - Germania 482
UA - Ucraina 355
SE - Svezia 291
AT - Austria 232
FI - Finlandia 210
GB - Regno Unito 188
CA - Canada 129
VN - Vietnam 121
CN - Cina 116
IE - Irlanda 110
ID - Indonesia 99
IN - India 97
NL - Olanda 68
FR - Francia 62
BR - Brasile 59
PK - Pakistan 47
ES - Italia 41
MX - Messico 39
PE - Perù 34
TR - Turchia 31
EG - Egitto 30
KR - Corea 30
BE - Belgio 27
RO - Romania 25
CI - Costa d'Avorio 24
RU - Federazione Russa 24
MY - Malesia 23
PL - Polonia 22
AR - Argentina 20
JP - Giappone 20
PH - Filippine 20
PT - Portogallo 20
JO - Giordania 19
SG - Singapore 18
AU - Australia 17
CO - Colombia 15
HK - Hong Kong 14
NO - Norvegia 13
EC - Ecuador 12
IR - Iran 12
GR - Grecia 11
CH - Svizzera 10
CL - Cile 10
DK - Danimarca 10
EU - Europa 10
ZA - Sudafrica 10
JM - Giamaica 9
SA - Arabia Saudita 9
LK - Sri Lanka 8
NG - Nigeria 8
PA - Panama 8
IQ - Iraq 7
KE - Kenya 7
PY - Paraguay 7
TW - Taiwan 7
NZ - Nuova Zelanda 6
MZ - Mozambico 5
ZW - Zimbabwe 5
NP - Nepal 4
AL - Albania 3
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
HU - Ungheria 3
IL - Israele 3
TH - Thailandia 3
CM - Camerun 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
HR - Croazia 2
KZ - Kazakistan 2
LS - Lesotho 2
LU - Lussemburgo 2
MA - Marocco 2
RS - Serbia 2
SD - Sudan 2
TN - Tunisia 2
TZ - Tanzania 2
UG - Uganda 2
ZM - Zambia 2
AM - Armenia 1
BD - Bangladesh 1
BH - Bahrain 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ET - Etiopia 1
GE - Georgia 1
GH - Ghana 1
GM - Gambi 1
IS - Islanda 1
LV - Lettonia 1
MD - Moldavia 1
MO - Macao, regione amministrativa speciale della Cina 1
OM - Oman 1
PS - Palestinian Territory 1
SO - Somalia 1
UZ - Uzbekistan 1
Totale 10.776
Salva come PNG Salva come JPEG
Città #
Fairfield 949
Woodbridge 740
Houston 524
Chandler 496
Ann Arbor 476
Ashburn 469
Wilmington 464
Seattle 371
Cambridge 345
Vienna 208
Jacksonville 207
Dearborn 161
Milan 153
Lawrence 123
Dublin 98
Medford 97
Ottawa 97
Helsinki 87
Redwood City 76
Beijing 56
Dong Ket 56
San Diego 47
Des Moines 44
Amsterdam 34
Berlin 34
Málaga 32
Princeton 29
Turin 29
Jakarta 28
Rome 26
Abidjan 24
Brussels 23
Phoenix 21
Lima 20
Boardman 19
Amman 18
Warsaw 18
Fortaleza 17
Grafing 16
London 16
Dülmen 15
Gurgaon 15
Seongnam 15
New York 14
Redmond 14
Miami 13
Utrecht 13
Karlsruhe 12
Norwalk 12
Surabaya 12
Washington 12
Auburn Hills 11
Barcelos 11
Fremont 11
Islamabad 11
Los Angeles 11
Mountain View 11
Dresden 10
Santiago 10
Bogotá 9
Central 9
Dallas 9
Kingston 9
Pordenone 9
Aachen 8
Guayaquil 8
Istanbul 8
Jakarta Pusat 8
Ladispoli 8
Biassono 7
Florence 7
Gießen 7
Morrinhos 7
Paris 7
Praia A Mare 7
Verona 7
Atlanta 6
Gavirate 6
Hefei 6
Kuala Lumpur 6
Montréal 6
Monza 6
Petaling Jaya 6
Tokyo 6
Bangalore 5
Bergamo 5
Bucharest 5
Buenos Aires 5
Cancún 5
Collingwood 5
Grottaglie 5
Karachi 5
Kilburn 5
Lahore 5
Maputo 5
Munro 5
Nanjing 5
San Francisco 5
Shanghai 5
Tampere 5
Totale 7.243
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.184
Advances in Object Oriented Software Engineering 225
Theoretical Foundations of Computer Science. 193
Formal Methods for Real-Time Computing 172
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 147
Toward a theory of input-driven locally parsable languages 141
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 136
Breadth and depth grammars and Deque automata 134
Modeling the Environment in Software-Intensive Systems 132
Automated Compositional Proofs for Real-Time Systems 130
Pseudoequilibrium in Dynamical Systems 128
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 128
Automated Compositional Proofs for Real-Time Systems 124
A Metric Temporal Logic for Dealing with Zero-Time Transitions 124
Formal Methods in Designing Critical Cyber-Physical Systems 124
A Formal Approach for Designing CORBA based Applications 122
Precedence Automata and Languages 118
SIMPLE: A Program Development System 118
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 117
A decidability theorem for a class of vector-addition systems 115
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 115
Automated formal verification for flexible manufacturing systems 112
Software Qualities and Principles 111
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali 111
Automated Formal Verification for Flexible Manufacturing Systems 110
Parallel parsing made practical 109
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 107
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 107
Formal model of human erroneous behavior for safety analysis in collaborative robotics 104
Formal Methods for Real-Time Computing: an Overview 102
Algebraic Properties of Operator Precedence Languages 101
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 99
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 99
A UML-compatible formal language for system architecture description 99
QRT FIFO automata, breadth-first grammars and their relations. 96
Syntax-Driven Program Verification of Matching Logic Properties 94
Generalizing input-driven languages: Theoretical and practical benefits 94
A framework architecture for supervision and control systems 93
Real-Time Synchronised Petri Nets 91
A formal approach for designing CORBA-based applications 91
Proving properties of real-time systems through logical specifications and Petri net models 90
SCORE: the first student contest on software engineering 89
Computers foster education and education fosters computer science: the Politecnico’s approach 87
A Model Parametric Real-Time Logic 87
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 87
Parallel Refinement Mechanisms for Real-Time Systems 86
Temporal Logic and Model Checking for Operator Precedence Languages 85
Programming Languages shouldn't be "too Natural" 84
First-Order Logic Definability of Free Languages 84
n-Reconstructability of Context-free Grammars 82
Parallel parsing of operator precedence grammars 82
Syntactic-semantic incrementality for agile verification 82
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 81
Informatica: Programmazione 80
Augmenting Parsers to Support Incrementality 80
Language Constructs for Real-Time Distributed Systems 80
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 79
Executable Specifications with Dataflow Diagrams 78
A class of Grammars Generating Non Counting Languages 76
Petri Nets and Szilard Languages 75
Software Specialization via Symbolic Execution 75
Generating Test Cases for Real-Time Systems from Logic Specifications 75
Supervision and control systems framework 74
On the Heroism of really Pursuing Formal Methods 74
Software Qualities and Principles 73
On deterministic multi-pass analysis 72
Using TRIO for designing a CORBA based application 72
Dealing with Zero-time Transitions in Axiom Systems 71
Operator precedence and the visibly pushdown property 70
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 70
Symbolic Execution of Concurrent Systems Using Petri Nets 69
The Ada Task System and Real-time Applications: an Implementation Schema 69
TRIO a Logic Language for Executable Specifications of Real-time Systems 69
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 68
Locally Chain-Parsable Languages 68
SCORE: the first Student COntest in softwaRe Engineering 67
Operator precedence ω-languages 67
The PAPAGENO Parallel-Parser Generator 67
Non-Counting Context-free Languages 66
On the specification of real-time systems using logic programming 65
Separate Compilation and Partial Specification in Pascal 63
Linear temporal logics for structured context-free languages 63
The defense of electric power systems: an approach exploiting formal methods 62
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 62
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 62
A Formal Framework for ASTRAL Intra-level Proof Obligations 60
Turing: la vita, l’opera, l’impatto 60
Weighted Operator Precedence Languages 60
A Note on Petri Net Languages 59
From formal models to formally-based methods: an industrial experience 59
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows 59
The challenges of software engineering education 59
Modeling the Ada Task System by Petri Nets 59
The Art and Craft of Computing. 58
Operator precedence temporal logic and model checking 58
The industrialization of formal methods 57
Basi, problemi e prospettive dell'elaborazione automatica del linguaggio naturale 57
A Unified High-level Petri Net Model for Time Critical Systems 55
Informatica Arte e Mestiere 55
Informatica: Arte e Mestiere 54
Totale 10.093
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.296
article - articoli 11.419
book - libri 2.870
conference - conferenze 10.025
curatela - curatele 682
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.300
Totale 52.592
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019680 0 0 0 0 0 0 0 0 0 0 371 309
2019/20202.413 159 152 52 167 308 300 315 226 283 115 260 76
2020/20211.575 135 81 165 87 135 88 131 130 125 225 90 183
2021/20222.253 164 251 297 333 405 199 55 74 60 94 99 222
2022/20231.324 171 115 58 146 160 178 23 93 177 98 73 32
2023/2024680 91 146 57 74 54 70 57 51 13 40 27 0
Totale 11.039