IRIS
LENISA, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.413
EU - Europa 1.051
AS - Asia 253
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 3
SA - Sud America 2
OC - Oceania 1
Totale 5.727
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.383
UA - Ucraina 375
IT - Italia 184
CN - Cina 166
DE - Germania 145
FI - Finlandia 114
SE - Svezia 106
IE - Irlanda 63
CA - Canada 30
SG - Singapore 28
TR - Turchia 22
BE - Belgio 12
GB - Regno Unito 12
IN - India 12
VN - Vietnam 12
RU - Federazione Russa 11
CZ - Repubblica Ceca 7
RO - Romania 7
FR - Francia 6
IR - Iran 5
PH - Filippine 5
EU - Europa 4
NL - Olanda 3
TW - Taiwan 3
ES - Italia 2
TG - Togo 2
AT - Austria 1
AU - Australia 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
EE - Estonia 1
GR - Grecia 1
SI - Slovenia 1
Totale 5.727
Salva come PNG Salva come JPEG
Città #
Woodbridge 723
Ann Arbor 633
Houston 475
Fairfield 443
Chandler 267
Ashburn 266
Jacksonville 260
Wilmington 246
Seattle 180
Cambridge 159
Dearborn 146
Udine 98
Beijing 72
Dublin 63
Princeton 63
Trieste 28
Singapore 27
Ottawa 24
Izmir 22
Nanjing 20
San Diego 18
Ogden 16
Norwalk 13
Brussels 12
Dong Ket 12
Reggio Nell'emilia 11
Hefei 10
Jinan 10
Monmouth Junction 10
New York 10
Des Moines 9
Kunming 9
Guangzhou 6
Nanchang 6
Boardman 5
Brno 5
Falls Church 5
Milan 5
San Mateo 5
Horia 4
Indiana 4
Leawood 4
Ningbo 4
Ardabil 3
Augusta 3
Grafing 3
Los Angeles 3
Mumbai 3
Paranaque City 3
Pittsburgh 3
Sorrento 3
Taipei 3
Toronto 3
Vicenza 3
Zhengzhou 3
Amsterdam 2
Andover 2
Baotou 2
Bari 2
Caserta 2
Frankfurt am Main 2
Fuzhou 2
Hangzhou 2
Lomé 2
Prague 2
Pune 2
Redwood City 2
Shenyang 2
Treviso 2
Aachen 1
Acquaviva Delle Fonti 1
Bologna 1
Brescia 1
Chaoyang 1
Chongqing 1
Costa Mesa 1
Crespino 1
Dallas 1
Edinburgh 1
Elizabeth 1
Elkhart 1
Granbury 1
Guiyang 1
Haikou 1
Harbin 1
Hebei 1
Helsinki 1
Jiaxing 1
Kingston 1
Lachine 1
Liberty Lake 1
Madrid 1
Marysville 1
Medellín 1
Mestre 1
Monfalcone 1
Montreal 1
Munich 1
New Orleans 1
Portsmouth 1
Totale 4.503
Salva come PNG Salva come JPEG
Nome #
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 389
Axiomatizing Fully Complete Models for ML Polymorphic Types 147
Conway Games, coalgebraically 140
RPO, second-order contexts, and λ-calculus 140
A Conditional Logical Framework 134
Axiomatic Characterizations of Hyperuniverses and Applications 129
Coalgebraic Description of Generalized Binary Methods 128
Categories of Coalgebraic Games with Selective Sum 127
Category theory for operational semantics 125
Strict Geometry of Interaction Graph Models 124
Coinductive Characterizations of Applicative Structures 123
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 122
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 122
Fully-complete PER Model for ML Polymorphic Types 118
Categories of Coalgebraic Games 117
A Framework for Defining Logical Frameworks 115
Coalgebraic Methods in Computer Science 114
Processes and Hyperuniverses 109
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 108
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 107
A type assignment system for game semantics 106
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 101
Linear realizability and full completeness for typed lambda calculi 100
RPO, Second-Order Contexts, and λ-Calculus 100
Coalgebraic Description of Generalized Binary Methods 99
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 98
Conway's Games, algebraically and coalgebraically 96
Some Properties and Some Problems on Set Functors 90
An Axiomatization of partial n-place Operations 87
Functors Determined by Values on Objects 87
CMCS 2001 85
Operations, Collections and Sets within a General Axiomatic Framework 81
Coalgebraic Multigames 80
TOSCA 2001 78
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 78
An Open Logical Framework 76
Equivalences and Congruences on Infinite Conway's Games 74
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 73
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 73
LLF – A Logical-Logical Framework 73
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 71
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 69
Properties of Set Functors 69
Implementing cantor’s paradise 67
Some Results on Restricted lambda-calculi 65
Proceedings of the Workshop COMETA Computational Metamodels 63
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 61
LFP - A Logical Framework with External Predicates 61
Final Semantics for a higher order concurrent langauage 61
Generalized Coiteration Schemata 60
Λ!-calculus, intersection types, and involutions 60
Final Semantics for untyped lambda-calculus 58
LF+ in Coq for fast-and-loose reasoning 57
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 56
Final Semantics for the pi-calculus 56
Unfixing the Fixpoint: the theories of the lambdaY-calculus 56
Logical Predicates as First-Class Citizens in LF 56
Multigames and strategies, coalgebraically 52
Innocent game semantics via intersection type assignment systems 45
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 44
The involutions-as-principal types/ application-as-unification analogy 34
Modeling fresh names in the π-calculus using abstractions 29
Λ-symsym: An interactive tool for playing with involutions and types 29
On Quantitative Algebraic Higher-Order Theories 12
Principal Types as Lambda Nets 10
Totale 5.774
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.846
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.846
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.298 60 35 37 177 87 232 158 160 87 131 30 104
2020/20211.063 15 104 73 183 104 132 49 79 123 63 100 38
2021/2022562 33 57 18 69 17 23 25 22 12 90 122 74
2022/2023576 71 59 21 70 61 145 0 24 89 7 14 15
2023/2024179 24 6 2 10 25 27 8 10 25 13 4 25
2024/202513 13 0 0 0 0 0 0 0 0 0 0 0
Totale 5.774