CINECA IRIS Institutional Research Information System

COPPO, Mario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.392
EU - Europa 2.517
AS - Asia 964
SA - Sud America 11
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
AF - Africa 3
Totale 7.902
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.369
CN - Cina 455
IT - Italia 379
SE - Svezia 372
IE - Irlanda 273
SG - Singapore 252
DE - Germania 251
UA - Ucraina 251
DK - Danimarca 230
FR - Francia 205
FI - Finlandia 196
KR - Corea 147
PL - Polonia 105
GB - Regno Unito 92
VN - Vietnam 52
RU - Federazione Russa 49
AT - Austria 42
GR - Grecia 24
CA - Canada 22
JP - Giappone 22
ID - Indonesia 16
BE - Belgio 15
NL - Olanda 12
AU - Australia 8
IN - India 8
BR - Brasile 7
EU - Europa 6
PT - Portogallo 6
HK - Hong Kong 5
RO - Romania 5
CZ - Repubblica Ceca 4
UY - Uruguay 3
PH - Filippine 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BD - Bangladesh 1
BG - Bulgaria 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CY - Cipro 1
IS - Islanda 1
LU - Lussemburgo 1
MD - Moldavia 1
MT - Malta 1
MU - Mauritius 1
MX - Messico 1
NZ - Nuova Zelanda 1
SA - Arabia Saudita 1
SC - Seychelles 1
TH - Thailandia 1
Totale 7.902
Salva come PNG Salva come JPEG
Città #
Ann Arbor 943
Chandler 381
Santa Clara 356
Beijing 291
Dublin 273
Singapore 208
Fairfield 196
Wilmington 181
Jacksonville 166
Houston 154
Ashburn 153
Torino 142
Dearborn 121
Princeton 117
Villeurbanne 117
Woodbridge 117
Medford 116
Warsaw 101
Guangzhou 90
Columbus 77
Nyköping 73
Seattle 70
Pisa 66
Cambridge 63
Vienna 42
Dong Ket 38
Milan 31
Boston 30
Boardman 29
Fremont 21
Norwalk 18
Redwood City 18
Athens 16
Jakarta 15
San Diego 15
Brussels 14
Helsinki 14
Nanjing 12
Phoenix 12
Verona 12
Mountain View 11
Paris 11
Toronto 11
Falls Church 10
London 10
Rome 10
San Mateo 10
Jinan 8
Tokyo 8
Lappeenranta 7
Dortmund 6
Düsseldorf 6
Kunming 6
Lachine 6
Los Angeles 6
Caraglio 5
Nanchang 5
Padova 5
Philadelphia 5
Des Moines 4
Karlsruhe 4
Melbourne 4
Moncalvo 4
Naples 4
Nürnberg 4
Wayne 4
Catania 3
Central District 3
Chengdu 3
Dudley 3
Fuzhou 3
Horia 3
Montevideo 3
Polska 3
Shanghai 3
Silver Spring 3
Trieste 3
Udine 3
Wuhan 3
Bologna 2
Coimbatore 2
Grafing 2
Groningen 2
Hebei 2
Hefei 2
Huzhou 2
Ladenburg 2
Lyon 2
Munich 2
Nacka 2
Nijmegen 2
Nuremberg 2
Oldenburg 2
Phoenixville 2
Porto 2
Recife 2
Redmond 2
Rimini 2
Saint Petersburg 2
Shenzhen 2
Totale 5.164
Salva come PNG Salva come JPEG
Nome #
Data-driven adaptation for smart sessions 343
Isomorphism of intersection and union types 324
Global Progress for Dynamically Interleaved Multiparty Sessions 240
On Isomorphism of "Functional" Intersection and Union Types. 231
Parallel stochastic systems biology in the cloud 211
Simulation techniques for the calculus of wrapped compartments 198
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 194
Hybrid Calculus of Wrapped Compartments 188
Isomorphism of "Functional" Intersection Types 187
Partial and Complete Processes in Multiparty Sessions 187
Toward Isomorphism of Intersection and Union Types 172
Parallel Stochastic Simulators in System Biology: The Evolution of the Species 169
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 168
Self-Adaptive Monitors for Multiparty Sessions 167
Self-adaptive multiparty sessions 132
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations 120
Modelling an Ammonium Transporter with SCLS 115
Principal type-schemes and lambda-calculus semantics 113
A gentle introduction to multiparty asynchronous session types 112
Type Based Useless-Code Elimination for Functional Programs 109
CWC simulator (Calculus of Wrapped Compartments) 109
On designing multicore-aware simulators for biological systems 107
A Spatial Calculus of Wrapped Compartments 106
A type inference approach to program analysis 103
Type-based useless-code elimination for functional programs - Position paper 103
A new type assignment for lambda-terms 102
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 101
Part II, Recursive types 98
Decidability Properties of Recursive Types 91
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 91
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 90
Asynchronous Session Types and Progress for Object-Oriented Languages 84
Inference based analysis of functional programs: dead-code and strictness 83
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers 83
Functional characters of solvable terms 81
A Mobility Calculus with Local Dependent Types 79
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 79
CWC parallel simulator with on-line statistics 78
Constraints for Service Contracts 77
A Fully Abstract Model for Mobile Ambients 76
Structured Communications with Concurrent Constraints 76
Stochastic Calculus of Wrapped Compartments 75
Two extensions of Curry's type inference system 74
Applicative Information Systems 74
A fully abstract model for higher-order mobile ambients 73
An extension of the basic functionality theory for the lambda-calculus. 73
Global Progress in Dynamically Interleaved Multiparty Sessions 71
CWC Surface Language Software (Prototypal Software) 71
A Filter Lambda Model and the Completeness of Type Assignment 69
Completeness Results for a Polymorphic Type System 68
Multiprocessor architecture for microcomputer-based controls 68
Decidability Properties of Recursive Types 68
"Principal Types and Unification For a Simple Intersection Type System 67
International Conference TYPES 2008 67
A modular multi-microprocessor oriented for real-time controls 65
Types for Ambient and Process Mobility 64
Algorithms and Types 63
Dynamic and Local Typing for Mobile Ambients 62
Type Inference with Recursive Types: Syntax and Semantics 62
An extended polymorphic type system for applicative languages 62
Amalgamating the Session Types and the Object Oriented Programming Paradigms 61
A cold neutron spectrometer for inelastic scattering studies 61
Refinement Types for Program Analysis 60
Type Inference and Logical Relations 60
On strictness and totality 60
A Completeness Theorem for Recursively Defined Types. 58
Completeness of type assignment in continuous lamda-models 56
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus 56
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) 56
Type Theories, Normal Forms and D-infinity–lambda-models 53
Semantic support for a speech understanding system, based on fuzzy relations 53
Strictness, totality, and non-standard type inference 51
Theoretical Computer Science, proceedings of ICTCS 2005, Lecture Notes in Computer Science 3701 46
Type inference and Logical relations 46
On Strictness and Totality 45
null 44
Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers) 43
Type Inference with Recursive Type Equations 42
Termination tests inside lambda-calculus 42
Tipi e polimorfismo nei linguaggi di programmazione 37
Theory of Compting Systems: ICTCS '05 selected papers 36
Incremental inference of partial types 36
RAIRO - Theoretical Informatics and Applications: ICTCS 09 ISSN :0988-3754 35
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus 33
General interface circuit for time-of-flight measurement with cold neutrons 33
On the semantics of polymorphism 33
M3: Mobility Types for Mobile Processes in Mobile Ambients 33
Type Inference, Abstract Interpretation and Strictness Analysis. 33
Extended Type Structures and Filter Lambda Models 32
Totale 8.207
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.227
article - articoli 0
book - libri 0
conference - conferenze 8.268
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 29.495
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020713 0 0 0 0 0 166 154 76 109 76 89 43
2020/20211.546 102 38 89 44 172 190 204 132 209 166 121 79
2021/2022883 16 14 14 100 74 19 96 47 15 59 219 210
2022/20231.125 130 60 22 97 115 313 109 82 122 8 44 23
2023/2024382 59 87 30 17 20 31 4 8 0 22 28 76
2024/2025848 10 135 73 134 434 62 0 0 0 0 0 0
Totale 8.207