FURIA, CARLO ALBERTO
 Distribuzione geografica
Continente #
NA - Nord America 1.563
EU - Europa 367
AS - Asia 66
AF - Africa 1
Totale 1.997
Nazione #
US - Stati Uniti d'America 1.547
AT - Austria 77
UA - Ucraina 63
SE - Svezia 51
DE - Germania 48
IT - Italia 40
FI - Finlandia 35
VN - Vietnam 22
GB - Regno Unito 21
SG - Singapore 19
CA - Canada 16
IE - Irlanda 13
CN - Cina 11
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 1.997
Città #
Fairfield 244
Woodbridge 203
Ashburn 150
Chandler 138
Houston 113
Wilmington 110
Seattle 100
Cambridge 94
Ann Arbor 89
Vienna 76
Jacksonville 41
San Diego 25
Dearborn 20
Dong Ket 19
Lawrence 18
Helsinki 16
Turin 16
Ottawa 15
Medford 14
Dublin 13
Washington 11
Singapore 10
Amsterdam 8
Amman 7
Beijing 5
Norwalk 5
Auburn Hills 4
New York 4
Princeton 4
Des Moines 3
Indiana 3
Málaga 3
Boardman 2
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
Torino 1
Treviso 1
Totale 1.614
Nome #
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 139
Modeling the Environment in Software-Intensive Systems 133
Automated Compositional Proofs for Real-Time Systems 132
Automated Compositional Proofs for Real-Time Systems 126
MTL with Bounded Variability: Decidability and Complexity 124
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 123
Comments on temporal logics for real-time system specification 120
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 115
A Compositional Framework for Formally Verifying Modular Systems 111
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 110
A Tile-based Approach for Self-assembling Service Compositions 110
On the Expressiveness of MTL Variants over Dense Time 110
Comments on “An Interval Logic for Real-Time System Specification” 102
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 98
SCORE: the first student contest on software engineering 91
A theory of sampling for continuous-time metric temporal logic 86
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 82
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 46
Modeling Time in Computing: a taxonomy and a comparative survey 44
Totale 2.002
Categoria #
all - tutte 5.495
article - articoli 2.239
book - libri 0
conference - conferenze 3.256
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.990


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020455 0 0 11 49 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/202519 0 3 16 0 0 0 0 0 0 0 0 0
Totale 2.002