IRIS
GIANNINI, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.200
NA - Nord America 2.731
AS - Asia 1.977
SA - Sud America 338
AF - Africa 60
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 3
Totale 8.317
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.667
RU - Federazione Russa 844
SG - Singapore 724
IE - Irlanda 719
CN - Cina 496
DE - Germania 360
HK - Hong Kong 324
SE - Svezia 302
UA - Ucraina 282
IT - Italia 279
BR - Brasile 250
VN - Vietnam 236
FI - Finlandia 161
FR - Francia 120
AR - Argentina 43
GB - Regno Unito 42
ID - Indonesia 33
IN - India 31
MX - Messico 29
KR - Corea 26
CA - Canada 25
BJ - Benin 22
BD - Bangladesh 18
PL - Polonia 16
BE - Belgio 15
JP - Giappone 15
IQ - Iraq 14
NL - Olanda 14
EC - Ecuador 13
ZA - Sudafrica 12
CZ - Repubblica Ceca 11
CO - Colombia 9
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
NP - Nepal 3
PE - Perù 3
SA - Arabia Saudita 3
AU - Australia 2
BH - Bahrain 2
DO - Repubblica Dominicana 2
LB - Libano 2
LT - Lituania 2
MD - Moldavia 2
MY - Malesia 2
PA - Panama 2
RS - Serbia 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DK - Danimarca 1
GE - Georgia 1
GR - Grecia 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 1
JM - Giamaica 1
KE - Kenya 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
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PS - Palestinian Territory 1
WS - Samoa 1
Totale 8.317
Salva come PNG Salva come JPEG
Città #
Dublin 712
Jacksonville 503
Hong Kong 323
Dearborn 252
Singapore 224
Wilmington 209
Beijing 183
San Jose 176
Chandler 145
Ashburn 143
Moscow 122
Ann Arbor 116
Lauterbourg 92
Lawrence 89
Princeton 89
Ho Chi Minh City 87
San Mateo 74
Los Angeles 67
Piemonte 61
Andover 60
Buffalo 54
Hanoi 51
Frankfurt am Main 30
Santa Clara 27
Novara 24
Seoul 24
Cotonou 22
Helsinki 22
New York 22
São Paulo 22
Houston 18
Jakarta 18
Düsseldorf 17
Hefei 17
Dallas 16
Orem 16
Redondo Beach 16
Brussels 15
Tianjin 15
Milan 14
Da Nang 13
Toronto 13
Chennai 12
Dong Ket 12
Woodbridge 12
Guangzhou 11
Norwalk 11
Turin 11
Warsaw 11
Falkenstein 10
Amsterdam 9
Brooklyn 9
Kunming 9
Shanghai 9
Tokyo 9
Brno 8
Cassano Magnago 8
Hangzhou 8
London 8
Seattle 8
Biên Hòa 7
Boardman 7
Brasília 7
Nanchang 7
Philadelphia 7
Rio de Janeiro 7
Denver 6
Jinan 6
Nanjing 6
Rivoli 6
Rome 6
Salvador 6
Surzur 6
Amman 5
Atlanta 5
Des Moines 5
Fortaleza 5
Hillsboro 5
Hải Dương 5
Johannesburg 5
Manchester 5
Mexico City 5
Montreal 5
Munich 5
Mülheim 5
San Diego 5
Shenzhen 5
Villar Dora 5
Zhengzhou 5
Addis Ababa 4
Bắc Giang 4
Cambridge 4
Can Tho 4
Charlotte 4
Chongqing 4
Guayaquil 4
Haiphong 4
Horia 4
Indaiatuba 4
Kyiv 4
Totale 4.596
Salva come PNG Salva come JPEG
Nome #
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins 258
More dynamic object re-classification: Fickle_II 132
A Filter Model for Mobile Processes 126
A Calculus of Looping Sequences with Local Rules 123
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 120
A Java-like Calculus with User-Defined Coeffects 117
Type safe incremental rebinding 107
Inference based analysis of functional programs: dead-code and strictness 104
A State Abstraction for Coordination in Javalike Languages 103
A computational modeling language for complex laboratory experiments 103
A Calculus of Agents and Artifacts 102
Type Inference: some results, some problems 101
Runtime checks as nominal types 101
A type and effect system for sharing 100
A Complete Type Inference Algorithm for Simple Intersection Types 99
A type and effect system for uniqueness and immutability 99
Initialize-and-catch 97
Types for Immutability and Aliasing Control 96
Concurrent reversible sessions 95
Characterization of typings in polymorphic type discipline 93
A Calculus of Evolving Objects 93
Tracing sharing in an imperative pure calculus 88
A Calculus of Located Entities 87
Towards Type Inference for JavaScript 87
Event Structure Semantics for Multiparty Sessions 87
A calculus for ``environment-aware'' computation 85
Standard type soundness for agents and artifacts 85
A provably correct compilation of functional languages into scripting languages 85
Global types with internal delegation 84
Java & Lambda: a Featherweight Story 84
A Decidable Intersection Type System based on Relevance 83
A Syntactic Model of Mutation and Aliasing 82
A Type System for Required/Excluded Elements in CLS 81
A provenly correct translation of Fickle into Java 81
A type preserving translation of Fickle into Java 80
Effectively Given Domains and Lamba-Calculus Models 80
On Strictness and Totality 80
Constrained polymorphic types for a calculus with name variables 80
Reversible sessions with flexible choices 80
Typed Stochastic Semantics for the Calculus of Looping Sequences 78
Extending the lambda-calculus with unbind and rebind 78
Deconfined Global Types for Asynchronous Sessions 78
Principal Types and Unification For a Simple Intersection Type System 77
Strictness, totality, and non-standard type inference 77
Alias types for "environment aware" computations 77
Intersection types for unbind and rebind 77
Type checking for JavaScript 76
Refinement Types for Program Analysis 76
Automatic dead code detection and elimination for typed functional programs 76
Flexible recovery of uniqueness and immutability 76
Global Types for Agent Interaction Protocols (short paper) 75
A Calculus of Evolving Objects 75
Incremental Rebinding 75
Interactions between Computer Science and Biology 75
Asynchronous Sessions with Input Races 75
Refined Effects for Unanticipated Object Re-classification: Fickle3 74
Compiling Functional to Scripting Languages 74
Type-Based Useless-Code Elimination for Functional Programs 73
Coupling catch clauses with local declarations 73
Preface 72
Incremental Rebinding with Name Polymorphism 72
IDL, The Language and its Implementation 71
Coeffects for sharing and mutation 70
Fickle: Dynamic Object Reclassification 70
Reversible Multiparty Sessions with Checkpoints 70
The essence of static and dynamic bindings 69
Type Inference in Polymorphic Type Discipline 69
Global types and event structure semantics for asynchronous multiparty sessions 69
Safe Ambients: Abstract machine and distributed implementation 68
Type Directed Semantics for the Calculus of Looping Sequences 68
A Type System for a Stochastic CLS 68
Re-classification and multithreading: FickleMT 67
Effects for "Environment-aware" Computations 66
Reconciling positional and nominal binding 66
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 66
Event structure semantics for multiparty sessions (Extended Version) 65
On Re-classification and Multithreading 65
A type safe state abstraction for coordination in Java -like languages 64
A Java-like calculus with heterogeneous coeffects 64
Formal Attributes Traceability in Modular Language Development Frameworks 63
Tracing sharing in an imperative pure calculus (extended abstract) 63
Intersection, Universally Quantified, and Reference Types 62
An Inference Algorithm for Strictness 62
Intersection Types in Java: Back to the Future 62
Correct implementation of agent interaction protocols 61
Preface 61
An effective translation of Fickle into Java 61
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework 61
Deconfined Global Types for Asynchronous Sessions 60
On state classes and their dynamic semantics 60
Sequence-Function Protein Analysis Using Annotated Context Free Grammars 59
Event structure semantics for multiparty sessions 58
Multi-Graded Featherweight Java 58
On state classes and their dynamic semantics 58
Multiparty-session-types Coordination for Core Erlang 57
Leveraging dynamic typing through static typing 57
An Effectful Object Calculus 57
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts 54
An intermediate language for compilation to scripting languages 54
Monadic Type-And-Effect Soundness 52
Totale 7.982
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.856
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 42.856
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021138 0 0 0 0 0 0 0 0 0 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/20251.205 14 7 115 15 12 12 230 42 337 114 127 180
2025/20262.939 192 91 287 418 255 237 440 585 237 197 0 0
Totale 8.459