DAL LAGO, UGO
 Distribuzione geografica
Continente #
NA - Nord America 326
EU - Europa 157
AS - Asia 28
AF - Africa 5
OC - Oceania 1
Totale 517
Nazione #
US - Stati Uniti d'America 320
IT - Italia 85
GB - Regno Unito 28
FR - Francia 13
DE - Germania 12
IN - India 11
CN - Cina 7
CA - Canada 6
RU - Federazione Russa 5
ZA - Sudafrica 5
CZ - Repubblica Ceca 4
NL - Olanda 4
BD - Bangladesh 2
ID - Indonesia 2
IL - Israele 2
IR - Iran 2
LU - Lussemburgo 2
AT - Austria 1
AU - Australia 1
DK - Danimarca 1
FI - Finlandia 1
JP - Giappone 1
KR - Corea 1
UA - Ucraina 1
Totale 517
Città #
Santa Cruz 78
Fairfield 32
Bologna 29
Houston 19
Southend 19
San Diego 13
Wilmington 13
Seattle 12
Ann Arbor 11
Woodbridge 10
Providence 9
Buffalo 8
Ashburn 7
Taglio Di Po 5
Auburn 4
Chicago 4
Bengaluru 3
Lake Forest 3
Muizenberg 3
Provo 3
Rotterdam 3
Saint Petersburg 3
Andover 2
Anguillara Sabazia 2
Cambridge 2
Casina 2
Clearwater 2
Dallas 2
Dhaka 2
Frattamaggiore 2
Hesperange 2
Küps 2
Las Vegas 2
London 2
Newburgh 2
Newmarket 2
Norwalk 2
Petritoli 2
Silverton 2
Torino 2
Verona 2
Aachen 1
Anzio 1
Baotou 1
Beijing 1
Berlin 1
Catania 1
Cornier 1
Crewe 1
Dannstadt-Schauernheim 1
Den Haag 1
Ferrara 1
Grasse 1
Hangzhou 1
Helsinki 1
Herndon 1
Indianapolis 1
Jersey City 1
Jinhua 1
Lissone 1
Los Angeles 1
Macerata 1
Marseille 1
Milan 1
Modena 1
Montreal 1
Montréal 1
Napoli 1
New York 1
Putian 1
Ramat Gan 1
Seoul 1
Shanghai 1
Trieste 1
Waldbröl 1
Xian 1
Totale 364
Nome #
On probabilistic term rewriting, file e1dcb336-9408-7715-e053-1705fe0a6cc9 87
Decomposing Probabilistic Lambda-Calculi, file e1dcb336-c40a-7715-e053-1705fe0a6cc9 47
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem, file e1dcb336-b795-7715-e053-1705fe0a6cc9 42
On Measure Quantifiers in First-Order Arithmetic, file e1dcb338-634f-7715-e053-1705fe0a6cc9 38
Intersection types and (positive) almost-sure termination, file e1dcb338-581f-7715-e053-1705fe0a6cc9 34
The machinery of interaction, file e1dcb336-6ff2-7715-e053-1705fe0a6cc9 30
Probabilistic termination by monadic affine sized typing, file e1dcb338-300d-7715-e053-1705fe0a6cc9 26
(Leftmost-outermost) beta reduction is invariant, indeed, file e1dcb32d-d2f4-7715-e053-1705fe0a6cc9 25
The Space of Interaction, file e1dcb338-2f2f-7715-e053-1705fe0a6cc9 25
The geometry of parallelism: Classical, probabilistic, and quantum effects, file e1dcb338-3860-7715-e053-1705fe0a6cc9 23
On continuation-passing transformations and expected cost analysis, file e1dcb338-7e3b-7715-e053-1705fe0a6cc9 23
Computation by interaction for space-bounded functional programming, file e1dcb338-8ba0-7715-e053-1705fe0a6cc9 23
The (In)Efficiency of interaction, file e1dcb338-40d9-7715-e053-1705fe0a6cc9 20
Differential logical relations, Part I: The simply-typed case, file e1dcb333-acbb-7715-e053-1705fe0a6cc9 14
A Recursion-Theoretic Characterization of the Probabilistic Class PP, file e1dcb338-3c7b-7715-e053-1705fe0a6cc9 14
On the termination problem for probabilistic higher-order recursive programs, file e1dcb336-be0d-7715-e053-1705fe0a6cc9 12
On higher-order cryptography, file e1dcb336-b9ce-7715-e053-1705fe0a6cc9 11
null, file e1dcb334-6e77-7715-e053-1705fe0a6cc9 9
Solvability in a probabilistic setting, file e1dcb337-9944-7715-e053-1705fe0a6cc9 6
Resource transition systems and full abstraction for linear higher-order effectful programs, file e1dcb338-618b-7715-e053-1705fe0a6cc9 5
Light logics and higher-order processes, file e1dcb32e-6448-7715-e053-1705fe0a6cc9 4
The geometry of Bayesian programming, file e1dcb339-3d7e-7715-e053-1705fe0a6cc9 4
null, file e1dcb32c-2a7a-7715-e053-1705fe0a6cc9 3
Computation by interaction for space-bounded functional programming, file e1dcb32d-d420-7715-e053-1705fe0a6cc9 3
On Counting Propositional Logic and Wagner's Hierarchy, file e1dcb339-45cc-7715-e053-1705fe0a6cc9 3
On randomised strategies in the λ-calculus, file e1dcb336-92ad-7715-e053-1705fe0a6cc9 2
On coinductive equivalences for higher-order probabilistic functional programs, file e1dcb32c-dc1f-7715-e053-1705fe0a6cc9 1
Derivational Complexity is an Invariant Cost Model, file e1dcb32c-e917-7715-e053-1705fe0a6cc9 1
A lambda-calculus foundation for universal probabilistic programming, file e1dcb32f-afc2-7715-e053-1705fe0a6cc9 1
The Geometry of Bayesian Programming, file e1dcb333-cd10-7715-e053-1705fe0a6cc9 1
Probabilistic termination by monadic affine sized typing, file e1dcb334-386e-7715-e053-1705fe0a6cc9 1
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs, file e1dcb334-8112-7715-e053-1705fe0a6cc9 1
Effectful applicative similarity for call-by-name lambda calculi, file e1dcb336-bfc0-7715-e053-1705fe0a6cc9 1
Totale 540
Categoria #
all - tutte 770
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 770


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20204 0000 00 00 0400
2020/202162 0000 20 14 2512126
2021/2022383 8101135 4530 2028 192010255
2022/202385 1113610 00 00 0000
Totale 540