IRIS
LENISA, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.597
AS - Asia 2.365
EU - Europa 1.467
SA - Sud America 340
Continente sconosciuto - Info sul continente non disponibili 85
AF - Africa 44
OC - Oceania 4
Totale 9.902
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.502
SG - Singapore 1.200
CN - Cina 505
UA - Ucraina 388
IT - Italia 286
BR - Brasile 258
HK - Hong Kong 200
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 58
GB - Regno Unito 46
AR - Argentina 39
TR - Turchia 37
BD - Bangladesh 31
IQ - Iraq 19
MX - Messico 18
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
RO - Romania 8
VE - Venezuela 8
EC - Ecuador 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
HN - Honduras 4
UY - Uruguay 4
UZ - Uzbekistan 4
AU - Australia 3
BB - Barbados 3
BO - Bolivia 3
CL - Cile 3
DZ - Algeria 3
EG - Egitto 3
KE - Kenya 3
LT - Lituania 3
MY - Malesia 3
NI - Nicaragua 3
NP - Nepal 3
OM - Oman 3
PT - Portogallo 3
TW - Taiwan 3
AZ - Azerbaigian 2
BH - Bahrain 2
EE - Estonia 2
GR - Grecia 2
JM - Giamaica 2
JO - Giordania 2
KG - Kirghizistan 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
CH - Svizzera 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
GY - Guiana 1
HU - Ungheria 1
KW - Kuwait 1
LB - Libano 1
LC - Santa Lucia 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
Totale 9.820
Salva come PNG Salva come JPEG
Città #
Woodbridge 724
Ann Arbor 676
Houston 481
Fairfield 444
Singapore 440
Ashburn 419
Chandler 267
Jacksonville 267
Wilmington 248
Beijing 212
Hong Kong 199
Seattle 182
Cambridge 159
San Jose 155
Dearborn 148
Udine 108
The Dalles 91
Seoul 86
Boardman 74
Council Bluffs 72
Dublin 64
Los Angeles 64
Princeton 64
Lauterbourg 57
Hefei 44
Ho Chi Minh City 43
Santa Clara 40
Dallas 29
Trieste 28
New York 25
Ottawa 25
Hanoi 23
Izmir 23
Buffalo 22
São Paulo 22
Nanjing 20
Milan 19
Redondo Beach 19
San Diego 18
Frankfurt am Main 17
Ogden 16
Mumbai 15
Brussels 13
Norwalk 13
Dong Ket 12
Montreal 12
Brooklyn 11
Reggio Nell'emilia 11
Atlanta 10
Jinan 10
Miano 10
Monmouth Junction 10
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
Nanchang 6
Orem 6
Rio de Janeiro 6
Belo Horizonte 5
Da Nang 5
Denver 5
Falls Church 5
Mexico City 5
Phoenix 5
Queens 5
Rome 5
San Mateo 5
Tunis 5
Amsterdam 4
Bogotá 4
Chicago 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
Pittsburgh 4
Tashkent 4
Totale 6.521
Salva come PNG Salva come JPEG
Nome #
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 438
Categories of Coalgebraic Games with Selective Sum 208
Categories of Coalgebraic Games 206
Conway Games, coalgebraically 203
Axiomatizing Fully Complete Models for ML Polymorphic Types 199
A Conditional Logical Framework 198
Category theory for operational semantics 196
An Open Logical Framework 194
RPO, second-order contexts, and λ-calculus 193
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 192
Strict Geometry of Interaction Graph Models 186
A type assignment system for game semantics 185
Axiomatic Characterizations of Hyperuniverses and Applications 183
Coinductive Characterizations of Applicative Structures 182
A Framework for Defining Logical Frameworks 181
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 181
Coalgebraic Description of Generalized Binary Methods 177
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 177
Coalgebraic Description of Generalized Binary Methods 176
Conway's Games, algebraically and coalgebraically 170
Processes and Hyperuniverses 169
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 166
Coalgebraic Methods in Computer Science 164
Linear realizability and full completeness for typed lambda calculi 160
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 159
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 156
Implementing cantor’s paradise 155
Equivalences and Congruences on Infinite Conway's Games 154
Logical Predicates as First-Class Citizens in LF 154
RPO, Second-Order Contexts, and λ-Calculus 154
Fully-complete PER Model for ML Polymorphic Types 153
Some Properties and Some Problems on Set Functors 148
Coalgebraic Multigames 142
Functors Determined by Values on Objects 138
CMCS 2001 137
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 137
An Axiomatization of partial n-place Operations 135
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 135
Generalized Coiteration Schemata 133
LLF – A Logical-Logical Framework 132
Operations, Collections and Sets within a General Axiomatic Framework 131
Some Results on Restricted lambda-calculi 127
TOSCA 2001 126
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 124
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 122
LF+ in Coq for fast-and-loose reasoning 122
Λ!-calculus, intersection types, and involutions 120
Properties of Set Functors 118
Proceedings of COMETA 2003 118
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 116
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 115
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 115
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 113
Final Semantics for the pi-calculus 112
Final Semantics for untyped lambda-calculus 109
Proceedings of the Workshop COMETA Computational Metamodels 109
Multigames and strategies, coalgebraically 102
Final Semantics for a higher order concurrent langauage 101
The involutions-as-principal types/ application-as-unification analogy 98
LFP - A Logical Framework with External Predicates 96
Unfixing the Fixpoint: the theories of the lambdaY-calculus 95
Innocent game semantics via intersection type assignment systems 90
Two Views on Unification: Terms as Strategies 80
Principal Types as Lambda Nets 78
Modeling fresh names in the π-calculus using abstractions 70
Principal types as partial involutions 67
On Quantitative Algebraic Higher-Order Theories 50
Λ-symsym: An interactive tool for playing with involutions and types 36
null 36
Totale 9.902
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.582
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 33.582
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022534 0 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.365 143 223 190 280 345 182 294 66 152 277 121 92
2026/2027169 66 103 0 0 0 0 0 0 0 0 0 0
Totale 9.902