CRIS Current Research Information System

GIACHINO, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.296
EU - Europa 1.582
AS - Asia 1.313
SA - Sud America 83
AF - Africa 50
OC - Oceania 1
Totale 5.325
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.281
GB - Regno Unito 582
SG - Singapore 443
CN - Cina 380
IT - Italia 318
VN - Vietnam 243
DE - Germania 174
SE - Svezia 93
IN - India 92
RU - Federazione Russa 90
HK - Hong Kong 74
FR - Francia 69
UA - Ucraina 62
IE - Irlanda 57
BR - Brasile 52
ZA - Sudafrica 41
CH - Svizzera 30
TR - Turchia 29
EE - Estonia 27
AR - Argentina 17
NL - Olanda 17
KR - Corea 16
FI - Finlandia 15
JP - Giappone 14
BE - Belgio 12
CA - Canada 11
AT - Austria 7
EC - Ecuador 6
IQ - Iraq 5
UZ - Uzbekistan 5
PL - Polonia 4
RO - Romania 4
BD - Bangladesh 3
CL - Cile 3
CO - Colombia 3
ES - Italia 3
GR - Grecia 3
ID - Indonesia 3
IL - Israele 3
SC - Seychelles 3
CZ - Repubblica Ceca 2
HR - Croazia 2
MA - Marocco 2
MX - Messico 2
SA - Arabia Saudita 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BO - Bolivia 1
CI - Costa d'Avorio 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
HU - Ungheria 1
JO - Giordania 1
LV - Lettonia 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
SN - Senegal 1
Totale 5.325
Salva come PNG Salva come JPEG
Città #
Southend 541
Fairfield 280
Singapore 280
Santa Clara 200
Ashburn 193
Bologna 162
Wilmington 144
Chandler 138
Woodbridge 135
Seattle 132
Ann Arbor 131
Dong Ket 123
Houston 117
Cambridge 95
Princeton 89
Hong Kong 72
Boardman 59
Dublin 57
Beijing 43
Hefei 43
Nanjing 43
Westminster 38
Padova 37
Jacksonville 32
Istanbul 27
Los Angeles 27
Medford 27
Saint Petersburg 27
Bern 24
Shenyang 21
Jinan 20
Ho Chi Minh City 19
Pune 19
San Francisco 18
Berlin 16
Hebei 16
Seoul 16
Frankfurt am Main 14
Helsinki 14
Nanchang 14
Tokyo 14
Changsha 13
Dallas 13
Hanoi 13
Brussels 12
Buffalo 12
Mülheim 11
San Diego 11
Taiyuan 10
Amsterdam 9
New York 9
Nuremberg 9
Redondo Beach 9
Tianjin 9
Yubileyny 9
Haikou 8
Lanzhou 8
Dearborn 7
Milan 7
Olalla 7
Taizhou 7
Ferrara 6
Hangzhou 6
London 6
Ningbo 6
San Venanzo 6
Shanghai 6
Toronto 6
Turin 6
Faenza 5
Falls Church 5
Jiaxing 5
Munich 5
Redwood City 5
Cesena 4
Chicago 4
Düsseldorf 4
Forlì 4
Fuzhou 4
Haiphong 4
Modena 4
Norwalk 4
Paris 4
Redmond 4
São Paulo 4
The Dalles 4
Zhengzhou 4
Brooklyn 3
Bühl 3
Chengdu 3
Guangzhou 3
Jakarta 3
Kiev 3
Kunming 3
Muizenberg 3
Orem 3
Poplar 3
Quito 3
Ravenna 3
Senigallia 3
Totale 3.874
Salva come PNG Salva come JPEG
Nome #
Causal-Consistent Reversible Debugging 239
Global escape in multiparty sessions 226
Behavioral Types in Programming Languages 206
Actors may synchronize, safely! 198
A framework for deadlock detection in core ABS 190
A Beginner's Guide to the DeadLock Analysis Model 187
Analysis of SLA compliance in the cloud: An automated, model-based approach 172
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 171
Statically and dynamically verifiable SLA metrics 163
Causal-consistent reversibility in a tuple-based language 160
Deadlock Analysis of Concurrent Objects: Theory and Practice 156
Deadlock Detection in Linear Recursive Programs 151
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 150
CaReDeb 148
Analysis of Deadlocks in Object Groups 144
On Traits and Types in a Java-like Setting 139
Formal Methods for Components and Objects 135
Deadlock Analysis of Unbounded Process Networks 135
On state classes and their dynamic semantics 128
Foundations of Session Types 126
Time complexity of concurrent programs – A technique based on behavioural types 121
Towards the Typing of Resource Deployment 121
Session types revisited 120
A Type System for Components 118
Bounded Session Types for Object-Oriented Languages 116
DF4ABS - Deadlock Framework for ABS 115
null 109
Session Types Revisited: A Decade Later 108
On state classes and their dynamic semantics 106
Session types revisited 106
Featherweight Wrap Java 102
SRA - Static Resource Analyzer for ABS 102
Session and Union Types for Object Oriented Programming 100
Alias Types and effects for “environment-aware” computations 93
Global Escape in Multiparty Sessions 92
null 89
SDA - Static Deadlock Analyzer for ABS 86
null 72
null 65
A type safe state abstraction for coordination in Java-like languages 45
Causal-consistent rollback in a tuple-based language 44
Deriving session and union types for objects 38
Featherweight Wrap Java: wrapping objects and methods 35
Totale 5.427
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.382
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 14.382
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021463 0 0 0 0 0 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/2025728 16 122 85 40 241 28 56 3 1 23 15 98
2025/2026681 69 130 130 89 187 76 0 0 0 0 0 0
Totale 5.427