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.503
EU - Europa 5.862
AS - Asia 3.868
SA - Sud America 879
AF - Africa 261
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 12
Totale 21.408
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.207
RU - Federazione Russa 1.661
IT - Italia 1.406
SG - Singapore 1.237
CN - Cina 852
BR - Brasile 695
DE - Germania 593
VN - Vietnam 480
UA - Ucraina 365
SE - Svezia 308
GB - Regno Unito 263
AT - Austria 261
FI - Finlandia 255
FR - Francia 237
KR - Corea 207
ID - Indonesia 202
CA - Canada 174
IN - India 174
JP - Giappone 146
NL - Olanda 114
IE - Irlanda 112
HK - Hong Kong 96
BD - Bangladesh 92
MA - Marocco 75
ES - Italia 63
PK - Pakistan 62
MX - Messico 61
AR - Argentina 53
TR - Turchia 49
PL - Polonia 45
PE - Perù 40
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
JM - Giamaica 18
AU - Australia 17
IR - Iran 17
CL - Cile 16
NO - Norvegia 16
NG - Nigeria 15
TN - Tunisia 15
KE - Kenya 14
NP - Nepal 12
CR - Costa Rica 11
GR - Grecia 11
PY - Paraguay 11
CH - Svizzera 10
DK - Danimarca 10
EU - Europa 10
IL - Israele 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
HN - Honduras 6
NZ - Nuova Zelanda 6
BG - Bulgaria 5
BH - Bahrain 5
HR - Croazia 5
HU - Ungheria 5
MZ - Mozambico 5
OM - Oman 5
TH - Thailandia 5
UY - Uruguay 5
ZW - Zimbabwe 5
BO - Bolivia 4
DZ - Algeria 4
GE - Georgia 4
KZ - Kazakistan 4
LT - Lituania 4
NI - Nicaragua 4
AM - Armenia 3
AZ - Azerbaigian 3
BA - Bosnia-Erzegovina 3
DO - Repubblica Dominicana 3
EE - Estonia 3
ET - Etiopia 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
Totale 21.363
Salva come PNG Salva come JPEG
Città #
Ashburn 1.108
Fairfield 949
San Jose 755
Woodbridge 740
Singapore 659
Houston 535
Chandler 496
Ann Arbor 476
Wilmington 464
Santa Clara 425
Seattle 374
Cambridge 346
Milan 319
Moscow 240
Vienna 221
Council Bluffs 211
Jacksonville 208
Beijing 197
The Dalles 189
Boardman 187
Dallas 184
Seoul 175
Dearborn 161
Tokyo 128
Lawrence 125
Hefei 115
Lauterbourg 115
Helsinki 109
Los Angeles 108
Ho Chi Minh City 104
Dublin 100
Ottawa 99
Medford 97
North Charleston 97
Hanoi 91
Jakarta 90
Rome 84
Redwood City 76
Hong Kong 72
New York 72
Buffalo 62
Dong Ket 56
Amsterdam 52
San Diego 49
Des Moines 46
São Paulo 46
Frankfurt am Main 42
Turin 42
Casablanca 41
London 39
Shanghai 36
Warsaw 36
Berlin 35
Las Vegas 35
Surabaya 33
Málaga 32
Naples 29
Orem 29
Phoenix 29
Princeton 29
Abidjan 25
Amman 23
Atlanta 23
Brussels 23
Fortaleza 23
Guangzhou 22
Kenitra 22
Lima 21
Bari 20
Johannesburg 20
Rio de Janeiro 20
Florence 19
Miami 19
Chennai 18
Montreal 18
Nuremberg 17
San Francisco 17
Washington 17
Bologna 16
Chicago 16
Grafing 16
Kent 16
Belo Horizonte 15
Da Nang 15
Dülmen 15
Gurgaon 15
Redmond 15
Santiago 15
Seongnam 15
Stockholm 15
Brooklyn 14
Munich 14
Bogotá 13
Denver 13
Istanbul 13
Kingston 13
Palermo 13
Porto Alegre 13
Utrecht 13
Verona 13
Totale 12.782
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.316
Advances in Object Oriented Software Engineering 353
Parallel parsing made practical 299
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 295
Formal Methods in Designing Critical Cyber-Physical Systems 288
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 285
Theoretical Foundations of Computer Science. 280
Formal Methods for Real-Time Computing 279
A Metric Temporal Logic for Dealing with Zero-Time Transitions 245
Toward a theory of input-driven locally parsable languages 241
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 233
Automated Compositional Proofs for Real-Time Systems 230
Automated Compositional Proofs for Real-Time Systems 229
Breadth and depth grammars and Deque automata 229
Operator precedence temporal logic and model checking 225
Modeling the Environment in Software-Intensive Systems 222
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 220
A Formal Approach for Designing CORBA based Applications 218
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 213
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 211
Automated Formal Verification for Flexible Manufacturing Systems 211
Software Qualities and Principles 210
A Model Parametric Real-Time Logic 210
A decidability theorem for a class of vector-addition systems 208
Formal model of human erroneous behavior for safety analysis in collaborative robotics 201
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 200
A framework architecture for supervision and control systems 193
A Model Checker for Operator Precedence Languages 192
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 192
A formal approach for designing CORBA-based applications 191
Algebraic Properties of Operator Precedence Languages 190
Automated formal verification for flexible manufacturing systems 190
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 189
A UML-compatible formal language for system architecture description 189
Generalizing input-driven languages: Theoretical and practical benefits 187
Linear temporal logics for structured context-free languages 187
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 183
Computers foster education and education fosters computer science: the Politecnico’s approach 181
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 181
First-Order Logic Definability of Free Languages 181
SIMPLE: A Program Development System 180
QRT FIFO automata, breadth-first grammars and their relations. 179
A class of Grammars Generating Non Counting Languages 178
Pseudoequilibrium in Dynamical Systems 178
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 176
SCORE: the first student contest on software engineering 175
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 174
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali 173
Formal Methods for Real-Time Computing: an Overview 168
Syntax-Driven Program Verification of Matching Logic Properties 166
Informatica: Programmazione 165
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 165
Operator precedence ω-languages 165
Supervision and control systems framework 163
Precedence Automata and Languages 163
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 160
Programming Languages shouldn't be "too Natural" 158
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 158
Separate Compilation and Partial Specification in Pascal 157
Model-Checking Structured Context-Free Languages 156
On deterministic multi-pass analysis 154
Informatica Arte e Mestiere 151
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 150
A Note on Petri Net Languages 149
A Unified High-level Petri Net Model for Time Critical Systems 148
Locally Chain-Parsable Languages 146
Software Qualities and Principles 145
Informatica: Arte e Mestiere 145
Using TRIO for designing a CORBA based application 144
Temporal Logic and Model Checking for Operator Precedence Languages 144
Real-Time Synchronised Petri Nets 143
Parallel parsing of operator precedence grammars 142
Executable Specifications with Dataflow Diagrams 141
Syntactic-semantic incrementality for agile verification 141
Augmenting Parsers to Support Incrementality 139
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 138
Parallel Refinement Mechanisms for Real-Time Systems 137
TRIO a Logic Language for Executable Specifications of Real-time Systems 137
Algebraic properties of structured context-free languages: old approaches and novel developments 135
The PAPAGENO Parallel-Parser Generator 135
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 134
Operator precedence and the visibly pushdown property 134
Software Specialization via Symbolic Execution 133
A Formal Framework for ASTRAL Intra-level Proof Obligations 133
n-Reconstructability of Context-free Grammars 131
Modeling Time in Computing 131
Proving properties of real-time systems through logical specifications and Petri net models 130
Weighted Operator Precedence Languages 130
The defense of electric power systems: an approach exploiting formal methods 129
On the Heroism of really Pursuing Formal Methods 129
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows 127
Petri Nets and Szilard Languages 126
Modeling Time in Computing: a taxonomy and a comparative survey 125
Generating Test Cases for Real-Time Systems from Logic Specifications 123
Dealing with Zero-time Transitions in Axiom Systems 123
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 121
Non-Counting Context-free Languages 121
Language Constructs for Real-Time Distributed Systems 121
Symbolic Execution of Concurrent Systems Using Petri Nets 118
The Art and Craft of Computing. 117
Totale 18.734
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.368
article - articoli 24.777
book - libri 5.395
conference - conferenze 20.812
curatela - curatele 1.428
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.956
Totale 110.736
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20268.067 1.214 1.312 375 584 430 415 1.281 381 493 758 191 633
2026/2027114 114 0 0 0 0 0 0 0 0 0 0 0
Totale 21.677