MOGGI, EUGENIO
 Distribuzione geografica
Continente #
EU - Europa 6.060
AS - Asia 185
SA - Sud America 22
NA - Nord America 15
AF - Africa 5
Totale 6.287
Nazione #
IT - Italia 6.056
CN - Cina 69
SG - Singapore 58
VN - Vietnam 37
BR - Brasile 13
US - Stati Uniti d'America 9
IQ - Iraq 5
CO - Colombia 4
HK - Hong Kong 4
MX - Messico 4
AO - Angola 2
AR - Argentina 2
EC - Ecuador 2
ID - Indonesia 2
PK - Pakistan 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
GB - Regno Unito 1
HN - Honduras 1
JO - Giordania 1
JP - Giappone 1
ME - Montenegro 1
MM - Myanmar 1
NI - Nicaragua 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SE - Svezia 1
SN - Senegal 1
TR - Turchia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 6.287
Città #
Genova 4.014
Genoa 1.208
Rapallo 430
Vado Ligure 391
Singapore 35
Beijing 15
Ho Chi Minh City 13
Bordighera 10
Hanoi 6
Ashburn 5
Baghdad 4
Hong Kong 4
São Paulo 3
Tianjin 3
Da Nang 2
Haiphong 2
Luanda 2
Lấp Vò 2
San Jose 2
Shanghai 2
Sorocaba 2
Thái Bình 2
Ajman 1
Ambato 1
Amman 1
Biên Hòa 1
Bogotá 1
Cao Lanh 1
Cuautitlán Izcalli 1
Dakar 1
Del Viso 1
Denver 1
Dumont 1
Guangzhou 1
Hải Dương 1
Ibiraci 1
Islamabad 1
Istanbul 1
Jakarta 1
Jeddah 1
Johannesburg 1
Khanewal 1
Linfen 1
London 1
Managua 1
Mariano Moreno 1
Medellín 1
Mexico City 1
Milan 1
Montevideo 1
Najaf 1
Nantong 1
Pasto 1
Podgorica 1
Quảng Nam Province 1
Quảng Ngãi 1
Resende 1
Rostov-on-Don 1
San Nicolás de los Garza 1
San Pedro Sula 1
Santa Cruz do Sul 1
Santa Rosa 1
Santo André 1
Santo Cristo 1
Santo Estêvão 1
Stellenbosch 1
Stockholm 1
São Martinho 1
Tashkent 1
Thái Nguyên 1
Tokyo 1
Villavicencio 1
Yogyakarta 1
Totale 6.208
Nome #
A categorical account of two-level languages 176
Notions of computation and monads 170
An abstract monadic semantics for value recursion 167
A Semantic Account of Rigorous Simulation 162
Monad Transformers as Monoid Transformers 157
Program Generation and Components 156
MetaKlaim: a Type Safe Multi-stage Language for Global Computing 156
A Fresh Calculus for Name Management 154
Closed types for safe imperative MetaML 151
An idealized MetaML: Simpler, and more expressive 148
A Monadic Multi-stage Metalanguage 147
A category-theoretic account of program modules 145
The Klaim Project: Theory and practice 144
Computational Lambda-Calculus and Monads 144
A Modular Approach to Denotational Semantics 142
Closed types as a simple approach to safe imperative multi-stage programming 141
A Category-theoretic Account of Program Modules 140
Mixin modules and computational effects 136
10th Italian Conference on Theoretical Computer Science, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings 135
Kripke-Style Models for Typed lambda Calculus 134
Relating Models of Impredicative Type Theories 134
Higher-Order Types and Meta-Programming for Global Computing 133
A Semantics for Evaluation Logic 133
Acumen: An open-source testbed for cyber-physical systems research 133
A General Semantics for Evaluation Logic 132
Monads, Shapely Functors and Traversals 127
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 126
Functor categories and two-level languages 124
Higher-Order Modules and the Phase Distinction 119
Constructive Natural Deduction and its `Omega-Set' Interpretation 119
Global Types and Network Services 118
Structuring Operational Semantics: Simplification and Computation 118
Monadic encapsulation of effects: a revised approach (extended version) 116
System Analysis and Robustness 116
A fully-abstract model for the pi-calculus (extended version) 114
A Category-Theoretic Characterization of Functional Completeness 114
Multi-Stage Imperative Languages: A Conservative Extension Result 112
ML-like inference for classifiers 109
Guardians for Ambient-based Monitoring 109
Safe & robust reachability analysis of hybrid systems 108
Typed Intermediate Languages for Shape Analysis 99
A Fully-Abstract Model for the pi-Calculus (Extended Abstract) 93
Functorial ML 91
Domains and Denotational Semantics: History, Accomplishments and Open Problems 91
The S-Replete Constuction 84
Monads and Effects 84
MetaKLAIM: meta-programming for global computing (position paper) 76
Functorial ML 73
Perche' Frances E.Allen ha vinto la Turing Award 2006? 71
Sound Over-Approximation of Probabilities 56
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 46
Robustness, Scott continuity, and computability 37
Totale 6.320
Categoria #
all - tutte 20.061
article - articoli 6.840
book - libri 0
conference - conferenze 10.675
curatela - curatele 756
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.790
Totale 40.122


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021243 0 0 0 0 0 26 41 29 47 39 28 33
2021/2022652 25 74 55 54 16 30 65 148 19 56 46 64
2022/2023542 61 41 6 44 106 101 2 45 91 5 29 11
2023/2024319 19 41 8 24 19 92 28 4 9 17 26 32
2024/2025810 49 60 33 48 133 94 73 120 28 33 67 72
2025/2026609 126 33 122 115 175 38 0 0 0 0 0 0
Totale 6.320