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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022538 0 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/20263.812 379 398 453 456 526 219 492 143 359 207 130 50
2026/2027349 128 221 0 0 0 0 0 0 0 0 0 0
Totale 11.342