IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 974
EU - Europa 559
AS - Asia 471
SA - Sud America 96
AF - Africa 5
OC - Oceania 1
Totale 2.106
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 927
SG - Singapore 256
CN - Cina 164
IE - Irlanda 151
UA - Ucraina 128
IT - Italia 125
BR - Brasile 89
CA - Canada 47
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 10
CH - Svizzera 7
ES - Italia 5
IN - India 5
BD - Bangladesh 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.106
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
São Paulo 9
Frankfurt am Main 8
Changsha 7
Los Angeles 7
Ottawa 7
Moscow 6
Saint Petersburg 6
Tianjin 6
Beijing 5
Belo Horizonte 5
Las Vegas 5
Montreal 5
Florence 4
Lappeenranta 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
Guarulhos 2
Jinan 2
Kunming 2
Lausanne 2
Lima 2
Locri 2
Maceió 2
Manchester 2
New Delhi 2
Norwalk 2
Nuremberg 2
Passo Fundo 2
Paternò 2
Phoenix 2
Porto Alegre 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
Baton Rouge 1
Beaumont 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
Totale 1.476
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 68
A Full Continuous Model of Polymorphism 67
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
Intersection types and lambda models 59
A Constructive Valuation Semantics for Classical Logic 58
Extracting Constructive Content from Classical Logic via Control-like Reductions 53
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
Compliance for reversible client/server interactions 49
Intersection Types for the lambda-mu Calculus 49
Retractable and speculative contracts 49
Intersection Types for Lambda-Trees 48
Typing Asymmetric Client-Server Interactions 48
Tailoring Filter Models 48
Session types and subtyping for orchestrated interactions 48
Global Types for Open Systems 48
Characterisation of Strongly Normalising lambda-mu-Terms 46
Composition of synchronous communicating systems 44
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
Type assignment for mobile objects 43
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 40
A Type Inference Algorithm for Secure Ambients 39
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
On Formal Choreographic Modelling: A Case Study in EU Business Processes 28
Choreography Automata 28
Asynchronous Multiparty Sessions with Internal Delegation 27
Open Compliance in Multiparty Sessions 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.182
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.675
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.675
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/202638 38 0 0 0 0 0 0 0 0 0 0 0
Totale 2.182