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

FURIA, CARLO ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.156
EU - Europa 732
AS - Asia 527
SA - Sud America 85
AF - Africa 58
OC - Oceania 1
Totale 3.559
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.127
RU - Federazione Russa 298
SG - Singapore 179
CN - Cina 130
VN - Vietnam 103
AT - Austria 77
BR - Brasile 74
UA - Ucraina 64
SE - Svezia 55
DE - Germania 54
IT - Italia 44
MA - Marocco 40
FI - Finlandia 37
GB - Regno Unito 31
HK - Hong Kong 31
CA - Canada 21
FR - Francia 21
NL - Olanda 19
KR - Corea 18
IE - Irlanda 14
IN - India 11
JP - Giappone 10
JO - Giordania 8
BD - Bangladesh 7
ES - Italia 7
TR - Turchia 7
ZA - Sudafrica 5
AR - Argentina 4
ID - Indonesia 4
PL - Polonia 4
PE - Perù 3
TW - Taiwan 3
AM - Armenia 2
CI - Costa d'Avorio 2
CO - Colombia 2
CR - Costa Rica 2
IQ - Iraq 2
LT - Lituania 2
MX - Messico 2
NP - Nepal 2
PH - Filippine 2
PS - Palestinian Territory 2
SN - Senegal 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
AU - Australia 1
BF - Burkina Faso 1
BJ - Benin 1
BO - Bolivia 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
EG - Egitto 1
ET - Etiopia 1
HN - Honduras 1
JM - Giamaica 1
KE - Kenya 1
LU - Lussemburgo 1
MY - Malesia 1
NG - Nigeria 1
NI - Nicaragua 1
PA - Panama 1
PK - Pakistan 1
RS - Serbia 1
SA - Arabia Saudita 1
SI - Slovenia 1
SY - Repubblica araba siriana 1
UZ - Uzbekistan 1
Totale 3.559
Salva come PNG Salva come JPEG
Città #
Ashburn 293
Fairfield 244
Woodbridge 203
Chandler 138
San Jose 120
Houston 114
Wilmington 111
Singapore 108
Seattle 100
Cambridge 94
Ann Arbor 89
Vienna 76
Santa Clara 68
Moscow 53
Jacksonville 42
Los Angeles 37
Beijing 36
Council Bluffs 32
Ho Chi Minh City 26
San Diego 25
Hong Kong 24
Boardman 21
Dearborn 20
Casablanca 19
Dong Ket 19
Hanoi 19
Kenitra 19
The Dalles 19
Lawrence 18
Dallas 17
Hefei 17
Helsinki 17
Seoul 17
Turin 16
Ottawa 15
Dublin 14
Lauterbourg 14
Medford 14
Amsterdam 12
North Charleston 12
Washington 12
New York 10
Tokyo 10
Buffalo 9
Amman 8
São Paulo 7
Ankara 5
Las Vegas 5
Norwalk 5
Poplar 5
Auburn Hills 4
Boston 4
Johannesburg 4
Princeton 4
Stockholm 4
Warsaw 4
Biên Hòa 3
Des Moines 3
Goiânia 3
Indiana 3
London 3
Málaga 3
North Bergen 3
Nuremberg 3
Shanghai 3
Taipei 3
Abidjan 2
Atlanta 2
Belo Horizonte 2
Brooklyn 2
Camden 2
Campinas 2
Campo Grande 2
Cape Coral 2
Central 2
Charleston 2
Dakar 2
Denver 2
Fortaleza 2
Gunzenhausen 2
Haiphong 2
Jundiaí 2
Lima region 2
Mexico City 2
Miami 2
Milan 2
Montreal 2
Mountain View 2
Nanjing 2
Phoenix 2
Rio de Janeiro 2
San José 2
Thái Nguyên 2
Toronto 2
Việt Yên District 2
Abaeté 1
Abovyan 1
Addis Ababa 1
Alloa 1
Americana 1
Totale 2.545
Salva come PNG Salva come JPEG
Nome #
Automated Compositional Proofs for Real-Time Systems 224
Modeling the Environment in Software-Intensive Systems 219
A Compositional Framework for Formally Verifying Modular Systems 217
Automated Compositional Proofs for Real-Time Systems 215
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 211
A Tile-based Approach for Self-assembling Service Compositions 210
MTL with Bounded Variability: Decidability and Complexity 207
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 206
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 202
Comments on temporal logics for real-time system specification 199
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 194
Comments on “An Interval Logic for Real-Time System Specification” 184
On the Expressiveness of MTL Variants over Dense Time 179
A theory of sampling for continuous-time metric temporal logic 176
SCORE: the first student contest on software engineering 173
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 172
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 156
Modeling Time in Computing: a taxonomy and a comparative survey 113
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 107
Totale 3.564
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.302
article - articoli 3.841
book - libri 0
conference - conferenze 5.461
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 18.604
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202176 0 0 0 0 0 0 0 0 0 28 21 27
2021/2022207 9 42 32 16 10 9 13 9 7 9 23 28
2022/2023293 37 39 5 28 27 41 0 21 53 25 11 6
2023/2024136 9 20 10 23 12 32 11 0 0 2 0 17
2024/2025318 0 3 17 9 63 43 10 27 57 7 46 36
2025/20261.263 277 172 62 109 83 84 271 51 63 91 0 0
Totale 3.564