Gianfranco Rossi

96 papers A 2B 7C 2Journal 49Unranked 34

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Encoding and Reasoning About Arrays in Set Theory. CoRR Maximiliano Cristiá, Gianfranco Rossi
2025	J	`jnl`	From a Constraint Logic Programming Language to a Formal Verification Tool. CoRR Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi
2024	J	`jnl`	A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. Maximiliano Cristiá, Gianfranco Rossi
2024	J	`jnl`	A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2024	—	`conf`	An Automatically Verified Prototype of a Landing Gear System. From Computational Logic to Computational Biology Maximiliano Cristiá, Gianfranco Rossi
2024	J	`jnl`	Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. Theory Pract. Log. Program. Maximiliano Cristiá, Gianfranco Rossi
2023	J	`jnl`	Declarative Programming with Intensional Sets in Java Using JSetL. Comput. J. Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
2023	J	`jnl`	Integrating Cardinality Constraints into Constraint Logic Programming with Sets. Theory Pract. Log. Program. Maximiliano Cristiá, Gianfranco Rossi
2022	J	`jnl`	A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. CoRR Maximiliano Cristiá, Gianfranco Rossi
2022	J	`jnl`	A Typechecker for a Set-Based Constraint Logic Programming Language. CoRR Maximiliano Cristiá, Gianfranco Rossi
2022	J	`jnl`	Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. Comput. J. Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
2021	J	`jnl`	$\{log\}$: Applications to Software Specification, Prototyping and Verification. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	An Automatically Verified Prototype of a Landing Gear System. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	An Automatically Verified Prototype of the Tokeneer ID Station Specification. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	Automated Proof of Bell-LaPadula Security Properties. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	Automated Reasoning with Restricted Intensional Sets. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	Integrating Cardinality Constraints into Constraint Logic Programming with Sets. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. CoRR Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
2021	J	`jnl`	log: Set Formulas as Programs. CoRR Maximiliano Cristiá, Gianfranco Rossi
2020	J	`jnl`	An Automatically Verified Prototype of the Tokeneer ID Station Specification. CoRR Maximiliano Cristiá, Gianfranco Rossi
2020	J	`jnl`	Automated Proof of Bell-LaPadula Security Properties. CoRR Maximiliano Cristiá, Gianfranco Rossi
2020	J	`jnl`	Declarative Programming with Intensional Sets in Java Using JSetL. CoRR Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
2020	J	`jnl`	Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2019	J	`jnl`	Automated Reasoning with Restricted Intensional Sets. CoRR Maximiliano Cristiá, Gianfranco Rossi
2018	C	`conf`	A Set Solver for Finite Set Relation Algebra. RAMiCS Maximiliano Cristiá, Gianfranco Rossi
2018	J	`jnl`	Constraint Logic Programming with Polynomial Constraints over Finite Domains. Fundam. Informaticae Federico Bergenti, Stefania Monica, Gianfranco Rossi
2018	—	`conf`	Programming in Java with Restricted Intensional Sets. SETS@ABZ Maximiliano Cristiá, Gianfranco Rossi
2017	A	`conf`	A Decision Procedure for Restricted Intensional Sets. CADE Maximiliano Cristiá, Gianfranco Rossi
2016	—	`conf`	A Decision Procedure for Sets, Binary Relations and Partial Functions. CAV (1) Maximiliano Cristiá, Gianfranco Rossi
2016	—	`conf`	A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form. AI*IA Federico Bergenti, Stefania Monica, Gianfranco Rossi
2016	—	`conf`	Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form. CILC Federico Bergenti, Stefania Monica, Gianfranco Rossi
2015	J	`jnl`	Adding Partial Functions to Constraint Logic Programming with Sets. CoRR Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2015	J	`jnl`	Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2015	—	`conf`	Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2015	J	`jnl`	Nondeterministic Programming in Java with JSetL. Fundam. Informaticae Gianfranco Rossi, Federico Bergenti
2013	—	`conf`	Nondeterministic Programming in Java with JSetL. CILC Gianfranco Rossi, Federico Bergenti
2013	J	`jnl`	Preface. Fundam. Informaticae Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi
2013	B	`conf`	{log} as a Test Case Generator for the Test Template Framework. SEFM Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2011	J	`jnl`	From set unification to set constraints. Intelligenza Artificiale Gianfranco Rossi
2011	J	`jnl`	Programming with partially specified aggregates in Java. Comput. Lang. Syst. Struct. Federico Bergenti, L. Chiarabini, Gianfranco Rossi
2010	—	`ch.`	Logic Programming in Italy: A Historical Perspective. 25 Years GULP Gianfranco Rossi
2010	—	`conf`	MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2010	—	`conf`	MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2009	B	`conf`	Answer Set Programming with Constraints Using Lazy Grounding. ICLP Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009	J	`jnl`	GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009	J	`jnl`	Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Fundam. Informaticae Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi
2008	J	`jnl`	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. ACM Trans. Comput. Log. Agostino Dovier, Carla Piazza, Gianfranco Rossi
2008	—	`conf`	From Set Unification to Set Constraints. Il Milione Gianfranco Rossi
2007	J	`jnl`	JSetL: a Java library for supporting declarative programming in Java. Softw. Pract. Exp. Gianfranco Rossi, E. Panegai, Elisabetta Poleo
2006	J	`jnl`	Set unification. Theory Pract. Log. Program. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2004	—	`conf`	Javaset: Declarative programming in Java with sets. Conf. Computing Frontiers Gianfranco Rossi, Elisabetta Poleo
2003	J	`jnl`	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets CoRR Agostino Dovier, Carla Piazza, Gianfranco Rossi
2003	C	`conf`	Integrating finite domain constraints and CLP with sets. PPDP Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003	—	`conf`	Intensional Sets in CLP. APPIA-GULP-PRODE Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003	B	`conf`	Intensional Sets in CLP. ICLP Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003	—	`conf`	JAVASET: Declarative Programming in Java with Sets. APPIA-GULP-PRODE Elisabetta Poleo, Gianfranco Rossi
2002	—	`conf`	Set-based Nondeterministic Declarative Programming in Singleton. WFLP Gianfranco Rossi
2001	J	`jnl`	Constructive Negation and Constraint Logic Programming with Sets. New Gener. Comput. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2001	—	`conf`	Multiset constraints and P systems. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Gianfranco Rossi
2001	J	`jnl`	Set Unification CoRR Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2000	J	`jnl`	A necessary condition for Constructive Negation in Constraint Logic Programming. Inf. Process. Lett. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2000	—	`conf`	Multiset Constraints and P Systems. WMP Agostino Dovier, Carla Piazza, Gianfranco Rossi
2000	J	`jnl`	Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999	B	`conf`	ACI1 Constraints. ICLP Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999	—	`conf`	ACI1 constraints. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999	J	`jnl`	From Set to Hyperset Unification J. Funct. Log. Program. Davide Aliffi, Agostino Dovier, Gianfranco Rossi
1998	J	`jnl`	A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Fundam. Informaticae Agostino Dovier, Alberto Policriti, Gianfranco Rossi
1998	—	`conf`	Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Gianfranco Rossi
1998	—	`conf`	On the Representation and Management of Finite Sets in CLP Languages. IJCSLP Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
1997	—	`conf`	Action Specifications in log. APPIA-GULP-PRODE Alessandro Provetti, Gianfranco Rossi
1997	—	`conf`	Dealing with Infinite Intensional Sets in CLP. APPIA-GULP-PRODE Roberta Carmona, Agostino Dovier, Gianfranco Rossi
1996	J	`jnl`	A Language for Programming in Logic with Finite Sets. J. Log. Program. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
1996	—	`conf`	Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS Agostino Dovier, Alberto Policriti, Gianfranco Rossi
1994	B	`conf`	Compiling Intensional Sets in CLP. ICLP Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
1994	—	`conf`	Solving Systems of Equations over Hypersets. GULP-PRODE (1) Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
1993	—	`conf`	A WAM Implementation for the Logic Meta Programming Language 'Log. GULP Iliano Cervesato, Gianfranco Rossi
1993	—	`conf`	Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? GULP Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
1993	—	`conf`	Embedding extensional finite sets in CLP. ILPS Agostino Dovier, Gianfranco Rossi
1993	—	`conf`	Extensional and Intensional Sets in CLP with Intensional Negation. ICLP Workshop on Logic Programming with Sets Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli
1993	J	`jnl`	Parametric Composable Modules in a Logic Programming Language. Comput. Lang. Evelina Lamma, Paola Mello, Gianfranco Rossi
1993	J	`jnl`	Programs as Data in an Extended Prolog. Comput. J. Gianfranco Rossi
1993	—	`conf`	Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP Agostino Dovier, Gianfranco Rossi
1993	—	`conf`	Unification of Hyperset Terms. ICLP Workshop on Logic Programming with Sets Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo
1993	—	`ed.`	Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993 ICLP Workshop on Logic Programming with Sets Eugenio G. Omodeo, Gianfranco Rossi
1992	—	`conf`	Embedding Finite Sets in a Logic Programming Language. ELP Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
1992	J	`jnl`	Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. Laura Giordano, Alberto Martelli, Gianfranco Rossi
1992	—	`conf`	Logic Meta-Programming Facilities in 'LOG. META Iliano Cervesato, Gianfranco Rossi
1991	B	`conf`	{log}: A Logic Programming Language with Finite Sets. ICLP Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
1989	J	`jnl`	Using Prolog for Building Frog, a Hybrid Knowledge Representation System. New Gener. Comput. Luca Console, Gianfranco Rossi
1988	A	`conf`	Enhancing Prolog to Support Prolog Programming Environments. ESOP Alberto Martelli, Gianfranco Rossi
1988	—	`conf`	Local Definitions with Static Scope Rules in Logic Programming. FGCS Laura Giordano, Alberto Martelli, Gianfranco Rossi
1986	—	`conf`	An Algorithm for Unification in Equational Theories. SLP Alberto Martelli, Corrado Moiso, Gianfranco Rossi
1986	B	`conf`	On the Semantics of Logic Programing Languages. ICLP Alberto Martelli, Gianfranco Rossi
1986	J	`jnl`	Uses of Prolog in Implementation of Expert Systems. New Gener. Comput. Gianfranco Rossi
1984	—	`conf`	Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS Alberto Martelli, Gianfranco Rossi