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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202130 0 0 0 0 0 0 0 0 0 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/20261.744 92 122 311 97 238 413 206 45 112 108 0 0
Totale 3.888