IOSIF, Radu
 Distribuzione geografica
Continente #
NA - Nord America 634
EU - Europa 320
AS - Asia 19
SA - Sud America 6
Totale 979
Nazione #
US - Stati Uniti d'America 633
FR - Francia 77
IT - Italia 69
GB - Regno Unito 53
DE - Germania 45
UA - Ucraina 32
AT - Austria 11
CN - Cina 7
IE - Irlanda 7
BR - Brasile 6
NL - Olanda 6
RU - Federazione Russa 6
SE - Svezia 6
KR - Corea 5
CH - Svizzera 3
FI - Finlandia 3
MY - Malesia 2
SG - Singapore 2
TR - Turchia 2
CA - Canada 1
IR - Iran 1
PT - Portogallo 1
TW - Taiwan 1
Totale 979
Città #
Ashburn 269
Boardman 168
Southend 48
Seattle 45
Fremont 30
Fairfield 17
Jacksonville 15
Chandler 11
Vienna 11
Princeton 10
Woodbridge 8
Berlin 6
Dublin 6
Ann Arbor 5
Chicago 5
Maringa 5
San Ramon 5
Wilmington 5
Cambridge 4
Milan 4
Baltimore 3
Bern 3
Guangzhou 3
Helsinki 3
Houston 3
Monopoli 3
Overberg 3
Padua 3
Pennsylvania Furnace 3
San Donato Milanese 3
Turin 3
Verona 3
Zaporozhye 3
Modena 2
Amherstburg 1
Amsterdam 1
Augusta 1
Charleston 1
Chelyabinsk 1
Elista 1
Formia 1
Fuzhou 1
Grafing 1
Hefei 1
Herkenbosch 1
Izmir 1
Jönköping 1
Kiev 1
Klimovsk 1
Kuznetsk 1
London 1
Mountain View 1
Nanjing 1
Norwalk 1
Paris 1
Porto 1
Redwood City 1
Rivne 1
Sacramento 1
Shanghai 1
Singapore 1
Southwark 1
São Paulo 1
Taipei 1
Uppsala 1
Zanjan 1
Totale 750
Nome #
Temporal Logic Properties of Java Objects 444
Modeling and Validation of Java Multi-threading applications using Spin 294
On the specification of source level properties in Java 241
Totale 979
Categoria #
all - tutte 2.010
article - articoli 0
book - libri 0
conference - conferenze 2.010
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.020


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202051 2 4 1 7 6 6 4 10 5 4 2 0
2020/202140 9 6 0 6 1 4 2 3 1 3 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
Totale 979