IRIS
ROSOLINI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.079
AS - Asia 62
SA - Sud America 14
NA - Nord America 4
AF - Africa 1
Totale 9.160
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 9.078
CN - Cina 54
BR - Brasile 12
US - Stati Uniti d'America 4
VN - Vietnam 4
HK - Hong Kong 2
AR - Argentina 1
DE - Germania 1
PK - Pakistan 1
PY - Paraguay 1
SG - Singapore 1
ZA - Sudafrica 1
Totale 9.160
Salva come PNG Salva come JPEG
Città #
Genova 5.510
Genoa 2.045
Rapallo 804
Vado Ligure 711
Beijing 25
Ashburn 4
Bordighera 3
Guarulhos 2
Hong Kong 2
Milan 2
Rome 2
São Paulo 2
Balsas 1
Cidade Ocidental 1
Coruripe 1
Hanoi 1
Ho Chi Minh City 1
Hưng Yên 1
Johannesburg 1
Marília 1
Munich 1
Patos de Minas 1
Quetta 1
Ribeirão Preto 1
Salto 1
Santo André 1
Tunuyán 1
Totale 9.127
Salva come PNG Salva come JPEG
Nome #
A modular approach to denotational semantics 169
Two models of Synthetic Domain Theory 165
Algebraic types in PER models 141
Synthetic Domain Theory and Models of Linear Abadi-Plotkin Logic 140
Completions, comonoids, and topological spaces 136
The discrete objects in the effective topos 136
Unifying Exact Completions 135
Polymorphism, set theory, and call-by-value 132
Sobriety for equilogical spaces 132
An abstract look at realizability 131
Category Theory. Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 129
Comparing models of higher type computation 129
Locally cartesian closed exact completions 128
TOPOLOGIES AND FREE CONSTRUCTIONS 127
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 127
A categorical view of process refinement 125
Categories and effective computations 123
The category of equilogical spaces and the effective topos as homotopical quotients 123
Relating Quotient Completions via Categorical Logic 123
Repleteness and the associated sheaf 120
A note on Cauchy completeness for preorders 120
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 120
An algebraic description of some state-dependent failure mechanisms 119
Representation theorems for p-categories 117
Reflexive graphs and parametric polymorphism 117
Fixpoint operators for domain equations 116
Quotient completion for the foundation of constructive mathematics 115
Colimit completions and the effective topos 114
Studying repleteness in the category of cpos 113
Custom automations in Mizar 112
Synthetic domain theory and models of linear Abadi-Plotkin logic 111
Domains in H 109
CT2010. Special issue of Journal of Pure and Applied Algebra 107
Sulla orme di Alice nel paese della Scienza 107
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus 105
Lifting 104
Equilogical spaces and filter spaces 103
ELEMENTARY QUOTIENT COMPLETION 103
About modest sets 102
Elementary doctrines as coalgebras 102
Triposes, exact completions, and Hilbert's ε-operator 99
The category of cpos from a synthetic viewpoint 95
Categories of partial maps 94
Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science 93
Equilogical spaces and algebras for a double-power monad 93
Spaces as comonoids 91
Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 90
Realizability. Special Issue of Mathematical Structures in Computer Science 90
Frame extensions in a topos 90
Semilattices and frames in a topos 89
Discorrendo in un bar a Genova, in via Albaro 88
Il gioco della logica di Lewis Carroll (e di altri) 88
Domains and Denotational Semantics: History, Accomplishments and Open Problems 88
A characterisation of elementary fibrations 87
Extensional PERs 86
30x5 - Il luna-park della matematica 86
Il gioco della logica di Lewis Carroll e i sillogismi 85
An ExPER model for QUEST 84
Functorial Parametricity 82
CT2000 Conference. Special Issue of Theory and Applications of Categories 81
Extensional PERs 81
La resa della logica 81
Doctrines, modalities and comonads 81
Preface to the volume on Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 78
Cantor Al Bar 78
Alan Turing: tra logica e informatica 77
Frames and Topological Algebras for a Double-Power Monad 76
Una fetta di scienza 75
Type theory via exact categories (extended abstract) 75
Agorà 74
Paral-lex 73
Matematica al bar 73
Cantor e gli insiemi 73
On lattice extensions 70
Odissea 68
Dinaturality for free 68
Le direzioni della ricerca logica in Italia: teoria delle categorie e logica categoriale 68
Logica nelle applicazioni 67
Domains and dominical categories 67
A comonad for Grothendieck fibrations 66
MateFitness - La palestra della matematica 66
Electronic Notes in Theoretical Computer Science: Preface 66
The Italian Team Competition 65
Didattica della matematica 65
Sfida coi numeri 64
MateFitness - La Palestra della Matematica 63
Dagli insiemi alle categorie 62
MateFitness - La Palestra della Matematica 61
Una matematica diversa 59
Turing, biografia di un pioniere 57
Editorial 57
Elementary fibrations of enriched groupoids 55
Digilandia 53
Le stanze dei numeri 52
Elementary quotient completions, church’s thesis, and partitioned assemblies 52
Etnomatematica 51
La fabbrica dei numeri 51
Gödel al bar 49
Connessioni 45
Local and global problems: the sheaf approach 18
Totale 9.246
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.887
article - articoli 18.432
book - libri 516
conference - conferenze 3.511
curatela - curatele 2.434
other - altro 3.546
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.448
Totale 63.774
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021278 0 0 0 0 17 34 20 31 55 45 35 41
2021/20221.086 19 116 56 148 32 73 96 221 40 100 42 143
2022/20231.018 117 38 5 108 137 195 30 78 212 7 67 24
2023/2024400 35 63 5 60 26 57 18 12 28 7 32 57
2024/20251.510 135 125 48 71 281 153 136 158 48 68 162 125
2025/2026727 351 39 132 200 5 0 0 0 0 0 0 0
Totale 9.246