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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022518 0 0 0 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/2027846 128 227 267 224 0 0 0 0 0 0 0 0
Totale 11.839