IRIS
ROSSI, Gianfranco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.463
AS - Asia 2.969
EU - Europa 2.241
SA - Sud America 619
AF - Africa 175
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 2
Totale 9.475
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.357
SG - Singapore 1.155
CN - Cina 1.057
BR - Brasile 496
IE - Irlanda 415
SE - Svezia 414
UA - Ucraina 369
DE - Germania 271
FI - Finlandia 271
HK - Hong Kong 268
VN - Vietnam 255
IT - Italia 198
ZA - Sudafrica 118
NL - Olanda 116
TR - Turchia 95
CA - Canada 79
GB - Regno Unito 67
AR - Argentina 42
CI - Costa d'Avorio 30
RU - Federazione Russa 30
EC - Ecuador 26
IN - India 21
MX - Messico 20
RO - Romania 20
BD - Bangladesh 19
ID - Indonesia 19
IQ - Iraq 19
BE - Belgio 18
CO - Colombia 13
JP - Giappone 11
PY - Paraguay 11
PE - Perù 9
CZ - Repubblica Ceca 8
FR - Francia 8
TN - Tunisia 8
VE - Venezuela 8
CL - Cile 7
ES - Italia 6
JO - Giordania 6
PL - Polonia 6
UY - Uruguay 6
UZ - Uzbekistan 6
AT - Austria 5
HU - Ungheria 5
IL - Israele 5
KE - Kenya 5
EU - Europa 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.475
Salva come PNG Salva come JPEG
Città #
Singapore 576
Santa Clara 433
Dublin 414
Jacksonville 390
Chandler 328
Ashburn 322
Beijing 288
Hong Kong 268
Dearborn 196
Ann Arbor 189
Nanjing 144
Boardman 140
San Mateo 121
Johannesburg 114
Dallas 113
Ho Chi Minh City 108
Princeton 108
Izmir 65
Toronto 64
Bremen 63
Parma 59
Wilmington 59
Helsinki 57
Jinan 52
Shenyang 51
Des Moines 49
Hanoi 49
Los Angeles 47
Nanchang 43
São Paulo 42
Changsha 37
New York 34
Shanghai 33
Munich 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
Brooklyn 14
Seattle 14
Houston 13
Norwalk 13
Brussels 12
Taizhou 11
Council Bluffs 10
Guarulhos 10
Baghdad 9
Brasília 9
Fortaleza 9
London 9
Ningbo 9
Quito 9
Timisoara 9
Capannoli 8
Chennai 8
Da Nang 8
Focsani 8
Guayaquil 8
Haikou 8
Lanzhou 8
Tokyo 8
Zhengzhou 8
Belo Horizonte 7
Borås 7
Curitiba 7
Milan 7
Porto Alegre 7
Rockville 7
Santo André 7
The Dalles 7
Amman 6
Atlanta 6
Biên Hòa 6
Denver 6
Lima 6
Manaus 6
Modena 6
Phoenix 6
San Jose 6
Warsaw 6
Brno 5
Budapest 5
Buenos Aires 5
Caruaru 5
Chengdu 5
Correggio 5
Kolkata 5
Mexico City 5
Totale 5.827
Salva come PNG Salva come JPEG
Nome #
First steps in integrating {log} into Z/EVES 171
Constraint Logic Programming with Polynomial Constraints over Finite Domains 161
Using a set constraint solver for program verification 142
An Automatically Verified Prototype of the Tokeneer ID Station Specification 135
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES 135
Adding partial functions to Constraint Logic Programming with sets 134
A set solver for finite relation algebra 131
JSetL (version 1.3) 129
A decision procedure for restricted intensional sets 129
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains 127
{log} (version 4.6) 127
Bibliografia sul linguaggio Ada 121
ACI1 Constraints 120
Automated Proof of Bell–LaPadula Security Properties 120
Answer Set Programming with Constraints Using Lazy Grounding 119
JSetL: a Java Library for Supporting Declarative Programming in Java 118
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 118
A decision procedure for sets, binary relations and partial functions 117
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java 116
Nondeterministic Programming in Java with JSetL 115
Programming with Partially Specified Aggregates in Java 115
A Necessary Condition for Constructive Negation in Constraint Logic Programming 114
Polynomial constraint solving over finite domains with the modified Bernstein form 114
Sets and Constraint Logic Programming 112
Automated Reasoning with Restricted Intensional Sets 112
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations 110
An Algorithm for Unification in Equational Theories 110
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms 108
Set-based Nondeterministic Declarative Programming in SINGLETON 105
Programming with Partially Specified Aggregates in Java 105
Compiling Intensional Sets in CLP 104
Declarative Programming in Java using JSetL 103
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form 102
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 100
GASP 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
From Set Unification to Set Constraints 93
Declarative Programming with Intensional Sets in Java Using JSetL 92
Generalizing Finite Domain Constraint Solving 92
Intensional Sets in CLP 91
Constructive negation and constraint logic programming with sets 91
JSetL: Declarative Programming in Java with Sets 90
GASP: Answer Set Programming with Lazy Grounding 89
Set Unification 88
Extending Horn Clause Logic with Implication Goals 87
Programming in Java with Restricted Intensional Sets 87
Multiset rewriting by multiset constraint solving 85
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
JavaSet: Declarative Programming in Java with Sets 82
Embedding Finite Sets in a Logic Programmnig Language 81
From Set to Hyperset Unification 80
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
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 79
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 78
Rapid Prototyping and Animation of Z Specifications Using {log} 78
Programs as Data in an Extended Prolog 77
Integrating Finite Domain Constraints and CLP with Sets 75
GASP: Answer Set Programming with Lazy Grounding 75
JSetL: Declarative Programming in Java with Sets 75
Multiset Constraints and P Systems 74
On the Semantics of Logic Programming Languages 74
Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011 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
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
Special Issue on the Italian Conference on Computational Logic: CILC 2011 70
From Set Unification to Set Constraints 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.167
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.455
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.455
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.335 379 398 453 456 526 123 0 0 0 0 0 0
Totale 9.516