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.186
EU - Europa 732
AS - Asia 531
SA - Sud America 85
AF - Africa 58
OC - Oceania 1
Totale 3.593
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.156
RU - Federazione Russa 298
SG - Singapore 179
CN - Cina 131
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
HK - Hong Kong 34
GB - Regno Unito 31
CA - Canada 22
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.593
Salva come PNG Salva come JPEG
Città #
Ashburn 299
Fairfield 244
Woodbridge 203
Chandler 138
San Jose 123
Houston 114
Wilmington 111
Singapore 108
Seattle 100
Cambridge 94
Ann Arbor 89
Vienna 76
Santa Clara 70
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
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 11
Buffalo 10
Tokyo 10
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
Montreal 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
Chicago 2
Dakar 2
Denver 2
Fortaleza 2
Gunzenhausen 2
Haiphong 2
Jundiaí 2
Lima region 2
Mexico City 2
Miami 2
Milan 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
Totale 2.572
Salva come PNG Salva come JPEG
Nome #
Automated Compositional Proofs for Real-Time Systems 227
Automated Compositional Proofs for Real-Time Systems 224
Modeling the Environment in Software-Intensive Systems 220
A Compositional Framework for Formally Verifying Modular Systems 217
A Tile-based Approach for Self-assembling Service Compositions 212
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 211
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 210
MTL with Bounded Variability: Decidability and Complexity 208
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 204
Comments on temporal logics for real-time system specification 199
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 195
Comments on “An Interval Logic for Real-Time System Specification” 185
On the Expressiveness of MTL Variants over Dense Time 179
A theory of sampling for continuous-time metric temporal logic 177
SCORE: the first student contest on software engineering 174
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 173
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 157
Modeling Time in Computing: a taxonomy and a comparative survey 116
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 110
Totale 3.598
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.697
article - articoli 4.004
book - libri 0
conference - conferenze 5.693
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 19.394
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202127 0 0 0 0 0 0 0 0 0 0 0 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.297 277 172 62 109 83 84 271 51 63 92 23 10
Totale 3.598