GIACHINO, ELENA
 Distribuzione geografica
Continente #
NA - Nord America 1.873
EU - Europa 1.465
AS - Asia 544
AF - Africa 46
SA - Sud America 3
OC - Oceania 1
Totale 3.932
Nazione #
US - Stati Uniti d'America 1.867
GB - Regno Unito 572
IT - Italia 297
CN - Cina 206
VN - Vietnam 191
DE - Germania 148
SE - Svezia 92
IN - India 85
FR - Francia 62
UA - Ucraina 62
RU - Federazione Russa 58
IE - Irlanda 57
ZA - Sudafrica 40
CH - Svizzera 30
TR - Turchia 29
EE - Estonia 27
SG - Singapore 22
BE - Belgio 12
FI - Finlandia 10
NL - Olanda 10
AT - Austria 5
CA - Canada 5
RO - Romania 4
UZ - Uzbekistan 4
GR - Grecia 3
IL - Israele 3
SC - Seychelles 3
CL - Cile 2
ES - Italia 2
HR - Croazia 2
PL - Polonia 2
SI - Slovenia 2
TG - Togo 2
AR - Argentina 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BG - Bulgaria 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
HK - Hong Kong 1
HU - Ungheria 1
JP - Giappone 1
NO - Norvegia 1
PT - Portogallo 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 3.932
Città #
Southend 541
Fairfield 280
Ashburn 172
Bologna 158
Wilmington 144
Chandler 138
Woodbridge 135
Seattle 132
Ann Arbor 131
Dong Ket 123
Houston 116
Cambridge 95
Princeton 89
Dublin 57
Nanjing 42
Westminster 38
Padova 37
Jacksonville 32
Istanbul 27
Medford 27
Saint Petersburg 27
Bern 24
Boardman 20
Shenyang 20
Pune 19
Singapore 18
Jinan 17
San Francisco 17
Berlin 16
Hebei 16
Beijing 14
Nanchang 14
Brussels 12
Changsha 12
Mülheim 11
San Diego 11
Helsinki 10
Haikou 8
Lanzhou 8
Taiyuan 8
Tianjin 8
Dearborn 7
Olalla 7
Ferrara 6
Hangzhou 6
San Venanzo 6
Taizhou 6
Turin 6
Falls Church 5
Jiaxing 5
Milan 5
Ningbo 5
Redwood City 5
Toronto 5
Amsterdam 4
Forlì 4
Modena 4
Norwalk 4
Paris 4
Redmond 4
Zhengzhou 4
Bühl 3
Cesena 3
Frankfurt am Main 3
Kiev 3
Kunming 3
London 3
Muizenberg 3
New York 3
Nuremberg 3
Senigallia 3
Tappahannock 3
Vienna 3
Antibes 2
Bremen 2
Bucharest 2
Den Haag 2
Fidenza 2
Frankfurt Am Main 2
Fuzhou 2
Galati 2
Garbagnate Milanese 2
Lomé 2
Mahé 2
Quzhou 2
Ravenna 2
Tel Aviv 2
Abidjan 1
Almere Stad 1
Bratislava 1
Brooklyn 1
Buffalo 1
Changchun 1
Chengdu 1
Chicago 1
Chiswick 1
Cologne 1
Costa Mesa 1
Cupertino 1
Des Moines 1
Totale 3.003
Nome #
Global escape in multiparty sessions 195
Causal-Consistent Reversible Debugging 182
Actors may synchronize, safely! 166
A framework for deadlock detection in core ABS 150
Behavioral Types in Programming Languages 150
A Beginner's Guide to the DeadLock Analysis Model 140
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 136
Deadlock Analysis of Concurrent Objects: Theory and Practice 132
Statically and dynamically verifiable SLA metrics 131
Causal-consistent reversibility in a tuple-based language 120
Analysis of Deadlocks in Object Groups 117
Deadlock Detection in Linear Recursive Programs 117
Analysis of SLA compliance in the cloud: An automated, model-based approach 114
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 110
null 109
Deadlock Analysis of Unbounded Process Networks 103
On state classes and their dynamic semantics 102
Formal Methods for Components and Objects 96
Bounded Session Types for Object-Oriented Languages 93
A Type System for Components 92
Foundations of Session Types 90
CaReDeb 89
null 89
Time complexity of concurrent programs – A technique based on behavioural types 89
Towards the Typing of Resource Deployment 88
On Traits and Types in a Java-like Setting 88
Session types revisited 87
On state classes and their dynamic semantics 78
Featherweight Wrap Java 78
DF4ABS - Deadlock Framework for ABS 78
Session types revisited 73
Session and Union Types for Object Oriented Programming 73
null 72
null 65
Global Escape in Multiparty Sessions 65
SRA - Static Resource Analyzer for ABS 61
Alias Types and effects for “environment-aware” computations 61
SDA - Static Deadlock Analyzer for ABS 55
Session Types Revisited: A Decade Later 31
A type safe state abstraction for coordination in Java-like languages 21
Deriving session and union types for objects 20
Causal-consistent rollback in a tuple-based language 16
Featherweight Wrap Java: wrapping objects and methods 12
Totale 4.034
Categoria #
all - tutte 9.260
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 9.260


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.284 158 28 11 78 121 118 162 179 186 78 74 91
2020/2021697 149 33 14 28 10 19 21 62 92 28 39 202
2021/2022761 97 36 42 30 85 51 17 52 35 10 135 171
2022/2023669 69 71 36 88 59 68 21 29 104 24 51 49
2023/2024152 7 39 6 9 8 46 8 6 2 5 4 12
2024/202516 16 0 0 0 0 0 0 0 0 0 0 0
Totale 4.034