IRIS
GIANNINI, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.836
EU - Europa 3.364
AS - Asia 2.019
SA - Sud America 347
Continente sconosciuto - Info sul continente non disponibili 152
AF - Africa 63
OC - Oceania 3
Totale 9.784
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.730
RU - Federazione Russa 845
SG - Singapore 734
IE - Irlanda 719
CN - Cina 500
IT - Italia 421
DE - Germania 362
HK - Hong Kong 331
SE - Svezia 303
UA - Ucraina 282
BR - Brasile 256
VN - Vietnam 237
FI - Finlandia 161
FR - Francia 124
GB - Regno Unito 51
CA - Canada 45
AR - Argentina 44
BD - Bangladesh 34
ID - Indonesia 34
MX - Messico 32
IN - India 31
KR - Corea 27
BJ - Benin 22
JP - Giappone 17
PL - Polonia 17
NL - Olanda 16
BE - Belgio 15
EC - Ecuador 14
IQ - Iraq 14
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
HN - Honduras 5
PK - Pakistan 5
RO - Romania 5
AL - Albania 4
AT - Austria 4
AZ - Azerbaigian 4
DZ - Algeria 4
ET - Etiopia 4
JM - Giamaica 4
MA - Marocco 4
PY - Paraguay 4
TR - Turchia 4
TT - Trinidad e Tobago 4
BB - Barbados 3
CR - Costa Rica 3
EG - Egitto 3
LT - Lituania 3
MD - Moldavia 3
NI - Nicaragua 3
NP - Nepal 3
PE - Perù 3
SA - Arabia Saudita 3
AU - Australia 2
BH - Bahrain 2
DO - Repubblica Dominicana 2
GT - Guatemala 2
KE - Kenya 2
LB - Libano 2
MY - Malesia 2
PA - Panama 2
RS - Serbia 2
SC - Seychelles 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
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
PR - Porto Rico 1
PS - Palestinian Territory 1
WS - Samoa 1
Totale 9.640
Salva come PNG Salva come JPEG
Città #
Dublin 712
Jacksonville 512
Hong Kong 330
San Jose 314
Dearborn 252
Singapore 233
Council Bluffs 222
Wilmington 210
Beijing 184
Ashburn 170
Chandler 145
Columbus 124
Moscow 122
Ann Arbor 116
Lauterbourg 92
Lawrence 90
Princeton 89
Ho Chi Minh City 87
Staranzano 87
Los Angeles 76
San Mateo 74
Piemonte 61
Andover 60
Buffalo 57
Santa Clara 54
Hanoi 51
New York 35
Frankfurt am Main 30
Dallas 29
São Paulo 26
Houston 25
Milan 25
Phoenix 25
Seoul 25
Novara 24
Cotonou 22
Helsinki 22
Philadelphia 19
Jakarta 18
Düsseldorf 17
Hefei 17
Orem 17
Redondo Beach 16
Toronto 16
Brussels 15
Tianjin 15
Brooklyn 14
Da Nang 14
Woodbridge 14
Turin 13
Atlanta 12
Chennai 12
Denver 12
Dong Ket 12
Rome 12
Guangzhou 11
Norwalk 11
Seattle 11
Tokyo 11
Warsaw 11
Chicago 10
Falkenstein 10
Amsterdam 9
Boardman 9
Kunming 9
London 9
Montreal 9
Shanghai 9
St Louis 9
Brno 8
Cassano Magnago 8
Charlotte 8
Hangzhou 8
Mexico City 8
Schaumburg 8
Biên Hòa 7
Brasília 7
Nanchang 7
Rio de Janeiro 7
Jinan 6
Manchester 6
Miami 6
Nanjing 6
Rivoli 6
Salvador 6
San Diego 6
San Francisco 6
Surzur 6
Washington 6
Amman 5
Boston 5
Des Moines 5
Fortaleza 5
Hillsboro 5
Hải Dương 5
Johannesburg 5
Kansas City 5
Modena 5
Munich 5
Mülheim 5
Totale 5.406
Salva come PNG Salva come JPEG
Nome #
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins 266
More dynamic object re-classification: Fickle_II 144
A Java-like Calculus with User-Defined Coeffects 142
A Filter Model for Mobile Processes 141
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 133
A Calculus of Looping Sequences with Local Rules 129
A computational modeling language for complex laboratory experiments 119
Type safe incremental rebinding 115
A type and effect system for uniqueness and immutability 115
A Calculus of Agents and Artifacts 112
Characterization of typings in polymorphic type discipline 111
Inference based analysis of functional programs: dead-code and strictness 111
A State Abstraction for Coordination in Javalike Languages 110
A Complete Type Inference Algorithm for Simple Intersection Types 109
Runtime checks as nominal types 108
A type and effect system for sharing 108
Type Inference: some results, some problems 107
Concurrent reversible sessions 107
Initialize-and-catch 105
Types for Immutability and Aliasing Control 104
Towards Type Inference for JavaScript 103
A Calculus of Evolving Objects 102
Tracing sharing in an imperative pure calculus 102
A Type System for Required/Excluded Elements in CLS 101
Global Types for Agent Interaction Protocols (short paper) 99
Event Structure Semantics for Multiparty Sessions 98
A Decidable Intersection Type System based on Relevance 97
A Calculus of Located Entities 96
A Syntactic Model of Mutation and Aliasing 96
A provably correct compilation of functional languages into scripting languages 95
Java & Lambda: a Featherweight Story 95
Standard type soundness for agents and artifacts 94
Global types with internal delegation 94
Type checking for JavaScript 93
A calculus for ``environment-aware'' computation 93
Extending the lambda-calculus with unbind and rebind 93
Deconfined Global Types for Asynchronous Sessions 93
Constrained polymorphic types for a calculus with name variables 92
A provenly correct translation of Fickle into Java 92
Coeffects for sharing and mutation 91
Alias types for "environment aware" computations 91
On Strictness and Totality 90
Asynchronous Sessions with Input Races 90
Effectively Given Domains and Lamba-Calculus Models 88
Refinement Types for Program Analysis 88
Typed Stochastic Semantics for the Calculus of Looping Sequences 88
Flexible recovery of uniqueness and immutability 88
Global types and event structure semantics for asynchronous multiparty sessions 88
Strictness, totality, and non-standard type inference 87
A type preserving translation of Fickle into Java 87
Reversible sessions with flexible choices 87
Fickle: Dynamic Object Reclassification 86
Refined Effects for Unanticipated Object Re-classification: Fickle3 86
Interactions between Computer Science and Biology 86
Principal Types and Unification For a Simple Intersection Type System 85
Incremental Rebinding 85
Coupling catch clauses with local declarations 85
Automatic dead code detection and elimination for typed functional programs 85
A Calculus of Evolving Objects 84
Re-classification and multithreading: FickleMT 82
Intersection types for unbind and rebind 82
Incremental Rebinding with Name Polymorphism 82
Compiling Functional to Scripting Languages 81
IDL, The Language and its Implementation 81
Type-Based Useless-Code Elimination for Functional Programs 81
Correct implementation of agent interaction protocols 80
The essence of static and dynamic bindings 79
Reversible Multiparty Sessions with Checkpoints 79
Type Inference in Polymorphic Type Discipline 79
Event structure semantics for multiparty sessions (Extended Version) 78
Intersection, Universally Quantified, and Reference Types 78
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions 77
Preface 77
Deconfined Global Types for Asynchronous Sessions 76
Safe Ambients: Abstract machine and distributed implementation 76
Type Directed Semantics for the Calculus of Looping Sequences 76
A Java-like calculus with heterogeneous coeffects 76
A Type System for a Stochastic CLS 75
On Re-classification and Multithreading 74
Effects for "Environment-aware" Computations 74
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 74
Multiparty-session-types Coordination for Core Erlang 73
Reconciling positional and nominal binding 73
Rethinking services for society 5.0-Opportunities and Challenges Conference Proceedings-2025 RESER Annual Conference 72
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework 72
Event structure semantics for multiparty sessions 71
Multi-Graded Featherweight Java 71
An Inference Algorithm for Strictness 71
An effective translation of Fickle into Java 71
Formal Attributes Traceability in Modular Language Development Frameworks 71
Tracing sharing in an imperative pure calculus (extended abstract) 71
A type safe state abstraction for coordination in Java -like languages 71
An Effectful Object Calculus 71
Intersection Types in Java: Back to the Future 70
Monadic Type-And-Effect Soundness 69
On state classes and their dynamic semantics 69
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts 68
Fair Termination for Resource-Aware Active Objects 67
Preface 67
Sequence-Function Protein Analysis Using Annotated Context Free Grammars 66
Totale 9.120
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.565
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 51.565
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022435 0 0 0 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/20271.058 153 385 306 214 0 0 0 0 0 0 0 0
Totale 9.784