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 6.024
EU - Europa 3.385
AS - Asia 1.516
SA - Sud America 503
AF - Africa 89
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 4
Totale 11.539
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.907
RU - Federazione Russa 1.329
SG - Singapore 653
IT - Italia 566
BR - Brasile 434
CN - Cina 408
AT - Austria 267
UA - Ucraina 234
DE - Germania 221
VN - Vietnam 210
SE - Svezia 158
FI - Finlandia 146
GB - Regno Unito 128
CA - Canada 97
FR - Francia 69
IE - Irlanda 67
NL - Olanda 67
IN - India 56
ES - Italia 49
MA - Marocco 39
JP - Giappone 31
BE - Belgio 30
JO - Giordania 22
PL - Polonia 22
AR - Argentina 21
ID - Indonesia 19
AU - Australia 17
EC - Ecuador 16
HK - Hong Kong 16
PK - Pakistan 16
BD - Bangladesh 15
CO - Colombia 15
TR - Turchia 14
KR - Corea 12
CI - Costa d'Avorio 11
MX - Messico 11
ZA - Sudafrica 10
TN - Tunisia 9
IQ - Iraq 8
CH - Svizzera 6
UZ - Uzbekistan 6
VE - Venezuela 6
CZ - Repubblica Ceca 4
EG - Egitto 4
EU - Europa 4
MU - Mauritius 4
MY - Malesia 4
AE - Emirati Arabi Uniti 3
CL - Cile 3
HU - Ungheria 3
IR - Iran 3
KE - Kenya 3
NO - Norvegia 3
NP - Nepal 3
PE - Perù 3
PH - Filippine 3
SA - Arabia Saudita 3
AZ - Azerbaigian 2
BG - Bulgaria 2
BJ - Benin 2
DK - Danimarca 2
DZ - Algeria 2
HN - Honduras 2
LV - Lettonia 2
NI - Nicaragua 2
PA - Panama 2
PY - Paraguay 2
RO - Romania 2
SV - El Salvador 2
UY - Uruguay 2
AL - Albania 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
HR - Croazia 1
IS - Islanda 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
MM - Myanmar 1
MN - Mongolia 1
NE - Niger 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
OM - Oman 1
PS - Palestinian Territory 1
PT - Portogallo 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TW - Taiwan 1
TZ - Tanzania 1
Totale 11.539
Salva come PNG Salva come JPEG
Città #
Ashburn 675
Fairfield 673
Woodbridge 571
Chandler 414
Houston 363
Wilmington 356
Ann Arbor 347
Singapore 335
Seattle 326
Santa Clara 262
Vienna 257
Cambridge 254
Moscow 176
Jacksonville 138
Milan 132
Beijing 124
Boardman 101
Dearborn 97
Council Bluffs 86
Lawrence 79
Dong Ket 75
Hefei 71
Ottawa 67
Dublin 66
Medford 62
Helsinki 61
Los Angeles 59
Buffalo 44
Dallas 40
São Paulo 40
Málaga 38
San Diego 34
New York 33
Casablanca 32
Turin 32
Brussels 30
Amsterdam 28
Des Moines 28
Ho Chi Minh City 27
Munich 26
Frankfurt am Main 24
Amman 22
London 21
Warsaw 21
Princeton 19
Rome 17
The Dalles 16
Hanoi 15
Hong Kong 15
Bergamo 14
Chicago 14
Miami 13
Tokyo 13
Belo Horizonte 12
Washington 12
Abidjan 11
Brooklyn 11
Phoenix 11
San Francisco 11
Shanghai 11
Turku 11
Bologna 10
Brasília 10
Jakarta 10
Norwalk 10
Sydney 10
Grafing 9
Kent 9
Mountain View 9
Redwood City 9
Rio de Janeiro 9
Toronto 9
Boston 8
Chennai 8
Columbus 8
Denver 8
Düsseldorf 8
Goiânia 8
Monza 8
Verona 8
Ankara 7
Canberra 7
Lauterbourg 7
Nuremberg 7
Orem 7
Porto Alegre 7
Seoul 7
Tianjin 7
Auburn Hills 6
Curitiba 6
Guayaquil 6
Johannesburg 6
Montreal 6
Poplar 6
Salvador 6
Tashkent 6
Atlanta 5
Bogotá 5
Bonate Sopra 5
Campinas 5
Totale 7.265
Salva come PNG Salva come JPEG
Nome #
Linguaggi formali e compilazione - 2a edizione 253
Constraint LTL Satisfiability Checking without Automata 225
A logic-based semantics for the verification of multi-diagram UML models 222
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 207
A Metric Temporal Logic for Dealing with Zero-Time Transitions 201
A short note on the approximability of the maximum leaves spanning tree problem 198
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 198
Automated Compositional Proofs for Real-Time Systems 197
Architecture of the Green Move System 195
A logic-based approach for the verification of UML timed models 192
Bounded Reachability for Temporal Logic over Constraint Systems 188
A generalized LR(1) parser for extended context-free grammars 184
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 183
Automated Compositional Proofs for Real-Time Systems 183
Formal Languages and Compilation 180
Model Checking Temporal Metric Specifications with Trio2Promela 179
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 178
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 174
Software procurement and methods for specification and validation in the railway transportation industry 171
A Metric Encoding for Bounded Model Checking 171
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 170
A Survey and Assessment of Software Process Representation Formalisms 169
A Model Parametric Real-Time Logic 167
Automated Formal Verification for Flexible Manufacturing Systems 166
A Benchmark Production Tool for Regular Expressions 165
Automated formal verification for flexible manufacturing systems 161
A deterministic parsing algorithm for ambiguous regular expressions 160
An object-oriented logic language for modular system specification 158
Generation of Execution Sequences for Modular Time Critical Systems 154
Comments on “An Interval Logic for Real-Time System Specification” 154
A Theory of Implementation and Refinement in Timed Petri Nets 153
From Interaction Overview Diagrams to Temporal Logic 152
A framework architecture for supervision and control systems 152
Green Move: towards next generation sustainable smartphone-based vehicle sharing 151
Formal Languages and Compilation 150
From Interaction Overview Diagrams to Temporal Logic 148
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 147
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 145
Trio2Promela: A Model Checker for Temporal Metric Specifications 145
An application of a tool for automated system analysis based on modular specifications 145
A Dual Language Approach to the Development of Time Critical Systems with UML 142
Supervision and control systems framework 137
From Ambiguous Regular Expressions to Deterministic Parsing Automata 134
Model-checking TRIO specifications in SPIN 132
Green Move Dynamic Applications 132
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 131
Towards the UML-Based Formal Verification of Timed Systems 130
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 129
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 123
BSP: A Parsing Tool for Ambiguous Regular Expressions 121
Executable Specifications with Dataflow Diagrams 115
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 115
Fast deterministic parsers for transition networks 113
2022 Best Paper Award Runner Up - Journal of Computer Languages 111
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 111
Proving properties of real-time systems through logical specifications and Petri net models 110
General parsing with regular expression matching 107
Complexity of extended vs classic LR parsers 106
Shift-Reduce Parsers for Transition Networks 104
A Dual Language Approach to the Development of Time-Critical Systems with UML 102
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications 101
Dealing with Zero-time Transitions in Axiom Systems 100
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties 100
The defense of electric power systems: an approach exploiting formal methods 99
On the specification of real-time systems using logic programming 99
TRIO a Logic Language for Executable Specifications of Real-time Systems 99
Generating Test Cases for Real-Time Systems from Logic Specifications 98
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking 95
Validating real-time systems by history-checking TRIO specifications 95
Practical Model Checking of LTL with Past 94
Modeling Time in Computing 94
Object-oriented logical specification of time-critical systems 94
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti 93
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry 92
From formal models to formally-based methods: an industrial experience 89
Validation and Verification of the safety Kernel of the Naples subway 87
Automated Deductive Requirements Analysis of Critical Systems 85
Modeling Time in Computing: a taxonomy and a comparative survey 85
On the Approximability of Some Maximum Spanning Tree Problems 82
Power and limits of automatic calculation: The complexity of calculation by algorithms [Potenza e limiti del calcolo automatico: La complessità di calcolo degli algoritmi] 76
Fast GLR Parsers for Extended BNF Grammars and Transition Networks 74
Minimizing speculation overhead in a parallel recognizer for regular texts 73
MADES: Embedded Systems Engineering Approach in the Avionics Domain 70
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 70
PROBLEMATICHE DI CERTIFICAZIONE DEL SOFTWARE SAFETY-CRITICAL II - PROGETTO; SVILUPPO E VALUTAZIONE 56
Multi-entry DFA with reduced initial states to speedup parallel recognition 10
Totale 11.606
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.396
article - articoli 13.033
book - libri 1.151
conference - conferenze 15.591
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.326
Totale 64.497
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021577 0 0 0 0 0 48 72 81 61 106 47 162
2021/2022721 27 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/20263.144 978 1.014 250 507 321 74 0 0 0 0 0 0
Totale 11.606