FURIA, CARLO ALBERTO
 Distribuzione geografica
Continente #
NA - Nord America 1.625
EU - Europa 368
AS - Asia 73
AF - Africa 1
Totale 2.067
Nazione #
US - Stati Uniti d'America 1.609
AT - Austria 77
UA - Ucraina 63
SE - Svezia 51
DE - Germania 49
IT - Italia 40
FI - Finlandia 35
SG - Singapore 22
VN - Vietnam 22
GB - Regno Unito 21
CA - Canada 16
CN - Cina 15
IE - Irlanda 13
NL - Olanda 9
JO - Giordania 7
FR - Francia 4
ES - Italia 3
IN - India 3
HK - Hong Kong 2
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
KR - Corea 1
LU - Lussemburgo 1
MY - Malesia 1
RU - Federazione Russa 1
Totale 2.067
Città #
Fairfield 244
Woodbridge 203
Ashburn 150
Chandler 138
Houston 113
Wilmington 110
Seattle 100
Cambridge 94
Ann Arbor 89
Vienna 76
Jacksonville 41
Santa Clara 40
San Diego 25
Boardman 21
Dearborn 20
Dong Ket 19
Lawrence 18
Helsinki 16
Turin 16
Ottawa 15
Medford 14
Dublin 13
Singapore 12
Washington 11
Amsterdam 8
Amman 7
Beijing 5
Norwalk 5
Auburn Hills 4
New York 4
Princeton 4
Des Moines 3
Indiana 3
Málaga 3
North Bergen 3
Central 2
Gunzenhausen 2
Miami 2
Milan 2
Mountain View 2
Nanjing 2
Abidjan 1
Berlin 1
Chengdu 1
Chuxiong 1
Hefei 1
Hounslow 1
Jinan 1
Kazan' 1
London 1
Los Angeles 1
Mirabello Monferrato 1
Montréal 1
Nuremberg 1
Portland 1
Prague 1
Prescot 1
Seongnam 1
Shanghai 1
Shijiazhuang 1
Torino 1
Treviso 1
Totale 1.680
Nome #
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 142
Modeling the Environment in Software-Intensive Systems 136
Automated Compositional Proofs for Real-Time Systems 135
Automated Compositional Proofs for Real-Time Systems 133
MTL with Bounded Variability: Decidability and Complexity 127
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 127
Comments on temporal logics for real-time system specification 124
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 118
A Compositional Framework for Formally Verifying Modular Systems 115
A Tile-based Approach for Self-assembling Service Compositions 114
On the Expressiveness of MTL Variants over Dense Time 114
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 113
Comments on “An Interval Logic for Real-Time System Specification” 105
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 102
SCORE: the first student contest on software engineering 95
A theory of sampling for continuous-time metric temporal logic 91
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 85
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 49
Modeling Time in Computing: a taxonomy and a comparative survey 47
Totale 2.072
Categoria #
all - tutte 5.883
article - articoli 2.403
book - libri 0
conference - conferenze 3.480
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 11.766


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020395 0 0 0 0 65 63 67 54 68 19 49 10
2020/2021264 26 12 25 17 29 20 17 20 22 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/202589 0 3 17 9 60 0 0 0 0 0 0 0
Totale 2.072