IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 912
EU - Europa 541
AS - Asia 305
SA - Sud America 25
AF - Africa 5
Totale 1.788
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 868
IE - Irlanda 151
SG - Singapore 146
CN - Cina 136
UA - Ucraina 128
IT - Italia 116
CA - Canada 44
RU - Federazione Russa 35
SE - Svezia 29
FI - Finlandia 27
BR - Brasile 23
DE - Germania 16
FR - Francia 14
TR - Turchia 13
CH - Svizzera 7
ES - Italia 5
GB - Regno Unito 4
PL - Polonia 3
VN - Vietnam 3
AT - Austria 2
LB - Libano 2
NG - Nigeria 2
UZ - Uzbekistan 2
AO - Angola 1
BE - Belgio 1
BG - Bulgaria 1
DZ - Algeria 1
EC - Ecuador 1
HU - Ungheria 1
IN - India 1
IQ - Iraq 1
NL - Olanda 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
Totale 1.788
Salva come PNG Salva come JPEG
Città #
Santa Clara 216
Dublin 151
Jacksonville 122
Chandler 76
Boardman 60
Singapore 60
Nanjing 56
Andover 42
Lawrence 42
Cambridge 41
Catania 33
Toronto 32
Helsinki 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Milan 15
Nanchang 14
Wilmington 14
Istanbul 13
Hebei 12
Jiaxing 11
Chicago 10
Shenyang 10
Frankfurt am Main 8
Changsha 7
Ottawa 7
Ashburn 6
Moscow 6
Rome 6
Saint Petersburg 6
Tianjin 6
Las Vegas 5
Florence 4
Lappeenranta 4
Montreal 4
Palermo 4
Rometta Marea 4
Seattle 4
Bologna 3
Lanzhou 3
Los Angeles 3
Munich 3
Abuja 2
Ann Arbor 2
Council Bluffs 2
Hanoi 2
Jinan 2
Kunming 2
Lausanne 2
Locri 2
Norwalk 2
Nuremberg 2
Paternò 2
San Ferdinando 2
Santa Croce sull'Arno 2
São Paulo 2
Zhengzhou 2
Barletta 1
Beijing 1
Braço do Norte 1
Bremen 1
Brussels 1
Budapest 1
Cajamar 1
Caldas 1
Campo Belo 1
Capaccio 1
Changchun 1
Conceição do Mato Dentro 1
Corupá 1
Craíbas 1
Dallas 1
Delia 1
Dong Ket 1
Elk Grove Village 1
Franca 1
Guarapuava 1
Guarujá 1
Guayaquil 1
Haikou 1
Hangzhou 1
Hanover 1
Houmt Souk 1
Ipiaú 1
Itanhaém 1
Kiev 1
Luanda 1
Maceió 1
Montevideo 1
Ningbo 1
Novo Hamburgo 1
Palmeira d'Oeste 1
Pindamonhangaba 1
Pinhais 1
Piraino 1
Princeton 1
Pune 1
Quanzhou 1
Ribeirão Preto 1
Totale 1.282
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 61
A Full Continuous Model of Polymorphism 58
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 57
Reversible client/server interactions 57
Sub-behaviour relations for session-based client/server systems 57
Intersection types and lambda models 54
Retractability, games and orchestrators for session contracts 54
A Constructive Valuation Semantics for Classical Logic 49
Extracting Constructive Content from Classical Logic via Control-like Reductions 49
Witness Extraction in Classical Logic through Normalization 46
Connecting open systems of communicating finite state machines 45
Compliance for reversible client/server interactions 44
Alias and Union Types for Delegation 43
Typing Asymmetric Client-Server Interactions 43
Session types and subtyping for orchestrated interactions 43
Intersection Types for Lambda-Trees 42
Tailoring Filter Models 42
Intersection Types for the lambda-mu Calculus 42
Global Types for Open Systems 42
Characterisation of Strongly Normalising lambda-mu-Terms 41
Retractable and speculative contracts 41
Space-aware Ambients and Processes 39
The Simply-Typed Theory of beta-conversion has no Maximum Extension 39
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 39
Composition of synchronous communicating systems 37
Type assignment for mobile objects 37
A Game Interpretation of Retractable Contracts 37
Types and Computational Rules 35
A theory of retractable and speculative contracts 34
Orchestrated Session Compliance 34
Orchestrated Session Compliance 33
Can Addresses be Types? (a case study: objects with delegation) 33
Two Notions of Sub-behaviour for Session-based Client/Server Systems 32
Loosening the notions of compliance and sub-behaviour in client/server systems 32
Formal Choreographic Languages 31
BoCa: A calculus of bounded capacities 31
A Filter Model for lambda-mu 31
A Type Inference Algorithm for Secure Ambients 30
Corinne, a Tool for Choreography Automata 29
Retractable Contracts 28
Composing Communicating Systems, Synchronously 26
Composition and decomposition of multiparty sessions 26
Choreography Automata 23
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 21
Open Compliance in Multiparty Sessions 19
On Formal Choreographic Modelling: A Case Study in EU Business Processes 17
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 17
Partially Typed Multiparty Sessions 15
Asynchronous Multiparty Sessions with Internal Delegation 15
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 14
Multicompatibility for Multiparty-Session Composition 12
Un-projectable Global Types for Multiparty Sessions 8
Totale 1.864
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.317
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 8.317
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202058 0 0 0 0 0 0 0 0 23 0 26 9
2020/2021180 0 22 24 0 59 8 14 0 23 1 18 11
2021/2022273 32 42 0 5 44 0 44 10 28 0 4 64
2022/2023366 42 0 0 17 19 77 2 54 125 1 20 9
2023/2024205 10 11 10 20 6 4 5 8 0 15 87 29
2024/2025538 1 77 40 30 159 113 28 34 56 0 0 0
Totale 1.864