IOSIF, Radu
 Distribuzione geografica
Continente #
NA - Nord America 697
EU - Europa 365
AS - Asia 186
SA - Sud America 25
AF - Africa 2
Totale 1.275
Nazione #
US - Stati Uniti d'America 691
FR - Francia 80
IT - Italia 73
GB - Regno Unito 55
SG - Singapore 55
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
CA - Canada 4
IL - Israele 4
PT - Portogallo 4
CH - Svizzera 3
MY - Malesia 3
BD - Bangladesh 2
IQ - Iraq 2
PH - Filippine 2
TH - Thailandia 2
TW - Taiwan 2
AZ - Azerbaigian 1
BB - Barbados 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.275
Città #
Ashburn 273
Boardman 171
Southend 48
Seattle 45
Singapore 33
Fremont 30
Fairfield 17
Jacksonville 15
Vienna 14
San Jose 12
Chandler 11
Ho Chi Minh City 11
Hanoi 10
Princeton 10
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
Allentown 1
Amherstburg 1
Amsterdam 1
Arapiraca 1
Augusta 1
Baghdad 1
Baku 1
Blumenau 1
Bridgetown 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
Etobicoke 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
Totale 900
Nome #
Temporal Logic Properties of Java Objects 524
Modeling and Validation of Java Multi-threading applications using Spin 403
On the specification of source level properties in Java 348
Totale 1.275
Categoria #
all - tutte 2.821
article - articoli 0
book - libri 0
conference - conferenze 2.821
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.642


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2026212 10 8 6 9 23 12 30 18 51 33 7 5
Totale 1.275