IRIS
ROSSI, Gianfranco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.202
EU - Europa 1.974
AS - Asia 882
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.066
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.135
CN - Cina 768
IE - Irlanda 414
SE - Svezia 411
UA - Ucraina 364
FI - Finlandia 269
DE - Germania 236
IT - Italia 165
TR - Turchia 88
CA - Canada 66
GB - Regno Unito 41
RO - Romania 19
BE - Belgio 18
SG - Singapore 14
CZ - Repubblica Ceca 8
FR - Francia 7
NL - Olanda 7
HU - Ungheria 5
EU - Europa 4
IN - India 3
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
CI - Costa d'Avorio 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.066
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 106
Izmir 65
Bremen 63
Toronto 62
Wilmington 59
Parma 56
Helsinki 55
Jinan 52
Shenyang 49
Nanchang 43
Des Moines 37
Changsha 32
Hebei 29
Woodbridge 28
Shanghai 27
Kunming 26
Jiaxing 24
Kocaeli 23
Fremont 21
Hangzhou 21
Hefei 19
Guangzhou 18
New York 17
Tianjin 14
Norwalk 13
Seattle 13
Brussels 12
Taizhou 11
Boardman 10
Timisoara 9
Capannoli 8
Focsani 8
Haikou 8
Lanzhou 8
Ningbo 8
Borås 7
Houston 7
Rockville 7
Brno 5
Budapest 5
Correggio 5
Modena 5
Zhengzhou 5
Changchun 4
Istrana 4
Mestre 4
Reggio Nell'emilia 4
Taiyuan 4
Auburn Hills 3
Chengdu 3
Fairfield 3
Fuzhou 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
Los Angeles 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
Cairo 1
Cambridge 1
Cerea 1
Charlotte 1
Chongqing 1
Totale 3.301
Salva come PNG Salva come JPEG
Nome #
First steps in integrating {log} into Z/EVES 104
JSetL (version 1.3) 84
{log} (version 4.6) 82
Using a set constraint solver for program verification 79
Declarative Programming in Java using JSetL 78
Nondeterministic Programming in Java with JSetL 77
Polynomial constraint solving over finite domains with the modified Bernstein form 77
A set solver for finite relation algebra 76
Constraint Logic Programming with Polynomial Constraints over Finite Domains 75
Programming with Partially Specified Aggregates in Java 74
A decision procedure for restricted intensional sets 74
Adding partial functions to Constraint Logic Programming with sets 74
Sets and Constraint Logic Programming 73
An Automatically Verified Prototype of the Tokeneer ID Station Specification 71
GASP 68
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 67
A Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains 66
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java 66
JSetL: Declarative Programming in Java with Sets 64
A Necessary Condition for Constructive Negation in Constraint Logic Programming 64
Answer Set Programming with Constraints Using Lazy Grounding 64
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations 64
ACI1 Constraints 63
Programming with Partially Specified Aggregates in Java 63
A decision procedure for sets, binary relations and partial functions 63
JSetL: a Java Library for Supporting Declarative Programming in Java 62
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms 59
Set-based Nondeterministic Declarative Programming in SINGLETON 58
Helping programmers to adopt set-based specifications 57
An Algorithm for Unification in Equational Theories 57
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 56
Programming in Java with Restricted Intensional Sets 56
GASP: Answer Set Programming with Lazy Grounding 56
Multiset rewriting by multiset constraint solving 55
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 55
From Set Unification to Set Constraints 52
Intensional Sets in CLP 51
Bibliografia sul linguaggio Ada 51
Automated Proof of Bell–LaPadula Security Properties 51
Constructive negation and constraint logic programming with sets 51
Compiling Intensional Sets in CLP 50
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language 49
Automated Reasoning with Restricted Intensional Sets 48
Declarative Programming with Intensional Sets in Java Using JSetL 48
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES 48
From Set to Hyperset Unification 47
Uses of Prolog in Implementation of Expert Systems 46
Rapid Prototyping and Animation of Z Specifications Using {log} 46
Generalizing Finite Domain Constraint Solving 46
Extending Horn Clause Logic with Implication Goals 45
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 44
Set Unification 43
Multiset Constraints and P Systems 43
Stepwise development of an algorithm for unification over infinite trees 43
A subdivision approach to the solution of polynomial constraints over finite domains using the modified Bernstein form 43
Integrating Finite Domain Constraints and CLP with Sets 42
Integrating lists, multisets, and sets in a logic programming framework 42
JavaSet: Declarative Programming in Java with Sets 42
The JSetL library: supporting declarative programming in Java 42
Programs as Data in an Extended Prolog 41
Logic Programming in Italy: A Historical Perspective 41
JSetL: Declarative Programming in Java with Sets 40
Logic Meta-Programming Facilities in 'Log 40
Local Definitions with Static Scope Rules in Logic Programming 40
GASP: Answer Set Programming with Lazy Grounding 40
Lazy Unification Algorithms for Canonical Rewrite Systems 39
Efficient Unification with Infinite Terms in Logic Programming 39
Set Unification 38
FROG: a Prolog-based system for Prolog-based knowledge representation 38
Implementing Inference Strategies in Prolog based Expert Systems 38
GASP: Answer Set Programming with Lazy Grounding 38
JSetL: Declarative Programming in Java with Sets 38
On the Semantics of Logic Programming Languages 37
{log} as a Test Case Generator for the Test Template Framework 37
Integrating Finite Domain Constraints and CLP with Sets 37
Structured Prolog: A Language for Structured Logic Programming 35
Parametric Composable Modules in a Logic Programming Language 35
From Set Unification to Set Constraints 35
Embedding Finite Sets in a Logic Programmnig Language 35
Programmazione concorrente con il linguaggio Ada 35
Enhancing Prolog to Support Prolog Programming Environments 35
Meta-programming facilities in an extended Prolog 35
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 35
Special Issue on the Italian Conference on Computational Logic: CILC 2011 35
From Set Unification to Set Constraints 34
JSetL User's Manual - Version 1.0. 34
{log} as a Test Case Generator for the Test Template Framework 34
Set Unification 33
Program Specification and Programming with Sets in Logic 33
Intensional Sets in CLP 33
Un primo approccio alla programmazione distribuita con Ada 33
On the Representation and Management of Finite Sets in CLP-languages 32
Set-Based Constraints 32
Preface at Special Issue on the Italian Conference on Computational Logic: CILC 2011 32
Proceeedings of CILC'04 - Italian Conference on Computational Logic (Parma, 15-16 June 2004) 31
Nondeterministic Programming in Java with JSetL 31
Embedding extensional finite sets in CLP 31
Using Prolog for Building FROG, a Hybrid Knowledge Representation System 31
Programming a Distributed System in Ada 30
{log}: A Language for Programming in Logic with Finite Sets 29
Totale 4.943
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.910
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 16.910
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019103 0 0 0 0 0 0 0 0 0 5 91 7
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/2024306 19 49 14 8 42 97 25 26 18 8 0 0
Totale 5.105