IOSIF, Radu
 Distribuzione geografica
Continente #
NA - Nord America 687
EU - Europa 364
AS - Asia 186
SA - Sud America 25
AF - Africa 2
Totale 1.264
Nazione #
US - Stati Uniti d'America 684
FR - Francia 80
IT - Italia 73
SG - Singapore 55
GB - Regno Unito 54
DE - Germania 49
VN - Vietnam 49
CN - Cina 34
UA - Ucraina 32
RU - Federazione Russa 28
BR - Brasile 25
AT - Austria 14
HK - Hong Kong 9
KR - Corea 9
IE - Irlanda 7
SE - Svezia 7
NL - Olanda 6
FI - Finlandia 5
IN - India 5
TR - Turchia 5
IL - Israele 4
PT - Portogallo 4
CH - Svizzera 3
MY - Malesia 3
BD - Bangladesh 2
CA - Canada 2
IQ - Iraq 2
PH - Filippine 2
TH - Thailandia 2
TW - Taiwan 2
AZ - Azerbaigian 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ID - Indonesia 1
IR - Iran 1
LT - Lituania 1
NG - Nigeria 1
SA - Arabia Saudita 1
Totale 1.264
Città #
Ashburn 272
Boardman 171
Southend 48
Seattle 45
Singapore 33
Fremont 30
Fairfield 17
Jacksonville 15
Vienna 14
Chandler 11
Ho Chi Minh City 11
Hanoi 10
Princeton 10
San Jose 8
Woodbridge 8
Berlin 6
Dublin 6
Hong Kong 6
Santa Clara 6
Ann Arbor 5
Chicago 5
Hefei 5
Maringa 5
Milan 5
San Ramon 5
Turin 5
Wilmington 5
Cambridge 4
Munich 4
Verona 4
Baltimore 3
Beijing 3
Bern 3
Da Nang 3
Guangzhou 3
Helsinki 3
Houston 3
Istanbul 3
Jerusalem 3
Lauterbourg 3
Lisbon 3
Los Angeles 3
Monopoli 3
Overberg 3
Padua 3
Pennsylvania Furnace 3
San Donato Milanese 3
São Paulo 3
Tongling 3
Zaporozhye 3
Buffalo 2
Modena 2
Moscow 2
New York 2
Rio de Janeiro 2
Turku 2
Amherstburg 1
Amsterdam 1
Arapiraca 1
Augusta 1
Baghdad 1
Baku 1
Blumenau 1
Bến Tre 1
Cabo Frio 1
Campo Limpo Paulista 1
Changsha 1
Charleston 1
Chelyabinsk 1
Chennai 1
City of London 1
Constantine 1
Curitiba 1
Da Lat 1
Elista 1
Erbil 1
Florianópolis 1
Formia 1
Fuzhou 1
Grafing 1
Haiphong 1
Herkenbosch 1
Imperatriz 1
Ipirá 1
Itaúna 1
Izmir 1
Jönköping 1
Keelung 1
Kiev 1
Klimovsk 1
Kuala Lumpur 1
Kuznetsk 1
Lagoa Grande 1
Lagos 1
London 1
Montreal 1
Mountain View 1
Mtsensk 1
Mumbai 1
Nakhon Ratchasima 1
Totale 895
Nome #
Temporal Logic Properties of Java Objects 521
Modeling and Validation of Java Multi-threading applications using Spin 399
On the specification of source level properties in Java 344
Totale 1.264
Categoria #
all - tutte 2.768
article - articoli 0
book - libri 0
conference - conferenze 2.768
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.536


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215 0 0 0 0 0 0 0 0 0 0 5 0
2021/202221 2 0 0 2 0 2 0 1 0 2 2 10
2022/202345 6 6 0 3 8 4 4 4 2 0 5 3
2023/202411 1 1 1 0 1 0 0 6 0 0 0 1
2024/202584 1 18 4 11 3 1 1 8 6 5 6 20
2025/2026201 10 8 6 9 23 12 30 18 51 33 1 0
Totale 1.264