CINECA IRIS Institutional Research Information System

DEZANI, Mariangiola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.178
EU - Europa 4.845
AS - Asia 1.888
SA - Sud America 20
Continente sconosciuto - Info sul continente non disponibili 14
AF - Africa 13
OC - Oceania 9
Totale 13.967
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.108
CN - Cina 876
IE - Irlanda 653
SE - Svezia 611
IT - Italia 609
UA - Ucraina 541
DK - Danimarca 513
DE - Germania 456
FI - Finlandia 453
FR - Francia 387
SG - Singapore 373
KR - Corea 362
PL - Polonia 242
GB - Regno Unito 204
VN - Vietnam 147
RU - Federazione Russa 71
CA - Canada 70
ID - Indonesia 43
JP - Giappone 24
NL - Olanda 24
TR - Turchia 21
BE - Belgio 18
IN - India 17
GR - Grecia 16
BR - Brasile 13
EU - Europa 13
MU - Mauritius 9
RO - Romania 8
AT - Austria 6
NO - Norvegia 6
AU - Australia 5
CH - Svizzera 5
HK - Hong Kong 5
AE - Emirati Arabi Uniti 4
CZ - Repubblica Ceca 4
ES - Italia 4
NZ - Nuova Zelanda 4
SA - Arabia Saudita 4
BG - Bulgaria 3
IR - Iran 3
LT - Lituania 3
PT - Portogallo 3
UY - Uruguay 3
CI - Costa d'Avorio 2
CO - Colombia 2
EE - Estonia 2
NG - Nigeria 2
PH - Filippine 2
A1 - Anonimo 1
AR - Argentina 1
BD - Bangladesh 1
CY - Cipro 1
IS - Islanda 1
KH - Cambogia 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MT - Malta 1
RS - Serbia 1
TH - Thailandia 1
TW - Taiwan 1
VE - Venezuela 1
Totale 13.967
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.415
Dublin 653
Beijing 640
Chandler 620
Fairfield 505
Wilmington 369
Jacksonville 337
Houston 315
Ashburn 281
Singapore 279
Princeton 272
Woodbridge 266
Medford 263
Warsaw 236
Villeurbanne 211
Seattle 209
Cambridge 173
Torino 166
Pisa 153
Dearborn 147
Guangzhou 138
Dong Ket 110
Nyköping 96
Fremont 77
Boston 70
Milan 67
Boardman 59
Norwalk 56
Verona 46
Jakarta 42
Toronto 39
Phoenix 30
Redwood City 30
Helsinki 29
Santa Clara 29
Turin 27
Falls Church 26
San Diego 25
Lachine 23
San Mateo 23
Bursa 16
Wayne 14
Kunming 13
New York 13
Padova 13
Hefei 12
Jinan 12
Brussels 11
Lappeenranta 11
Mountain View 11
Paris 11
Rome 11
Düsseldorf 10
Las Vegas 10
London 10
Naples 10
Des Moines 8
Los Angeles 8
Nuremberg 8
Philadelphia 8
Caraglio 7
Pune 7
Recife 7
Dortmund 6
Karlsruhe 6
Ludwigshafen 6
Nanjing 6
Redmond 6
Lembeek 5
Munich 5
Nanchang 5
Shanghai 5
Shenyang 5
Tokyo 5
Vienna 5
Auburn Hills 4
Bari 4
Grafing 4
Istanbul 4
Nürnberg 4
Polska 4
Tappahannock 4
Zhengzhou 4
Alzano Lombardo 3
Athens 3
Bologna 3
Bucharest 3
Buffalo 3
Catania 3
Chennai 3
Dallas 3
Dudley 3
Groningen 3
Marco 3
Montevideo 3
Oslo 3
Pianezza 3
Taurage 3
Abidjan 2
Abuja 2
Totale 8.939
Salva come PNG Salva come JPEG
Nome #
Data-driven adaptation for smart sessions 335
Isomorphism of intersection and union types 314
On Sessions and Infinite Data 302
Preciseness of Subtyping on Intersection and Union Types 247
Java & Lambda: a Featherweight Story 234
Information flow safety in multiparty sessions 233
Global Progress for Dynamically Interleaved Multiparty Sessions 232
Combining behavioural types with security analysis 223
On Isomorphism of "Functional" Intersection and Union Types. 222
Foundations of Session Types: 10 Years Later 211
Deriving Session and Union Types for Objects 210
Secure Multiparty Sessions with Topics 210
On sessions and infinite data 209
Reversible client/server interactions 178
Isomorphism of "Functional" Intersection Types 176
Partial and Complete Processes in Multiparty Sessions 176
Typing access control and secure information flow in sessions 168
Toward Isomorphism of Intersection and Union Types 164
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 160
Self-Adaptive Monitors for Multiparty Sessions 160
Compliance for reversible client/server interactions 160
Session Type Isomorphisms 143
Session Types for Access and Information Flow Control 133
On the Preciseness of Subtyping in Session Types 133
Self-adaptive multiparty sessions 126
Soundness Conditions for Big-Step Semantics 116
On Re-classification and Multithreading 111
On Global Types and Multi-Party Sessions 110
A Reputation System for Multirole Sessions 108
Tracing where and who provenance in Linked Data: a calculus 108
On Global Types and Multi-Party Sessions 105
Information Flow Safety in Multiparty Sessions 105
A gentle introduction to multiparty asynchronous session types 105
Principal type-schemes and lambda-calculus semantics 102
Type Directed Semantics for the Calculus of Looping Sequences 99
Sessions and Session Types: an Overview 98
Types for Role-Based Access Control of Dynamic Web Data 97
Extending the lambda-calculus with unbind and rebind 97
A new type assignment for lambda-terms 97
Towards a Semantic Model for Java Wildcards 90
On Progress for Structured Communications 89
Intersection Types 86
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications 86
Intersection Types, Lambda-models and Böhm Trees. 82
A Formalism for the Description of Protein Interaction 82
Functional characters of solvable terms 78
A Calculus of Looping Sequences with Local Rules 78
Asynchronous Session Types and Progress for Object-Oriented Languages 76
A CUCH-machine: the automatic treatment of bound variables 76
A Behavioural Model for Klop's Calculus 74
Bounded Session Types for Object-Oriented Languages 73
A Mobility Calculus with Local Dependent Types 73
A Filter Model for Mobile Processes 73
Amalgamating Sessions and Methods in Object Oriented Languages with Generics 73
Session Types for Object-Oriented Languages 72
Structured Communications with Concurrent Constraints 72
Isomorphism checker for intersection-types 72
Intersection Types for Unbind and Rebind 72
A Fully Abstract Model for Mobile Ambients 71
Subtyping Constraints for Incomplete Objects 71
Constraints for Service Contracts 70
F-Semantics for Intersection Type Discipline 70
A tale of intersection types 70
Session and Union Types for Object Oriented Programming 68
Type Preorders and Recursive Terms 67
A characterization of F-complete assignments 67
A fully abstract model for higher-order mobile ambients 67
Behavioural inverse limit λ-models 67
An extension of the basic functionality theory for the lambda-calculus. 67
A collection of contributions in honour of C. Bohm 67
Applicative Information Systems 67
Boxed ambients with communication interfaces 66
Encoding CDuce in the Cpi-calculus 66
Inverse limit models as filter models 66
A Filter Model for Concurrent Lambda-calculi 66
Re-classification and multithreading: FickleMT 66
A Calculus of Evolving Objects 66
Tailoring filter models 65
A complete characterization of complete intersection-type preorders. 65
A calculus of bounded capacities 65
On Isomorphisms of Intersection Types 65
Bohm's Theorem 65
A Subtyping for Extensible, Incomplete Objects 64
A Convex Powerdomain over Lattices: its Logic and λ-Calculus 64
A Filter Lambda Model and the Completeness of Type Assignment 63
Boxed Ambients with Communication Interfaces (Full Version) 62
Types and Roles for Web Security 62
Normalisation is Insensible to Lambda-term Identity or Difference 61
Fickle: Dynamic object re-classification. 60
Global Progress in Dynamically Interleaved Multiparty Sessions 60
International Conference TYPES 2008 59
A Characterization of F-Complete Type Assignments 59
Filter Models for Conjunctive-Disjunctive Lambda-calculus 58
A Discrimination Algorithm inside Lambda-calculus 58
Types for Ambient and Process Mobility 57
From Böhm's Theorem to Observational Equivalences: an Informal Account 56
Algorithms and Types 56
Amalgamating the Session Types and the Object Oriented Programming Paradigms 55
Ldoos: a Distributed Object-Oriented language with Session types 55
Application of Chuch-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms 54
Totale 10.667
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.312
article - articoli 0
book - libri 0
conference - conferenze 10.615
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 47.927
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.416 0 0 307 432 247 283 293 143 273 156 189 93
2020/20212.799 199 66 161 184 262 264 340 209 365 338 200 211
2021/20221.603 21 31 37 123 96 38 188 85 43 134 313 494
2022/20232.058 296 98 43 172 205 638 217 102 168 20 70 29
2023/2024823 113 160 42 37 55 48 41 10 3 63 84 167
2024/2025386 48 230 108 0 0 0 0 0 0 0 0 0
Totale 14.595