IRIS
GIANNINI, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.961
NA - Nord America 1.935
AS - Asia 296
Continente sconosciuto - Info sul continente non disponibili 8
SA - Sud America 2
OC - Oceania 1
Totale 4.203
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.923
IE - Irlanda 713
SE - Svezia 299
DE - Germania 290
UA - Ucraina 266
IT - Italia 184
CN - Cina 145
FI - Finlandia 140
SG - Singapore 80
HK - Hong Kong 52
GB - Regno Unito 16
BE - Belgio 15
FR - Francia 13
CA - Canada 12
VN - Vietnam 12
CZ - Repubblica Ceca 8
EU - Europa 7
NL - Olanda 6
JP - Giappone 5
RO - Romania 5
RU - Federazione Russa 5
IN - India 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AU - Australia 1
CH - Svizzera 1
CL - Cile 1
Totale 4.203
Salva come PNG Salva come JPEG
Città #
Dublin 708
Jacksonville 503
Dearborn 252
Wilmington 209
Chandler 145
Ann Arbor 116
Lawrence 89
Princeton 89
San Mateo 74
Beijing 67
Piemonte 61
Andover 60
Hong Kong 52
Ashburn 48
Singapore 48
Düsseldorf 17
Brussels 15
Hefei 15
Houston 15
Dong Ket 12
Woodbridge 12
Norwalk 11
Toronto 11
Kunming 9
Brno 8
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
San Diego 4
Zhengzhou 4
Castellazzo Bormida 3
Grafing 3
Hebei 3
Leawood 3
Mcallen 3
Munich 3
Novara 3
Xian 3
Amsterdam 2
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
Borgomanero 1
Bremen 1
Buenos Aires 1
Chengdu 1
Chongqing 1
Florence 1
Forest City 1
Fuzhou 1
Genoa 1
Guiyang 1
Hamm 1
Hangzhou 1
Iasi 1
Korolëv 1
Lishui 1
Los Angeles 1
Marietta 1
Melbourne 1
Miyamachi 1
Moscow 1
Mountain View 1
Mumbai 1
Nanning 1
Neirone 1
Norrköping 1
Novokuznetsk 1
Nuremberg 1
Prineville 1
Pune 1
Totale 2.837
Salva come PNG Salva come JPEG
Nome #
More dynamic object re-classification: Fickle_II 93
A Filter Model for Mobile Processes 89
Type safe incremental rebinding 84
A Calculus of Looping Sequences with Local Rules 80
Type Inference: some results, some problems 77
Inference based analysis of functional programs: dead-code and strictness 72
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 67
A Calculus of Agents and Artifacts 65
Runtime checks as nominal types 65
A Complete Type Inference Algorithm for Simple Intersection Types 61
A type and effect system for uniqueness and immutability 61
Concurrent reversible sessions 60
A type and effect system for sharing 60
Characterization of typings in polymorphic type discipline 58
Types for Immutability and Aliasing Control 56
Alias types for "environment aware" computations 55
Compiling Functional to Scripting Languages 55
Strictness, totality, and non-standard type inference 54
Java & Lambda: a Featherweight Story 54
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins 53
Typed Stochastic Semantics for the Calculus of Looping Sequences 53
Intersection types for unbind and rebind 51
A Calculus of Located Entities 51
Initialize-and-catch 51
Constrained polymorphic types for a calculus with name variables 51
A Calculus of Evolving Objects 50
Principal Types and Unification For a Simple Intersection Type System 49
Fickle: Dynamic Object Reclassification 48
Reversible sessions with flexible choices 48
Reconciling positional and nominal binding 47
Global types with internal delegation 47
Incremental Rebinding with Name Polymorphism 46
Type Inference in Polymorphic Type Discipline 46
A Java-like Calculus with User-Defined Coeffects 45
A type preserving translation of Fickle into Java 45
A Calculus of Evolving Objects 44
A Decidable Intersection Type System based on Relevance 44
An effective translation of Fickle into Java 44
On Strictness and Totality 44
Reversible Multiparty Sessions with Checkpoints 44
Automatic dead code detection and elimination for typed functional programs 44
Flexible recovery of uniqueness and immutability 44
Refined Effects for Unanticipated Object Re-classification: Fickle3 43
A State Abstraction for Coordination in Javalike Languages 43
Effects for "Environment-aware" Computations 43
A calculus for ``environment-aware'' computation 43
A computational modeling language for complex laboratory experiments 43
A type safe state abstraction for coordination in Java -like languages 43
A provably correct compilation of functional languages into scripting languages 43
Type checking for JavaScript 42
Type-Based Useless-Code Elimination for Functional Programs 42
Preface 42
Event Structure Semantics for Multiparty Sessions 42
On Re-classification and Multithreading 41
An Inference Algorithm for Strictness 41
Refinement Types for Program Analysis 41
A Syntactic Model of Mutation and Aliasing 41
Interactions between Computer Science and Biology 40
Coupling catch clauses with local declarations 40
Towards Type Inference for JavaScript 40
A provenly correct translation of Fickle into Java 40
Asynchronous Sessions with Input Races 40
Standard type soundness for agents and artifacts 39
Incremental Rebinding 39
Extending the lambda-calculus with unbind and rebind 39
Safe Ambients: Abstract machine and distributed implementation 38
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 38
Formal Attributes Traceability in Modular Language Development Frameworks 38
Tracing sharing in an imperative pure calculus (extended abstract) 38
Intersection Types in Java: Back to the Future 38
Preface 37
A Type System for Required/Excluded Elements in CLS 37
On state classes and their dynamic semantics 37
Leveraging dynamic typing through static typing 37
Effectively Given Domains and Lamba-Calculus Models 37
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework 37
A Type System for a Stochastic CLS 37
Global types and event structure semantics for asynchronous multiparty sessions 37
Type Directed Semantics for the Calculus of Looping Sequences 36
An intermediate language for compilation to scripting languages 35
Tracing sharing in an imperative pure calculus 35
Re-classification and multithreading: FickleMT 34
IDL, The Language and its Implementation 34
State-Sensitive Computational Modeling 32
Intersection, Universally Quantified, and Reference Types 31
Deconfined Global Types for Asynchronous Sessions 31
On state classes and their dynamic semantics 30
The essence of static and dynamic bindings 27
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts 27
Sequence-Function Protein Analysis Using Annotated Context Free Grammars 26
null 23
Deconfined intersection types in java 23
Coeffects for sharing and mutation 22
Event structure semantics for multiparty sessions (Extended Version) 22
Event structure semantics for multiparty sessions 17
Deconfined Global Types for Asynchronous Sessions 17
Multiparty-session-types Coordination for Core Erlang 14
A Java-like calculus with heterogeneous coeffects 8
Multi-Graded Featherweight Java 6
Towards a Semantic Characterisation of Global Type Well-formedness 5
Totale 4.326
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.665
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 22.665
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020909 11 1 86 7 157 146 201 47 104 57 92 0
2020/2021599 91 0 87 8 70 4 91 8 102 21 97 20
2021/2022575 30 11 99 65 33 3 66 10 40 20 91 107
2022/20231.289 97 50 56 32 55 117 31 92 700 3 39 17
2023/2024300 27 21 21 7 69 4 56 5 1 4 11 74
2024/202514 14 0 0 0 0 0 0 0 0 0 0 0
Totale 4.329