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.206
EU - Europa 794
AS - Asia 533
SA - Sud America 85
AF - Africa 58
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 3.682
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.170
RU - Federazione Russa 298
SG - Singapore 179
CN - Cina 131
IT - Italia 105
VN - Vietnam 105
AT - Austria 77
BR - Brasile 74
UA - Ucraina 64
SE - Svezia 55
DE - Germania 54
MA - Marocco 40
FI - Finlandia 37
HK - Hong Kong 34
GB - Regno Unito 31
CA - Canada 24
FR - Francia 22
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
CR - Costa Rica 4
ID - Indonesia 4
PL - Polonia 4
PE - Perù 3
TW - Taiwan 3
AM - Armenia 2
CI - Costa d'Avorio 2
CO - Colombia 2
IQ - Iraq 2
JM - Giamaica 2
LT - Lituania 2
MX - Messico 2
NI - Nicaragua 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
KE - Kenya 1
LU - Lussemburgo 1
MY - Malesia 1
NG - Nigeria 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.677
Salva come PNG Salva come JPEG
Città #
Ashburn 300
Fairfield 246
Woodbridge 203
Chandler 138
San Jose 123
Houston 114
Wilmington 111
Singapore 108
Seattle 100
Cambridge 94
Ann Arbor 89
Vienna 76
Santa Clara 71
Moscow 53
Jacksonville 42
Los Angeles 37
Beijing 36
Council Bluffs 35
Boardman 27
Hong Kong 27
Ho Chi Minh City 26
San Diego 25
Hanoi 21
Dearborn 20
Casablanca 19
Dong Ket 19
Kenitra 19
The Dalles 19
Turin 19
Lawrence 18
Dallas 17
Hefei 17
Helsinki 17
Seoul 17
Milan 16
Ottawa 15
Dublin 14
Lauterbourg 14
Medford 14
Amsterdam 12
North Charleston 12
Washington 12
New York 11
Buffalo 10
Tokyo 10
Amman 8
Rome 7
São Paulo 7
Ankara 5
Las Vegas 5
Norwalk 5
Poplar 5
Auburn Hills 4
Boston 4
Johannesburg 4
Montreal 4
Princeton 4
San José 4
Stockholm 4
Warsaw 4
Biên Hòa 3
Brooklyn 3
Des Moines 3
Goiânia 3
Indiana 3
London 3
Málaga 3
Naples 3
North Bergen 3
Nuremberg 3
Palermo 3
Shanghai 3
Taipei 3
Toronto 3
Venice 3
Abidjan 2
Atlanta 2
Belo Horizonte 2
Camden 2
Campinas 2
Campo Grande 2
Cape Coral 2
Central 2
Charleston 2
Chicago 2
Columbus 2
Dakar 2
Denver 2
Fortaleza 2
Gunzenhausen 2
Haiphong 2
Jundiaí 2
Lima region 2
Mexico City 2
Miami 2
Mountain View 2
Nanjing 2
Newton 2
Phoenix 2
Rio de Janeiro 2
Totale 2.612
Salva come PNG Salva come JPEG
Nome #
Automated Compositional Proofs for Real-Time Systems 230
Automated Compositional Proofs for Real-Time Systems 229
Modeling the Environment in Software-Intensive Systems 222
A Compositional Framework for Formally Verifying Modular Systems 220
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 218
MTL with Bounded Variability: Decidability and Complexity 217
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 216
A Tile-based Approach for Self-assembling Service Compositions 215
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 206
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 205
Comments on temporal logics for real-time system specification 203
Comments on “An Interval Logic for Real-Time System Specification” 187
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 183
On the Expressiveness of MTL Variants over Dense Time 180
A theory of sampling for continuous-time metric temporal logic 177
SCORE: the first student contest on software engineering 175
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 162
Modeling Time in Computing: a taxonomy and a comparative survey 125
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 112
Totale 3.682
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.065
article - articoli 4.138
book - libri 0
conference - conferenze 5.927
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 20.130
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022198 0 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.371 277 172 62 109 83 84 271 51 63 92 23 84
2026/202710 7 3 0 0 0 0 0 0 0 0 0 0
Totale 3.682