IRIS
ROSSI, Gianfranco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.032
AS - Asia 3.689
EU - Europa 2.386
SA - Sud America 645
AF - Africa 182
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 2
Totale 10.942
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.914
SG - Singapore 1.367
CN - Cina 1.125
VN - Vietnam 533
BR - Brasile 514
IE - Irlanda 416
SE - Svezia 414
UA - Ucraina 369
HK - Hong Kong 290
DE - Germania 283
FI - Finlandia 271
IT - Italia 226
ZA - Sudafrica 120
NL - Olanda 119
FR - Francia 102
TR - Turchia 99
CA - Canada 83
BD - Bangladesh 76
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
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
BS - Bahamas 1
CM - Camerun 1
CR - Costa Rica 1
CY - Cipro 1
ET - Etiopia 1
HN - Honduras 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.942
Salva come PNG Salva come JPEG
Città #
Singapore 672
Santa Clara 438
Dublin 415
Ashburn 397
Jacksonville 390
San Jose 341
Chandler 328
Beijing 293
Hong Kong 280
Dearborn 196
Ann Arbor 189
Ho Chi Minh City 189
Nanjing 145
Boardman 140
San Mateo 121
Johannesburg 116
Dallas 114
Hanoi 111
Princeton 108
Lauterbourg 93
Izmir 65
Los Angeles 64
Toronto 64
Bremen 63
Parma 60
Wilmington 59
Helsinki 57
Jinan 52
Des Moines 51
Shenyang 51
New York 48
Nanchang 43
São Paulo 42
Changsha 37
Shanghai 34
Munich 32
Abidjan 29
Hebei 29
Woodbridge 28
Haiphong 26
Kunming 26
Buffalo 25
Jiaxing 24
Kocaeli 23
Guangzhou 22
Hangzhou 22
Fremont 21
Hefei 20
Tianjin 20
Columbus 19
Rio de Janeiro 19
Da Nang 18
Moscow 17
Brooklyn 15
Baghdad 14
Houston 14
Seattle 14
Tokyo 14
Norwalk 13
Brussels 12
Council Bluffs 12
Milan 11
Taizhou 11
Guarulhos 10
London 10
Biên Hòa 9
Brasília 9
Chennai 9
Denver 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
Montreal 7
Phoenix 7
Rockville 7
The Dalles 7
Can Tho 6
Chicago 6
Frankfurt am Main 6
Manaus 6
Mexico City 6
Modena 6
Nairobi 6
Nuremberg 6
Totale 6.701
Salva come PNG Salva come JPEG
Nome #
First steps in integrating {log} into Z/EVES 184
Constraint Logic Programming with Polynomial Constraints over Finite Domains 180
An Automatically Verified Prototype of the Tokeneer ID Station Specification 165
Using a set constraint solver for program verification 164
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES 159
Adding partial functions to Constraint Logic Programming with sets 156
A decision procedure for restricted intensional sets 148
A set solver for finite relation algebra 148
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains 147
JSetL (version 1.3) 146
Automated Proof of Bell–LaPadula Security Properties 143
Bibliografia sul linguaggio Ada 142
{log} (version 4.6) 141
Answer Set Programming with Constraints Using Lazy Grounding 137
A decision procedure for sets, binary relations and partial functions 137
Programming with Partially Specified Aggregates in Java 136
Automated Reasoning with Restricted Intensional Sets 136
ACI1 Constraints 135
A Necessary Condition for Constructive Negation in Constraint Logic Programming 134
JSetL: a Java Library for Supporting Declarative Programming in Java 134
Declarative Programming with Intensional Sets in Java Using JSetL 134
Nondeterministic Programming in Java with JSetL 132
Rapid Prototyping and Animation of Z Specifications Using {log} 132
An Algorithm for Unification in Equational Theories 132
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 131
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java 131
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
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form 126
Sets and Constraint Logic Programming 125
Nondeterministic Programming in Java with JSetL 124
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations 123
Helping programmers to adopt set-based specifications 121
Compiling Intensional Sets in CLP 120
Programming with Partially Specified Aggregates in Java 120
Declarative Programming in Java using JSetL 120
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 116
Set-based Nondeterministic Declarative Programming in SINGLETON 115
JSetL: Declarative Programming in Java with Sets 112
GASP: Answer Set Programming with Lazy Grounding 112
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 111
GASP 109
From Set Unification to Set Constraints 109
Intensional Sets in CLP 105
Generalizing Finite Domain Constraint Solving 104
Extending Horn Clause Logic with Implication Goals 101
Programming in Java with Restricted Intensional Sets 101
GASP: Answer Set Programming with Lazy Grounding 100
Constructive negation and constraint logic programming with sets 100
Set Unification 99
Multiset rewriting by multiset constraint solving 96
Meta-programming facilities in an extended Prolog 96
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language 93
From Set to Hyperset Unification 92
JSetL: Declarative Programming in Java with Sets 91
JavaSet: Declarative Programming in Java with Sets 91
Structured Prolog: A Language for Structured Logic Programming 88
Uses of Prolog in Implementation of Expert Systems 88
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 88
Integrating Finite Domain Constraints and CLP with Sets 88
Parametric Composable Modules in a Logic Programming Language 86
Integrating lists, multisets, and sets in a logic programming framework 86
Logic Meta-Programming Facilities in 'Log 86
Multiset Constraints and P Systems 85
Embedding Finite Sets in a Logic Programmnig Language 85
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 85
JSetL User's Manual - Version 1.0. 85
Integrating Finite Domain Constraints and CLP with Sets 84
GASP: Answer Set Programming with Lazy Grounding 84
Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011 84
Programs as Data in an Extended Prolog 83
Special Issue on the Italian Conference on Computational Logic: CILC 2011 83
JSetL: Declarative Programming in Java with Sets 83
The JSetL library: supporting declarative programming in Java 83
Efficient Unification with Infinite Terms in Logic Programming 82
Program Specification and Programming with Sets in Logic 82
JSetL User's Manual - Version 2.3 82
Logic Programming in Italy: A Historical Perspective 82
Set-Based Constraints 81
Programmazione concorrente con il linguaggio Ada 80
{log}: A Language for Programming in Logic with Finite Sets 79
From Set Unification to Set Constraints 79
On the Representation and Management of Finite Sets in CLP-languages 79
On the Semantics of Logic Programming Languages 79
{log} as a Test Case Generator for the Test Template Framework 78
Programming a Distributed System in Ada 78
From Set Unification to Set Constraints 77
Lazy Unification Algorithms for Canonical Rewrite Systems 77
Local Definitions with Static Scope Rules in Logic Programming 76
Multiset Constraints and P Systems 76
Implementing Inference Strategies in Prolog based Expert Systems 75
Embedding extensional finite sets in CLP 75
{log} as a Test Case Generator for the Test Template Framework 75
Set Unification 74
Using Prolog for Building FROG, a Hybrid Knowledge Representation System 74
Enhancing Prolog to Support Prolog Programming Environments 73
Intensional Sets in CLP 73
Un primo approccio alla programmazione distribuita con Ada 73
Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004) 72
Stepwise development of an algorithm for unification over infinite trees 72
Totale 10.586
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.856
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 39.856
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202116 0 0 0 0 0 0 0 0 0 0 0 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.802 379 398 453 456 526 219 492 143 359 207 130 40
Totale 10.983