Alberto Policriti

188 papers A* 5A 4B 14C 10Misc 2Journal 88Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On the complexity of computing the co-lexicographic width of a regular language. J. Comput. Syst. Sci. Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Tomasz Kociumaka, Bojana Kodric, Alberto Policriti, Nicola Prezza
2026	J	`jnl`	The Ackermann encoding and its siblings. J. Log. Comput. Simone Boscaratto, Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2025	—	`conf`	Hyperset Individualisation Algorithms. ICTCS Simone Boscaratto, Francesco Nascimben, Alberto Policriti
2025	J	`jnl`	Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy. CoRR Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker
2025	C	`conf`	Universally Wheeler Languages. DLT Ruben Becker, Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza, Antonio Restivo, Brian Riccardi
2025	J	`jnl`	Universally Wheeler Languages. CoRR Ruben Becker, Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza, Antonio Restivo, Brian Riccardi
2025	—	`conf`	Wheeler Graphs and Wheeler Languages. The Expanding World of Compressed Data Nicola Cotumaccio, Giovanna D'Agostino, Daniel Gibney, Alberto Policriti, Nicola Prezza, Sharma V. Thankachan
2025	—	`conf`	Wheelerness and Complementation. ICTCS Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Antonio Restivo, Brian Riccardi
2024	J	`jnl`	Cascade products and Wheeler automata. Theor. Comput. Sci. Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
2024	J	`jnl`	In Memory of Martin Davis. CoRR Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh
2024	J	`jnl`	Incremental NFA minimization. Theor. Comput. Sci. Christian Bianchini, Alberto Policriti, Brian Riccardi, Riccardo Romanello
2024	—	`conf`	On Generalised Ackermann Encodings - The Basis Issue. CILC Simone Boscaratto, Eugenio G. Omodeo, Alberto Policriti
2024	J	`jnl`	On the Complexity of Computing the Co-lexicographic Width of a Regular Language. CoRR Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Tomasz Kociumaka, Bojana Kodric, Alberto Policriti, Nicola Prezza
2024	B	`conf`	The Rational Construction of a Wheeler DFA. CPM Giovanni Manzini, Alberto Policriti, Nicola Prezza, Brian Riccardi
2024	—	`conf`	Towards a Computational Approach to Quantification of Allele Specific Expression at Population Level. IWBBIO (2) Roberto Pagliarini, Fabio Marroni, Carla Piazza, Giovanni Gabelli, Gabriele Magris, Gabriele Di Gaspero, Michele Morgante, Alberto Policriti
2023	—	`conf`	A Linear-size Cascade Decomposition for Wheeler Automata. ICTCS Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
2023	J	`jnl`	Co-lexicographically Ordering Automata and Regular Languages - Part I. J. ACM Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2023	—	`conf`	Continued Hereditarily Finite Sets Approximations. CILC Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2023	J	`jnl`	Obituary of Martin Davis (1928-2023). IEEE Ann. Hist. Comput. Alberto Policriti, Eugenio G. Omodeo, Liesbeth De Mol
2023	C	`conf`	Optimal Wheeler Language Recognition. SPIRE Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza
2023	J	`jnl`	Optimal Wheeler Language Recognition. CoRR Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza
2023	J	`jnl`	Ordering regular languages and automata: Complexity. Theor. Comput. Sci. Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
2023	—	`conf`	Testing Wheelerness of Regular Languages (short paper) (text not included). ICTCS Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza
2022	J	`jnl`	Co-lexicographically ordering automata and regular languages. Part I. CoRR Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2022	—	`conf`	Incremental NFA Minimization. ICTCS Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini
2022	J	`jnl`	Ordering Regular Languages and Automata: Complexity. CoRR Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
2022	J	`jnl`	Solving String Problems on Graphs Using the Labeled Direct Product. Algorithmica Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti
2022	J	`jnl`	Special Issue on Algorithms and Data-Structures for Compressed Computation. Algorithms Alberto Policriti, Nicola Prezza
2021	J	`jnl`	On (co-lex) Ordering Automata. CoRR Giovanna D'Agostino, Nicola Cotumaccio, Alberto Policriti, Nicola Prezza
2021	—	`conf`	Ordering Regular Languages: a Danger Zone. ICTCS Davide Martincigh, Giovanna D'Agostino, Alberto Policriti
2021	J	`jnl`	Ordering regular languages: a danger zone. CoRR Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
2021	J	`jnl`	The Labeled Direct Product Optimally Solves String Problems on Graphs. CoRR Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti
2021	J	`jnl`	Wheeler languages. Inf. Comput. Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2021	J	`jnl`	Which Regular Languages can be Efficiently Indexed? CoRR Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2020	J	`jnl`	Adding the power-set to description logics. Theor. Comput. Sci. Laura Giordano, Alberto Policriti
2020	A*	`conf`	Regular Languages meet Prefix Sorting. SODA Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2020	J	`jnl`	Towards a Logic Programming Tool for Cancer Data Analysis. Fundam. Informaticae Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti
2020	J	`jnl`	Wheeler Languages. CoRR Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2019	J	`jnl`	Adding the Power-Set to Description Logics. CoRR Laura Giordano, Alberto Policriti
2019	—	`ed.`	Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers CIBB Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri
2019	B	`conf`	Extending JELIA Laura Giordano, Alberto Policriti
2019	—	`conf`	Extending ALC with the power-set construct. CILC Laura Giordano, Alberto Policriti
2019	J	`jnl`	On Prefix-Sorting Finite Automata. CoRR Jarno Alanko, Alberto Policriti, Nicola Prezza
2019	—	`conf`	Optimization and Multistage Systems. The Thawing Case. OVERLAY@AI*IA Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti
2018	J	`jnl`	Encoding Sets as Real Numbers (Extended version). CoRR Domenico Cantone, Alberto Policriti
2018	—	`conf`	Encoding Sets as Real Numbers. SETS@ABZ Domenico Cantone, Alberto Policriti
2018	J	`jnl`	LZ77 Computation Based on the Run-Length Encoded BWT. Algorithmica Alberto Policriti, Nicola Prezza
2018	—	`conf`	Power (Set) ALC (Extended Abstract). CILC Laura Giordano, Alberto Policriti
2018	—	`conf`	Power (Set) ALC. ICTCS Laura Giordano, Alberto Policriti
2018	A	`conf`	String Attractors: Verification and Optimization. ESA Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg
2018	J	`jnl`	String Attractors: Verification and Optimization. CoRR Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg
2017	B	`conf`	An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. IFM Simone Silvetti, Alberto Policriti, Luca Bortolussi
2017	J	`jnl`	An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. CoRR Simone Silvetti, Alberto Policriti, Luca Bortolussi
2017	B	`conf`	From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. CPM Alberto Policriti, Nicola Prezza
2017	J	`jnl`	From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. CoRR Alberto Policriti, Nicola Prezza
2017	—	`book`	On Sets and Graphs: Perspectives on Logic and Combinatorics Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
2017	J	`jnl`	Set-syllogistics meet combinatorics. Math. Struct. Comput. Sci. Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
2017	—	`conf`	Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC Alice Tarzariol, Agostino Dovier, Alberto Policriti
2016	—	`ch.`	Banishing Ultrafilters from Our Consciousness. Martin Davis on Computability, Computational Logic, and Mathematical Foundations Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2016	B	`conf`	Computing LZ77 in Run-Compressed Space. DCC Alberto Policriti, Nicola Prezza
2016	J	`jnl`	Fast Longest Common Extensions in Small Space. CoRR Alberto Policriti, Nicola Prezza
2016	J	`jnl`	Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2. BMC Bioinform. Nicola Prezza, Francesco Vezzi, Max Käller, Alberto Policriti
2016	—	`conf`	Logic Programming Applied to Genome Evolution in Cancer. CILC Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
2016	—	`conf`	Logic-Based Multi-objective Design of Chemical Reaction Networks. HSB Luca Bortolussi, Alberto Policriti, Simone Silvetti
2016	—	`book`	Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Eugenio G. Omodeo, Alberto Policriti
2015	C	`conf`	Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. LATA Alberto Policriti, Nicola Gigante, Nicola Prezza
2015	J	`jnl`	Computing LZ77 in Run-Compressed Space. CoRR Nicola Prezza, Alberto Policriti
2015	C	`conf`	Fast Online Lempel-Ziv Factorization in Compressed Space. SPIRE Alberto Policriti, Nicola Prezza
2015	J	`jnl`	Fast randomized approximate string matching with succinct hash data structures. BMC Bioinform. Alberto Policriti, Nicola Prezza
2015	—	`conf`	Hierarchical Assembly of Pools. IWBBIO (2) Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti
2015	—	`conf`	Is Hyper-extensionality Preservable Under Deletions of Graph Elements? ICTCS Alberto Casagrande, Carla Piazza, Alberto Policriti
2015	J	`jnl`	Mapping Sets and Hypersets into Numbers. Fundam. Informaticae Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
2015	J	`jnl`	On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel
2015	J	`jnl`	Rank and simulation: the well-founded case. J. Log. Comput. Raffaella Gentilini, Carla Piazza, Alberto Policriti
2014	C	`conf`	A Parallel Algorithm for the Best k-Mismatches Alignment Problem. PDP Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti
2014	J	`jnl`	Chimera: a Bioconductor package for secondary analysis of fusion products. Bioinform. Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele A. Calogero
2014	B	`conf`	Hashing and Indexing: Succinct DataStructures and Smoothed Analysis. ISAAC Alberto Policriti, Nicola Prezza
2014	—	`conf`	Hyper-Extensionality and One-Node Elimination on Membership Graphs. CILC Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu
2013	J	`jnl`	(Hybrid) automata and (stochastic) programs J. Log. Comput. Luca Bortolussi, Alberto Policriti
2013	—	`conf`	Encodings of Sets and Hypersets. CILC Alberto Policriti
2013	J	`jnl`	GAM-NGS: genomic assemblies merger for next generation sequencing. BMC Bioinform. Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti
2013	J	`jnl`	Markov chain algorithms for generating sets uniformly at random. Ars Math. Contemp. Alberto Policriti, Alexandru I. Tomescu
2013	—	`conf`	On the Decidability of the ∃∀ Prefix Class in Set Theory. CILC Alberto Policriti
2013	J	`jnl`	Well-quasi-ordering hereditarily finite sets. Int. J. Comput. Math. Alberto Policriti, Alexandru I. Tomescu
2012	—	`conf`	A Multi-objective Optimisation Approach to the Design of Experiment in De Novo Assembly Projects. DEXA Workshops Francesca Nadalin, Francesco Vezzi, Alberto Policriti
2012	J	`jnl`	A randomized Numerical Aligner (rNA). J. Comput. Syst. Sci. Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi
2012	—	`conf`	ERNE-BS5: aligning BS-treated sequences by multiple hits on a 5-letters alphabet. BCB Nicola Prezza, Cristian Del Fabbro, Francesco Vezzi, Emanuale De Paoli, Alberto Policriti
2012	J	`jnl`	GapFiller: a de novo assembly approach to fill the gap within paired reads. BMC Bioinform. Francesca Nadalin, Francesco Vezzi, Alberto Policriti
2012	J	`jnl`	Infinity, in short. J. Log. Comput. Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
2012	—	`conf`	Rank-Based Simulation on Acyclic Graphs. CILC Raffaella Gentilini, Carla Piazza, Alberto Policriti
2012	J	`jnl`	Studying cancer-cell populations by programmable models of networks. Netw. Model. Anal. Health Informatics Bioinform. Luca Bortolussi, Alberto Policriti
2012	J	`jnl`	The Bernays - Schönfinkel - Ramsey class for set theory: decidability. J. Symb. Log. Eugenio G. Omodeo, Alberto Policriti
2012	J	`jnl`	rNA: a fast and accurate short reads numerical aligner. Bioinform. Francesco Vezzi, Cristian Del Fabbro, Alexandru I. Tomescu, Alberto Policriti
2011	J	`jnl`	Counting extensional acyclic digraphs. Inf. Process. Lett. Alberto Policriti, Alexandru I. Tomescu
2011	—	`conf`	Programmable models of growth and mutation of cancer-cell populations CompMod Luca Bortolussi, Alberto Policriti
2011	C	`conf`	Well-Quasi-Ordering Hereditarily Finite Sets. LATA Alberto Policriti, Alexandru I. Tomescu
2011	—	`conf`	mrNA: The MPI Randomized Numerical Aligner. BIBM Cristian Del Fabbro, Francesco Vezzi, Alberto Policriti
2010	C	`conf`	A Randomized Numerical Aligner (rNA). LATA Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi
2010	—	`conf`	Enhanced reference guided assembly. BIBM Federica Cattonaro, Alberto Policriti, Francesco Vezzi
2010	J	`jnl`	Hybrid dynamics of stochastic programs. Theor. Comput. Sci. Luca Bortolussi, Alberto Policriti
2010	—	`conf`	Perspectives on Constraints, Process Algebras, and Hybrid Systems. WCB@ICLP Luca Bortolussi, Alberto Policriti
2010	J	`jnl`	The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. J. Symb. Log. Eugenio G. Omodeo, Alberto Policriti
2009	J	`jnl`	Automated FingerPrint Background removal: FPB. BMC Bioinform. Simone Scalabrin, Michele Morgante, Alberto Policriti
2009	J	`jnl`	Discrete Semantics for Hybrid Automata. Discret. Event Dyn. Syst. Alberto Casagrande, Carla Piazza, Alberto Policriti
2009	J	`jnl`	Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. Trans. Comp. Sys. Biology Luca Bortolussi, Alberto Policriti
2009	—	`conf`	GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. BIBM Alberto Casagrande, Cristian Del Fabbro, Simone Scalabrin, Alberto Policriti
2009	J	`jnl`	Hybrid Dynamics of Stochastic pi-Calculus. Math. Comput. Sci. Luca Bortolussi, Alberto Policriti
2009	—	`conf`	Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration COMPMOD Luca Bortolussi, Alberto Policriti
2009	C	`conf`	Stochastic Programs and Hybrid Automata for (Biological) Modeling. CiE Luca Bortolussi, Alberto Policriti
2009	—	`conf`	TEA: a Transposable Elements Annotator. BIOCOMP Cristian Del Fabbro, Michele Morgante, Alberto Policriti, Nicola Vitacolonna
2008	B	`conf`	A Complete Axiomatic System for a Process-Based Spatial Logic. MFCS Radu Mardare, Alberto Policriti
2008	—	`conf`	Hybrid Semantics for Stochastic pi-Calculus. AB Luca Bortolussi, Alberto Policriti
2008	—	`conf`	Hybrid Systems and Biology. SFM Luca Bortolussi, Alberto Policriti
2008	J	`jnl`	Inclusion dynamics hybrid automata. Inf. Comput. Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
2008	J	`jnl`	Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints An Int. J. Luca Bortolussi, Alberto Policriti
2008	J	`jnl`	Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica Raffaella Gentilini, Carla Piazza, Alberto Policriti
2008	B	`conf`	Systems Biology: Models and Logics. ICLP Carla Piazza, Alberto Policriti
2008	—	`conf`	The Importance of Being (A Little Bit) Discrete. FBTC@ICALP Luca Bortolussi, Alberto Policriti
2007	—	`conf`	Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. BIBM Luca Bortolussi, Simone Fonda, Alberto Policriti
2007	—	`conf`	Stochastic Concurrent Constraint Programming and Differential Equations. QAPL Luca Bortolussi, Alberto Policriti
2006	—	`conf`	A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz
2006	—	`conf`	BuST-Bundled Suffix Trees. IFIP TCS Luca Bortolussi, Francesco Fabris, Alberto Policriti
2005	A*	`conf`	Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
2005	B	`conf`	An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR Angelo Montanari, Alberto Policriti, Nicola Vitacolonna
2005	J	`jnl`	Structured Motifs Search. J. Comput. Biol. Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo
2005	J	`jnl`	The axiom of elementary sets on the edge of Peircean expressibility. J. Symb. Log. Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
2004	J	`jnl`	Ackermann Encoding, Bisimulations, and OBDDs. Theory Pract. Log. Program. Carla Piazza, Alberto Policriti
2004	J	`jnl`	An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. Agostino Dovier, Carla Piazza, Alberto Policriti
2004	—	`conf`	Improving reachability analysis of hybrid automata for engine control. CDC Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2004	B	`conf`	Structured motifs search. RECOMB Alberto Policriti, Nicola Vitacolonna, Michele Morgante, Andrea Zuccolo
2004	J	`jnl`	Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
2004	J	`jnl`	Three-variable statements of set-pairing. Theor. Comput. Sci. Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
2003	J	`jnl`	Ackermann Encoding, Bisimulations, and OBDDs CoRR Carla Piazza, Alberto Policriti
2003	B	`conf`	Biconnectivity on Symbolically Represented Graphs: A Linear Solution. ISAAC Raffaella Gentilini, Alberto Policriti
2003	—	`conf`	Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice Enrico Marzano, Angelo Montanari, Alberto Policriti
2003	A*	`conf`	Computing strongly connected components in a linear number of symbolic steps. SODA Raffaella Gentilini, Carla Piazza, Alberto Policriti
2003	Misc	`conf`	Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Pacific Symposium on Biocomputing Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra
2003	J	`jnl`	From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reason. Raffaella Gentilini, Carla Piazza, Alberto Policriti
2003	—	`conf`	Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni
2003	—	`conf`	Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti
2002	J	`jnl`	Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reason. Angelo Montanari, Alberto Policriti, Matteo Slanina
2002	—	`conf`	Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. APPIA-GULP-PRODE Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
2002	J	`jnl`	Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. Angelo Montanari, Adriano Peron, Alberto Policriti
2002	C	`conf`	Rank-Based Symbolic Bisimulation (and Model Checking). WoLLIC Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti
2002	—	`conf`	Simulation Reduction as Constraint. WFLP Raffaella Gentilini, Carla Piazza, Alberto Policriti
2002	A	`conf`	Simulation as Coarsest Partition Problem. TACAS Raffaella Gentilini, Carla Piazza, Alberto Policriti
2002	Misc	`conf`	XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. HiPC Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra
2001	A*	`conf`	A Fast Bisimulation Algorithm. CAV Agostino Dovier, Carla Piazza, Alberto Policriti
2001	C	`conf`	AppART: An ART Hybrid Stable Learning Neural Network for Universal Function Approximation. HIS Luis Marti, Alberto Policriti, Luciano Garcia
2001	—	`conf`	Deciding modal logics using tableaux and set theory. APPIA-GULP-PRODE Carla Piazza, Alberto Policriti
2001	—	`conf`	Modeling concurrent systems specified in a temporal concurrent constraint language-I. APPIA-GULP-PRODE Moreno Falaschi, Alberto Policriti, Alicia Villanueva
2001	—	`book`	Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
2000	—	`conf`	Comparing Expressiveness of Set Constructor Symbols. FroCoS Agostino Dovier, Carla Piazza, Alberto Policriti
2000	B	`conf`	Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS Angelo Montanari, Alberto Policriti, Matteo Slanina
2000	A*	`conf`	Supporting automated deduction in first-order modal logics. KR Angelo Montanari, Alberto Policriti, Matteo Slanina
2000	J	`jnl`	The Taming (Timing) of the States. Log. J. IGPL Angelo Montanari, Adriano Peron, Alberto Policriti
2000	B	`conf`	Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. TABLEAUX Carla Piazza, Alberto Policriti
1999	—	`conf`	Comparing expressiveness of set constructor symbols. APPIA-GULP-PRODE Agostino Dovier, Carla Piazza, Alberto Policriti
1999	J	`jnl`	Editorial. Log. J. IGPL Angelo Montanari, Alberto Policriti, Yde Venema
1999	J	`jnl`	Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. Appl. Algebra Eng. Commun. Comput. Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti
1999	J	`jnl`	T-Resolution: Refinements and Model Elimination. J. Autom. Reason. Andrea Formisano, Alberto Policriti
1999	J	`jnl`	Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Log. J. IGPL Angelo Montanari, Adriano Peron, Alberto Policriti
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	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - II. Stud Logica Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1997	—	`ed.`	1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997 APPIA-GULP-PRODE Moreno Falaschi, Marisa Navarro, Alberto Policriti
1997	—	`conf`	A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) Angelo Montanari, Alberto Policriti
1997	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1997	—	`conf`	On T Logic Programming. APPIA-GULP-PRODE Agostino Dovier, Andrea Formisano, Alberto Policriti
1997	—	`conf`	On T Logic Programming. ILPS Agostino Dovier, Andrea Formisano, Alberto Policriti
1997	—	`conf`	Set domains for structural properties of terms. APPIA-GULP-PRODE Agostino Dovier, Alberto Policriti
1996	J	`jnl`	Complementation in the lattice of equivalence relations. Discret. Math. Dikran Dikranjan, Alberto Policriti
1996	J	`jnl`	Decidability Results for Metric and Layered Temporal Logics. Notre Dame J. Formal Log. Angelo Montanari, Alberto Policriti
1996	J	`jnl`	Decidability of ∃ Math. Log. Q. Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
1996	—	`conf`	Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS Agostino Dovier, Alberto Policriti, Gianfranco Rossi
1995	A	`conf`	A Set-Theoretic Translation Method for (Poly)modal Logics. STACS Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1995	J	`jnl`	A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reason. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1995	J	`jnl`	T-Theorem Proving I. J. Symb. Comput. Alberto Policriti, Jacob T. Schwartz
1994	—	`conf`	Solving Systems of Equations over Hypersets. GULP-PRODE (1) Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
1993	J	`jnl`	A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets. J. Symb. Comput. Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
1993	—	`conf`	Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? GULP Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
1993	—	`conf`	Decision Procedures for Set/Hyperset Contexts. DISCO Eugenio G. Omodeo, Alberto Policriti
1992	J	`jnl`	The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation. Math. Log. Q. Franco Parlamento, Alberto Policriti
1991	J	`jnl`	Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. J. Autom. Reason. Franco Parlamento, Alberto Policriti
1991	J	`jnl`	Expressing Infinity Without Foundation. J. Symb. Log. Franco Parlamento, Alberto Policriti
1990	—	`—`	On a generalization of Herbrand's theorem. Alberto Policriti
1990	J	`jnl`	The Automation of Syllogistic. J. Autom. Reason. Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
1990	A	`conf`	Truth Tables for a Combinatorial Kernel of Set Theories. ECAI Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
1989	B	`conf`	Set-Theoretic Reductions of Hilbert's Tenth Problem. CSL Domenico Cantone, Vincenzo Cutello, Alberto Policriti