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

MANDRIOLI, DINO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.064
EU - Europa 5.448
AS - Asia 3.775
SA - Sud America 872
AF - Africa 261
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 11
Totale 20.454
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.801
RU - Federazione Russa 1.661
SG - Singapore 1.233
IT - Italia 1.000
CN - Cina 844
BR - Brasile 691
DE - Germania 593
VN - Vietnam 458
UA - Ucraina 365
SE - Svezia 308
GB - Regno Unito 263
AT - Austria 258
FI - Finlandia 254
FR - Francia 236
KR - Corea 207
ID - Indonesia 202
IN - India 174
CA - Canada 162
JP - Giappone 146
IE - Irlanda 112
NL - Olanda 112
HK - Hong Kong 89
MA - Marocco 75
ES - Italia 63
PK - Pakistan 62
MX - Messico 58
AR - Argentina 53
TR - Turchia 49
PL - Polonia 45
BD - Bangladesh 40
PE - Perù 39
EG - Egitto 38
PH - Filippine 36
ZA - Sudafrica 36
MY - Malesia 29
RO - Romania 28
BE - Belgio 27
CI - Costa d'Avorio 25
IQ - Iraq 25
JO - Giordania 25
CO - Colombia 24
EC - Ecuador 24
SA - Arabia Saudita 23
PT - Portogallo 21
TW - Taiwan 20
AU - Australia 17
IR - Iran 17
CL - Cile 16
NO - Norvegia 16
NG - Nigeria 15
TN - Tunisia 15
JM - Giamaica 14
KE - Kenya 14
NP - Nepal 12
GR - Grecia 11
CH - Svizzera 10
DK - Danimarca 10
EU - Europa 10
IL - Israele 10
PY - Paraguay 10
UZ - Uzbekistan 10
AE - Emirati Arabi Uniti 9
LK - Sri Lanka 9
PA - Panama 9
RS - Serbia 9
VE - Venezuela 7
AL - Albania 6
NZ - Nuova Zelanda 6
BG - Bulgaria 5
BH - Bahrain 5
CR - Costa Rica 5
HU - Ungheria 5
MZ - Mozambico 5
OM - Oman 5
TH - Thailandia 5
ZW - Zimbabwe 5
BO - Bolivia 4
DZ - Algeria 4
GE - Georgia 4
HR - Croazia 4
KZ - Kazakistan 4
LT - Lituania 4
UY - Uruguay 4
AM - Armenia 3
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
DO - Repubblica Dominicana 3
EE - Estonia 3
ET - Etiopia 3
HN - Honduras 3
KG - Kirghizistan 3
LB - Libano 3
LU - Lussemburgo 3
LV - Lettonia 3
MD - Moldavia 3
SK - Slovacchia (Repubblica Slovacca) 3
SY - Repubblica araba siriana 3
TT - Trinidad e Tobago 3
AO - Angola 2
BJ - Benin 2
Totale 20.413
Salva come PNG Salva come JPEG
Città #
Ashburn 1.073
Fairfield 949
Woodbridge 740
San Jose 730
Singapore 656
Houston 529
Chandler 496
Ann Arbor 476
Wilmington 464
Santa Clara 400
Seattle 373
Cambridge 346
Moscow 240
Vienna 221
Milan 212
Jacksonville 207
Beijing 191
Council Bluffs 189
The Dalles 188
Dallas 182
Seoul 175
Dearborn 161
Boardman 151
Tokyo 128
Lawrence 123
Hefei 115
Lauterbourg 115
Helsinki 109
Los Angeles 105
Dublin 100
Ottawa 99
Medford 97
North Charleston 97
Ho Chi Minh City 96
Jakarta 90
Hanoi 85
Redwood City 76
Hong Kong 65
Buffalo 60
New York 59
Dong Ket 56
Amsterdam 52
San Diego 48
Des Moines 46
São Paulo 46
Frankfurt am Main 42
Casablanca 41
London 39
Shanghai 36
Warsaw 36
Berlin 35
Las Vegas 33
Surabaya 33
Málaga 32
Rome 31
Turin 31
Princeton 29
Orem 27
Phoenix 27
Abidjan 25
Amman 23
Brussels 23
Fortaleza 23
Guangzhou 22
Kenitra 22
Lima 21
Atlanta 20
Johannesburg 20
Rio de Janeiro 20
Chennai 18
Miami 17
Nuremberg 17
Grafing 16
Kent 16
Belo Horizonte 15
Da Nang 15
Dülmen 15
Gurgaon 15
Santiago 15
Seongnam 15
Stockholm 15
Washington 15
Montreal 14
Munich 14
Redmond 14
Bogotá 13
Istanbul 13
Porto Alegre 13
Utrecht 13
Brasília 12
Brooklyn 12
Islamabad 12
Karlsruhe 12
Kingston 12
Norwalk 12
San Francisco 12
Taipei 12
Turku 12
Auburn Hills 11
Barcelos 11
Totale 12.335
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.310
Advances in Object Oriented Software Engineering 339
Parallel parsing made practical 280
Formal Methods for Real-Time Computing 276
Theoretical Foundations of Computer Science. 275
Formal Methods in Designing Critical Cyber-Physical Systems 271
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 267
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 257
A Metric Temporal Logic for Dealing with Zero-Time Transitions 239
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 228
Automated Compositional Proofs for Real-Time Systems 224
Breadth and depth grammars and Deque automata 222
Toward a theory of input-driven locally parsable languages 222
Modeling the Environment in Software-Intensive Systems 219
A Formal Approach for Designing CORBA based Applications 216
Automated Compositional Proofs for Real-Time Systems 215
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 212
Operator precedence temporal logic and model checking 210
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 207
A decidability theorem for a class of vector-addition systems 205
Software Qualities and Principles 204
A Model Parametric Real-Time Logic 204
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 202
Automated Formal Verification for Flexible Manufacturing Systems 200
Formal model of human erroneous behavior for safety analysis in collaborative robotics 200
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 194
Automated formal verification for flexible manufacturing systems 188
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 187
Algebraic Properties of Operator Precedence Languages 187
A formal approach for designing CORBA-based applications 187
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 185
A UML-compatible formal language for system architecture description 183
A Model Checker for Operator Precedence Languages 182
SIMPLE: A Program Development System 177
Generalizing input-driven languages: Theoretical and practical benefits 177
Linear temporal logics for structured context-free languages 177
Computers foster education and education fosters computer science: the Politecnico’s approach 175
Pseudoequilibrium in Dynamical Systems 175
A framework architecture for supervision and control systems 175
First-Order Logic Definability of Free Languages 175
A class of Grammars Generating Non Counting Languages 174
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 174
QRT FIFO automata, breadth-first grammars and their relations. 173
SCORE: the first student contest on software engineering 173
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 172
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 171
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali 164
Syntax-Driven Program Verification of Matching Logic Properties 161
Informatica: Programmazione 160
Supervision and control systems framework 160
Formal Methods for Real-Time Computing: an Overview 159
Precedence Automata and Languages 159
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 154
Separate Compilation and Partial Specification in Pascal 151
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 151
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 150
Operator precedence ω-languages 150
Model-Checking Structured Context-Free Languages 149
On deterministic multi-pass analysis 148
Programming Languages shouldn't be "too Natural" 147
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 146
Informatica Arte e Mestiere 145
A Note on Petri Net Languages 144
A Unified High-level Petri Net Model for Time Critical Systems 144
Temporal Logic and Model Checking for Operator Precedence Languages 143
Real-Time Synchronised Petri Nets 142
Using TRIO for designing a CORBA based application 142
Informatica: Arte e Mestiere 141
Software Qualities and Principles 140
Parallel Refinement Mechanisms for Real-Time Systems 137
Locally Chain-Parsable Languages 137
Syntactic-semantic incrementality for agile verification 137
Augmenting Parsers to Support Incrementality 136
Parallel parsing of operator precedence grammars 134
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 133
Executable Specifications with Dataflow Diagrams 133
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 133
Algebraic properties of structured context-free languages: old approaches and novel developments 131
A Formal Framework for ASTRAL Intra-level Proof Obligations 130
Operator precedence and the visibly pushdown property 128
On the Heroism of really Pursuing Formal Methods 128
n-Reconstructability of Context-free Grammars 127
The PAPAGENO Parallel-Parser Generator 127
Software Specialization via Symbolic Execution 126
Proving properties of real-time systems through logical specifications and Petri net models 126
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 125
Weighted Operator Precedence Languages 124
TRIO a Logic Language for Executable Specifications of Real-time Systems 122
Language Constructs for Real-Time Distributed Systems 119
Modeling Time in Computing 119
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 118
Petri Nets and Szilard Languages 116
The Art and Craft of Computing. 115
Non-Counting Context-free Languages 115
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows 115
The defense of electric power systems: an approach exploiting formal methods 114
Dealing with Zero-time Transitions in Axiom Systems 114
Symbolic Execution of Concurrent Systems Using Petri Nets 113
Modeling Time in Computing: a taxonomy and a comparative survey 113
Generating Test Cases for Real-Time Systems from Logic Specifications 112
Totale 17.972
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.003
article - articoli 23.218
book - libri 5.119
conference - conferenze 19.542
curatela - curatele 1.353
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.771
Totale 104.006
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021498 0 0 0 0 0 0 0 0 0 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/20267.227 1.214 1.312 375 584 430 415 1.281 381 493 742 0 0
Totale 20.723