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.722
EU - Europa 5.201
AS - Asia 2.768
SA - Sud America 823
AF - Africa 245
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 10
Totale 17.792
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.477
RU - Federazione Russa 1.660
SG - Singapore 1.106
IT - Italia 969
BR - Brasile 650
CN - Cina 649
DE - Germania 578
UA - Ucraina 362
SE - Svezia 308
AT - Austria 256
GB - Regno Unito 248
FI - Finlandia 238
VN - Vietnam 226
ID - Indonesia 166
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 54
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
AE - Emirati Arabi Uniti 8
IL - Israele 8
TW - Taiwan 8
UZ - Uzbekistan 8
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.757
Salva come PNG Salva come JPEG
Città #
Fairfield 949
Ashburn 905
Woodbridge 740
Singapore 567
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 179
Dearborn 161
Council Bluffs 156
San Jose 153
Boardman 150
Lawrence 123
Hefei 115
Dublin 99
Ottawa 99
Medford 97
Helsinki 94
Los Angeles 94
Redwood City 76
Dallas 69
Jakarta 65
Buffalo 56
Dong Ket 56
New York 51
Amsterdam 48
San Diego 48
Des Moines 45
São Paulo 43
Casablanca 41
London 38
Berlin 35
Hanoi 34
Málaga 32
Frankfurt am Main 31
Rome 31
Turin 31
Warsaw 31
Hong Kong 29
Princeton 29
Ho Chi Minh City 28
Shanghai 27
Phoenix 26
Surabaya 26
Abidjan 25
Brussels 23
Fortaleza 23
Kenitra 22
Amman 21
Tokyo 21
Lima 20
Rio de Janeiro 20
Seoul 20
Atlanta 18
Johannesburg 18
Miami 17
Grafing 16
Kent 16
Nuremberg 16
Dülmen 15
Gurgaon 15
Seongnam 15
Stockholm 15
Belo Horizonte 14
Guangzhou 14
Munich 14
Redmond 14
Santiago 14
Washington 14
Bogotá 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.363
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.258
Advances in Object Oriented Software Engineering 307
Theoretical Foundations of Computer Science. 252
Formal Methods for Real-Time Computing 248
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 241
Parallel parsing made practical 236
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 217
Formal Methods in Designing Critical Cyber-Physical Systems 212
Breadth and depth grammars and Deque automata 208
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 207
A Metric Temporal Logic for Dealing with Zero-Time Transitions 206
Automated Compositional Proofs for Real-Time Systems 203
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 193
Modeling the Environment in Software-Intensive Systems 193
A Formal Approach for Designing CORBA based Applications 193
Automated Compositional Proofs for Real-Time Systems 191
Toward a theory of input-driven locally parsable languages 189
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 187
A decidability theorem for a class of vector-addition systems 187
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 181
Formal model of human erroneous behavior for safety analysis in collaborative robotics 178
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 175
Algebraic Properties of Operator Precedence Languages 173
Software Qualities and Principles 172
Automated Formal Verification for Flexible Manufacturing Systems 172
A Model Parametric Real-Time Logic 171
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 170
Automated formal verification for flexible manufacturing systems 170
A formal approach for designing CORBA-based applications 168
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 167
SIMPLE: A Program Development System 166
Operator precedence temporal logic and model checking 164
A UML-compatible formal language for system architecture description 162
Computers foster education and education fosters computer science: the Politecnico’s approach 160
Pseudoequilibrium in Dynamical Systems 156
A framework architecture for supervision and control systems 156
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 155
QRT FIFO automata, breadth-first grammars and their relations. 154
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali 153
Generalizing input-driven languages: Theoretical and practical benefits 152
A Model Checker for Operator Precedence Languages 151
First-Order Logic Definability of Free Languages 151
Syntax-Driven Program Verification of Matching Logic Properties 150
Linear temporal logics for structured context-free languages 147
Formal Methods for Real-Time Computing: an Overview 146
Precedence Automata and Languages 145
A class of Grammars Generating Non Counting Languages 145
SCORE: the first student contest on software engineering 144
Supervision and control systems framework 141
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
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 130
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 130
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 128
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 128
Real-Time Synchronised Petri Nets 127
Informatica Arte e Mestiere 127
Temporal Logic and Model Checking for Operator Precedence Languages 127
A Unified High-level Petri Net Model for Time Critical Systems 126
Using TRIO for designing a CORBA based application 125
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 124
Programming Languages shouldn't be "too Natural" 124
Parallel parsing of operator precedence grammars 123
Parallel Refinement Mechanisms for Real-Time Systems 122
Software Qualities and Principles 121
Augmenting Parsers to Support Incrementality 121
Executable Specifications with Dataflow Diagrams 120
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 120
Informatica: Arte e Mestiere 120
A Note on Petri Net Languages 119
Algebraic properties of structured context-free languages: old approaches and novel developments 118
Locally Chain-Parsable Languages 117
On the Heroism of really Pursuing Formal Methods 116
n-Reconstructability of Context-free Grammars 115
Proving properties of real-time systems through logical specifications and Petri net models 114
Operator precedence ω-languages 113
A Formal Framework for ASTRAL Intra-level Proof Obligations 112
The PAPAGENO Parallel-Parser Generator 111
Syntactic-semantic incrementality for agile verification 111
Model-Checking Structured Context-Free Languages 110
Software Specialization via Symbolic Execution 108
Operator precedence and the visibly pushdown property 107
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 105
Language Constructs for Real-Time Distributed Systems 105
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 104
Petri Nets and Szilard Languages 104
Dealing with Zero-time Transitions in Axiom Systems 103
The defense of electric power systems: an approach exploiting formal methods 102
Generating Test Cases for Real-Time Systems from Logic Specifications 102
Non-Counting Context-free Languages 102
TRIO a Logic Language for Executable Specifications of Real-time Systems 101
The Art and Craft of Computing. 100
Modeling Time in Computing 100
On the specification of real-time systems using logic programming 100
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 98
Symbolic Execution of Concurrent Systems Using Petri Nets 98
Weighted Operator Precedence Languages 98
The Ada Task System and Real-time Applications: an Implementation Schema 96
Totale 15.792
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.081
article - articoli 21.424
book - libri 4.737
conference - conferenze 18.158
curatela - curatele 1.239
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.523
Totale 96.162
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.565 1.214 1.312 375 584 430 415 235 0 0 0 0 0
Totale 18.061