IRIS
BARBANERA, Franco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.695
AS - Asia 1.026
EU - Europa 1.026
SA - Sud America 172
Continente sconosciuto - Info sul continente non disponibili 84
AF - Africa 40
OC - Oceania 1
Totale 4.044
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.629
SG - Singapore 534
RU - Federazione Russa 354
CN - Cina 287
IT - Italia 178
IE - Irlanda 151
BR - Brasile 144
UA - Ucraina 128
VN - Vietnam 66
KR - Corea 65
CA - Canada 61
FR - Francia 61
SE - Svezia 34
NG - Nigeria 30
FI - Finlandia 27
DE - Germania 22
GB - Regno Unito 20
TR - Turchia 17
BD - Bangladesh 14
IN - India 14
ES - Italia 11
PL - Polonia 9
CH - Svizzera 8
AR - Argentina 7
EC - Ecuador 7
NL - Olanda 7
IQ - Iraq 6
CO - Colombia 5
HK - Hong Kong 5
ZA - Sudafrica 5
LT - Lituania 4
VE - Venezuela 4
AT - Austria 3
ID - Indonesia 3
JP - Giappone 3
UZ - Uzbekistan 3
BG - Bulgaria 2
BJ - Benin 2
LB - Libano 2
MX - Messico 2
PE - Perù 2
RO - Romania 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
BE - Belgio 1
CL - Cile 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GT - Guatemala 1
HU - Ungheria 1
JM - Giamaica 1
MD - Moldavia 1
MY - Malesia 1
PK - Pakistan 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PT - Portogallo 1
PY - Paraguay 1
TN - Tunisia 1
UY - Uruguay 1
Totale 3.960
Salva come PNG Salva come JPEG
Città #
Singapore 293
Dallas 278
Santa Clara 221
Moscow 162
Dublin 151
San Jose 124
Jacksonville 122
Hefei 83
Ashburn 82
Chandler 76
Council Bluffs 70
Seoul 65
Boardman 60
Nanjing 56
Lauterbourg 44
Andover 42
Lawrence 42
Cambridge 41
Catania 34
Toronto 34
Los Angeles 26
Helsinki 23
San Mateo 22
Civitanova Marche 21
Des Moines 21
Ho Chi Minh City 21
Lagos 21
Chicago 17
Hanoi 16
Milan 16
São Paulo 16
Istanbul 14
Montreal 14
Nanchang 14
Rome 14
Wilmington 14
Hebei 12
Turin 12
Jiaxing 11
New York 11
The Dalles 11
Columbus 10
Frankfurt am Main 10
Shenyang 10
Orem 9
Beijing 8
Palermo 8
Abuja 7
Changsha 7
Ottawa 7
Phoenix 7
Belo Horizonte 6
Saint Petersburg 6
Tianjin 6
Chennai 5
Denver 5
Hong Kong 5
Las Vegas 5
Naples 5
Stockholm 5
Venice 5
Boston 4
Brooklyn 4
Buffalo 4
Da Nang 4
Erbil 4
Florence 4
Gerenzago 4
Guayaquil 4
Lappeenranta 4
Munich 4
Reggio Calabria 4
Rometta Marea 4
Seattle 4
Warsaw 4
Amsterdam 3
Bologna 3
Brasília 3
City of London 3
Haiphong 3
Lanzhou 3
Maceió 3
New Delhi 3
Nuremberg 3
Ribeirão Preto 3
San Francisco 3
Tokyo 3
Villeurbanne 3
Ann Arbor 2
Atlanta 2
Avola 2
Barquisimeto 2
Betim 2
Charlotte 2
Cotonou 2
Dhaka 2
Guarulhos 2
Ha Long 2
Hortolândia 2
Itanhaém 2
Totale 2.682
Salva come PNG Salva come JPEG
Nome #
A Strong Normalization Result for Classical Logic 111
A Full Continuous Model of Polymorphism 110
A Symmetric Lambda-Calculus for ``Classical'' Program Extraction 105
A Constructive Valuation Semantics for Classical Logic 102
Alias and Union Types for Delegation 94
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 93
Witness Extraction in Classical Logic through Normalization 93
Asynchronous Multiparty Sessions with Internal Delegation 92
Connecting open systems of communicating finite state machines 92
Sub-behaviour relations for session-based client/server systems 92
Composition of synchronous communicating systems 90
Intersection types and lambda models 89
Retractability, games and orchestrators for session contracts 85
Formal Choreographic Languages 84
Reversible client/server interactions 84
A theory of retractable and speculative contracts 83
Compliance for reversible client/server interactions 82
Retractable and speculative contracts 82
``Classical'' programming-with-proofs in Lambda-Sym:an analysis of non-confluence 81
Characterisation of Strongly Normalising lambda-mu-Terms 81
Intersection Types for Lambda-Trees 80
Intersection Types for the lambda-mu Calculus 80
A Type Inference Algorithm for Secure Ambients 79
Orchestrated Session Compliance 79
A Filter Model for lambda-mu 78
Extracting Constructive Content from Classical Logic via Control-like Reductions 77
A Game Interpretation of Retractable Contracts 76
Corinne, a Tool for Choreography Automata 72
Session types and subtyping for orchestrated interactions 71
The Simply-Typed Theory of beta-conversion has no Maximum Extension 70
Tailoring Filter Models 70
BoCa: A calculus of bounded capacities 70
Composing Communicating Systems, Synchronously 70
Open Compliance in Multiparty Sessions 69
Space-aware Ambients and Processes 69
Typing Asymmetric Client-Server Interactions 69
Global Types for Open Systems 69
Composition and decomposition of multiparty sessions 69
Loosening the notions of compliance and sub-behaviour in client/server systems 67
Can Addresses be Types? (a case study: objects with delegation) 67
Choreography Automata 67
Type assignment for mobile objects 65
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 64
On Formal Choreographic Modelling: A Case Study in EU Business Processes 63
Orchestrated Session Compliance 62
Two Notions of Sub-behaviour for Session-based Client/Server Systems 57
Proceedings - 15th Interaction and Concurrency Experience, ICE 2022 52
Types and Computational Rules 52
Un-projectable Global Types for Multiparty Sessions 51
Partially Typed Multiparty Sessions 51
Multicompatibility for Multiparty-Session Composition 50
Retractable Contracts 48
Safe orchestrated multicomposition of systems of communicating finite state machines 25
YACC: Yet Another Church Calculus 17
Safe Composition of Systems of Communicating Finite State Machines 15
Modular Multiparty Sessions with Mixed Choice 13
Open compliance in multiparty sessions with partial typing 9
Partially typed multiparty sessions with internal delegation 7
Totale 4.044
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.123
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 16.123
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022241 0 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/20261.814 92 122 311 97 238 413 206 45 112 109 33 36
2026/202786 31 55 0 0 0 0 0 0 0 0 0 0
Totale 4.044