IRIS
ROSSI, Gianfranco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.437
AS - Asia 2.934
EU - Europa 2.235
SA - Sud America 618
AF - Africa 173
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 2
Totale 9.405
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.331
SG - Singapore 1.133
CN - Cina 1.053
BR - Brasile 495
IE - Irlanda 415
SE - Svezia 414
UA - Ucraina 369
DE - Germania 271
FI - Finlandia 271
HK - Hong Kong 267
VN - Vietnam 254
IT - Italia 196
ZA - Sudafrica 117
NL - Olanda 116
TR - Turchia 93
CA - Canada 79
GB - Regno Unito 65
AR - Argentina 42
CI - Costa d'Avorio 30
RU - Federazione Russa 30
EC - Ecuador 26
MX - Messico 20
RO - Romania 20
BD - Bangladesh 19
ID - Indonesia 19
IN - India 19
IQ - Iraq 19
BE - Belgio 18
CO - Colombia 13
PY - Paraguay 11
JP - Giappone 9
PE - Perù 9
CZ - Repubblica Ceca 8
FR - Francia 8
TN - Tunisia 8
VE - Venezuela 8
CL - Cile 7
UY - Uruguay 6
UZ - Uzbekistan 6
AT - Austria 5
ES - Italia 5
HU - Ungheria 5
IL - Israele 5
JO - Giordania 5
PL - Polonia 5
EU - Europa 4
KE - Kenya 4
LB - Libano 4
MA - Marocco 4
PK - Pakistan 4
AL - Albania 3
GA - Gabon 3
JM - Giamaica 3
KZ - Kazakistan 3
LT - Lituania 3
PH - Filippine 3
AM - Armenia 2
AU - Australia 2
AZ - Azerbaigian 2
DO - Repubblica Dominicana 2
EE - Estonia 2
EG - Egitto 2
IR - Iran 2
NP - Nepal 2
SA - Arabia Saudita 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
CM - Camerun 1
CY - Cipro 1
ET - Etiopia 1
KH - Cambogia 1
KW - Kuwait 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MN - Mongolia 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TJ - Tagikistan 1
Totale 9.405
Salva come PNG Salva come JPEG
Città #
Singapore 554
Santa Clara 433
Dublin 414
Jacksonville 390
Chandler 328
Ashburn 314
Beijing 288
Hong Kong 267
Dearborn 196
Ann Arbor 189
Nanjing 144
Boardman 140
San Mateo 121
Dallas 113
Johannesburg 113
Princeton 108
Ho Chi Minh City 107
Izmir 65
Toronto 64
Bremen 63
Parma 59
Wilmington 59
Helsinki 57
Jinan 52
Shenyang 51
Des Moines 49
Hanoi 49
Los Angeles 46
Nanchang 43
São Paulo 42
Changsha 37
Munich 32
New York 32
Shanghai 32
Abidjan 29
Hebei 29
Woodbridge 28
Kunming 26
Jiaxing 24
Kocaeli 23
Guangzhou 22
Hangzhou 22
Fremont 21
Hefei 20
Tianjin 20
Columbus 19
Rio de Janeiro 19
Buffalo 17
Moscow 17
Haiphong 15
Seattle 14
Brooklyn 13
Norwalk 13
Brussels 12
Houston 12
Taizhou 11
Council Bluffs 10
Guarulhos 10
Baghdad 9
Brasília 9
Fortaleza 9
Ningbo 9
Quito 9
Timisoara 9
Capannoli 8
Da Nang 8
Focsani 8
Guayaquil 8
Haikou 8
Lanzhou 8
Zhengzhou 8
Belo Horizonte 7
Borås 7
Curitiba 7
London 7
Milan 7
Porto Alegre 7
Rockville 7
Santo André 7
The Dalles 7
Tokyo 7
Atlanta 6
Biên Hòa 6
Chennai 6
Lima 6
Manaus 6
Modena 6
Amman 5
Brno 5
Budapest 5
Buenos Aires 5
Caruaru 5
Chengdu 5
Correggio 5
Kolkata 5
Mexico City 5
Montevideo 5
Phoenix 5
Recife 5
Taiyuan 5
Totale 5.778
Salva come PNG Salva come JPEG
Nome #
First steps in integrating {log} into Z/EVES 169
Constraint Logic Programming with Polynomial Constraints over Finite Domains 161
Using a set constraint solver for program verification 141
Adding partial functions to Constraint Logic Programming with sets 133
An Automatically Verified Prototype of the Tokeneer ID Station Specification 132
A decision procedure for restricted intensional sets 129
A set solver for finite relation algebra 129
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES 129
JSetL (version 1.3) 127
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains 126
{log} (version 4.6) 125
Bibliografia sul linguaggio Ada 119
JSetL: a Java Library for Supporting Declarative Programming in Java 118
Automated Proof of Bell–LaPadula Security Properties 118
Answer Set Programming with Constraints Using Lazy Grounding 117
ACI1 Constraints 116
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 116
A decision procedure for sets, binary relations and partial functions 116
Nondeterministic Programming in Java with JSetL 115
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java 115
Programming with Partially Specified Aggregates in Java 114
A Necessary Condition for Constructive Negation in Constraint Logic Programming 113
Polynomial constraint solving over finite domains with the modified Bernstein form 113
Automated Reasoning with Restricted Intensional Sets 110
Sets and Constraint Logic Programming 109
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations 109
An Algorithm for Unification in Equational Theories 109
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms 107
Set-based Nondeterministic Declarative Programming in SINGLETON 105
Programming with Partially Specified Aggregates in Java 105
Compiling Intensional Sets in CLP 103
Declarative Programming in Java using JSetL 102
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form 101
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 99
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 99
GASP: Answer Set Programming with Lazy Grounding 99
Helping programmers to adopt set-based specifications 98
GASP 96
From Set Unification to Set Constraints 93
Generalizing Finite Domain Constraint Solving 92
JSetL: Declarative Programming in Java with Sets 90
Intensional Sets in CLP 90
Declarative Programming with Intensional Sets in Java Using JSetL 90
Constructive negation and constraint logic programming with sets 90
GASP: Answer Set Programming with Lazy Grounding 89
Set Unification 87
Extending Horn Clause Logic with Implication Goals 87
Programming in Java with Restricted Intensional Sets 86
Multiset rewriting by multiset constraint solving 84
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language 84
Meta-programming facilities in an extended Prolog 83
Logic Meta-Programming Facilities in 'Log 82
Embedding Finite Sets in a Logic Programmnig Language 81
JavaSet: Declarative Programming in Java with Sets 81
Structured Prolog: A Language for Structured Logic Programming 80
JSetL: Declarative Programming in Java with Sets 80
Uses of Prolog in Implementation of Expert Systems 80
From Set to Hyperset Unification 79
Parametric Composable Modules in a Logic Programming Language 79
Integrating lists, multisets, and sets in a logic programming framework 79
The JSetL library: supporting declarative programming in Java 78
Programs as Data in an Extended Prolog 77
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 77
Integrating Finite Domain Constraints and CLP with Sets 75
Rapid Prototyping and Animation of Z Specifications Using {log} 75
JSetL: Declarative Programming in Java with Sets 75
Multiset Constraints and P Systems 74
On the Semantics of Logic Programming Languages 74
GASP: Answer Set Programming with Lazy Grounding 74
Programmazione concorrente con il linguaggio Ada 73
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 73
Integrating Finite Domain Constraints and CLP with Sets 73
Logic Programming in Italy: A Historical Perspective 73
Set-Based Constraints 72
JSetL User's Manual - Version 1.0. 72
Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011 72
On the Representation and Management of Finite Sets in CLP-languages 71
Lazy Unification Algorithms for Canonical Rewrite Systems 71
From Set Unification to Set Constraints 70
Efficient Unification with Infinite Terms in Logic Programming 70
From Set Unification to Set Constraints 69
Special Issue on the Italian Conference on Computational Logic: CILC 2011 69
{log}: A Language for Programming in Logic with Finite Sets 68
Program Specification and Programming with Sets in Logic 68
Intensional Sets in CLP 68
Local Definitions with Static Scope Rules in Logic Programming 67
{log} as a Test Case Generator for the Test Template Framework 67
Nondeterministic Programming in Java with JSetL 67
Enhancing Prolog to Support Prolog Programming Environments 66
Using Prolog for Building FROG, a Hybrid Knowledge Representation System 66
FROG: a Prolog-based system for Prolog-based knowledge representation 65
Implementing Inference Strategies in Prolog based Expert Systems 65
{log}: A Logic Programming Language with Finite Sets 65
Embedding extensional finite sets in CLP 65
Un primo approccio alla programmazione distribuita con Ada 65
Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004) 64
Set Unification 64
Stepwise development of an algorithm for unification over infinite trees 64
Multiset Constraints and P Systems 64
{log} as a Test Case Generator for the Test Template Framework 64
Totale 9.097
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.142
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 35.142
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021442 0 0 0 0 0 40 92 15 152 42 85 16
2021/2022556 18 14 6 19 24 2 81 101 21 69 23 178
2022/20231.495 229 154 103 94 136 159 13 71 491 2 30 13
2023/2024418 19 49 14 8 42 97 25 26 18 14 40 66
2024/20251.964 72 129 158 69 220 343 20 52 205 179 121 396
2025/20262.265 379 398 453 456 526 53 0 0 0 0 0 0
Totale 9.446