CRIS Current Research Information System

GIACHINO, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.535
AS - Asia 1.710
EU - Europa 1.650
Continente sconosciuto - Info sul continente non disponibili 111
SA - Sud America 89
AF - Africa 60
OC - Oceania 1
Totale 6.156
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.497
GB - Regno Unito 587
SG - Singapore 492
CN - Cina 439
VN - Vietnam 437
IT - Italia 334
DE - Germania 171
FR - Francia 106
IN - India 101
SE - Svezia 92
RU - Federazione Russa 91
HK - Hong Kong 87
UA - Ucraina 63
IE - Irlanda 58
BR - Brasile 57
ZA - Sudafrica 45
TR - Turchia 33
CH - Svizzera 32
EE - Estonia 27
CA - Canada 24
JP - Giappone 22
BD - Bangladesh 21
FI - Finlandia 19
KR - Corea 19
NL - Olanda 18
AR - Argentina 17
BE - Belgio 12
IQ - Iraq 10
PH - Filippine 9
AT - Austria 7
UZ - Uzbekistan 7
EC - Ecuador 6
ID - Indonesia 6
PL - Polonia 6
TH - Thailandia 6
MX - Messico 5
TW - Taiwan 5
ES - Italia 4
MA - Marocco 4
RO - Romania 4
SA - Arabia Saudita 4
CL - Cile 3
CO - Colombia 3
GR - Grecia 3
IL - Israele 3
JM - Giamaica 3
SC - Seychelles 3
CZ - Repubblica Ceca 2
HR - Croazia 2
KZ - Kazakistan 2
NI - Nicaragua 2
NP - Nepal 2
PK - Pakistan 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 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
VE - Venezuela 1
Totale 6.045
Salva come PNG Salva come JPEG
Città #
Southend 541
Singapore 330
Fairfield 280
Ashburn 214
Santa Clara 203
Bologna 162
Wilmington 144
Woodbridge 135
Chandler 134
Seattle 132
Ann Arbor 131
Dong Ket 123
Houston 120
San Jose 101
Cambridge 96
Princeton 88
Hong Kong 76
Ho Chi Minh City 72
Hanoi 63
Boardman 59
Dublin 58
Beijing 45
Nanjing 44
Hefei 43
Westminster 38
Padova 37
Jacksonville 33
Los Angeles 33
Lauterbourg 32
Istanbul 28
Medford 27
Saint Petersburg 27
Bern 24
Shenyang 21
Jinan 20
Tokyo 20
Pune 18
San Francisco 18
Berlin 16
Hebei 16
Helsinki 16
Seoul 16
New York 15
Buffalo 14
Changsha 14
Dallas 14
Frankfurt am Main 14
Nanchang 14
Brussels 12
Council Bluffs 12
Da Nang 11
Mülheim 11
San Diego 11
Amsterdam 10
Haiphong 10
Montreal 10
Taiyuan 10
Milan 9
Nuremberg 9
Redondo Beach 9
Shanghai 9
Tianjin 9
Toronto 9
Yubileyny 9
Haikou 8
Lanzhou 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
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
São Paulo 4
The Dalles 4
Zhengzhou 4
Biên Hòa 3
Brooklyn 3
Totale 4.264
Salva come PNG Salva come JPEG
Nome #
Causal-Consistent Reversible Debugging 265
Behavioral Types in Programming Languages 245
Global escape in multiparty sessions 241
Actors may synchronize, safely! 223
A framework for deadlock detection in core ABS 210
A Beginner's Guide to the DeadLock Analysis Model 207
Analysis of SLA compliance in the cloud: An automated, model-based approach 196
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 175
Deadlock Detection in Linear Recursive Programs 175
Deadlock Analysis of Concurrent Objects: Theory and Practice 169
CaReDeb 168
Deadlock Analysis of Unbounded Process Networks 161
On Traits and Types in a Java-like Setting 156
Analysis of Deadlocks in Object Groups 155
Formal Methods for Components and Objects 154
Time complexity of concurrent programs – A technique based on behavioural types 150
Towards the Typing of Resource Deployment 141
Foundations of Session Types 140
DF4ABS - Deadlock Framework for ABS 140
Session types revisited 140
On state classes and their dynamic semantics 138
Bounded Session Types for Object-Oriented Languages 134
A Type System for Components 130
SRA - Static Resource Analyzer for ABS 129
Session types revisited 128
Session Types Revisited: A Decade Later 124
On state classes and their dynamic semantics 118
SDA - Static Deadlock Analyzer for ABS 111
Session and Union Types for Object Oriented Programming 111
Featherweight Wrap Java 110
null 109
Global Escape in Multiparty Sessions 107
Alias Types and effects for “environment-aware” computations 99
A type safe state abstraction for coordination in Java-like languages 93
null 89
null 72
Causal-consistent rollback in a tuple-based language 72
Deriving session and union types for objects 68
Featherweight Wrap Java: wrapping objects and methods 49
Totale 6.156
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.602
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.602
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022663 0 36 42 30 85 51 17 52 35 10 135 170
2022/2023654 68 71 36 83 58 66 21 29 100 24 50 48
2023/2024148 7 38 6 9 8 45 7 6 2 4 4 12
2024/2025717 16 122 84 40 234 28 55 3 1 23 15 96
2025/20261.382 69 128 130 89 183 91 121 62 277 140 45 47
2026/202759 36 23 0 0 0 0 0 0 0 0 0 0
Totale 6.156