IRIS
GIANNINI, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.362
EU - Europa 3.237
AS - Asia 2.009
SA - Sud America 343
Continente sconosciuto - Info sul continente non disponibili 152
AF - Africa 61
OC - Oceania 3
Totale 9.167
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.272
RU - Federazione Russa 844
SG - Singapore 733
IE - Irlanda 719
CN - Cina 500
DE - Germania 360
HK - Hong Kong 328
IT - Italia 312
SE - Svezia 302
UA - Ucraina 282
BR - Brasile 253
VN - Vietnam 237
FI - Finlandia 161
FR - Francia 121
AR - Argentina 44
GB - Regno Unito 43
CA - Canada 38
ID - Indonesia 34
MX - Messico 32
BD - Bangladesh 31
IN - India 31
KR - Corea 26
BJ - Benin 22
PL - Polonia 16
BE - Belgio 15
JP - Giappone 15
NL - Olanda 15
IQ - Iraq 14
EC - Ecuador 13
ZA - Sudafrica 12
CZ - Repubblica Ceca 11
CO - Colombia 10
ES - Italia 9
VE - Venezuela 8
EU - Europa 7
UZ - Uzbekistan 7
JO - Giordania 6
PH - Filippine 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
PK - Pakistan 5
RO - Romania 5
AL - Albania 4
AT - Austria 4
AZ - Azerbaigian 4
DZ - Algeria 4
ET - Etiopia 4
MA - Marocco 4
PY - Paraguay 4
TR - Turchia 4
EG - Egitto 3
JM - Giamaica 3
MD - Moldavia 3
NI - Nicaragua 3
NP - Nepal 3
PE - Perù 3
SA - Arabia Saudita 3
TT - Trinidad e Tobago 3
AU - Australia 2
BB - Barbados 2
BH - Bahrain 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
HN - Honduras 2
KE - Kenya 2
LB - Libano 2
LT - Lituania 2
MY - Malesia 2
PA - Panama 2
RS - Serbia 2
TH - Thailandia 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AO - Angola 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DK - Danimarca 1
GE - Georgia 1
GR - Grecia 1
GT - Guatemala 1
HU - Ungheria 1
IL - Israele 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MR - Mauritania 1
NG - Nigeria 1
NO - Norvegia 1
OM - Oman 1
PS - Palestinian Territory 1
WS - Samoa 1
Totale 9.023
Salva come PNG Salva come JPEG
Città #
Dublin 712
Jacksonville 509
Hong Kong 327
San Jose 254
Dearborn 252
Singapore 232
Wilmington 210
Council Bluffs 197
Beijing 184
Ashburn 156
Chandler 145
Columbus 124
Moscow 122
Ann Arbor 116
Lauterbourg 92
Lawrence 89
Princeton 89
Ho Chi Minh City 87
San Mateo 74
Los Angeles 73
Piemonte 61
Andover 60
Buffalo 55
Hanoi 51
Santa Clara 47
Frankfurt am Main 30
New York 29
Dallas 26
São Paulo 25
Novara 24
Seoul 24
Houston 23
Cotonou 22
Helsinki 22
Jakarta 18
Düsseldorf 17
Hefei 17
Milan 17
Orem 17
Redondo Beach 16
Brussels 15
Tianjin 15
Toronto 15
Da Nang 14
Chennai 12
Dong Ket 12
Turin 12
Woodbridge 12
Guangzhou 11
Norwalk 11
Warsaw 11
Brooklyn 10
Falkenstein 10
Philadelphia 10
Rome 10
Amsterdam 9
Atlanta 9
Kunming 9
Seattle 9
Shanghai 9
St Louis 9
Tokyo 9
Brno 8
Cassano Magnago 8
Denver 8
Hangzhou 8
London 8
Mexico City 8
Biên Hòa 7
Boardman 7
Brasília 7
Montreal 7
Nanchang 7
Rio de Janeiro 7
Charlotte 6
Jinan 6
Manchester 6
Nanjing 6
Rivoli 6
Salvador 6
Surzur 6
Amman 5
Chicago 5
Des Moines 5
Fortaleza 5
Hillsboro 5
Hải Dương 5
Johannesburg 5
Munich 5
Mülheim 5
San Diego 5
Shenzhen 5
Springfield 5
Villar Dora 5
Zhengzhou 5
Addis Ababa 4
Bogotá 4
Bologna 4
Bắc Giang 4
Cambridge 4
Totale 5.110
Salva come PNG Salva come JPEG
Nome #
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins 262
More dynamic object re-classification: Fickle_II 138
A Filter Model for Mobile Processes 136
A Java-like Calculus with User-Defined Coeffects 127
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 127
A Calculus of Looping Sequences with Local Rules 125
Type safe incremental rebinding 111
A computational modeling language for complex laboratory experiments 110
Inference based analysis of functional programs: dead-code and strictness 109
A type and effect system for uniqueness and immutability 108
A State Abstraction for Coordination in Javalike Languages 107
A Calculus of Agents and Artifacts 106
Runtime checks as nominal types 106
Characterization of typings in polymorphic type discipline 105
Type Inference: some results, some problems 104
A Complete Type Inference Algorithm for Simple Intersection Types 103
A type and effect system for sharing 103
Initialize-and-catch 102
A Calculus of Evolving Objects 100
Types for Immutability and Aliasing Control 100
Concurrent reversible sessions 100
Tracing sharing in an imperative pure calculus 96
A Type System for Required/Excluded Elements in CLS 95
Towards Type Inference for JavaScript 94
A Calculus of Located Entities 93
A provably correct compilation of functional languages into scripting languages 92
Standard type soundness for agents and artifacts 91
Global types with internal delegation 91
Event Structure Semantics for Multiparty Sessions 91
A Decidable Intersection Type System based on Relevance 90
Java & Lambda: a Featherweight Story 89
A Syntactic Model of Mutation and Aliasing 89
A calculus for ``environment-aware'' computation 88
Global Types for Agent Interaction Protocols (short paper) 87
Extending the lambda-calculus with unbind and rebind 87
Constrained polymorphic types for a calculus with name variables 86
A provenly correct translation of Fickle into Java 86
Deconfined Global Types for Asynchronous Sessions 86
On Strictness and Totality 85
Alias types for "environment aware" computations 84
Effectively Given Domains and Lamba-Calculus Models 84
Typed Stochastic Semantics for the Calculus of Looping Sequences 84
Reversible sessions with flexible choices 84
A type preserving translation of Fickle into Java 83
Principal Types and Unification For a Simple Intersection Type System 82
Strictness, totality, and non-standard type inference 82
A Calculus of Evolving Objects 82
Incremental Rebinding 82
Type checking for JavaScript 81
Flexible recovery of uniqueness and immutability 81
Asynchronous Sessions with Input Races 81
Intersection types for unbind and rebind 80
IDL, The Language and its Implementation 79
Interactions between Computer Science and Biology 79
Automatic dead code detection and elimination for typed functional programs 79
Coeffects for sharing and mutation 78
Fickle: Dynamic Object Reclassification 78
Refined Effects for Unanticipated Object Re-classification: Fickle3 78
The essence of static and dynamic bindings 78
Type-Based Useless-Code Elimination for Functional Programs 78
Refinement Types for Program Analysis 78
Coupling catch clauses with local declarations 78
Re-classification and multithreading: FickleMT 77
Compiling Functional to Scripting Languages 77
Incremental Rebinding with Name Polymorphism 77
Global types and event structure semantics for asynchronous multiparty sessions 77
Correct implementation of agent interaction protocols 74
Type Directed Semantics for the Calculus of Looping Sequences 74
Preface 74
Reversible Multiparty Sessions with Checkpoints 74
Type Inference in Polymorphic Type Discipline 74
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions 73
Safe Ambients: Abstract machine and distributed implementation 72
Intersection, Universally Quantified, and Reference Types 72
Event structure semantics for multiparty sessions (Extended Version) 71
Reconciling positional and nominal binding 71
On Re-classification and Multithreading 70
Effects for "Environment-aware" Computations 70
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 70
A Type System for a Stochastic CLS 70
Multiparty-session-types Coordination for Core Erlang 69
A type safe state abstraction for coordination in Java -like languages 69
An Inference Algorithm for Strictness 67
An effective translation of Fickle into Java 67
Formal Attributes Traceability in Modular Language Development Frameworks 67
Tracing sharing in an imperative pure calculus (extended abstract) 67
A Java-like calculus with heterogeneous coeffects 67
An Effectful Object Calculus 67
Rethinking services for society 5.0-Opportunities and Challenges Conference Proceedings-2025 RESER Annual Conference 66
Intersection Types in Java: Back to the Future 66
Multi-Graded Featherweight Java 65
Deconfined Global Types for Asynchronous Sessions 65
Preface 65
Sequence-Function Protein Analysis Using Annotated Context Free Grammars 65
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework 65
On state classes and their dynamic semantics 64
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts 63
Fair Termination for Resource-Aware Active Objects 62
On state classes and their dynamic semantics 62
Event structure semantics for multiparty sessions 61
Totale 8.584
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.132
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 48.132
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022545 0 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/20251.205 14 7 115 15 12 12 230 42 337 114 127 180
2025/20263.206 192 91 287 418 255 237 440 585 237 265 128 71
2026/2027441 153 288 0 0 0 0 0 0 0 0 0 0
Totale 9.167