IRIS
MOGGI, EUGENIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.198
AS - Asia 608
NA - Nord America 388
Continente sconosciuto - Info sul continente non disponibili 33
SA - Sud America 29
AF - Africa 11
Totale 7.267
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 6.100
US - Stati Uniti d'America 370
SG - Singapore 240
CN - Cina 152
VN - Vietnam 126
FR - Francia 50
HK - Hong Kong 25
BD - Bangladesh 19
BR - Brasile 15
JP - Giappone 12
DE - Germania 11
GB - Regno Unito 10
FI - Finlandia 7
MX - Messico 7
CA - Canada 6
IQ - Iraq 6
PH - Filippine 6
CO - Colombia 5
AR - Argentina 4
CH - Svizzera 4
ID - Indonesia 4
EC - Ecuador 3
HN - Honduras 3
UA - Ucraina 3
ZA - Sudafrica 3
AO - Angola 2
EG - Egitto 2
ES - Italia 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
IN - India 1
KR - Corea 1
LB - Libano 1
ME - Montenegro 1
MM - Myanmar 1
MR - Mauritania 1
NI - Nicaragua 1
NL - Olanda 1
NP - Nepal 1
PR - Porto Rico 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.234
Salva come PNG Salva come JPEG
Città #
Genova 4.014
Genoa 1.210
Rapallo 430
Vado Ligure 391
Singapore 110
San Jose 88
Lauterbourg 47
Ho Chi Minh City 42
Ashburn 31
New York 27
Hanoi 24
Beijing 23
Hong Kong 23
Santa Clara 22
Los Angeles 11
Tokyo 11
Bordighera 10
Frankfurt am Main 9
Helsinki 7
Da Nang 6
Baghdad 5
Milan 5
Mexico City 4
Naples 4
Nashville 4
Selvazzano Dentro 4
Trieste 4
Zurich 4
Atlanta 3
Cardiff 3
City of London 3
Hải Dương 3
Nha Trang 3
Phoenix 3
Quảng Ngãi 3
San Francisco 3
São Paulo 3
Tianjin 3
Washington 3
Alexandria 2
Amman 2
Biên Hòa 2
Boardman 2
Bogotá 2
Bologna 2
Brooklyn 2
Buffalo 2
Bến Tre 2
Can Tho 2
Casalecchio di Reno 2
Cincinnati 2
Cleveland 2
Colorado Springs 2
Corona 2
Council Bluffs 2
Culpeper 2
Dallas 2
Dublin 2
Greenville 2
Guangzhou 2
Haiphong 2
Istanbul 2
Janesville 2
Kansas City 2
Lewis Center 2
Lima 2
Luanda 2
Lấp Vò 2
Metairie 2
Olney 2
Paris 2
Rochester 2
Rome 2
San Antonio 2
San Diego 2
Shanghai 2
Sorocaba 2
Stockholm 2
Thái Bình 2
Thái Nguyên 2
Toronto 2
Van Nuys 2
Vĩnh Long 2
Woodbridge 2
Abingdon 1
Ahmedabad 1
Ajman 1
Allentown 1
Ambato 1
Amsterdam 1
Ancona 1
Antioch 1
Avellaneda 1
Baltimore 1
Banjarmasin 1
Barinas 1
Binangonan 1
Blaine 1
Boise 1
Bratislava 1
Totale 6.709
Salva come PNG Salva come JPEG
Nome #
A categorical account of two-level languages 204
A Semantic Account of Rigorous Simulation 192
Notions of computation and monads 191
An abstract monadic semantics for value recursion 185
An idealized MetaML: Simpler, and more expressive 171
A Fresh Calculus for Name Management 171
Monad Transformers as Monoid Transformers 170
A Monadic Multi-stage Metalanguage 170
MetaKlaim: a Type Safe Multi-stage Language for Global Computing 169
Program Generation and Components 167
Computational Lambda-Calculus and Monads 167
A category-theoretic account of program modules 166
Closed types for safe imperative MetaML 166
A Modular Approach to Denotational Semantics 163
The Klaim Project: Theory and practice 162
Closed types as a simple approach to safe imperative multi-stage programming 161
10th Italian Conference on Theoretical Computer Science, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings 158
A Category-theoretic Account of Program Modules 157
Acumen: An open-source testbed for cyber-physical systems research 156
Relating Models of Impredicative Type Theories 154
A General Semantics for Evaluation Logic 153
A Semantics for Evaluation Logic 151
Mixin modules and computational effects 151
Kripke-Style Models for Typed lambda Calculus 150
System Analysis and Robustness 150
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 149
Higher-Order Types and Meta-Programming for Global Computing 143
Monads, Shapely Functors and Traversals 139
Higher-Order Modules and the Phase Distinction 136
Functor categories and two-level languages 136
Multi-Stage Imperative Languages: A Conservative Extension Result 135
Constructive Natural Deduction and its `Omega-Set' Interpretation 134
A Category-Theoretic Characterization of Functional Completeness 133
Structuring Operational Semantics: Simplification and Computation 132
Safe & robust reachability analysis of hybrid systems 132
A fully-abstract model for the pi-calculus (extended version) 131
Global Types and Network Services 131
Monadic encapsulation of effects: a revised approach (extended version) 126
ML-like inference for classifiers 121
Guardians for Ambient-based Monitoring 121
Typed Intermediate Languages for Shape Analysis 116
A Fully-Abstract Model for the pi-Calculus (Extended Abstract) 114
Domains and Denotational Semantics: History, Accomplishments and Open Problems 112
Functorial ML 105
The S-Replete Constuction 100
Monads and Effects 97
MetaKLAIM: meta-programming for global computing (position paper) 94
Functorial ML 92
Perche' Frances E.Allen ha vinto la Turing Award 2006? 82
Sound Over-Approximation of Probabilities 75
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 67
Robustness, Scott continuity, and computability 59
Totale 7.267
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.995
article - articoli 7.875
book - libri 0
conference - conferenze 12.126
curatela - curatele 862
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.132
Totale 45.990
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.399 126 33 122 115 175 158 220 99 94 123 80 54
2026/2027157 157 0 0 0 0 0 0 0 0 0 0 0
Totale 7.267