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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.575 0 0 0 0 0 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/2024794 91 146 57 74 54 70 57 51 13 40 29 112
2024/2025901 27 51 136 56 413 218 0 0 0 0 0 0
Totale 12.054