IRIS
LENISA, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.482
AS - Asia 2.355
EU - Europa 1.412
SA - Sud America 339
AF - Africa 44
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 4
Totale 9.643
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.395
SG - Singapore 1.197
CN - Cina 501
UA - Ucraina 387
BR - Brasile 257
IT - Italia 237
HK - Hong Kong 199
DE - Germania 180
VN - Vietnam 130
FI - Finlandia 123
RU - Federazione Russa 115
SE - Svezia 108
KR - Corea 86
FR - Francia 79
IE - Irlanda 64
IN - India 59
CA - Canada 53
GB - Regno Unito 45
AR - Argentina 39
TR - Turchia 37
BD - Bangladesh 29
IQ - Iraq 19
MX - Messico 17
ZA - Sudafrica 15
BE - Belgio 14
CO - Colombia 13
ID - Indonesia 13
JP - Giappone 11
PK - Pakistan 11
PH - Filippine 10
ES - Italia 9
NL - Olanda 9
CZ - Repubblica Ceca 8
VE - Venezuela 8
EC - Ecuador 7
RO - Romania 7
SA - Arabia Saudita 7
AT - Austria 6
MA - Marocco 6
AE - Emirati Arabi Uniti 5
EU - Europa 5
IR - Iran 5
KZ - Kazakistan 5
PL - Polonia 5
TN - Tunisia 5
UY - Uruguay 4
UZ - Uzbekistan 4
AU - Australia 3
BB - Barbados 3
BO - Bolivia 3
CL - Cile 3
DZ - Algeria 3
EG - Egitto 3
HN - Honduras 3
KE - Kenya 3
LT - Lituania 3
MY - Malesia 3
NI - Nicaragua 3
NP - Nepal 3
OM - Oman 3
TW - Taiwan 3
AZ - Azerbaigian 2
BH - Bahrain 2
EE - Estonia 2
JM - Giamaica 2
JO - Giordania 2
KG - Kirghizistan 2
PT - Portogallo 2
QA - Qatar 2
SN - Senegal 2
SR - Suriname 2
TG - Togo 2
TT - Trinidad e Tobago 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
CW - ???statistics.table.value.countryCode.CW??? 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GR - Grecia 1
GY - Guiana 1
HU - Ungheria 1
KW - Kuwait 1
LB - Libano 1
LK - Sri Lanka 1
LV - Lettonia 1
MT - Malta 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PY - Paraguay 1
SI - Slovenia 1
Totale 9.641
Salva come PNG Salva come JPEG
Città #
Woodbridge 723
Ann Arbor 676
Houston 481
Fairfield 444
Singapore 439
Ashburn 370
Chandler 267
Jacksonville 266
Wilmington 247
Beijing 210
Hong Kong 198
Seattle 182
Cambridge 159
San Jose 153
Dearborn 148
Udine 108
The Dalles 91
Seoul 86
Boardman 74
Council Bluffs 72
Dublin 64
Princeton 64
Los Angeles 61
Lauterbourg 57
Hefei 44
Ho Chi Minh City 43
Santa Clara 30
Trieste 28
Dallas 27
Ottawa 25
New York 24
Hanoi 23
Izmir 23
Buffalo 22
São Paulo 22
Nanjing 20
Redondo Beach 19
San Diego 18
Frankfurt am Main 17
Ogden 16
Mumbai 15
Brussels 13
Norwalk 13
Dong Ket 12
Montreal 12
Reggio Nell'emilia 11
Jinan 10
Monmouth Junction 10
Atlanta 9
Brooklyn 9
Des Moines 9
Kunming 9
Munich 9
Tokyo 9
Baghdad 8
Helsinki 8
London 8
Chennai 7
Guangzhou 7
Manchester 7
Toronto 7
Brno 6
Curitiba 6
Istanbul 6
Johannesburg 6
Milan 6
Nanchang 6
Orem 6
Rio de Janeiro 6
Belo Horizonte 5
Da Nang 5
Denver 5
Falls Church 5
Mexico City 5
Rome 5
San Mateo 5
Tunis 5
Amsterdam 4
Bogotá 4
Dhaka 4
Florianópolis 4
Fortaleza 4
Goiânia 4
Horia 4
Hortolândia 4
Indiana 4
Jeddah 4
Lahore 4
Leawood 4
Long Xuyen 4
Moscow 4
Ningbo 4
Nuremberg 4
Paranaque City 4
Phoenix 4
Pittsburgh 4
Queens 4
Tashkent 4
Thái Bình 4
Vienna 4
Totale 6.423
Salva come PNG Salva come JPEG
Nome #
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 435
Categories of Coalgebraic Games with Selective Sum 207
Categories of Coalgebraic Games 203
Conway Games, coalgebraically 200
A Conditional Logical Framework 196
Axiomatizing Fully Complete Models for ML Polymorphic Types 195
Category theory for operational semantics 191
RPO, second-order contexts, and λ-calculus 191
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 191
An Open Logical Framework 185
Strict Geometry of Interaction Graph Models 184
A type assignment system for game semantics 183
Axiomatic Characterizations of Hyperuniverses and Applications 180
Coinductive Characterizations of Applicative Structures 179
A Framework for Defining Logical Frameworks 179
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 179
Coalgebraic Description of Generalized Binary Methods 175
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 174
Coalgebraic Description of Generalized Binary Methods 174
Conway's Games, algebraically and coalgebraically 168
Processes and Hyperuniverses 166
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 163
Coalgebraic Methods in Computer Science 163
Linear realizability and full completeness for typed lambda calculi 156
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 155
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 153
Logical Predicates as First-Class Citizens in LF 153
Equivalences and Congruences on Infinite Conway's Games 152
Fully-complete PER Model for ML Polymorphic Types 151
RPO, Second-Order Contexts, and λ-Calculus 149
Implementing cantor’s paradise 148
Some Properties and Some Problems on Set Functors 144
Coalgebraic Multigames 141
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 135
Functors Determined by Values on Objects 135
CMCS 2001 134
An Axiomatization of partial n-place Operations 134
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 133
Operations, Collections and Sets within a General Axiomatic Framework 130
Generalized Coiteration Schemata 130
LLF – A Logical-Logical Framework 130
TOSCA 2001 125
Some Results on Restricted lambda-calculi 125
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 120
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 119
Proceedings of COMETA 2003 117
LF+ in Coq for fast-and-loose reasoning 117
Properties of Set Functors 116
Λ!-calculus, intersection types, and involutions 116
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 113
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 113
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 111
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 110
Final Semantics for the pi-calculus 110
Proceedings of the Workshop COMETA Computational Metamodels 108
Final Semantics for untyped lambda-calculus 107
Multigames and strategies, coalgebraically 102
Final Semantics for a higher order concurrent langauage 99
The involutions-as-principal types/ application-as-unification analogy 98
LFP - A Logical Framework with External Predicates 93
Unfixing the Fixpoint: the theories of the lambdaY-calculus 92
Innocent game semantics via intersection type assignment systems 89
Two Views on Unification: Terms as Strategies 75
Principal Types as Lambda Nets 74
Modeling fresh names in the π-calculus using abstractions 68
Principal types as partial involutions 65
On Quantitative Algebraic Higher-Order Theories 46
null 36
Λ-symsym: An interactive tool for playing with involutions and types 33
Totale 9.721
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.604
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 32.604
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202138 0 0 0 0 0 0 0 0 0 0 0 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/20251.535 29 76 89 58 26 52 102 43 120 66 316 558
2025/20262.353 143 223 190 280 345 182 294 66 152 277 121 80
Totale 9.721