IRIS
GIANNINI, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.214
NA - Nord America 2.964
AS - Asia 1.988
SA - Sud America 338
AF - Africa 60
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 3
Totale 8.575
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.889
RU - Federazione Russa 844
SG - Singapore 725
IE - Irlanda 719
CN - Cina 498
DE - Germania 360
HK - Hong Kong 324
SE - Svezia 302
IT - Italia 291
UA - Ucraina 282
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
CA - Canada 30
MX - Messico 29
BD - Bangladesh 26
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 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
JM - Giamaica 3
MD - Moldavia 3
NP - Nepal 3
PE - Perù 3
SA - Arabia Saudita 3
TT - Trinidad e Tobago 3
AU - Australia 2
BH - Bahrain 2
DO - Repubblica Dominicana 2
HN - Honduras 2
LB - Libano 2
LT - Lituania 2
MY - Malesia 2
NI - Nicaragua 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
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
GT - Guatemala 1
HU - Ungheria 1
IL - Israele 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
NO - Norvegia 1
OM - Oman 1
PS - Palestinian Territory 1
WS - Samoa 1
Totale 8.575
Salva come PNG Salva come JPEG
Città #
Dublin 712
Jacksonville 504
Hong Kong 323
San Jose 254
Dearborn 252
Singapore 225
Wilmington 210
Beijing 183
Ashburn 149
Chandler 145
Moscow 122
Ann Arbor 116
Lauterbourg 92
Lawrence 89
Princeton 89
Ho Chi Minh City 87
San Mateo 74
Los Angeles 70
Piemonte 61
Andover 60
Council Bluffs 55
Buffalo 54
Hanoi 51
Santa Clara 34
Frankfurt am Main 30
New York 27
Dallas 25
Novara 24
Seoul 24
Cotonou 22
Helsinki 22
São Paulo 22
Houston 21
Jakarta 18
Düsseldorf 17
Hefei 17
Orem 17
Redondo Beach 16
Brussels 15
Tianjin 15
Milan 14
Toronto 14
Da Nang 13
Chennai 12
Dong Ket 12
Woodbridge 12
Guangzhou 11
Norwalk 11
Turin 11
Warsaw 11
Columbus 10
Falkenstein 10
Amsterdam 9
Brooklyn 9
Kunming 9
Philadelphia 9
Shanghai 9
St Louis 9
Tokyo 9
Brno 8
Cassano Magnago 8
Hangzhou 8
London 8
Seattle 8
Biên Hòa 7
Boardman 7
Brasília 7
Denver 7
Montreal 7
Nanchang 7
Rio de Janeiro 7
Rome 7
Atlanta 6
Jinan 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
Manchester 5
Mexico City 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
Totale 4.782
Salva come PNG Salva come JPEG
Nome #
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins 259
More dynamic object re-classification: Fickle_II 132
A Filter Model for Mobile Processes 129
A Calculus of Looping Sequences with Local Rules 123
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 122
A Java-like Calculus with User-Defined Coeffects 119
Type safe incremental rebinding 109
Inference based analysis of functional programs: dead-code and strictness 105
A type and effect system for uniqueness and immutability 105
A State Abstraction for Coordination in Javalike Languages 104
A computational modeling language for complex laboratory experiments 104
A Calculus of Agents and Artifacts 103
Runtime checks as nominal types 103
Characterization of typings in polymorphic type discipline 102
Type Inference: some results, some problems 102
A Complete Type Inference Algorithm for Simple Intersection Types 101
A type and effect system for sharing 100
A Calculus of Evolving Objects 98
Types for Immutability and Aliasing Control 98
Initialize-and-catch 97
Concurrent reversible sessions 97
Tracing sharing in an imperative pure calculus 91
A Calculus of Located Entities 90
Global types with internal delegation 88
Towards Type Inference for JavaScript 88
Event Structure Semantics for Multiparty Sessions 88
A provably correct compilation of functional languages into scripting languages 87
A Decidable Intersection Type System based on Relevance 86
A calculus for ``environment-aware'' computation 86
Standard type soundness for agents and artifacts 86
A Type System for Required/Excluded Elements in CLS 85
Java & Lambda: a Featherweight Story 85
A Syntactic Model of Mutation and Aliasing 85
Constrained polymorphic types for a calculus with name variables 84
A provenly correct translation of Fickle into Java 84
Global Types for Agent Interaction Protocols (short paper) 82
Effectively Given Domains and Lamba-Calculus Models 82
Extending the lambda-calculus with unbind and rebind 82
Reversible sessions with flexible choices 82
Alias types for "environment aware" computations 81
A type preserving translation of Fickle into Java 81
Typed Stochastic Semantics for the Calculus of Looping Sequences 81
Deconfined Global Types for Asynchronous Sessions 81
On Strictness and Totality 80
Strictness, totality, and non-standard type inference 79
Flexible recovery of uniqueness and immutability 79
Principal Types and Unification For a Simple Intersection Type System 78
Type checking for JavaScript 78
Intersection types for unbind and rebind 78
A Calculus of Evolving Objects 77
Interactions between Computer Science and Biology 77
Refinement Types for Program Analysis 76
Automatic dead code detection and elimination for typed functional programs 76
Asynchronous Sessions with Input Races 76
Refined Effects for Unanticipated Object Re-classification: Fickle3 75
Incremental Rebinding 75
Compiling Functional to Scripting Languages 74
IDL, The Language and its Implementation 74
Incremental Rebinding with Name Polymorphism 74
Coupling catch clauses with local declarations 74
Type-Based Useless-Code Elimination for Functional Programs 73
Global types and event structure semantics for asynchronous multiparty sessions 73
Fickle: Dynamic Object Reclassification 72
The essence of static and dynamic bindings 72
Preface 72
Type Directed Semantics for the Calculus of Looping Sequences 71
Reversible Multiparty Sessions with Checkpoints 71
Type Inference in Polymorphic Type Discipline 71
Coeffects for sharing and mutation 70
Re-classification and multithreading: FickleMT 70
Safe Ambients: Abstract machine and distributed implementation 70
On Re-classification and Multithreading 68
Reconciling positional and nominal binding 68
A Type System for a Stochastic CLS 68
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions 67
Correct implementation of agent interaction protocols 67
Effects for "Environment-aware" Computations 67
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 67
A type safe state abstraction for coordination in Java -like languages 67
Event structure semantics for multiparty sessions (Extended Version) 66
Formal Attributes Traceability in Modular Language Development Frameworks 65
Tracing sharing in an imperative pure calculus (extended abstract) 65
An Inference Algorithm for Strictness 64
An effective translation of Fickle into Java 64
Intersection Types in Java: Back to the Future 64
A Java-like calculus with heterogeneous coeffects 64
Preface 63
Intersection, Universally Quantified, and Reference Types 63
Deconfined Global Types for Asynchronous Sessions 62
Multiparty-session-types Coordination for Core Erlang 62
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework 62
Multi-Graded Featherweight Java 61
On state classes and their dynamic semantics 61
Sequence-Function Protein Analysis Using Annotated Context Free Grammars 61
An Effectful Object Calculus 61
On state classes and their dynamic semantics 59
Leveraging dynamic typing through static typing 59
Event structure semantics for multiparty sessions 58
Rethinking services for society 5.0-Opportunities and Challenges Conference Proceedings-2025 RESER Annual Conference 58
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts 58
Totale 8.201
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.489
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 45.489
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202120 0 0 0 0 0 0 0 0 0 0 0 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/20263.197 192 91 287 418 255 237 440 585 237 265 128 62
Totale 8.717