CINECA IRIS Institutional Research Information System

COPPO, Mario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.799
EU - Europa 2.446
AS - Asia 681
SA - Sud America 11
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 5
AF - Africa 2
Totale 6.950
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.777
CN - Cina 436
SE - Svezia 372
IT - Italia 367
IE - Irlanda 273
UA - Ucraina 251
DE - Germania 246
DK - Danimarca 230
FR - Francia 200
FI - Finlandia 188
KR - Corea 147
PL - Polonia 105
GB - Regno Unito 89
VN - Vietnam 52
AT - Austria 42
JP - Giappone 22
CA - Canada 21
GR - Grecia 20
RU - Federazione Russa 16
BE - Belgio 14
NL - Olanda 12
IN - India 8
BR - Brasile 7
EU - Europa 6
PT - Portogallo 6
RO - Romania 5
SG - Singapore 5
AU - Australia 4
CZ - Repubblica Ceca 4
HK - Hong Kong 4
UY - Uruguay 3
PH - Filippine 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BD - Bangladesh 1
BG - Bulgaria 1
CH - Svizzera 1
CY - Cipro 1
ID - Indonesia 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
Totale 6.950
Salva come PNG Salva come JPEG
Città #
Ann Arbor 943
Chandler 381
Beijing 291
Dublin 273
Fairfield 196
Wilmington 181
Jacksonville 166
Houston 154
Ashburn 145
Torino 142
Dearborn 121
Princeton 117
Villeurbanne 117
Woodbridge 117
Medford 116
Warsaw 101
Guangzhou 80
Nyköping 73
Seattle 70
Pisa 66
Cambridge 63
Vienna 42
Dong Ket 38
Milan 31
Boston 30
Boardman 25
Fremont 21
Norwalk 18
Redwood City 18
San Diego 15
Brussels 13
Athens 12
Nanjing 12
Phoenix 12
Verona 12
Mountain View 11
Paris 11
Toronto 11
Falls Church 10
San Mateo 10
Helsinki 8
Jinan 8
London 8
Tokyo 8
Rome 7
Dortmund 6
Düsseldorf 6
Kunming 6
Lachine 6
Los Angeles 6
Lappeenranta 5
Nanchang 5
Padova 5
Des Moines 4
Karlsruhe 4
Moncalvo 4
Naples 4
Nürnberg 4
Singapore 4
Wayne 4
Catania 3
Central District 3
Chengdu 3
Dudley 3
Fuzhou 3
Horia 3
Montevideo 3
Philadelphia 3
Polska 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
Oldenburg 2
Phoenixville 2
Porto 2
Recife 2
Redmond 2
Rimini 2
Saint Petersburg 2
Shanghai 2
Simi Valley 2
São Paulo 2
Turin 2
Vigliano Biellese 2
Washington 2
Zhengzhou 2
Adelaide 1
Totale 4.469
Salva come PNG Salva come JPEG
Nome #
Data-driven adaptation for smart sessions 332
Isomorphism of intersection and union types 311
Global Progress for Dynamically Interleaved Multiparty Sessions 228
On Isomorphism of "Functional" Intersection and Union Types. 217
Parallel stochastic systems biology in the cloud 191
Simulation techniques for the calculus of wrapped compartments 178
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 178
Hybrid Calculus of Wrapped Compartments 177
Isomorphism of "Functional" Intersection Types 172
Partial and Complete Processes in Multiparty Sessions 172
Toward Isomorphism of Intersection and Union Types 159
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 155
Parallel Stochastic Simulators in System Biology: The Evolution of the Species 155
Self-Adaptive Monitors for Multiparty Sessions 154
Self-adaptive multiparty sessions 120
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations 106
Modelling an Ammonium Transporter with SCLS 103
Type Based Useless-Code Elimination for Functional Programs 101
Principal type-schemes and lambda-calculus semantics 100
A type inference approach to program analysis 96
On designing multicore-aware simulators for biological systems 95
A gentle introduction to multiparty asynchronous session types 95
A new type assignment for lambda-terms 95
CWC simulator (Calculus of Wrapped Compartments) 93
A Spatial Calculus of Wrapped Compartments 93
Type-based useless-code elimination for functional programs - Position paper 93
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 85
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 83
Part II, Recursive types 82
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 79
Functional characters of solvable terms 75
Asynchronous Session Types and Progress for Object-Oriented Languages 73
Decidability Properties of Recursive Types 73
A Mobility Calculus with Local Dependent Types 72
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 71
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers 70
Structured Communications with Concurrent Constraints 70
Constraints for Service Contracts 70
Inference based analysis of functional programs: dead-code and strictness 69
CWC parallel simulator with on-line statistics 67
A Fully Abstract Model for Mobile Ambients 66
An extension of the basic functionality theory for the lambda-calculus. 64
Applicative Information Systems 63
A fully abstract model for higher-order mobile ambients 61
Stochastic Calculus of Wrapped Compartments 61
Completeness Results for a Polymorphic Type System 61
Global Progress in Dynamically Interleaved Multiparty Sessions 59
"Principal Types and Unification For a Simple Intersection Type System 58
Two extensions of Curry's type inference system 58
A Filter Lambda Model and the Completeness of Type Assignment 58
International Conference TYPES 2008 56
Multiprocessor architecture for microcomputer-based controls 56
Refinement Types for Program Analysis 55
A modular multi-microprocessor oriented for real-time controls 55
Types for Ambient and Process Mobility 54
Decidability Properties of Recursive Types 54
A cold neutron spectrometer for inelastic scattering studies 53
Algorithms and Types 51
An extended polymorphic type system for applicative languages 51
A Completeness Theorem for Recursively Defined Types. 51
CWC Surface Language Software (Prototypal Software) 51
Completeness of type assignment in continuous lamda-models 50
Type Inference with Recursive Types: Syntax and Semantics 50
Dynamic and Local Typing for Mobile Ambients 48
Amalgamating the Session Types and the Object Oriented Programming Paradigms 48
On strictness and totality 48
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) 48
Semantic support for a speech understanding system, based on fuzzy relations 46
Strictness, totality, and non-standard type inference 46
Type Theories, Normal Forms and D-infinity–lambda-models 45
null 44
Type Inference and Logical Relations 43
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus 43
On Strictness and Totality 41
Theoretical Computer Science, proceedings of ICTCS 2005, Lecture Notes in Computer Science 3701 39
Type Inference with Recursive Type Equations 37
Termination tests inside lambda-calculus 37
Type inference and Logical relations 36
Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers) 33
Theory of Compting Systems: ICTCS '05 selected papers 32
Incremental inference of partial types 31
RAIRO - Theoretical Informatics and Applications: ICTCS 09 ISSN :0988-3754 30
Tipi e polimorfismo nei linguaggi di programmazione 30
General interface circuit for time-of-flight measurement with cold neutrons 28
On the semantics of polymorphism 28
Extended Type Structures and Filter Lambda Models 26
Type Inference, Abstract Interpretation and Strictness Analysis. 24
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus 22
M3: Mobility Types for Mobile Processes in Mobile Ambients 18
Totale 7.255
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.874
article - articoli 0
book - libri 0
conference - conferenze 6.584
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 23.458
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019271 0 0 0 0 0 0 0 0 0 0 195 76
2019/20201.253 45 84 134 163 114 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/2024278 59 87 30 17 20 31 4 8 0 22 0 0
Totale 7.255