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

MORZENTI, ANGELO CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.703
EU - Europa 3.997
AS - Asia 2.600
SA - Sud America 553
AF - Africa 124
Continente sconosciuto - Info sul continente non disponibili 71
OC - Oceania 20
Totale 15.068
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.520
RU - Federazione Russa 1.332
IT - Italia 996
SG - Singapore 850
CN - Cina 555
VN - Vietnam 532
BR - Brasile 469
AT - Austria 267
UA - Ucraina 237
DE - Germania 235
SE - Svezia 163
FR - Francia 155
FI - Finlandia 153
GB - Regno Unito 142
CA - Canada 131
KR - Corea 122
JP - Giappone 118
IN - India 79
NL - Olanda 78
BD - Bangladesh 74
HK - Hong Kong 74
IE - Irlanda 69
MA - Marocco 60
ES - Italia 56
PL - Polonia 32
BE - Belgio 30
JO - Giordania 25
AR - Argentina 24
ID - Indonesia 24
PK - Pakistan 22
CO - Colombia 21
TR - Turchia 20
AU - Australia 19
MX - Messico 17
EC - Ecuador 16
ZA - Sudafrica 14
IQ - Iraq 12
PH - Filippine 12
TW - Taiwan 12
CI - Costa d'Avorio 11
MY - Malesia 11
NO - Norvegia 11
AM - Armenia 9
CH - Svizzera 9
TN - Tunisia 9
CL - Cile 7
NI - Nicaragua 7
UZ - Uzbekistan 7
EG - Egitto 6
NP - Nepal 6
TH - Thailandia 6
VE - Venezuela 6
CZ - Repubblica Ceca 5
JM - Giamaica 5
SA - Arabia Saudita 5
SV - El Salvador 5
AE - Emirati Arabi Uniti 4
AO - Angola 4
CR - Costa Rica 4
EU - Europa 4
HN - Honduras 4
IR - Iran 4
KE - Kenya 4
MU - Mauritius 4
PE - Perù 4
PR - Porto Rico 4
AZ - Azerbaigian 3
BG - Bulgaria 3
HU - Ungheria 3
LT - Lituania 3
PY - Paraguay 3
BH - Bahrain 2
BJ - Benin 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
GT - Guatemala 2
IL - Israele 2
KG - Kirghizistan 2
LV - Lettonia 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
RO - Romania 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
UY - Uruguay 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BO - Bolivia 1
ET - Etiopia 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
IS - Islanda 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
Totale 14.993
Salva come PNG Salva come JPEG
Città #
Ashburn 946
Fairfield 673
San Jose 572
Woodbridge 571
Chandler 414
Singapore 407
Houston 366
Wilmington 356
Ann Arbor 347
Seattle 327
Santa Clara 289
Milan 272
Vienna 257
Cambridge 254
Council Bluffs 193
Boardman 188
Moscow 176
The Dalles 153
Beijing 141
Jacksonville 139
Ho Chi Minh City 124
Seoul 115
Hanoi 99
Tokyo 99
Dearborn 97
Los Angeles 89
Dallas 82
Lauterbourg 81
Lawrence 79
Rome 76
Dong Ket 75
Hefei 72
Dublin 68
Helsinki 68
Ottawa 67
Hong Kong 64
Medford 62
New York 60
North Charleston 49
Buffalo 48
São Paulo 43
Turin 43
Málaga 38
San Diego 34
Casablanca 32
Munich 32
Amsterdam 31
Brussels 30
Des Moines 29
Frankfurt am Main 27
Warsaw 26
London 25
Amman 24
Naples 22
Shanghai 21
Kenitra 20
Las Vegas 19
Princeton 19
Bologna 18
Chicago 18
Montreal 18
Orem 18
Palermo 17
Phoenix 17
Toronto 16
Bergamo 14
Brooklyn 14
Chennai 14
Da Nang 14
Florence 14
Miami 14
Washington 14
Brasília 13
Haiphong 13
Belo Horizonte 12
Denver 12
Jakarta 12
San Francisco 12
Taipei 12
Abidjan 11
Ankara 11
Figino 11
Turku 11
Boston 10
Columbus 10
Norwalk 10
Sydney 10
Atlanta 9
Bergen 9
Grafing 9
Guangzhou 9
Johannesburg 9
Kent 9
Mountain View 9
Redwood City 9
Rio de Janeiro 9
Stockholm 9
Yerevan 9
Bogotá 8
Düsseldorf 8
Totale 9.635
Salva come PNG Salva come JPEG
Nome #
Linguaggi formali e compilazione - 2a edizione 362
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 303
A generalized LR(1) parser for extended context-free grammars 296
Constraint LTL Satisfiability Checking without Automata 285
A logic-based semantics for the verification of multi-diagram UML models 281
A deterministic parsing algorithm for ambiguous regular expressions 273
A logic-based approach for the verification of UML timed models 262
Formal Languages and Compilation 255
Architecture of the Green Move System 248
A Metric Temporal Logic for Dealing with Zero-Time Transitions 247
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 244
A short note on the approximability of the maximum leaves spanning tree problem 237
Bounded Reachability for Temporal Logic over Constraint Systems 232
A Benchmark Production Tool for Regular Expressions 232
Automated Compositional Proofs for Real-Time Systems 230
Automated Compositional Proofs for Real-Time Systems 230
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 219
An object-oriented logic language for modular system specification 217
Model Checking Temporal Metric Specifications with Trio2Promela 217
A Survey and Assessment of Software Process Representation Formalisms 215
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 214
Automated Formal Verification for Flexible Manufacturing Systems 213
From Interaction Overview Diagrams to Temporal Logic 212
A Model Parametric Real-Time Logic 212
A Metric Encoding for Bounded Model Checking 211
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 208
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 208
From Interaction Overview Diagrams to Temporal Logic 208
Software procurement and methods for specification and validation in the railway transportation industry 203
Green Move: towards next generation sustainable smartphone-based vehicle sharing 201
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 200
A framework architecture for supervision and control systems 194
Automated formal verification for flexible manufacturing systems 190
Formal Languages and Compilation 189
Comments on “An Interval Logic for Real-Time System Specification” 188
A Theory of Implementation and Refinement in Timed Petri Nets 180
Trio2Promela: A Model Checker for Temporal Metric Specifications 179
An application of a tool for automated system analysis based on modular specifications 179
A Dual Language Approach to the Development of Time Critical Systems with UML 178
Generation of Execution Sequences for Modular Time Critical Systems 174
Green Move Dynamic Applications 169
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 168
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 166
Supervision and control systems framework 164
Towards the UML-Based Formal Verification of Timed Systems 164
From Ambiguous Regular Expressions to Deterministic Parsing Automata 162
Model-checking TRIO specifications in SPIN 160
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 160
BSP: A Parsing Tool for Ambiguous Regular Expressions 157
Fast GLR Parsers for Extended BNF Grammars and Transition Networks 157
2022 Best Paper Award Runner Up - Journal of Computer Languages 154
Fast deterministic parsers for transition networks 151
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 150
General parsing with regular expression matching 150
Executable Specifications with Dataflow Diagrams 145
Complexity of extended vs classic LR parsers 139
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 138
TRIO a Logic Language for Executable Specifications of Real-time Systems 138
Shift-Reduce Parsers for Transition Networks 135
Modeling Time in Computing 134
Validating real-time systems by history-checking TRIO specifications 132
Proving properties of real-time systems through logical specifications and Petri net models 131
A Dual Language Approach to the Development of Time-Critical Systems with UML 131
Object-oriented logical specification of time-critical systems 130
The defense of electric power systems: an approach exploiting formal methods 129
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 129
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 128
Modeling Time in Computing: a taxonomy and a comparative survey 126
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 126
Generating Test Cases for Real-Time Systems from Logic Specifications 125
Dealing with Zero-time Transitions in Axiom Systems 124
Validation and Verification of the safety Kernel of the Naples subway 123
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 122
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 121
On the specification of real-time systems using logic programming 118
Practical Model Checking of LTL with Past 116
Minimizing speculation overhead in a parallel recognizer for regular texts 115
From formal models to formally-based methods: an industrial experience 114
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti 111
Automated Deductive Requirements Analysis of Critical Systems 107
On the Approximability of Some Maximum Spanning Tree Problems 102
Generating functional test cases in-the-large for time-critical systems from logic-based specificationsProceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 100
Power and limits of automatic calculation: The complexity of calculation by algorithms [Potenza e limiti del calcolo automatico: La complessità di calcolo degli algoritmi] 96
MADES: Embedded Systems Engineering Approach in the Avionics Domain 90
PROBLEMATICHE DI CERTIFICAZIONE DEL SOFTWARE SAFETY-CRITICAL II - PROGETTO; SVILUPPO E VALUTAZIONE 86
Multi-entry DFA with reduced initial states to speedup parallel recognition 49
Totale 15.068
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.097
article - articoli 16.134
book - libri 1.490
conference - conferenze 19.242
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.828
Totale 79.791
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022694 0 78 32 68 87 43 46 40 35 65 63 137
2022/20231.002 130 92 24 122 103 130 4 63 147 80 65 42
2023/2024519 58 95 27 46 51 60 37 21 7 36 9 72
2024/20251.692 14 24 51 55 322 149 100 139 256 110 244 228
2025/20266.320 978 1.014 250 507 321 326 1.079 251 295 587 190 522
2026/2027286 147 139 0 0 0 0 0 0 0 0 0 0
Totale 15.068