CRIS Current Research Information System

GIACHINO, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.439
AS - Asia 1.700
EU - Europa 1.642
SA - Sud America 90
AF - Africa 60
OC - Oceania 1
Totale 5.932
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.412
GB - Regno Unito 585
SG - Singapore 500
VN - Vietnam 439
CN - Cina 436
IT - Italia 322
DE - Germania 175
FR - Francia 106
IN - India 102
SE - Svezia 93
RU - Federazione Russa 90
HK - Hong Kong 81
UA - Ucraina 64
IE - Irlanda 59
BR - Brasile 57
ZA - Sudafrica 45
TR - Turchia 33
CH - Svizzera 31
EE - Estonia 27
JP - Giappone 22
FI - Finlandia 21
KR - Corea 19
CA - Canada 18
NL - Olanda 18
AR - Argentina 17
BE - Belgio 12
BD - Bangladesh 9
IQ - Iraq 9
PH - Filippine 9
AT - Austria 7
TH - Thailandia 7
UZ - Uzbekistan 7
EC - Ecuador 6
ID - Indonesia 6
PL - Polonia 6
MX - Messico 5
TW - Taiwan 5
MA - Marocco 4
RO - Romania 4
SA - Arabia Saudita 4
CL - Cile 3
CO - Colombia 3
ES - Italia 3
GR - Grecia 3
IL - Israele 3
SC - Seychelles 3
CZ - Repubblica Ceca 2
HR - Croazia 2
KZ - Kazakistan 2
NP - Nepal 2
PK - Pakistan 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
HU - Ungheria 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
LV - Lettonia 1
MT - Malta 1
MY - Malesia 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
SN - Senegal 1
TN - Tunisia 1
Totale 5.932
Salva come PNG Salva come JPEG
Città #
Southend 541
Singapore 335
Fairfield 280
Ashburn 205
Santa Clara 201
Bologna 162
Wilmington 144
Chandler 138
Woodbridge 135
Seattle 132
Ann Arbor 131
Dong Ket 123
Houston 117
Cambridge 95
San Jose 91
Princeton 89
Ho Chi Minh City 72
Hong Kong 72
Hanoi 63
Boardman 59
Dublin 59
Beijing 44
Nanjing 44
Hefei 43
Westminster 38
Padova 37
Jacksonville 33
Lauterbourg 32
Los Angeles 29
Istanbul 28
Medford 27
Saint Petersburg 27
Bern 24
Shenyang 21
Jinan 20
Tokyo 20
Pune 19
Helsinki 18
San Francisco 18
Berlin 16
Hebei 16
Seoul 16
Changsha 14
Frankfurt am Main 14
Nanchang 14
Buffalo 13
Dallas 13
Brussels 12
Haiphong 12
Da Nang 11
Mülheim 11
New York 11
San Diego 11
Amsterdam 10
Taiyuan 10
Montreal 9
Nuremberg 9
Redondo Beach 9
Shanghai 9
Tianjin 9
Yubileyny 9
Haikou 8
Lanzhou 8
Dearborn 7
London 7
Milan 7
Olalla 7
Paris 7
Taizhou 7
Ferrara 6
Hangzhou 6
Ningbo 6
San Venanzo 6
Toronto 6
Turin 6
Chengdu 5
Chicago 5
Council Bluffs 5
Faenza 5
Falls Church 5
Guangzhou 5
Jakarta 5
Jiaxing 5
Munich 5
Redwood City 5
Cesena 4
Düsseldorf 4
Forlì 4
Fuzhou 4
Kunming 4
Modena 4
Norwalk 4
Orem 4
Redmond 4
Rome 4
São Paulo 4
The Dalles 4
Zhengzhou 4
Baghdad 3
Biên Hòa 3
Totale 4.226
Salva come PNG Salva come JPEG
Nome #
Causal-Consistent Reversible Debugging 260
Global escape in multiparty sessions 238
Behavioral Types in Programming Languages 237
Actors may synchronize, safely! 218
A framework for deadlock detection in core ABS 209
A Beginner's Guide to the DeadLock Analysis Model 200
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 193
Analysis of SLA compliance in the cloud: An automated, model-based approach 190
Statically and dynamically verifiable SLA metrics 181
Causal-consistent reversibility in a tuple-based language 176
Deadlock Detection in Linear Recursive Programs 173
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 172
Deadlock Analysis of Concurrent Objects: Theory and Practice 168
CaReDeb 163
Deadlock Analysis of Unbounded Process Networks 157
Analysis of Deadlocks in Object Groups 154
On Traits and Types in a Java-like Setting 153
Formal Methods for Components and Objects 147
Time complexity of concurrent programs – A technique based on behavioural types 145
On state classes and their dynamic semantics 138
Foundations of Session Types 137
DF4ABS - Deadlock Framework for ABS 136
Session types revisited 136
Towards the Typing of Resource Deployment 134
Bounded Session Types for Object-Oriented Languages 133
A Type System for Components 127
SRA - Static Resource Analyzer for ABS 124
Session types revisited 121
Session Types Revisited: A Decade Later 119
On state classes and their dynamic semantics 118
null 109
Session and Union Types for Object Oriented Programming 109
SDA - Static Deadlock Analyzer for ABS 107
Featherweight Wrap Java 106
Global Escape in Multiparty Sessions 106
Alias Types and effects for “environment-aware” computations 98
null 89
null 72
Causal-consistent rollback in a tuple-based language 66
null 65
A type safe state abstraction for coordination in Java-like languages 63
Deriving session and union types for objects 52
Featherweight Wrap Java: wrapping objects and methods 44
Totale 6.043
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.397
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 15.397
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021269 0 0 0 0 0 0 0 0 0 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/2025728 16 122 85 40 241 28 56 3 1 23 15 98
2025/20261.297 69 130 130 89 187 94 125 64 279 130 0 0
Totale 6.043