IRIS
ROSSI, Gianfranco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.212
EU - Europa 1.980
AS - Asia 1.023
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.250
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.145
CN - Cina 811
IE - Irlanda 414
SE - Svezia 411
UA - Ucraina 364
FI - Finlandia 269
DE - Germania 239
IT - Italia 168
SG - Singapore 108
TR - Turchia 88
CA - Canada 66
GB - Regno Unito 41
CI - Costa d'Avorio 28
RO - Romania 19
BE - Belgio 18
CZ - Repubblica Ceca 8
FR - Francia 7
IN - India 7
NL - Olanda 7
HU - Ungheria 5
EU - Europa 4
AT - Austria 2
EE - Estonia 2
ID - Indonesia 2
IR - Iran 2
JP - Giappone 2
PK - Pakistan 2
RU - Federazione Russa 2
AL - Albania 1
CM - Camerun 1
CY - Cipro 1
EG - Egitto 1
LU - Lussemburgo 1
MX - Messico 1
NO - Norvegia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 5.250
Salva come PNG Salva come JPEG
Città #
Dublin 414
Jacksonville 389
Chandler 328
Dearborn 196
Beijing 193
Ann Arbor 189
Nanjing 142
Ashburn 124
San Mateo 121
Princeton 108
Izmir 65
Bremen 63
Toronto 62
Wilmington 59
Parma 56
Helsinki 55
Singapore 54
Jinan 52
Shenyang 49
Nanchang 43
Des Moines 37
Changsha 32
Hebei 29
Shanghai 29
Woodbridge 28
Abidjan 27
Kunming 26
Jiaxing 24
Kocaeli 23
Fremont 21
Hangzhou 21
Hefei 19
Guangzhou 18
New York 17
Tianjin 14
Norwalk 13
Seattle 13
Boardman 12
Brussels 12
Taizhou 11
Timisoara 9
Capannoli 8
Focsani 8
Haikou 8
Lanzhou 8
Ningbo 8
Borås 7
Houston 7
Rockville 7
Los Angeles 6
Brno 5
Budapest 5
Correggio 5
Modena 5
Zhengzhou 5
Changchun 4
Istrana 4
Kolkata 4
Mestre 4
Reggio Nell'emilia 4
Taiyuan 4
Auburn Hills 3
Chengdu 3
Fairfield 3
Fuzhou 3
Milan 3
Munich 3
Old Bridge 3
Paris 3
Prague 3
Sesto San Giovanni 3
Turin 3
Asagayakita 2
Bologna 2
Brooklyn 2
Düsseldorf 2
Geislingen an der Steige 2
Hanover 2
Harrisburg 2
Horia 2
Huizen 2
Lahore 2
Medan 2
Mountain View 2
Pavia 2
Pioltello 2
Redmond 2
Redwood City 2
Rovereto 2
Santa Clara 2
Schio 2
Strasbourg 2
Viadana 2
Wenzhou 2
Xian 2
Amsterdam 1
Antwerp 1
Atlanta 1
Bari 1
Bratislava 1
Totale 3.397
Salva come PNG Salva come JPEG
Nome #
First steps in integrating {log} into Z/EVES 107
JSetL (version 1.3) 87
{log} (version 4.6) 82
Using a set constraint solver for program verification 81
Nondeterministic Programming in Java with JSetL 79
Polynomial constraint solving over finite domains with the modified Bernstein form 78
Constraint Logic Programming with Polynomial Constraints over Finite Domains 78
Declarative Programming in Java using JSetL 78
A set solver for finite relation algebra 77
Programming with Partially Specified Aggregates in Java 76
A decision procedure for restricted intensional sets 76
Adding partial functions to Constraint Logic Programming with sets 75
Sets and Constraint Logic Programming 74
An Automatically Verified Prototype of the Tokeneer ID Station Specification 72
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains 69
GASP 69
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 69
A Necessary Condition for Constructive Negation in Constraint Logic Programming 68
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java 68
Answer Set Programming with Constraints Using Lazy Grounding 67
Programming with Partially Specified Aggregates in Java 67
A decision procedure for sets, binary relations and partial functions 66
JSetL: Declarative Programming in Java with Sets 65
ACI1 Constraints 65
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations 65
JSetL: a Java Library for Supporting Declarative Programming in Java 63
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms 61
Set-based Nondeterministic Declarative Programming in SINGLETON 59
An Algorithm for Unification in Equational Theories 59
Helping programmers to adopt set-based specifications 58
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 57
Programming in Java with Restricted Intensional Sets 57
GASP: Answer Set Programming with Lazy Grounding 57
Multiset rewriting by multiset constraint solving 56
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 56
Automated Proof of Bell–LaPadula Security Properties 55
From Set Unification to Set Constraints 54
Bibliografia sul linguaggio Ada 54
Compiling Intensional Sets in CLP 53
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES 53
Intensional Sets in CLP 52
Constructive negation and constraint logic programming with sets 52
Automated Reasoning with Restricted Intensional Sets 51
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language 50
From Set to Hyperset Unification 49
Declarative Programming with Intensional Sets in Java Using JSetL 49
Generalizing Finite Domain Constraint Solving 48
Extending Horn Clause Logic with Implication Goals 47
Uses of Prolog in Implementation of Expert Systems 47
Rapid Prototyping and Animation of Z Specifications Using {log} 47
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form 46
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 45
Set Unification 44
Multiset Constraints and P Systems 44
Stepwise development of an algorithm for unification over infinite trees 44
Integrating Finite Domain Constraints and CLP with Sets 43
Integrating lists, multisets, and sets in a logic programming framework 43
JavaSet: Declarative Programming in Java with Sets 43
The JSetL library: supporting declarative programming in Java 43
Programs as Data in an Extended Prolog 42
GASP: Answer Set Programming with Lazy Grounding 42
Logic Programming in Italy: A Historical Perspective 42
JSetL: Declarative Programming in Java with Sets 41
Logic Meta-Programming Facilities in 'Log 41
Local Definitions with Static Scope Rules in Logic Programming 41
Lazy Unification Algorithms for Canonical Rewrite Systems 40
Efficient Unification with Infinite Terms in Logic Programming 40
GASP: Answer Set Programming with Lazy Grounding 40
Set Unification 39
On the Semantics of Logic Programming Languages 39
FROG: a Prolog-based system for Prolog-based knowledge representation 39
Implementing Inference Strategies in Prolog based Expert Systems 39
{log} as a Test Case Generator for the Test Template Framework 39
JSetL: Declarative Programming in Java with Sets 39
Integrating Finite Domain Constraints and CLP with Sets 39
Parametric Composable Modules in a Logic Programming Language 38
Set-Based Constraints 38
Structured Prolog: A Language for Structured Logic Programming 37
From Set Unification to Set Constraints 37
Embedding Finite Sets in a Logic Programmnig Language 37
Programmazione concorrente con il linguaggio Ada 37
Enhancing Prolog to Support Prolog Programming Environments 37
Meta-programming facilities in an extended Prolog 37
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 37
Special Issue on the Italian Conference on Computational Logic: CILC 2011 37
From Set Unification to Set Constraints 36
JSetL User's Manual - Version 1.0. 36
{log} as a Test Case Generator for the Test Template Framework 36
Set Unification 35
Program Specification and Programming with Sets in Logic 35
Intensional Sets in CLP 35
Un primo approccio alla programmazione distribuita con Ada 35
On the Representation and Management of Finite Sets in CLP-languages 34
Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011 34
Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004) 33
Nondeterministic Programming in Java with JSetL 33
Embedding extensional finite sets in CLP 33
Using Prolog for Building FROG, a Hybrid Knowledge Representation System 33
{log}: A Language for Programming in Logic with Finite Sets 31
Programming with Partially Specified Collections 31
Totale 5.121
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.095
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 19.095
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.348 224 125 92 13 128 141 139 28 104 229 36 89
2020/2021735 14 87 74 15 103 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/202572 72 0 0 0 0 0 0 0 0 0 0 0
Totale 5.289