IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 967
EU - Europa 558
AS - Asia 470
SA - Sud America 90
AF - Africa 5
OC - Oceania 1
Totale 2.091
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 922
SG - Singapore 256
CN - Cina 164
IE - Irlanda 151
UA - Ucraina 128
IT - Italia 125
BR - Brasile 83
CA - Canada 45
RU - Federazione Russa 35
SE - Svezia 30
FI - Finlandia 27
DE - Germania 16
TR - Turchia 15
FR - Francia 14
KR - Corea 13
GB - Regno Unito 9
CH - Svizzera 7
ES - Italia 5
BD - Bangladesh 4
IN - India 4
VN - Vietnam 4
NL - Olanda 3
PL - Polonia 3
VE - Venezuela 3
AT - Austria 2
IQ - Iraq 2
LB - Libano 2
NG - Nigeria 2
PE - Perù 2
UZ - Uzbekistan 2
AO - Angola 1
AU - Australia 1
BE - Belgio 1
BG - Bulgaria 1
DZ - Algeria 1
EC - Ecuador 1
HK - Hong Kong 1
HU - Ungheria 1
JP - Giappone 1
PK - Pakistan 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
Totale 2.091
Salva come PNG Salva come JPEG
Città #
Santa Clara 216
Dublin 151
Singapore 149
Jacksonville 122
Chandler 76
Boardman 60
Nanjing 56
Andover 42
Lawrence 42
Cambridge 41
Catania 34
Toronto 33
Hefei 24
Helsinki 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Milan 15
Nanchang 14
Wilmington 14
Istanbul 13
Seoul 13
Chicago 12
Hebei 12
Jiaxing 11
Rome 11
The Dalles 11
Columbus 10
Shenyang 10
Ashburn 9
Frankfurt am Main 8
São Paulo 8
Changsha 7
Los Angeles 7
Ottawa 7
Moscow 6
Saint Petersburg 6
Tianjin 6
Beijing 5
Belo Horizonte 5
Las Vegas 5
Florence 4
Lappeenranta 4
Montreal 4
Palermo 4
Rometta Marea 4
Seattle 4
Bologna 3
Boston 3
Hanoi 3
Lanzhou 3
Munich 3
Naples 3
San Francisco 3
Abuja 2
Amsterdam 2
Ann Arbor 2
Barquisimeto 2
Council Bluffs 2
Dallas 2
Jinan 2
Kunming 2
Lausanne 2
Lima 2
Locri 2
Maceió 2
Manchester 2
Norwalk 2
Nuremberg 2
Passo Fundo 2
Paternò 2
Phoenix 2
San Ferdinando 2
Santa Croce sull'Arno 2
Viamão 2
Zhengzhou 2
Adana 1
Araguaína 1
Araxá 1
Arealva 1
Atlanta 1
Barletta 1
Betim 1
Bom Jesus 1
Brasília 1
Braço do Norte 1
Bremen 1
Brooklyn 1
Brussels 1
Budapest 1
Caieiras 1
Cajamar 1
Caldas 1
Campinas 1
Campo Belo 1
Capaccio 1
Changchun 1
Colombo 1
Conceição 1
Conceição do Coité 1
Totale 1.471
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 68
A Full Continuous Model of Polymorphism 66
Sub-behaviour relations for session-based client/server systems 65
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 64
Reversible client/server interactions 61
Retractability, games and orchestrators for session contracts 60
A Constructive Valuation Semantics for Classical Logic 58
Intersection types and lambda models 58
Extracting Constructive Content from Classical Logic via Control-like Reductions 52
Orchestrated Session Compliance 52
Connecting open systems of communicating finite state machines 51
Alias and Union Types for Delegation 49
Witness Extraction in Classical Logic through Normalization 49
Intersection Types for Lambda-Trees 48
Compliance for reversible client/server interactions 48
Intersection Types for the lambda-mu Calculus 48
Retractable and speculative contracts 48
Session types and subtyping for orchestrated interactions 48
Global Types for Open Systems 48
Typing Asymmetric Client-Server Interactions 47
Tailoring Filter Models 47
Characterisation of Strongly Normalising lambda-mu-Terms 46
The Simply-Typed Theory of beta-conversion has no Maximum Extension 44
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 44
Composition of synchronous communicating systems 43
Type assignment for mobile objects 42
A Game Interpretation of Retractable Contracts 42
Space-aware Ambients and Processes 41
Loosening the notions of compliance and sub-behaviour in client/server systems 40
A theory of retractable and speculative contracts 39
A Type Inference Algorithm for Secure Ambients 38
Formal Choreographic Languages 37
Can Addresses be Types? (a case study: objects with delegation) 37
A Filter Model for lambda-mu 37
Orchestrated Session Compliance 36
Types and Computational Rules 36
BoCa: A calculus of bounded capacities 36
Two Notions of Sub-behaviour for Session-based Client/Server Systems 35
Corinne, a Tool for Choreography Automata 32
Retractable Contracts 30
Composing Communicating Systems, Synchronously 30
Composition and decomposition of multiparty sessions 30
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 29
Choreography Automata 28
On Formal Choreographic Modelling: A Case Study in EU Business Processes 26
Open Compliance in Multiparty Sessions 26
Asynchronous Multiparty Sessions with Internal Delegation 26
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 26
Multicompatibility for Multiparty-Session Composition 20
Partially Typed Multiparty Sessions 19
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 19
Un-projectable Global Types for Multiparty Sessions 18
Totale 2.167
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.589
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 9.589
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2025818 1 77 40 30 159 113 28 34 65 112 63 96
2025/202623 23 0 0 0 0 0 0 0 0 0 0 0
Totale 2.167