CRIS Current Research Information System

GIACHINO, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.508
AS - Asia 1.721
EU - Europa 1.653
SA - Sud America 90
AF - Africa 60
OC - Oceania 1
Totale 6.033
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.474
GB - Regno Unito 587
SG - Singapore 502
VN - Vietnam 439
CN - Cina 437
IT - Italia 329
DE - Germania 175
FR - Francia 106
IN - India 102
SE - Svezia 93
RU - Federazione Russa 91
HK - Hong Kong 85
UA - Ucraina 64
IE - Irlanda 59
BR - Brasile 57
ZA - Sudafrica 45
TR - Turchia 33
CH - Svizzera 32
EE - Estonia 27
CA - Canada 23
BD - Bangladesh 22
JP - Giappone 22
FI - Finlandia 21
KR - Corea 19
NL - Olanda 18
AR - Argentina 17
BE - Belgio 12
IQ - Iraq 10
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
JM - Giamaica 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
HN - Honduras 1
HU - Ungheria 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 6.033
Salva come PNG Salva come JPEG
Città #
Southend 541
Singapore 337
Fairfield 280
Ashburn 206
Santa Clara 204
Bologna 162
Wilmington 144
Chandler 138
Woodbridge 135
Seattle 132
Ann Arbor 131
Dong Ket 123
Houston 117
San Jose 103
Cambridge 95
Princeton 89
Hong Kong 76
Ho Chi Minh City 72
Hanoi 63
Boardman 61
Dublin 59
Beijing 44
Nanjing 44
Hefei 43
Westminster 38
Padova 37
Jacksonville 33
Lauterbourg 32
Los Angeles 32
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
New York 15
Changsha 14
Dallas 14
Frankfurt am Main 14
Nanchang 14
Buffalo 13
Brussels 12
Haiphong 12
Da Nang 11
Mülheim 11
San Diego 11
Amsterdam 10
Montreal 10
Taiyuan 10
Nuremberg 9
Redondo Beach 9
Shanghai 9
Tianjin 9
Toronto 9
Yubileyny 9
Haikou 8
Lanzhou 8
Milan 8
Paris 8
Dearborn 7
London 7
Olalla 7
Taizhou 7
Ferrara 6
Hangzhou 6
Ningbo 6
San Venanzo 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
Baghdad 4
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
Biên Hòa 3
Totale 4.265
Salva come PNG Salva come JPEG
Nome #
Causal-Consistent Reversible Debugging 262
Behavioral Types in Programming Languages 244
Global escape in multiparty sessions 238
Actors may synchronize, safely! 219
A framework for deadlock detection in core ABS 210
A Beginner's Guide to the DeadLock Analysis Model 204
Analysis of SLA compliance in the cloud: An automated, model-based approach 194
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 193
Statically and dynamically verifiable SLA metrics 183
Causal-consistent reversibility in a tuple-based language 178
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 173
Deadlock Detection in Linear Recursive Programs 173
Deadlock Analysis of Concurrent Objects: Theory and Practice 169
CaReDeb 166
Deadlock Analysis of Unbounded Process Networks 160
Analysis of Deadlocks in Object Groups 155
On Traits and Types in a Java-like Setting 155
Formal Methods for Components and Objects 152
Time complexity of concurrent programs – A technique based on behavioural types 149
DF4ABS - Deadlock Framework for ABS 140
Towards the Typing of Resource Deployment 140
On state classes and their dynamic semantics 138
Foundations of Session Types 138
Session types revisited 137
Bounded Session Types for Object-Oriented Languages 133
A Type System for Components 128
SRA - Static Resource Analyzer for ABS 126
Session types revisited 124
Session Types Revisited: A Decade Later 121
On state classes and their dynamic semantics 118
SDA - Static Deadlock Analyzer for ABS 111
null 109
Session and Union Types for Object Oriented Programming 109
Featherweight Wrap Java 107
Global Escape in Multiparty Sessions 106
Alias Types and effects for “environment-aware” computations 98
A type safe state abstraction for coordination in Java-like languages 91
null 89
null 72
Causal-consistent rollback in a tuple-based language 69
null 65
Deriving session and union types for objects 52
Featherweight Wrap Java: wrapping objects and methods 46
Totale 6.144
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.189
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 16.189
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021202 0 0 0 0 0 0 0 0 0 0 0 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.398 69 130 130 89 187 94 125 64 279 144 45 42
Totale 6.144