![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Gianfranco Rossi
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j30]Maximiliano Cristiá
, Gianfranco Rossi
:
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. 25(1): 3:1-3:34 (2024) - [c45]Maximiliano Cristiá
, Gianfranco Rossi
:
An Automatically Verified Prototype of a Landing Gear System. From Computational Logic to Computational Biology 2024: 56-81 - 2023
- [j29]Maximiliano Cristiá
, Andrea Fois
, Gianfranco Rossi:
Declarative Programming with Intensional Sets in Java Using JSetL. Comput. J. 66(3): 763-784 (2023) - [j28]Maximiliano Cristiá
, Gianfranco Rossi:
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. Theory Pract. Log. Program. 23(2): 468-502 (2023) - 2022
- [j27]Maximiliano Cristiá
, Ricardo D. Katz, Gianfranco Rossi:
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. Comput. J. 65(7): 1891-1903 (2022) - [i15]Maximiliano Cristiá, Gianfranco Rossi:
A Typechecker for a Set-Based Constraint Logic Programming Language. CoRR abs/2205.01713 (2022) - [i14]Maximiliano Cristiá, Gianfranco Rossi:
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. CoRR abs/2208.03518 (2022) - 2021
- [j26]Maximiliano Cristiá
, Gianfranco Rossi:
Automated Proof of Bell-LaPadula Security Properties. J. Autom. Reason. 65(4): 463-478 (2021) - [j25]Maximiliano Cristiá
, Gianfranco Rossi:
Automated Reasoning with Restricted Intensional Sets. J. Autom. Reason. 65(6): 809-890 (2021) - [j24]Maximiliano Cristiá
, Gianfranco Rossi:
An Automatically Verified Prototype of the Tokeneer ID Station Specification. J. Autom. Reason. 65(8): 1125-1151 (2021) - [i13]Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi:
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. CoRR abs/2101.07700 (2021) - [i12]Maximiliano Cristiá, Gianfranco Rossi:
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. CoRR abs/2102.05422 (2021) - [i11]Maximiliano Cristiá, Gianfranco Rossi:
$\{log\}$: Applications to Software Specification, Prototyping and Verification. CoRR abs/2103.14933 (2021) - [i10]Maximiliano Cristiá, Gianfranco Rossi:
log: Set Formulas as Programs. CoRR abs/2104.08130 (2021) - [i9]Maximiliano Cristiá, Gianfranco Rossi:
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. CoRR abs/2105.03005 (2021) - [i8]Maximiliano Cristiá, Gianfranco Rossi:
An Automatically Verified Prototype of a Landing Gear System. CoRR abs/2112.15147 (2021) - 2020
- [j23]Maximiliano Cristiá
, Gianfranco Rossi:
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. J. Autom. Reason. 64(2): 295-330 (2020) - [i7]Maximiliano Cristiá, Gianfranco Rossi:
Automated Proof of Bell-LaPadula Security Properties. CoRR abs/2001.10512 (2020) - [i6]Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi:
Declarative Programming with Intensional Sets in Java Using JSetL. CoRR abs/2002.11562 (2020) - [i5]Maximiliano Cristiá, Gianfranco Rossi:
An Automatically Verified Prototype of the Tokeneer ID Station Specification. CoRR abs/2009.00999 (2020)
2010 – 2019
- 2019
- [i4]Maximiliano Cristiá, Gianfranco Rossi:
Automated Reasoning with Restricted Intensional Sets. CoRR abs/1910.09118 (2019) - 2018
- [j22]Federico Bergenti, Stefania Monica, Gianfranco Rossi:
Constraint Logic Programming with Polynomial Constraints over Finite Domains. Fundam. Informaticae 161(1-2): 9-27 (2018) - [c44]Maximiliano Cristiá
, Gianfranco Rossi:
A Set Solver for Finite Set Relation Algebra. RAMiCS 2018: 333-349 - [c43]Maximiliano Cristiá, Gianfranco Rossi:
Programming in Java with Restricted Intensional Sets. SETS@ABZ 2018: 17-31 - 2017
- [c42]Maximiliano Cristiá
, Gianfranco Rossi:
A Decision Procedure for Restricted Intensional Sets. CADE 2017: 185-201 - 2016
- [c41]Federico Bergenti
, Stefania Monica
, Gianfranco Rossi:
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form. AI*IA 2016: 179-191 - [c40]Maximiliano Cristiá
, Gianfranco Rossi
:
A Decision Procedure for Sets, Binary Relations and Partial Functions. CAV (1) 2016: 179-198 - [c39]Federico Bergenti, Stefania Monica, Gianfranco Rossi:
Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form. CILC 2016: 118-131 - 2015
- [j21]Gianfranco Rossi
, Federico Bergenti
:
Nondeterministic Programming in Java with JSetL. Fundam. Informaticae 140(3-4): 393-412 (2015) - [j20]Maximiliano Cristiá
, Gianfranco Rossi
, Claudia S. Frydman:
Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. 15(4-5): 651-665 (2015) - [c38]Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM 2015: 3-10 - [i3]Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Adding Partial Functions to Constraint Logic Programming with Sets. CoRR abs/1507.06852 (2015) - 2013
- [j19]Fabio Fioravanti
, Alberto Pettorossi
, Gianfranco Rossi:
Preface. Fundam. Informaticae 124(4): i-ii (2013) - [c37]Gianfranco Rossi, Federico Bergenti:
Nondeterministic Programming in Java with JSetL. CILC 2013: 211-226 - [c36]Maximiliano Cristiá
, Gianfranco Rossi, Claudia S. Frydman:
{log} as a Test Case Generator for the Test Template Framework. SEFM 2013: 229-243 - 2011
- [j18]Federico Bergenti
, L. Chiarabini, Gianfranco Rossi
:
Programming with partially specified aggregates in Java. Comput. Lang. Syst. Struct. 37(4): 178-192 (2011) - [j17]Gianfranco Rossi:
From set unification to set constraints. Intelligenza Artificiale 5(1): 157-161 (2011) - 2010
- [c35]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW 2010 - [c34]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA 2010 - [p1]Gianfranco Rossi:
Logic Programming in Italy: A Historical Perspective. 25 Years GULP 2010: 1-14
2000 – 2009
- 2009
- [j16]Federico Bergenti
, Alessandro Dal Palù
, Gianfranco Rossi
:
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Fundam. Informaticae 96(3): 227-252 (2009) - [j15]Alessandro Dal Palù
, Agostino Dovier
, Enrico Pontelli
, Gianfranco Rossi
:
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96(3): 297-322 (2009) - [c33]Alessandro Dal Palù
, Agostino Dovier
, Enrico Pontelli
, Gianfranco Rossi:
Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129 - 2008
- [j14]Agostino Dovier
, Carla Piazza
, Gianfranco Rossi
:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. ACM Trans. Comput. Log. 9(3): 15:1-15:30 (2008) - [c32]Gianfranco Rossi:
From Set Unification to Set Constraints. Il Milione 2008 - 2007
- [j13]Gianfranco Rossi
, E. Panegai, Elisabetta Poleo:
JSetL: a Java library for supporting declarative programming in Java. Softw. Pract. Exp. 37(2): 115-149 (2007) - 2006
- [j12]Agostino Dovier
, Enrico Pontelli
, Gianfranco Rossi
:
Set unification. Theory Pract. Log. Program. 6(6): 645-701 (2006) - 2004
- [c31]Gianfranco Rossi, Elisabetta Poleo:
Javaset: Declarative programming in Java with sets. Conf. Computing Frontiers 2004: 2-11 - 2003
- [c30]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49 - [c29]Elisabetta Poleo, Gianfranco Rossi:
JAVASET: Declarative Programming in Java with Sets. APPIA-GULP-PRODE 2003: 287-301 - [c28]Agostino Dovier
, Enrico Pontelli
, Gianfranco Rossi
:
Intensional Sets in CLP. ICLP 2003: 284-299 - [c27]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229 - [i2]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. CoRR cs.PL/0309045 (2003) - 2002
- [c26]Gianfranco Rossi:
Set-based Nondeterministic Declarative Programming in Singleton. WFLP 2002: 216-232 - 2001
- [j11]Agostino Dovier
, Enrico Pontelli, Gianfranco Rossi:
Constructive Negation and Constraint Logic Programming with Sets. New Gener. Comput. 19(3): 209-256 (2001) - [c25]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Multiset constraints and P systems. APPIA-GULP-PRODE 2001: 97-112 - [i1]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set Unification. CoRR cs.LO/0110023 (2001) - 2000
- [j10]Agostino Dovier
, Enrico Pontelli, Gianfranco Rossi
:
A necessary condition for Constructive Negation in Constraint Logic Programming. Inf. Process. Lett. 74(3-4): 147-156 (2000) - [j9]Agostino Dovier, Carla Piazza
, Enrico Pontelli, Gianfranco Rossi
:
Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) - [c24]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Multiset Constraints and P Systems. WMP 2000: 103-122
1990 – 1999
- 1999
- [j8]Davide Aliffi, Agostino Dovier, Gianfranco Rossi:
From Set to Hyperset Unification. J. Funct. Log. Program. 1999(10) (1999) - [c23]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320 - [c22]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 Constraints. ICLP 1999: 573-587 - 1998
- [j7]Agostino Dovier, Alberto Policriti
, Gianfranco Rossi:
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Fundam. Informaticae 36(2-3): 201-234 (1998) - [c21]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE 1998: 43-56 - [c20]Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54 - 1997
- [c19]Alessandro Provetti, Gianfranco Rossi:
Action Specifications in log. APPIA-GULP-PRODE 1997: 381-392 - [c18]Roberta Carmona, Agostino Dovier, Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP. APPIA-GULP-PRODE 1997: 465-478 - 1996
- [j6]Agostino Dovier
, Eugenio G. Omodeo
, Enrico Pontelli, Gianfranco Rossi
:
A Language for Programming in Logic with Finite Sets. J. Log. Program. 28(1): 1-44 (1996) - [c17]Agostino Dovier, Alberto Policriti, Gianfranco Rossi:
Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS 1996: 303-319 - 1994
- [c16]Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Solving Systems of Equations over Hypersets. GULP-PRODE (1) 1994: 403-417 - [c15]Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Compiling Intensional Sets in CLP. ICLP 1994: 647-661 - 1993
- [j5]Gianfranco Rossi
:
Programs as Data in an Extended Prolog. Comput. J. 36(3): 217-226 (1993) - [j4]Evelina Lamma, Paola Mello, Gianfranco Rossi
:
Parametric Composable Modules in a Logic Programming Language. Comput. Lang. 18(2): 105-123 (1993) - [c14]Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? GULP 1993: 55-70 - [c13]Agostino Dovier, Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP 1993: 71-86 - [c12]Iliano Cervesato, Gianfranco Rossi:
A WAM Implementation for the Logic Meta Programming Language 'Log. GULP 1993: 203-214 - [c11]Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo:
Unification of Hyperset Terms. ICLP Workshop on Logic Programming with Sets 1993 - [c10]Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli:
Extensional and Intensional Sets in CLP with Intensional Negation. ICLP Workshop on Logic Programming with Sets 1993 - [c9]Agostino Dovier, Gianfranco Rossi:
Embedding extensional finite sets in CLP. ILPS 1993: 540-556 - [e1]Eugenio G. Omodeo, Gianfranco Rossi:
Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993. 1993 [contents] - 1992
- [j3]Laura Giordano
, Alberto Martelli, Gianfranco Rossi
:
Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95(1): 43-74 (1992) - [c8]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167 - [c7]Iliano Cervesato, Gianfranco Rossi:
Logic Meta-Programming Facilities in 'LOG. META 1992: 148-161 - 1991
- [c6]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
{log}: A Logic Programming Language with Finite Sets. ICLP 1991: 111-124
1980 – 1989
- 1989
- [j2]Luca Console, Gianfranco Rossi:
Using Prolog for Building Frog, a Hybrid Knowledge Representation System. New Gener. Comput. 6(4): 361-388 (1989) - 1988
- [c5]Alberto Martelli, Gianfranco Rossi:
Enhancing Prolog to Support Prolog Programming Environments. ESOP 1988: 317-327 - [c4]Laura Giordano, Alberto Martelli, Gianfranco Rossi:
Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396 - 1986
- [j1]Gianfranco Rossi:
Uses of Prolog in Implementation of Expert Systems. New Gener. Comput. 4(3): 321-329 (1986) - [c3]Alberto Martelli, Gianfranco Rossi:
On the Semantics of Logic Programing Languages. ICLP 1986: 327-334 - [c2]Alberto Martelli, Corrado Moiso, Gianfranco Rossi:
An Algorithm for Unification in Equational Theories. SLP 1986: 180-186 - 1984
- [c1]Alberto Martelli, Gianfranco Rossi:
Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS 1984: 202-209
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint