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

MANDRIOLI, DINO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.598
EU - Europa 5.198
AS - Asia 2.746
SA - Sud America 823
AF - Africa 245
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 10
Totale 17.643
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.354
RU - Federazione Russa 1.660
SG - Singapore 1.099
IT - Italia 968
BR - Brasile 650
CN - Cina 637
DE - Germania 577
UA - Ucraina 362
SE - Svezia 308
AT - Austria 256
GB - Regno Unito 247
FI - Finlandia 238
VN - Vietnam 226
ID - Indonesia 165
CA - Canada 154
IN - India 146
IE - Irlanda 111
FR - Francia 106
NL - Olanda 105
MA - Marocco 75
ES - Italia 59
PK - Pakistan 58
MX - Messico 53
AR - Argentina 51
KR - Corea 50
TR - Turchia 44
HK - Hong Kong 43
PE - Perù 38
PL - Polonia 38
JP - Giappone 36
EG - Egitto 35
ZA - Sudafrica 33
MY - Malesia 28
BD - Bangladesh 27
BE - Belgio 27
RO - Romania 27
PH - Filippine 26
CI - Costa d'Avorio 25
EC - Ecuador 24
CO - Colombia 22
JO - Giordania 22
SA - Arabia Saudita 21
PT - Portogallo 20
AU - Australia 17
IQ - Iraq 17
IR - Iran 17
CL - Cile 15
NG - Nigeria 14
NO - Norvegia 14
KE - Kenya 13
JM - Giamaica 12
GR - Grecia 11
TN - Tunisia 11
CH - Svizzera 10
DK - Danimarca 10
EU - Europa 10
LK - Sri Lanka 9
NP - Nepal 9
PA - Panama 9
PY - Paraguay 9
IL - Israele 8
TW - Taiwan 8
UZ - Uzbekistan 8
AE - Emirati Arabi Uniti 7
VE - Venezuela 7
AL - Albania 6
NZ - Nuova Zelanda 6
MZ - Mozambico 5
ZW - Zimbabwe 5
BH - Bahrain 4
BO - Bolivia 4
CR - Costa Rica 4
HR - Croazia 4
HU - Ungheria 4
RS - Serbia 4
AM - Armenia 3
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
EE - Estonia 3
HN - Honduras 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LB - Libano 3
LU - Lussemburgo 3
LV - Lettonia 3
OM - Oman 3
SK - Slovacchia (Repubblica Slovacca) 3
SY - Repubblica araba siriana 3
TH - Thailandia 3
UY - Uruguay 3
AZ - Azerbaigian 2
BJ - Benin 2
CM - Camerun 2
CZ - Repubblica Ceca 2
ET - Etiopia 2
GE - Georgia 2
LS - Lesotho 2
LT - Lituania 2
Totale 17.609
Salva come PNG Salva come JPEG
Città #
Fairfield 949
Ashburn 892
Woodbridge 740
Singapore 560
Houston 529
Chandler 496
Ann Arbor 476
Wilmington 464
Santa Clara 393
Seattle 373
Cambridge 346
Moscow 240
Vienna 220
Milan 210
Jacksonville 207
Beijing 178
Dearborn 161
Council Bluffs 156
Boardman 150
Lawrence 123
Hefei 115
Dublin 99
Ottawa 99
Medford 97
Helsinki 94
Los Angeles 93
Redwood City 76
Dallas 69
Jakarta 64
Buffalo 56
Dong Ket 56
New York 51
San Jose 50
Amsterdam 48
San Diego 48
Des Moines 45
São Paulo 43
Casablanca 41
London 38
Berlin 35
Hanoi 34
Málaga 32
Rome 31
Turin 31
Warsaw 31
Frankfurt am Main 30
Hong Kong 29
Princeton 29
Ho Chi Minh City 28
Phoenix 26
Surabaya 26
Abidjan 25
Brussels 23
Fortaleza 23
Shanghai 23
Kenitra 22
Amman 21
Tokyo 21
Lima 20
Rio de Janeiro 20
Seoul 20
Johannesburg 18
Miami 17
Atlanta 16
Grafing 16
Kent 16
Nuremberg 16
Dülmen 15
Gurgaon 15
Seongnam 15
Stockholm 15
Belo Horizonte 14
Munich 14
Redmond 14
Santiago 14
Washington 14
Bogotá 13
Guangzhou 13
Porto Alegre 13
Utrecht 13
Brooklyn 12
Islamabad 12
Istanbul 12
Karlsruhe 12
Kingston 12
Norwalk 12
Turku 12
Auburn Hills 11
Barcelos 11
Brasília 11
Chennai 11
Fremont 11
Guayaquil 11
Montreal 11
Mountain View 11
Paris 11
Curitiba 10
Denver 10
Dresden 10
Kuala Lumpur 10
Totale 10.229
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.256
Advances in Object Oriented Software Engineering 304
Theoretical Foundations of Computer Science. 252
Formal Methods for Real-Time Computing 243
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 241
Parallel parsing made practical 233
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 216
Formal Methods in Designing Critical Cyber-Physical Systems 212
Breadth and depth grammars and Deque automata 207
A Metric Temporal Logic for Dealing with Zero-Time Transitions 205
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 205
Automated Compositional Proofs for Real-Time Systems 202
Modeling the Environment in Software-Intensive Systems 193
A Formal Approach for Designing CORBA based Applications 191
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 190
Automated Compositional Proofs for Real-Time Systems 190
A decidability theorem for a class of vector-addition systems 186
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 185
Toward a theory of input-driven locally parsable languages 185
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 179
Formal model of human erroneous behavior for safety analysis in collaborative robotics 175
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 173
Software Qualities and Principles 172
Algebraic Properties of Operator Precedence Languages 171
Automated Formal Verification for Flexible Manufacturing Systems 171
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 170
A Model Parametric Real-Time Logic 170
Automated formal verification for flexible manufacturing systems 168
A formal approach for designing CORBA-based applications 167
SIMPLE: A Program Development System 166
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 165
Operator precedence temporal logic and model checking 161
Computers foster education and education fosters computer science: the Politecnico’s approach 160
A UML-compatible formal language for system architecture description 158
Pseudoequilibrium in Dynamical Systems 156
A framework architecture for supervision and control systems 155
QRT FIFO automata, breadth-first grammars and their relations. 154
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 154
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali 152
Generalizing input-driven languages: Theoretical and practical benefits 150
A Model Checker for Operator Precedence Languages 149
Syntax-Driven Program Verification of Matching Logic Properties 149
Formal Methods for Real-Time Computing: an Overview 146
First-Order Logic Definability of Free Languages 146
Precedence Automata and Languages 145
A class of Grammars Generating Non Counting Languages 144
Linear temporal logics for structured context-free languages 144
SCORE: the first student contest on software engineering 142
Supervision and control systems framework 139
On deterministic multi-pass analysis 138
Separate Compilation and Partial Specification in Pascal 134
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 133
Informatica: Programmazione 132
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 128
Real-Time Synchronised Petri Nets 127
Informatica Arte e Mestiere 127
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 126
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 125
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 125
A Unified High-level Petri Net Model for Time Critical Systems 124
Using TRIO for designing a CORBA based application 124
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 123
Temporal Logic and Model Checking for Operator Precedence Languages 123
Parallel Refinement Mechanisms for Real-Time Systems 122
Programming Languages shouldn't be "too Natural" 122
Software Qualities and Principles 121
Augmenting Parsers to Support Incrementality 121
Informatica: Arte e Mestiere 120
Parallel parsing of operator precedence grammars 120
A Note on Petri Net Languages 119
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 119
Executable Specifications with Dataflow Diagrams 118
Algebraic properties of structured context-free languages: old approaches and novel developments 116
On the Heroism of really Pursuing Formal Methods 116
n-Reconstructability of Context-free Grammars 115
Locally Chain-Parsable Languages 115
A Formal Framework for ASTRAL Intra-level Proof Obligations 112
Proving properties of real-time systems through logical specifications and Petri net models 112
Syntactic-semantic incrementality for agile verification 111
Operator precedence ω-languages 110
Software Specialization via Symbolic Execution 108
The PAPAGENO Parallel-Parser Generator 107
Model-Checking Structured Context-Free Languages 106
Language Constructs for Real-Time Distributed Systems 105
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 104
Petri Nets and Szilard Languages 104
Operator precedence and the visibly pushdown property 103
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 102
Dealing with Zero-time Transitions in Axiom Systems 102
Non-Counting Context-free Languages 102
The defense of electric power systems: an approach exploiting formal methods 101
Generating Test Cases for Real-Time Systems from Logic Specifications 101
TRIO a Logic Language for Executable Specifications of Real-time Systems 101
The Art and Craft of Computing. 100
On the specification of real-time systems using logic programming 100
Symbolic Execution of Concurrent Systems Using Petri Nets 98
Modeling Time in Computing 98
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 97
Weighted Operator Precedence Languages 97
The Ada Task System and Real-time Applications: an Implementation Schema 96
Totale 15.657
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.587
article - articoli 21.189
book - libri 4.690
conference - conferenze 17.982
curatela - curatele 1.222
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.504
Totale 95.174
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021884 0 0 0 0 0 0 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/20252.343 27 51 136 56 413 255 115 229 346 138 313 264
2025/20264.416 1.214 1.312 375 584 430 415 86 0 0 0 0 0
Totale 17.912