IRIS
LENISA, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.654
EU - Europa 1.218
AS - Asia 746
SA - Sud America 88
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 6.720
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.612
SG - Singapore 422
UA - Ucraina 381
CN - Cina 204
IT - Italia 203
DE - Germania 158
FI - Finlandia 117
RU - Federazione Russa 111
SE - Svezia 108
BR - Brasile 82
IE - Irlanda 64
CA - Canada 36
KR - Corea 36
TR - Turchia 24
GB - Regno Unito 22
IN - India 17
BE - Belgio 13
VN - Vietnam 12
CZ - Repubblica Ceca 8
FR - Francia 7
RO - Romania 7
EU - Europa 5
IR - Iran 5
MX - Messico 5
PH - Filippine 5
HK - Hong Kong 4
NL - Olanda 4
AT - Austria 3
BD - Bangladesh 3
ES - Italia 3
TW - Taiwan 3
AE - Emirati Arabi Uniti 2
EE - Estonia 2
JP - Giappone 2
LT - Lituania 2
MA - Marocco 2
PK - Pakistan 2
TG - Togo 2
VE - Venezuela 2
ZA - Sudafrica 2
AR - Argentina 1
AU - Australia 1
AZ - Azerbaigian 1
BH - Bahrain 1
BY - Bielorussia 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
DO - Repubblica Dominicana 1
GR - Grecia 1
KW - Kuwait 1
LB - Libano 1
LV - Lettonia 1
PL - Polonia 1
SI - Slovenia 1
SN - Senegal 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 6.720
Salva come PNG Salva come JPEG
Città #
Woodbridge 723
Ann Arbor 676
Houston 476
Fairfield 444
Ashburn 275
Chandler 267
Jacksonville 265
Singapore 257
Wilmington 247
Seattle 180
Cambridge 159
Dearborn 148
Udine 108
Beijing 76
Boardman 71
Dublin 64
Princeton 64
Seoul 36
Trieste 28
Ottawa 25
Izmir 22
Nanjing 20
San Diego 18
Ogden 16
New York 14
Brussels 13
Norwalk 13
Dong Ket 12
Santa Clara 12
Los Angeles 11
Reggio Nell'emilia 11
Hefei 10
Jinan 10
Monmouth Junction 10
Des Moines 9
Kunming 9
Brno 6
Guangzhou 6
Nanchang 6
Falls Church 5
Frankfurt am Main 5
Milan 5
Montreal 5
San Mateo 5
Dallas 4
Hong Kong 4
Horia 4
Indiana 4
Leawood 4
Ningbo 4
Ardabil 3
Augusta 3
Belo Horizonte 3
Grafing 3
London 3
Moscow 3
Mumbai 3
Munich 3
Paranaque City 3
Pittsburgh 3
Sorrento 3
Spinea 3
São Paulo 3
Taipei 3
The Dalles 3
Toronto 3
Vicenza 3
Zhengzhou 3
Amsterdam 2
Andover 2
Atlanta 2
Baotou 2
Bari 2
Brooklyn 2
Caruaru 2
Caserta 2
Chennai 2
Concórdia 2
Curitiba 2
Dhaka 2
Fulham 2
Fuzhou 2
Hangzhou 2
Helsinki 2
Jiaxing 2
João Pessoa 2
Lomé 2
Mexico City 2
Mysore 2
Nuremberg 2
Omsk 2
Phoenix 2
Prague 2
Pune 2
Redwood City 2
San Francisco 2
Shenyang 2
Tallinn 2
Tokyo 2
Treviso 2
Totale 4.984
Salva come PNG Salva come JPEG
Nome #
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 401
Conway Games, coalgebraically 157
Axiomatizing Fully Complete Models for ML Polymorphic Types 157
RPO, second-order contexts, and λ-calculus 151
A Conditional Logical Framework 149
Axiomatic Characterizations of Hyperuniverses and Applications 145
Categories of Coalgebraic Games with Selective Sum 144
Coinductive Characterizations of Applicative Structures 140
Category theory for operational semantics 138
Categories of Coalgebraic Games 138
Coalgebraic Description of Generalized Binary Methods 138
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 137
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 136
Strict Geometry of Interaction Graph Models 135
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 135
A Framework for Defining Logical Frameworks 132
Fully-complete PER Model for ML Polymorphic Types 129
Coalgebraic Methods in Computer Science 126
A type assignment system for game semantics 125
Processes and Hyperuniverses 123
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 118
Coalgebraic Description of Generalized Binary Methods 116
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 112
Linear realizability and full completeness for typed lambda calculi 112
Conway's Games, algebraically and coalgebraically 111
Some Properties and Some Problems on Set Functors 109
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 107
RPO, Second-Order Contexts, and λ-Calculus 107
An Open Logical Framework 102
CMCS 2001 101
An Axiomatization of partial n-place Operations 100
Functors Determined by Values on Objects 100
Coalgebraic Multigames 94
Operations, Collections and Sets within a General Axiomatic Framework 91
TOSCA 2001 90
LLF – A Logical-Logical Framework 90
Some Results on Restricted lambda-calculi 90
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 89
Equivalences and Congruences on Infinite Conway's Games 89
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 87
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 84
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 84
Properties of Set Functors 84
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 83
Proceedings of COMETA 2003 82
Generalized Coiteration Schemata 81
Implementing cantor’s paradise 80
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 77
Final Semantics for untyped lambda-calculus 77
Λ!-calculus, intersection types, and involutions 77
LF+ in Coq for fast-and-loose reasoning 74
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 73
Proceedings of the Workshop COMETA Computational Metamodels 73
LFP - A Logical Framework with External Predicates 72
Final Semantics for a higher order concurrent langauage 72
Final Semantics for the pi-calculus 71
Logical Predicates as First-Class Citizens in LF 69
Unfixing the Fixpoint: the theories of the lambdaY-calculus 64
Multigames and strategies, coalgebraically 64
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 58
Innocent game semantics via intersection type assignment systems 55
The involutions-as-principal types/ application-as-unification analogy 50
Modeling fresh names in the π-calculus using abstractions 39
null 36
Principal Types as Lambda Nets 24
On Quantitative Algebraic Higher-Order Theories 21
Two Views on Unification: Terms as Strategies 11
Λ-symsym: An interactive tool for playing with involutions and types 9
Totale 6.795
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.215
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 23.215
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020135 0 0 0 0 0 0 0 0 0 0 30 105
2020/20211.070 15 105 73 184 104 133 49 80 125 63 101 38
2021/2022567 33 58 18 69 17 23 25 22 12 92 123 75
2022/2023577 72 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/2025962 29 76 89 58 26 52 102 43 120 66 301 0
Totale 6.795