KRSTIC, SRDAN
 Distribuzione geografica
Continente #
NA - Nord America 470
EU - Europa 277
AS - Asia 112
SA - Sud America 23
AF - Africa 5
OC - Oceania 1
Totale 888
Nazione #
US - Stati Uniti d'America 463
RU - Federazione Russa 101
AT - Austria 67
SG - Singapore 55
CN - Cina 28
SE - Svezia 20
BR - Brasile 19
FI - Finlandia 14
IT - Italia 13
FR - Francia 10
VN - Vietnam 10
GB - Regno Unito 9
DE - Germania 7
IE - Irlanda 7
BE - Belgio 6
NL - Olanda 6
PL - Polonia 6
CA - Canada 5
CH - Svizzera 5
IN - India 5
BD - Bangladesh 3
ID - Indonesia 3
JO - Giordania 3
UA - Ucraina 3
KR - Corea 2
MX - Messico 2
PK - Pakistan 2
VE - Venezuela 2
ZA - Sudafrica 2
AR - Argentina 1
AU - Australia 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
EE - Estonia 1
EG - Egitto 1
ES - Italia 1
MA - Marocco 1
SA - Arabia Saudita 1
Totale 888
Città #
Vienna 67
Ashburn 62
Chandler 43
Woodbridge 40
Fairfield 38
Singapore 29
Santa Clara 25
Seattle 23
Ann Arbor 19
Wilmington 19
Houston 18
Dearborn 16
Cambridge 15
Los Angeles 15
Moscow 10
Beijing 8
Dublin 7
Helsinki 7
Boardman 6
Brussels 6
Council Bluffs 6
Lawrence 6
Medford 6
Warsaw 6
New York 5
Ottawa 5
Phoenix 5
San Jose 5
Dallas 4
Des Moines 4
Lauterbourg 4
Zurich 4
Amman 3
Buffalo 3
Jakarta 3
Kent 3
Milan 3
Chicago 2
Denver 2
Dhaka 2
Jinan 2
Johannesburg 2
Mexico City 2
Poplar 2
Redondo Beach 2
Stockholm 2
West Jordan 2
Abidjan 1
Adelaide 1
Akron 1
Atlanta 1
Balashikha 1
Belém 1
Bexley 1
Binghamton 1
Buenos Aires 1
Caeté 1
Cairo 1
Camberley 1
Campinas 1
Campo Limpo Paulista 1
Can Tho 1
Canela 1
Capão da Canoa 1
Castro Valley 1
Charlotte 1
Chengdu 1
Chennai 1
Cleveland 1
Clusone 1
Cozzo 1
Cupira 1
Diamantina 1
Frankfurt am Main 1
Fuyang 1
Ha Long 1
Handan 1
Hanoi 1
Harrisburg 1
Hefei 1
Ho Chi Minh City 1
Irecê 1
Jiujiang 1
Juneau 1
Kenitra 1
Kilburn 1
Lahore 1
Lençóis Paulista 1
London 1
Los Fresnos 1
Mianwali 1
Monte Carmelo 1
Mérida 1
Nanjing 1
New Haven 1
Oklahoma City 1
Paripiranga 1
Patchogue 1
Patiāla 1
Pavia 1
Totale 621
Nome #
Efficient large-scale trace checking using mapreduce 203
Towards the formalization of properties of cloud-based elastic systems 181
Trace checking of metric temporal logic with aggregating modalities using MapReduce 171
Quantitative properties of software systems: Specification, verification, and synthesis 149
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 102
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications 87
Totale 893
Categoria #
all - tutte 2.694
article - articoli 0
book - libri 0
conference - conferenze 2.694
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.388


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202128 0 0 0 0 0 0 0 3 5 9 4 7
2021/202254 2 3 0 11 3 8 5 3 1 6 2 10
2022/2023102 15 11 1 18 14 17 0 5 14 1 4 2
2023/202435 11 6 0 2 1 5 3 0 0 0 1 6
2024/2025119 0 0 0 2 22 17 5 8 18 10 20 17
2025/2026288 95 58 11 51 48 19 6 0 0 0 0 0
Totale 893