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.539
EU - Europa 3.360
AS - Asia 1.395
SA - Sud America 509
AF - Africa 138
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 10
Totale 12.974
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.333
IT - Italia 913
DE - Germania 561
SG - Singapore 543
BR - Brasile 389
UA - Ucraina 358
SE - Svezia 296
AT - Austria 249
FI - Finlandia 232
GB - Regno Unito 201
CN - Cina 164
ID - Indonesia 139
CA - Canada 135
VN - Vietnam 122
IE - Irlanda 110
IN - India 99
FR - Francia 97
NL - Olanda 84
PK - Pakistan 53
ES - Italia 47
MX - Messico 42
TR - Turchia 37
PE - Perù 35
EG - Egitto 34
KR - Corea 33
RU - Federazione Russa 31
BE - Belgio 27
PL - Polonia 26
RO - Romania 26
AR - Argentina 25
CI - Costa d'Avorio 24
MY - Malesia 24
PH - Filippine 23
HK - Hong Kong 22
JP - Giappone 21
JO - Giordania 20
PT - Portogallo 20
AU - Australia 17
CO - Colombia 17
EC - Ecuador 17
ZA - Sudafrica 17
IR - Iran 15
NO - Norvegia 14
NG - Nigeria 13
SA - Arabia Saudita 12
GR - Grecia 11
CH - Svizzera 10
CL - Cile 10
DK - Danimarca 10
EU - Europa 10
JM - Giamaica 10
LK - Sri Lanka 9
PA - Panama 9
IQ - Iraq 8
KE - Kenya 8
PY - Paraguay 8
TW - Taiwan 8
TN - Tunisia 7
MA - Marocco 6
NP - Nepal 6
NZ - Nuova Zelanda 6
AL - Albania 5
BD - Bangladesh 5
MZ - Mozambico 5
UZ - Uzbekistan 5
ZW - Zimbabwe 5
HU - Ungheria 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
BH - Bahrain 3
BO - Bolivia 3
CR - Costa Rica 3
EE - Estonia 3
IL - Israele 3
KG - Kirghizistan 3
LU - Lussemburgo 3
LV - Lettonia 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
TH - Thailandia 3
AM - Armenia 2
BJ - Benin 2
CM - Camerun 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
HN - Honduras 2
HR - Croazia 2
KZ - Kazakistan 2
LS - Lesotho 2
PS - Palestinian Territory 2
SD - Sudan 2
SV - El Salvador 2
TZ - Tanzania 2
UG - Uganda 2
ZM - Zambia 2
BY - Bielorussia 1
DZ - Algeria 1
ET - Etiopia 1
Totale 12.961
Salva come PNG Salva come JPEG
Città #
Fairfield 949
Woodbridge 740
Houston 524
Chandler 496
Ashburn 488
Ann Arbor 476
Wilmington 464
Santa Clara 378
Seattle 373
Cambridge 345
Singapore 308
Vienna 215
Jacksonville 207
Milan 190
Dearborn 161
Boardman 150
Council Bluffs 126
Lawrence 123
Dublin 98
Ottawa 98
Medford 97
Helsinki 94
Redwood City 76
Beijing 63
Dong Ket 56
Jakarta 55
San Diego 47
Des Moines 44
Amsterdam 43
Berlin 35
Málaga 32
Turin 31
Rome 30
Princeton 29
Abidjan 24
Brussels 23
Frankfurt am Main 23
Los Angeles 23
Fortaleza 22
Surabaya 22
Phoenix 21
Lima 20
Warsaw 20
Amman 19
London 19
Grafing 16
New York 16
São Paulo 16
Dülmen 15
Gurgaon 15
Seongnam 15
Miami 14
Munich 14
Nuremberg 14
Redmond 14
Shanghai 14
Utrecht 13
Islamabad 12
Karlsruhe 12
Norwalk 12
Rio de Janeiro 12
Turku 12
Washington 12
Auburn Hills 11
Barcelos 11
Bogotá 11
Dallas 11
Fremont 11
Mountain View 11
Belo Horizonte 10
Dresden 10
Kingston 10
Santiago 10
Bari 9
Central 9
Guayaquil 9
Istanbul 9
Paris 9
Pordenone 9
Verona 9
Aachen 8
Düsseldorf 8
Hong Kong 8
Jakarta Pusat 8
Ladispoli 8
Portsmouth 8
San Francisco 8
Bergamo 7
Biassono 7
Florence 7
Gießen 7
Goiânia 7
Johannesburg 7
Lagos 7
Morrinhos 7
Praia A Mare 7
Tokyo 7
Atlanta 6
Bremen 6
Buenos Aires 6
Totale 8.438
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.214
Advances in Object Oriented Software Engineering 252
Theoretical Foundations of Computer Science. 216
Formal Methods for Real-Time Computing 212
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 182
Parallel parsing made practical 171
Breadth and depth grammars and Deque automata 153
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 153
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 152
A Metric Temporal Logic for Dealing with Zero-Time Transitions 152
Toward a theory of input-driven locally parsable languages 152
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 152
Formal Methods in Designing Critical Cyber-Physical Systems 148
Automated Compositional Proofs for Real-Time Systems 146
Modeling the Environment in Software-Intensive Systems 143
A Formal Approach for Designing CORBA based Applications 143
Automated Compositional Proofs for Real-Time Systems 141
Pseudoequilibrium in Dynamical Systems 139
A decidability theorem for a class of vector-addition systems 137
SIMPLE: A Program Development System 135
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 130
Precedence Automata and Languages 128
Automated Formal Verification for Flexible Manufacturing Systems 128
Automated formal verification for flexible manufacturing systems 128
Formal model of human erroneous behavior for safety analysis in collaborative robotics 128
Algebraic Properties of Operator Precedence Languages 126
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 125
Software Qualities and Principles 125
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 125
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 123
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali 122
A formal approach for designing CORBA-based applications 119
A UML-compatible formal language for system architecture description 118
A framework architecture for supervision and control systems 117
Generalizing input-driven languages: Theoretical and practical benefits 117
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 116
Formal Methods for Real-Time Computing: an Overview 115
QRT FIFO automata, breadth-first grammars and their relations. 111
Syntax-Driven Program Verification of Matching Logic Properties 109
Computers foster education and education fosters computer science: the Politecnico’s approach 107
First-Order Logic Definability of Free Languages 107
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 107
A Model Parametric Real-Time Logic 106
SCORE: the first student contest on software engineering 104
Real-Time Synchronised Petri Nets 101
Temporal Logic and Model Checking for Operator Precedence Languages 101
Operator precedence temporal logic and model checking 100
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 100
Programming Languages shouldn't be "too Natural" 99
Proving properties of real-time systems through logical specifications and Petri net models 97
n-Reconstructability of Context-free Grammars 97
Supervision and control systems framework 96
Augmenting Parsers to Support Incrementality 96
Informatica: Programmazione 95
Parallel Refinement Mechanisms for Real-Time Systems 94
A class of Grammars Generating Non Counting Languages 94
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 94
Parallel parsing of operator precedence grammars 94
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 94
Syntactic-semantic incrementality for agile verification 93
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 92
On deterministic multi-pass analysis 91
Language Constructs for Real-Time Distributed Systems 90
Informatica: Arte e Mestiere 89
Petri Nets and Szilard Languages 88
Executable Specifications with Dataflow Diagrams 88
Using TRIO for designing a CORBA based application 88
Separate Compilation and Partial Specification in Pascal 87
Linear temporal logics for structured context-free languages 87
On the Heroism of really Pursuing Formal Methods 87
Locally Chain-Parsable Languages 86
Software Qualities and Principles 85
Software Specialization via Symbolic Execution 85
Generating Test Cases for Real-Time Systems from Logic Specifications 85
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 83
Dealing with Zero-time Transitions in Axiom Systems 82
Non-Counting Context-free Languages 82
TRIO a Logic Language for Executable Specifications of Real-time Systems 82
The Ada Task System and Real-time Applications: an Implementation Schema 81
Symbolic Execution of Concurrent Systems Using Petri Nets 80
Operator precedence ω-languages 80
A Formal Framework for ASTRAL Intra-level Proof Obligations 79
Operator precedence and the visibly pushdown property 79
The PAPAGENO Parallel-Parser Generator 79
Informatica Arte e Mestiere 78
A Note on Petri Net Languages 76
On the specification of real-time systems using logic programming 76
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 75
SCORE: the first Student COntest in softwaRe Engineering 75
Turing: la vita, l’opera, l’impatto 74
The defense of electric power systems: an approach exploiting formal methods 71
A Unified High-level Petri Net Model for Time Critical Systems 70
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 70
Weighted Operator Precedence Languages 70
The Art and Craft of Computing. 69
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows 69
Modeling the Ada Task System by Petri Nets 69
On the Behavior of Concurrent and Real-Time Systems 68
From formal models to formally-based methods: an industrial experience 67
Basi, problemi e prospettive dell'elaborazione automatica del linguaggio naturale 67
Totale 11.858
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.100
article - articoli 16.397
book - libri 3.792
conference - conferenze 14.055
curatela - curatele 981
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.875
Totale 74.200
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202076 0 0 0 0 0 0 0 0 0 0 0 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/20252.088 27 51 136 56 413 255 115 229 346 138 313 9
Totale 13.241