IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.013
EU - Europa 573
AS - Asia 571
SA - Sud America 99
AF - Africa 5
OC - Oceania 1
Totale 2.262
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 962
SG - Singapore 273
CN - Cina 222
IE - Irlanda 151
UA - Ucraina 128
IT - Italia 125
BR - Brasile 92
CA - Canada 51
KR - Corea 36
RU - Federazione Russa 35
SE - Svezia 32
FI - Finlandia 27
FR - Francia 17
DE - Germania 16
TR - Turchia 15
GB - Regno Unito 13
CH - Svizzera 7
ES - Italia 7
IN - India 5
BD - Bangladesh 4
VN - Vietnam 4
AT - Austria 3
NL - Olanda 3
PL - Polonia 3
VE - Venezuela 3
IQ - Iraq 2
JP - Giappone 2
LB - Libano 2
LT - Lituania 2
NG - Nigeria 2
PE - Perù 2
TW - Taiwan 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
PK - Pakistan 1
RO - Romania 1
TN - Tunisia 1
UY - Uruguay 1
Totale 2.262
Salva come PNG Salva come JPEG
Città #
Santa Clara 217
Singapore 157
Dublin 151
Jacksonville 122
Chandler 76
Hefei 74
Boardman 60
Nanjing 56
Andover 42
Lawrence 42
Cambridge 41
Seoul 36
Catania 34
Toronto 33
Helsinki 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Milan 15
Chicago 14
Nanchang 14
Wilmington 14
Ashburn 13
Istanbul 13
Hebei 12
Jiaxing 11
Rome 11
The Dalles 11
Columbus 10
Shenyang 10
Dallas 9
Los Angeles 9
São Paulo 9
Frankfurt am Main 8
Montreal 8
Changsha 7
Ottawa 7
Moscow 6
Saint Petersburg 6
Tianjin 6
Beijing 5
Belo Horizonte 5
Las Vegas 5
Boston 4
Florence 4
Lappeenranta 4
Palermo 4
Rometta Marea 4
Seattle 4
Bologna 3
Hanoi 3
Lanzhou 3
Munich 3
Naples 3
San Francisco 3
Stockholm 3
Villeurbanne 3
Abuja 2
Amsterdam 2
Ann Arbor 2
Barquisimeto 2
Brooklyn 2
Council Bluffs 2
Denver 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
Tokyo 2
Viamão 2
Zhengzhou 2
Adana 1
Araguaína 1
Araxá 1
Arealva 1
Arlington 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
Brussels 1
Budapest 1
Totale 1.584
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 78
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 74
A Full Continuous Model of Polymorphism 71
Sub-behaviour relations for session-based client/server systems 65
Reversible client/server interactions 63
Retractability, games and orchestrators for session contracts 62
Intersection types and lambda models 60
A Constructive Valuation Semantics for Classical Logic 59
Extracting Constructive Content from Classical Logic via Control-like Reductions 54
Intersection Types for the lambda-mu Calculus 52
Connecting open systems of communicating finite state machines 52
Orchestrated Session Compliance 52
Formal Choreographic Languages 51
Alias and Union Types for Delegation 51
Compliance for reversible client/server interactions 50
Retractable and speculative contracts 50
Intersection Types for Lambda-Trees 49
Witness Extraction in Classical Logic through Normalization 49
Typing Asymmetric Client-Server Interactions 49
Tailoring Filter Models 49
Composition of synchronous communicating systems 48
Session types and subtyping for orchestrated interactions 48
Global Types for Open Systems 48
Characterisation of Strongly Normalising lambda-mu-Terms 47
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 45
The Simply-Typed Theory of beta-conversion has no Maximum Extension 44
Type assignment for mobile objects 44
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 43
A Game Interpretation of Retractable Contracts 43
Space-aware Ambients and Processes 42
Loosening the notions of compliance and sub-behaviour in client/server systems 42
A theory of retractable and speculative contracts 41
Open Compliance in Multiparty Sessions 40
On Formal Choreographic Modelling: A Case Study in EU Business Processes 39
A Type Inference Algorithm for Secure Ambients 39
A Filter Model for lambda-mu 39
Can Addresses be Types? (a case study: objects with delegation) 38
Orchestrated Session Compliance 37
Two Notions of Sub-behaviour for Session-based Client/Server Systems 37
BoCa: A calculus of bounded capacities 37
Types and Computational Rules 36
Corinne, a Tool for Choreography Automata 34
Asynchronous Multiparty Sessions with Internal Delegation 33
Composing Communicating Systems, Synchronously 32
Composition and decomposition of multiparty sessions 31
Multicompatibility for Multiparty-Session Composition 30
Retractable Contracts 30
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 29
Choreography Automata 29
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 27
Partially Typed Multiparty Sessions 26
Un-projectable Global Types for Multiparty Sessions 20
Totale 2.338
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.397
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 10.397
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/2026194 92 102 0 0 0 0 0 0 0 0 0 0
Totale 2.338