| 2025 | DLT | Universally Wheeler Languages. | Ruben Becker, Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza, Antonio Restivo, Brian Riccardi |
| 2024 | CPM | The Rational Construction of a Wheeler DFA. | Giovanni Manzini, Alberto Policriti, Nicola Prezza, Brian Riccardi |
| 2023 | SPIRE | Optimal Wheeler Language Recognition. | Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza |
| 2020 | SODA | Regular Languages meet Prefix Sorting. | Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza |
| 2019 | JELIA | Extending | Laura Giordano, Alberto Policriti |
| 2018 | ESA | String Attractors: Verification and Optimization. | Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg |
| 2017 | CPM | From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. | Alberto Policriti, Nicola Prezza |
| 2017 | IFM | An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. | Simone Silvetti, Alberto Policriti, Luca Bortolussi |
| 2016 | DCC | Computing LZ77 in Run-Compressed Space. | Alberto Policriti, Nicola Prezza |
| 2015 | LATA | Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. | Alberto Policriti, Nicola Gigante, Nicola Prezza |
| 2015 | SPIRE | Fast Online Lempel-Ziv Factorization in Compressed Space. | Alberto Policriti, Nicola Prezza |
| 2014 | ISAAC | Hashing and Indexing: Succinct DataStructures and Smoothed Analysis. | Alberto Policriti, Nicola Prezza |
| 2014 | PDP | A Parallel Algorithm for the Best k-Mismatches Alignment Problem. | Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti |
| 2011 | LATA | Well-Quasi-Ordering Hereditarily Finite Sets. | Alberto Policriti, Alexandru I. Tomescu |
| 2010 | ICLP | Perspectives on Constraints, Process Algebras, and Hybrid Systems. | Luca Bortolussi, Alberto Policriti |
| 2010 | LATA | A Randomized Numerical Aligner (rNA). | Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi |
| 2009 | CiE | Stochastic Programs and Hybrid Automata for (Biological) Modeling. | Luca Bortolussi, Alberto Policriti |
| 2008 | ICLP | Systems Biology: Models and Logics. | Carla Piazza, Alberto Policriti |
| 2008 | MFCS | A Complete Axiomatic System for a Process-Based Spatial Logic. | Radu Mardare, Alberto Policriti |
| 2005 | CAV | Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. | Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra |
| 2005 | LPAR | An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. | Angelo Montanari, Alberto Policriti, Nicola Vitacolonna |
| 2004 | RECOMB | Structured motifs search. | Alberto Policriti, Nicola Vitacolonna, Michele Morgante, Andrea Zuccolo |
| 2003 | ISAAC | Biconnectivity on Symbolically Represented Graphs: A Linear Solution. | Raffaella Gentilini, Alberto Policriti |
| 2003 | PSB | Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. | Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra |
| 2003 | SODA | Computing strongly connected components in a linear number of symbolic steps. | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
| 2002 | HiPC | XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. | Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra |
| 2002 | TACAS | Simulation as Coarsest Partition Problem. | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
| 2001 | CAV | A Fast Bisimulation Algorithm. | Agostino Dovier, Carla Piazza, Alberto Policriti |
| 2001 | HIS | AppART: An ART Hybrid Stable Learning Neural Network for Universal Function Approximation. | Luis Marti, Alberto Policriti, Luciano Garcia |
| 2000 | KR | Supporting automated deduction in first-order modal logics. | Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | MFCS | Derivability in Locally Quantified Modal Logics via Translation in Set Theory. | Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | TABLEAUX | Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. | Carla Piazza, Alberto Policriti |
| 1997 | IJCAI | A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. | Angelo Montanari, Alberto Policriti |
| 1995 | STACS | A Set-Theoretic Translation Method for (Poly)modal Logics. | Giovanna D'Agostino, Angelo Montanari, Alberto Policriti |
| 1990 | ECAI | Truth Tables for a Combinatorial Kernel of Set Theories. | Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti |
| 1989 | CSL | Set-Theoretic Reductions of Hilbert's Tenth Problem. | Domenico Cantone, Vincenzo Cutello, Alberto Policriti |