IRIS
ROSSI, Gianfranco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.904
AS - Asia 3.628
EU - Europa 2.366
SA - Sud America 645
AF - Africa 182
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 2
Totale 10.733
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.791
SG - Singapore 1.363
CN - Cina 1.121
VN - Vietnam 533
BR - Brasile 514
IE - Irlanda 416
SE - Svezia 414
UA - Ucraina 369
HK - Hong Kong 289
DE - Germania 283
FI - Finlandia 271
IT - Italia 206
ZA - Sudafrica 120
NL - Olanda 119
FR - Francia 102
TR - Turchia 99
CA - Canada 80
GB - Regno Unito 70
AR - Argentina 43
IN - India 32
CI - Costa d'Avorio 30
RU - Federazione Russa 30
IQ - Iraq 28
EC - Ecuador 26
BD - Bangladesh 24
MX - Messico 23
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
UY - Uruguay 6
AT - Austria 5
GA - Gabon 5
HU - Ungheria 5
IL - Israele 5
MA - Marocco 5
EU - Europa 4
JM - Giamaica 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
EE - Estonia 2
EG - Egitto 2
IR - Iran 2
NP - Nepal 2
PS - Palestinian Territory 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BO - Bolivia 1
CM - Camerun 1
CR - Costa Rica 1
CY - Cipro 1
ET - Etiopia 1
KH - Cambogia 1
KW - Kuwait 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MD - Moldavia 1
MN - Mongolia 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
QA - Qatar 1
RS - Serbia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TJ - Tagikistan 1
Totale 10.733
Salva come PNG Salva come JPEG
Città #
Singapore 672
Santa Clara 434
Dublin 415
Jacksonville 390
Ashburn 380
Chandler 328
San Jose 304
Beijing 292
Hong Kong 279
Dearborn 196
Ann Arbor 189
Ho Chi Minh City 189
Nanjing 145
Boardman 140
San Mateo 121
Johannesburg 116
Dallas 113
Hanoi 111
Princeton 108
Lauterbourg 93
Izmir 65
Toronto 64
Bremen 63
Parma 60
Wilmington 59
Helsinki 57
Los Angeles 55
Jinan 52
Des Moines 51
Shenyang 51
Nanchang 43
São Paulo 42
Changsha 37
New York 36
Shanghai 33
Munich 32
Abidjan 29
Hebei 29
Woodbridge 28
Haiphong 26
Kunming 26
Jiaxing 24
Buffalo 23
Kocaeli 23
Guangzhou 22
Hangzhou 22
Fremont 21
Hefei 20
Tianjin 20
Columbus 19
Rio de Janeiro 19
Da Nang 18
Moscow 17
Baghdad 14
Brooklyn 14
Seattle 14
Tokyo 14
Houston 13
Norwalk 13
Brussels 12
Council Bluffs 12
Taizhou 11
Guarulhos 10
London 10
Milan 10
Biên Hòa 9
Brasília 9
Chennai 9
Fortaleza 9
Hải Dương 9
Ningbo 9
Quito 9
Timisoara 9
Atlanta 8
Belo Horizonte 8
Capannoli 8
Focsani 8
Guayaquil 8
Haikou 8
Lanzhou 8
Porto Alegre 8
Santo André 8
Zhengzhou 8
Amman 7
Borås 7
Curitiba 7
Lima 7
Rockville 7
The Dalles 7
Can Tho 6
Denver 6
Frankfurt am Main 6
Manaus 6
Mexico City 6
Modena 6
Nairobi 6
Nuremberg 6
Phoenix 6
Tashkent 6
Thái Bình 6
Totale 6.608
Salva come PNG Salva come JPEG
Nome #
First steps in integrating {log} into Z/EVES 183
Constraint Logic Programming with Polynomial Constraints over Finite Domains 174
Using a set constraint solver for program verification 163
An Automatically Verified Prototype of the Tokeneer ID Station Specification 159
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES 158
Adding partial functions to Constraint Logic Programming with sets 153
A set solver for finite relation algebra 148
A decision procedure for restricted intensional sets 147
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains 146
JSetL (version 1.3) 146
{log} (version 4.6) 141
Bibliografia sul linguaggio Ada 141
Automated Proof of Bell–LaPadula Security Properties 140
Answer Set Programming with Constraints Using Lazy Grounding 136
ACI1 Constraints 135
Programming with Partially Specified Aggregates in Java 135
JSetL: a Java Library for Supporting Declarative Programming in Java 134
A decision procedure for sets, binary relations and partial functions 134
A Necessary Condition for Constructive Negation in Constraint Logic Programming 133
Automated Reasoning with Restricted Intensional Sets 133
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java 131
An Algorithm for Unification in Equational Theories 131
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 130
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms 127
Polynomial constraint solving over finite domains with the modified Bernstein form 126
Sets and Constraint Logic Programming 124
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form 123
Declarative Programming with Intensional Sets in Java Using JSetL 122
Nondeterministic Programming in Java with JSetL 121
Helping programmers to adopt set-based specifications 121
Programming with Partially Specified Aggregates in Java 120
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations 120
Declarative Programming in Java using JSetL 120
Compiling Intensional Sets in CLP 117
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 114
Set-based Nondeterministic Declarative Programming in SINGLETON 113
JSetL: Declarative Programming in Java with Sets 112
GASP: Answer Set Programming with Lazy Grounding 111
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 110
GASP 108
From Set Unification to Set Constraints 108
Intensional Sets in CLP 104
Generalizing Finite Domain Constraint Solving 104
Extending Horn Clause Logic with Implication Goals 100
GASP: Answer Set Programming with Lazy Grounding 100
Programming in Java with Restricted Intensional Sets 100
Set Unification 99
Constructive negation and constraint logic programming with sets 98
Multiset rewriting by multiset constraint solving 96
Meta-programming facilities in an extended Prolog 95
Nondeterministic Programming in Java with JSetL 93
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language 92
From Set to Hyperset Unification 91
JSetL: Declarative Programming in Java with Sets 91
JavaSet: Declarative Programming in Java with Sets 90
Uses of Prolog in Implementation of Expert Systems 88
Rapid Prototyping and Animation of Z Specifications Using {log} 88
Integrating Finite Domain Constraints and CLP with Sets 88
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 87
Structured Prolog: A Language for Structured Logic Programming 86
Parametric Composable Modules in a Logic Programming Language 86
Logic Meta-Programming Facilities in 'Log 85
JSetL User's Manual - Version 1.0. 85
Multiset Constraints and P Systems 84
Embedding Finite Sets in a Logic Programmnig Language 84
Integrating lists, multisets, and sets in a logic programming framework 84
GASP: Answer Set Programming with Lazy Grounding 84
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 84
Integrating Finite Domain Constraints and CLP with Sets 83
JSetL: Declarative Programming in Java with Sets 83
Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011 83
Programs as Data in an Extended Prolog 82
Special Issue on the Italian Conference on Computational Logic: CILC 2011 82
The JSetL library: supporting declarative programming in Java 82
Logic Programming in Italy: A Historical Perspective 82
Efficient Unification with Infinite Terms in Logic Programming 81
Program Specification and Programming with Sets in Logic 81
Set-Based Constraints 81
From Set Unification to Set Constraints 79
On the Semantics of Logic Programming Languages 79
Programmazione concorrente con il linguaggio Ada 79
{log}: A Language for Programming in Logic with Finite Sets 78
On the Representation and Management of Finite Sets in CLP-languages 78
{log} as a Test Case Generator for the Test Template Framework 77
From Set Unification to Set Constraints 76
Lazy Unification Algorithms for Canonical Rewrite Systems 76
Local Definitions with Static Scope Rules in Logic Programming 76
JSetL User's Manual - Version 2.3 75
Programming a Distributed System in Ada 74
Embedding extensional finite sets in CLP 74
Using Prolog for Building FROG, a Hybrid Knowledge Representation System 74
Set Unification 73
Implementing Inference Strategies in Prolog based Expert Systems 73
Intensional Sets in CLP 73
Un primo approccio alla programmazione distribuita con Ada 73
{log} as a Test Case Generator for the Test Template Framework 73
Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004) 72
Enhancing Prolog to Support Prolog Programming Environments 72
Multiset Constraints and P Systems 72
{log}: A Logic Programming Language with Finite Sets 71
Totale 10.381
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.939
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 37.939
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021143 0 0 0 0 0 0 0 0 0 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/20263.593 379 398 453 456 526 219 492 143 359 168 0 0
Totale 10.774