GIACHINO, ELENA
 Distribuzione geografica
Continente #
NA - Nord America 2.148
EU - Europa 1.517
AS - Asia 793
AF - Africa 46
SA - Sud America 3
OC - Oceania 1
Totale 4.508
Nazione #
US - Stati Uniti d'America 2.141
GB - Regno Unito 573
IT - Italia 307
CN - Cina 281
SG - Singapore 193
VN - Vietnam 191
DE - Germania 150
SE - Svezia 92
RU - Federazione Russa 89
IN - India 85
FR - Francia 62
UA - Ucraina 62
IE - Irlanda 57
ZA - Sudafrica 40
CH - Svizzera 30
TR - Turchia 29
EE - Estonia 27
FI - Finlandia 14
BE - Belgio 12
NL - Olanda 11
AT - Austria 6
CA - Canada 5
RO - Romania 4
UZ - Uzbekistan 4
GR - Grecia 3
ID - Indonesia 3
IL - Israele 3
SC - Seychelles 3
CL - Cile 2
ES - Italia 2
HR - Croazia 2
PL - Polonia 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 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
LV - Lettonia 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
SA - Arabia Saudita 1
Totale 4.508
Città #
Southend 541
Fairfield 280
Santa Clara 196
Ashburn 173
Bologna 158
Singapore 156
Wilmington 144
Chandler 138
Woodbridge 135
Seattle 132
Ann Arbor 131
Dong Ket 123
Houston 116
Cambridge 95
Princeton 89
Boardman 59
Dublin 57
Nanjing 43
Westminster 38
Padova 37
Jacksonville 32
Istanbul 27
Medford 27
Saint Petersburg 27
Bern 24
Jinan 20
Shenyang 20
Pune 19
San Francisco 17
Berlin 16
Hebei 16
Beijing 15
Helsinki 14
Nanchang 14
Changsha 13
Brussels 12
Mülheim 11
San Diego 11
Taiyuan 10
Tianjin 9
Yubileyny 9
Haikou 8
Lanzhou 8
Dearborn 7
Olalla 7
Taizhou 7
Ferrara 6
Hangzhou 6
Ningbo 6
San Venanzo 6
Shanghai 6
Turin 6
Faenza 5
Falls Church 5
Jiaxing 5
Milan 5
Nuremberg 5
Redwood City 5
Toronto 5
Amsterdam 4
Cesena 4
Forlì 4
Fuzhou 4
Modena 4
Norwalk 4
Paris 4
Redmond 4
Zhengzhou 4
Bühl 3
Chengdu 3
Frankfurt am Main 3
Jakarta 3
Kiev 3
Kunming 3
London 3
Muizenberg 3
New York 3
Senigallia 3
Tappahannock 3
Vienna 3
Antibes 2
Bratislava 2
Bremen 2
Bucharest 2
Den Haag 2
Fidenza 2
Foshan 2
Frankfurt Am Main 2
Galati 2
Garbagnate Milanese 2
Guangzhou 2
Langfang 2
Lomé 2
Mahé 2
Nantong 2
Phoenix 2
Quzhou 2
Ravenna 2
San Martino di Lupari 2
Tel Aviv 2
Totale 3.424
Nome #
Global escape in multiparty sessions 210
Causal-Consistent Reversible Debugging 196
Actors may synchronize, safely! 178
Behavioral Types in Programming Languages 171
A framework for deadlock detection in core ABS 167
A Beginner's Guide to the DeadLock Analysis Model 158
Statically and dynamically verifiable SLA metrics 147
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 147
Deadlock Analysis of Concurrent Objects: Theory and Practice 144
Causal-consistent reversibility in a tuple-based language 140
Deadlock Detection in Linear Recursive Programs 132
Analysis of SLA compliance in the cloud: An automated, model-based approach 131
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 128
Analysis of Deadlocks in Object Groups 128
Deadlock Analysis of Unbounded Process Networks 119
Formal Methods for Components and Objects 116
On state classes and their dynamic semantics 112
null 109
A Type System for Components 107
Bounded Session Types for Object-Oriented Languages 106
Towards the Typing of Resource Deployment 106
On Traits and Types in a Java-like Setting 104
Foundations of Session Types 103
Session types revisited 103
Time complexity of concurrent programs – A technique based on behavioural types 102
CaReDeb 100
DF4ABS - Deadlock Framework for ABS 96
On state classes and their dynamic semantics 94
null 89
Featherweight Wrap Java 89
Session and Union Types for Object Oriented Programming 89
Session types revisited 88
Global Escape in Multiparty Sessions 82
SRA - Static Resource Analyzer for ABS 75
Alias Types and effects for “environment-aware” computations 75
null 72
SDA - Static Deadlock Analyzer for ABS 70
null 65
Session Types Revisited: A Decade Later 43
A type safe state abstraction for coordination in Java-like languages 35
Deriving session and union types for objects 29
Causal-consistent rollback in a tuple-based language 28
Featherweight Wrap Java: wrapping objects and methods 27
Totale 4.610
Categoria #
all - tutte 11.160
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 11.160


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020429 0 0 0 0 0 0 0 0 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/2025592 16 122 85 40 241 28 56 3 1 0 0 0
Totale 4.610