MOGGI, EUGENIO
 Distribuzione geografica
Continente #
EU - Europa 6.173
AS - Asia 588
NA - Nord America 257
SA - Sud America 26
AF - Africa 10
Totale 7.054
Nazione #
IT - Italia 6.078
US - Stati Uniti d'America 247
SG - Singapore 240
CN - Cina 151
VN - Vietnam 124
FR - Francia 48
HK - Hong Kong 23
BR - Brasile 14
JP - Giappone 12
DE - Germania 11
GB - Regno Unito 10
FI - Finlandia 7
IQ - Iraq 6
MX - Messico 6
PH - Filippine 6
AR - Argentina 4
BD - Bangladesh 4
CH - Svizzera 4
CO - Colombia 4
ID - Indonesia 4
UA - Ucraina 3
ZA - Sudafrica 3
AO - Angola 2
CA - Canada 2
EC - Ecuador 2
EG - Egitto 2
IE - Irlanda 2
JO - Giordania 2
MY - Malesia 2
PK - Pakistan 2
RO - Romania 2
RU - Federazione Russa 2
SE - Svezia 2
TR - Turchia 2
AE - Emirati Arabi Uniti 1
DZ - Algeria 1
ES - Italia 1
HN - Honduras 1
IN - India 1
KR - Corea 1
LB - Libano 1
ME - Montenegro 1
MM - Myanmar 1
NI - Nicaragua 1
NL - Olanda 1
NP - Nepal 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
TW - Taiwan 1
UY - Uruguay 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 7.054
Città #
Genova 4.014
Genoa 1.208
Rapallo 430
Vado Ligure 391
Singapore 110
San Jose 84
Lauterbourg 47
Ho Chi Minh City 42
New York 25
Ashburn 23
Beijing 22
Hanoi 22
Hong Kong 22
Santa Clara 18
Tokyo 11
Bordighera 10
Frankfurt am Main 9
Helsinki 7
Da Nang 6
Baghdad 5
Los Angeles 4
Milan 4
Trieste 4
Zurich 4
Atlanta 3
Cardiff 3
City of London 3
Hải Dương 3
Mexico City 3
Nha Trang 3
Quảng Ngãi 3
São Paulo 3
Tianjin 3
Amman 2
Biên Hòa 2
Boardman 2
Bến Tre 2
Can Tho 2
Council Bluffs 2
Dublin 2
Guangzhou 2
Haiphong 2
Istanbul 2
Luanda 2
Lấp Vò 2
Naples 2
Nashville 2
Rome 2
Shanghai 2
Sorocaba 2
Stockholm 2
Thái Bình 2
Thái Nguyên 2
Vĩnh Long 2
Ahmedabad 1
Ajman 1
Ambato 1
Amsterdam 1
Avellaneda 1
Banjarmasin 1
Barinas 1
Binangonan 1
Bogotá 1
Boise 1
Bratislava 1
Brooklyn 1
Bucharest 1
Cabanatuan City 1
Cadoneghe 1
Cagliari 1
Cairo 1
Calamba 1
Cao Lanh 1
Cape Town 1
Chicago 1
Chittagong 1
Chongqing 1
Cincinnati 1
Clementon 1
Cuautitlán Izcalli 1
Cypress 1
Dakar 1
Damascus 1
Del Viso 1
Denver 1
Dumont 1
East Stroudsburg 1
Elk Grove 1
Essen 1
Fredericksburg 1
Go Vap 1
Greenwood 1
Grosse Pointe 1
Gyeonggi-do 1
Ha Long 1
Houma 1
Houston 1
Hudson 1
Hưng Yên 1
Ibiraci 1
Totale 6.637
Nome #
A categorical account of two-level languages 202
Notions of computation and monads 187
A Semantic Account of Rigorous Simulation 185
An abstract monadic semantics for value recursion 181
An idealized MetaML: Simpler, and more expressive 168
Monad Transformers as Monoid Transformers 168
MetaKlaim: a Type Safe Multi-stage Language for Global Computing 168
A Fresh Calculus for Name Management 166
Program Generation and Components 166
A Monadic Multi-stage Metalanguage 165
Computational Lambda-Calculus and Monads 164
Closed types for safe imperative MetaML 163
A category-theoretic account of program modules 160
The Klaim Project: Theory and practice 160
A Modular Approach to Denotational Semantics 160
Closed types as a simple approach to safe imperative multi-stage programming 157
A Category-theoretic Account of Program Modules 153
10th Italian Conference on Theoretical Computer Science, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings 152
Relating Models of Impredicative Type Theories 151
Mixin modules and computational effects 150
Acumen: An open-source testbed for cyber-physical systems research 150
A General Semantics for Evaluation Logic 147
Kripke-Style Models for Typed lambda Calculus 147
A Semantics for Evaluation Logic 146
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 144
System Analysis and Robustness 143
Higher-Order Types and Meta-Programming for Global Computing 142
Monads, Shapely Functors and Traversals 136
Functor categories and two-level languages 134
Constructive Natural Deduction and its `Omega-Set' Interpretation 133
Higher-Order Modules and the Phase Distinction 132
Global Types and Network Services 130
A Category-Theoretic Characterization of Functional Completeness 130
Multi-Stage Imperative Languages: A Conservative Extension Result 130
Structuring Operational Semantics: Simplification and Computation 129
Safe & robust reachability analysis of hybrid systems 129
A fully-abstract model for the pi-calculus (extended version) 126
Monadic encapsulation of effects: a revised approach (extended version) 125
ML-like inference for classifiers 119
Guardians for Ambient-based Monitoring 116
Typed Intermediate Languages for Shape Analysis 113
A Fully-Abstract Model for the pi-Calculus (Extended Abstract) 109
Domains and Denotational Semantics: History, Accomplishments and Open Problems 108
Functorial ML 104
The S-Replete Constuction 98
Monads and Effects 96
MetaKLAIM: meta-programming for global computing (position paper) 91
Functorial ML 88
Perche' Frances E.Allen ha vinto la Turing Award 2006? 81
Sound Over-Approximation of Probabilities 70
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 60
Robustness, Scott continuity, and computability 55
Totale 7.087
Categoria #
all - tutte 22.010
article - articoli 7.516
book - libri 0
conference - conferenze 11.637
curatela - curatele 827
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.030
Totale 44.020


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202133 0 0 0 0 0 0 0 0 0 0 0 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/20261.376 126 33 122 115 175 158 220 99 94 123 80 31
Totale 7.087