ZACCHI, Maddalena
 Distribuzione geografica
Continente #
NA - Nord America 1.256
EU - Europa 896
AS - Asia 247
AF - Africa 1
Totale 2.400
Nazione #
US - Stati Uniti d'America 1.247
SE - Svezia 184
CN - Cina 129
UA - Ucraina 126
IT - Italia 118
FR - Francia 90
DE - Germania 89
IE - Irlanda 89
DK - Danimarca 71
FI - Finlandia 61
KR - Corea 51
SG - Singapore 27
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.400
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 33
Nyköping 32
Guangzhou 27
Seattle 21
Pisa 20
Cambridge 18
Dong Ket 17
Singapore 15
Warsaw 14
Brussels 13
Boston 12
Milan 9
San Mateo 9
Boardman 8
Norwalk 8
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
Forest City 1
Frodsham 1
Hatfield 1
Hebei 1
Kish 1
Kraków 1
Lappeenranta 1
Macao 1
Nichelino 1
Radolfzell 1
Redmond 1
Rome 1
Santa Clara 1
Segni 1
Serra 1
Settimo Torinese 1
Shanghai 1
Taranto 1
Tokyo 1
Verona 1
Washington 1
Totale 1.476
Nome #
Isomorphism of intersection and union types 312
On Isomorphism of "Functional" Intersection and Union Types. 219
Isomorphism of "Functional" Intersection Types 174
Partial and Complete Processes in Multiparty Sessions 174
Toward Isomorphism of Intersection and Union Types 160
Elena: A StateJ to Java translator 96
CWC simulator (Calculus of Wrapped Compartments) 95
Calcium Spiking Analyser 88
Principal Typing in a "Ù-Discipline 84
A new scheme for analyzing parallel processing systems 73
Generalized filter models 67
Tree-manipulation in an algorithm for maximizing parallelism 66
Access control in mobile ambient calculi: A comparative view 63
Determinacy and maximal parallelism in a structured model of parallel computation 61
A filter model for safe ambients 60
Rank-2 Intersection and Polymorphic Recursion for (a subset of) Caml 60
Principal typing in a for-all intersection discipline 59
Filter models with polymorphic types 56
Application of Chuch-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms 54
A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System 52
A Study of Multiple Activations in a Model for Parallel Computations 50
Right and Left invertibility in lambda-beta calculus 48
Semantica della macchina X-CODE 48
Semantics of the CNET Internode Communication Mechanism 47
Control Structures in Models for Parallel Computation 47
Type Theories, Normal Forms and D-infinity–lambda-models 46
Modelli per processi comunicanti: Confronto fra la teoria del CSP e I CCS 46
Type Inference and Logical Relations 44
Type inference and Logical relations 37
Totale 2.486
Categoria #
all - tutte 6.009
article - articoli 0
book - libri 0
conference - conferenze 2.311
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 8.320


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020409 0 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/2024110 12 29 6 6 6 15 0 0 1 1 12 22
2024/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 2.486