ZACCHI, Maddalena
 Distribuzione geografica
Continente #
NA - Nord America 1.252
EU - Europa 891
AS - Asia 220
AF - Africa 1
Totale 2.364
Nazione #
US - Stati Uniti d'America 1.243
SE - Svezia 184
CN - Cina 129
UA - Ucraina 126
IT - Italia 118
DE - Germania 89
IE - Irlanda 89
FR - Francia 86
DK - Danimarca 71
FI - Finlandia 60
KR - Corea 51
GB - Regno Unito 24
VN - Vietnam 19
PL - Polonia 15
BE - Belgio 13
RU - Federazione Russa 13
CA - Canada 9
IN - India 9
TH - Thailandia 5
JP - Giappone 3
IR - Iran 2
NL - Olanda 2
CZ - Repubblica Ceca 1
MO - Macao, regione amministrativa speciale della Cina 1
NE - Niger 1
PH - Filippine 1
Totale 2.364
Città #
Ann Arbor 259
Chandler 176
Dublin 89
Beijing 79
Dearborn 62
Wilmington 62
Fairfield 61
Jacksonville 59
Torino 59
Villeurbanne 50
Houston 45
Woodbridge 39
Princeton 38
Medford 36
Ashburn 32
Nyköping 32
Guangzhou 27
Seattle 21
Pisa 20
Cambridge 18
Dong Ket 17
Warsaw 14
Brussels 13
Boston 12
Milan 9
San Mateo 9
Norwalk 8
Boardman 7
Redwood City 6
San Diego 5
Toronto 5
Kunming 4
Lachine 4
Mountain View 4
Phoenix 4
Bangkok 3
Chengdu 3
Falls Church 3
Jinan 3
London 3
Nanchang 3
Nanjing 3
Nürnberg 3
Padova 3
Catania 2
Coimbatore 2
Fremont 2
Hefei 2
Helsinki 2
Munich 2
Nacka 2
Naples 2
New York 2
Taiyuan 2
Wayne 2
Alghero 1
Amsterdam 1
Des Moines 1
Düsseldorf 1
Frodsham 1
Hatfield 1
Hebei 1
Kish 1
Kraków 1
Macao 1
Nichelino 1
Radolfzell 1
Redmond 1
Rome 1
Segni 1
Serra 1
Settimo Torinese 1
Shanghai 1
Taranto 1
Tokyo 1
Verona 1
Washington 1
Totale 1.456
Nome #
Isomorphism of intersection and union types 311
On Isomorphism of "Functional" Intersection and Union Types. 216
Isomorphism of "Functional" Intersection Types 172
Partial and Complete Processes in Multiparty Sessions 172
Toward Isomorphism of Intersection and Union Types 159
Elena: A StateJ to Java translator 95
CWC simulator (Calculus of Wrapped Compartments) 93
Calcium Spiking Analyser 87
Principal Typing in a "Ù-Discipline 83
A new scheme for analyzing parallel processing systems 71
Generalized filter models 66
Tree-manipulation in an algorithm for maximizing parallelism 65
Access control in mobile ambient calculi: A comparative view 62
Determinacy and maximal parallelism in a structured model of parallel computation 60
Principal typing in a for-all intersection discipline 59
A filter model for safe ambients 59
Rank-2 Intersection and Polymorphic Recursion for (a subset of) Caml 59
Filter models with polymorphic types 56
Application of Chuch-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms 53
A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System 50
A Study of Multiple Activations in a Model for Parallel Computations 50
Right and Left invertibility in lambda-beta calculus 47
Semantics of the CNET Internode Communication Mechanism 46
Semantica della macchina X-CODE 46
Type Theories, Normal Forms and D-infinity–lambda-models 45
Control Structures in Models for Parallel Computation 45
Modelli per processi comunicanti: Confronto fra la teoria del CSP e I CCS 44
Type Inference and Logical Relations 43
Type inference and Logical relations 36
Totale 2.450
Categoria #
all - tutte 5.423
article - articoli 0
book - libri 0
conference - conferenze 2.103
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.526


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201980 0 0 0 0 0 0 0 0 0 8 47 25
2019/2020423 14 22 42 44 35 65 56 26 44 28 26 21
2020/2021440 33 13 31 16 39 45 43 40 66 48 40 26
2021/2022468 3 3 3 35 31 9 46 40 11 94 118 75
2022/2023402 69 43 7 43 33 94 46 22 26 2 13 4
2023/202475 12 29 6 6 6 15 0 0 1 0 0 0
Totale 2.450