IRIS
GIANNINI, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.929
NA - Nord America 1.909
AS - Asia 216
Continente sconosciuto - Info sul continente non disponibili 8
SA - Sud America 2
OC - Oceania 1
Totale 4.065
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.898
IE - Irlanda 708
SE - Svezia 295
DE - Germania 284
UA - Ucraina 263
IT - Italia 181
CN - Cina 143
FI - Finlandia 139
HK - Hong Kong 52
GB - Regno Unito 16
BE - Belgio 14
FR - Francia 13
VN - Vietnam 12
CA - Canada 11
EU - Europa 7
JP - Giappone 5
NL - Olanda 5
RO - Romania 5
RU - Federazione Russa 5
IN - India 2
SG - Singapore 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AU - Australia 1
CH - Svizzera 1
CL - Cile 1
Totale 4.065
Salva come PNG Salva come JPEG
Città #
Dublin 703
Jacksonville 497
Dearborn 249
Wilmington 203
Chandler 145
Ann Arbor 116
Lawrence 88
Princeton 88
San Mateo 74
Beijing 66
Piemonte 61
Andover 59
Hong Kong 52
Ashburn 48
Düsseldorf 17
Houston 15
Brussels 14
Hefei 14
Dong Ket 12
Woodbridge 12
Norwalk 11
Toronto 10
Kunming 9
Cassano Magnago 8
Boardman 7
Seattle 7
Milan 6
Nanchang 6
Nanjing 6
Philadelphia 6
Rivoli 6
Turin 6
Des Moines 5
Helsinki 5
Jinan 5
Mülheim 5
Cambridge 4
Horia 4
Menlo Park 4
Zhengzhou 4
Castellazzo Bormida 3
Grafing 3
Hebei 3
Leawood 3
Mcallen 3
San Diego 3
Xian 3
Bergamo 2
Bologna 2
Bossolasco 2
Cambiano 2
Changsha 2
Fairfield 2
Fisciano 2
Fukuoka 2
Guangzhou 2
Kyiv 2
Kyoto 2
London 2
Monmouth Junction 2
New York 2
Ningbo 2
Pombia 2
Shaoxing 2
Silver Spring 2
Wuhan 2
Amsterdam 1
Borgomanero 1
Bremen 1
Buenos Aires 1
Chengdu 1
Chongqing 1
Florence 1
Fuzhou 1
Genoa 1
Guiyang 1
Hamm 1
Hangzhou 1
Iasi 1
Korolëv 1
Lishui 1
Marietta 1
Melbourne 1
Miyamachi 1
Moscow 1
Mountain View 1
Mumbai 1
Nanning 1
Neirone 1
Norrköping 1
Novara 1
Novokuznetsk 1
Nuremberg 1
Pune 1
Quzhou 1
Redwood City 1
Secaucus 1
Shanghai 1
Shenyang 1
Shenzhen 1
Totale 2.750
Salva come PNG Salva come JPEG
Nome #
More dynamic object re-classification: Fickle_II 93
A Filter Model for Mobile Processes 87
Type safe incremental rebinding 83
A Calculus of Looping Sequences with Local Rules 79
Type Inference: some results, some problems 77
Inference based analysis of functional programs: dead-code and strictness 72
Runtime checks as nominal types 64
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 64
A Calculus of Agents and Artifacts 62
A Complete Type Inference Algorithm for Simple Intersection Types 60
A type and effect system for uniqueness and immutability 60
Concurrent reversible sessions 59
Characterization of typings in polymorphic type discipline 58
A type and effect system for sharing 57
Alias types for "environment aware" computations 55
Types for Immutability and Aliasing Control 55
Strictness, totality, and non-standard type inference 54
Compiling Functional to Scripting Languages 54
Java & Lambda: a Featherweight Story 53
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins 52
Typed Stochastic Semantics for the Calculus of Looping Sequences 52
Initialize-and-catch 51
Intersection types for unbind and rebind 50
Constrained polymorphic types for a calculus with name variables 50
Principal Types and Unification For a Simple Intersection Type System 49
A Calculus of Located Entities 49
A Calculus of Evolving Objects 48
Reversible sessions with flexible choices 48
Fickle: Dynamic Object Reclassification 47
Reconciling positional and nominal binding 46
Global types with internal delegation 46
Type Inference in Polymorphic Type Discipline 46
Incremental Rebinding with Name Polymorphism 45
A type preserving translation of Fickle into Java 44
A Java-like Calculus with User-Defined Coeffects 43
Refined Effects for Unanticipated Object Re-classification: Fickle3 43
A Calculus of Evolving Objects 43
A Decidable Intersection Type System based on Relevance 43
An effective translation of Fickle into Java 43
On Strictness and Totality 43
Automatic dead code detection and elimination for typed functional programs 43
Flexible recovery of uniqueness and immutability 43
A State Abstraction for Coordination in Javalike Languages 42
Type checking for JavaScript 42
Effects for "Environment-aware" Computations 42
A calculus for ``environment-aware'' computation 42
A computational modeling language for complex laboratory experiments 42
A type safe state abstraction for coordination in Java -like languages 42
A provably correct compilation of functional languages into scripting languages 42
Event Structure Semantics for Multiparty Sessions 42
Type-Based Useless-Code Elimination for Functional Programs 41
Preface 41
Refinement Types for Program Analysis 41
On Re-classification and Multithreading 40
An Inference Algorithm for Strictness 40
Coupling catch clauses with local declarations 40
Towards Type Inference for JavaScript 40
Interactions between Computer Science and Biology 39
A Syntactic Model of Mutation and Aliasing 39
A provenly correct translation of Fickle into Java 39
Asynchronous Sessions with Input Races 39
Standard type soundness for agents and artifacts 38
Incremental Rebinding 38
Formal Attributes Traceability in Modular Language Development Frameworks 38
Tracing sharing in an imperative pure calculus (extended abstract) 38
Extending the lambda-calculus with unbind and rebind 38
Intersection Types in Java: Back to the Future 38
Safe Ambients: Abstract machine and distributed implementation 37
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 37
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework 37
Preface 36
A Type System for Required/Excluded Elements in CLS 36
On state classes and their dynamic semantics 36
Leveraging dynamic typing through static typing 36
Effectively Given Domains and Lamba-Calculus Models 36
A Type System for a Stochastic CLS 36
Global types and event structure semantics for asynchronous multiparty sessions 36
Type Directed Semantics for the Calculus of Looping Sequences 35
An intermediate language for compilation to scripting languages 34
Tracing sharing in an imperative pure calculus 34
Re-classification and multithreading: FickleMT 33
IDL, The Language and its Implementation 33
State-Sensitive Computational Modeling 31
Intersection, Universally Quantified, and Reference Types 30
On state classes and their dynamic semantics 29
Deconfined Global Types for Asynchronous Sessions 29
The essence of static and dynamic bindings 26
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts 26
Sequence-Function Protein Analysis Using Annotated Context Free Grammars 25
null 23
Deconfined intersection types in java 22
Coeffects for sharing and mutation 21
Event structure semantics for multiparty sessions (Extended Version) 20
Event structure semantics for multiparty sessions 16
Deconfined Global Types for Asynchronous Sessions 16
Multiparty-session-types Coordination for Core Erlang 13
Multi-Graded Featherweight Java 5
A Java-like calculus with heterogeneous coeffects 5
Resource-Aware Soundness for Big-Step Semantics 2
Totale 4.187
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.397
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 20.397
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20199 0 0 0 0 0 0 0 0 0 0 0 9
2019/2020898 11 1 85 7 155 144 200 46 102 56 91 0
2020/2021593 90 0 86 8 69 4 90 8 101 21 96 20
2021/2022569 29 11 99 65 32 3 65 10 40 20 89 106
2022/20231.279 96 49 56 32 54 116 31 91 695 3 39 17
2023/2024216 27 21 21 7 69 4 56 5 1 4 1 0
Totale 4.187