Alberto Policriti

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 52

Top Venues

Publications

Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh
In Memory of Martin Davis. CoRR (2024)
Christian Bianchini, Alberto Policriti, Brian Riccardi, Riccardo Romanello
Incremental NFA minimization. Theor. Comput. Sci. 1004 (2024)
Giovanni Manzini, Alberto Policriti, Nicola Prezza, Brian Riccardi
The Rational Construction of a Wheeler DFA. CPM (2024)
Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
Cascade products and Wheeler automata. Theor. Comput. Sci. 1013 (2024)
Simone Boscaratto, Eugenio G. Omodeo, Alberto Policriti
On Generalised Ackermann Encodings - The Basis Issue. CILC (2024)
Alberto Policriti, Eugenio G. Omodeo, Liesbeth De Mol
Obituary of Martin Davis (1928-2023). IEEE Ann. Hist. Comput. 45 (1) (2023)
Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza
Optimal Wheeler Language Recognition. CoRR (2023)
Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza
Optimal Wheeler Language Recognition. SPIRE (2023)
Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
Continued Hereditarily Finite Sets Approximations. CILC (2023)
Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
A Linear-size Cascade Decomposition for Wheeler Automata. ICTCS (2023)
Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza
Testing Wheelerness of Regular Languages (short paper) (text not included). ICTCS (2023)
Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
Co-lexicographically Ordering Automata and Regular Languages - Part I. J. ACM 70 (4) (2023)
Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
Ordering regular languages and automata: Complexity. Theor. Comput. Sci. 949 (2023)
Alberto Policriti, Nicola Prezza
Special Issue on Algorithms and Data-Structures for Compressed Computation. Algorithms 15 (12) (2022)
Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti
Solving String Problems on Graphs Using the Labeled Direct Product. Algorithmica 84 (10) (2022)
Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
Ordering Regular Languages and Automata: Complexity. CoRR (2022)
Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
Co-lexicographically ordering automata and regular languages. Part I. CoRR (2022)
Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini
Incremental NFA Minimization. ICTCS (2022)
Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
Ordering regular languages: a danger zone. CoRR (2021)
Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
Which Regular Languages can be Efficiently Indexed? CoRR (2021)
Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
Wheeler languages. Inf. Comput. 281 (2021)
Giovanna D'Agostino, Nicola Cotumaccio, Alberto Policriti, Nicola Prezza
On (co-lex) Ordering Automata. CoRR (2021)
Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti
The Labeled Direct Product Optimally Solves String Problems on Graphs. CoRR (2021)
Davide Martincigh, Giovanna D'Agostino, Alberto Policriti
Ordering Regular Languages: a Danger Zone. ICTCS (2021)
Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti
Towards a Logic Programming Tool for Cancer Data Analysis. Fundam. Informaticae 176 (3-4) (2020)
Laura Giordano, Alberto Policriti
Adding the power-set to description logics. Theor. Comput. Sci. 813 (2020)
Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
Regular Languages meet Prefix Sorting. SODA (2020)
Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
Wheeler Languages. CoRR (2020)
Laura Giordano, Alberto Policriti
with the Power-Set Construct. JELIA (2019)
Jarno Alanko, Alberto Policriti, Nicola Prezza
On Prefix-Sorting Finite Automata. CoRR (2019)
Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti
Optimization and Multistage Systems. The Thawing Case. OVERLAY@AI*IA (2019)
Laura Giordano, Alberto Policriti
Adding the Power-Set to Description Logics. CoRR (2019)
Laura Giordano, Alberto Policriti
Extending ALC with the power-set construct. CILC (2019)
Domenico Cantone, Alberto Policriti
Encoding Sets as Real Numbers. SETS@ABZ (2018)
Alberto Policriti, Nicola Prezza
LZ77 Computation Based on the Run-Length Encoded BWT. Algorithmica 80 (7) (2018)
Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg
String Attractors: Verification and Optimization. CoRR (2018)
Laura Giordano, Alberto Policriti
Power (Set) ALC. ICTCS (2018)
Domenico Cantone, Alberto Policriti
Encoding Sets as Real Numbers (Extended version). CoRR (2018)
Laura Giordano, Alberto Policriti
Power (Set) ALC (Extended Abstract). CILC (2018)
Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg
String Attractors: Verification and Optimization. ESA (2018)
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
Set-syllogistics meet combinatorics. Math. Struct. Comput. Sci. 27 (2) (2017)
Alberto Policriti, Nicola Prezza
From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. CoRR (2017)
Simone Silvetti, Alberto Policriti, Luca Bortolussi
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. CoRR (2017)
Simone Silvetti, Alberto Policriti, Luca Bortolussi
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. IFM (2017)
Alice Tarzariol, Agostino Dovier, Alberto Policriti
Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC (2017)
Alberto Policriti, Nicola Prezza
From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. CPM (2017)
Alberto Casagrande, Carla Piazza, Alberto Policriti
Is Hyper-extensionality Preservable Under Deletions of Graph Elements? Electron. Notes Theor. Comput. Sci. 322 (2016)
Alberto Policriti, Nicola Prezza
Computing LZ77 in Run-Compressed Space. DCC (2016)
Alberto Policriti, Nicola Prezza
Fast Longest Common Extensions in Small Space. CoRR (2016)
Nicola Prezza, Francesco Vezzi, Max Käller, Alberto Policriti
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2. BMC Bioinform. 17 (S-4) (2016)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
Logic Programming Applied to Genome Evolution in Cancer. CILC (2016)
Luca Bortolussi, Alberto Policriti, Simone Silvetti
Logic-Based Multi-objective Design of Chemical Reaction Networks. HSB (2016)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank and simulation: the well-founded case. J. Log. Comput. 25 (6) (2015)
Alberto Policriti, Nicola Prezza
Fast randomized approximate string matching with succinct hash data structures. BMC Bioinform. 16 (S-9) (2015)
Alberto Policriti, Nicola Gigante, Nicola Prezza
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. LATA (2015)
Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti
Hierarchical Assembly of Pools. IWBBIO (2) (2015)
Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
Mapping Sets and Hypersets into Numbers. Fundam. Informaticae 140 (3-4) (2015)
Nicola Prezza, Alberto Policriti
Computing LZ77 in Run-Compressed Space. CoRR (2015)
Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. 56 (2015)
Alberto Policriti, Nicola Prezza
Fast Online Lempel-Ziv Factorization in Compressed Space. SPIRE (2015)
Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu
Hyper-Extensionality and One-Node Elimination on Membership Graphs. CILC (2014)
Alberto Policriti, Nicola Prezza
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis. ISAAC (2014)
Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti
A Parallel Algorithm for the Best k-Mismatches Alignment Problem. PDP (2014)
Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele A. Calogero
Chimera: a Bioconductor package for secondary analysis of fusion products. Bioinform. 30 (24) (2014)
Alberto Policriti
On the Decidability of the ∃*∀* Prefix Class in Set Theory. CILC (2013)
Alberto Policriti
Encodings of Sets and Hypersets. CILC (2013)
Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti
GAM-NGS: genomic assemblies merger for next generation sequencing. BMC Bioinform. 14 (S-7) (2013)
Luca Bortolussi, Alberto Policriti
. J. Log. Comput. 23 (4) (2013)
Alberto Policriti, Alexandru I. Tomescu
Markov chain algorithms for generating sets uniformly at random. Ars Math. Contemp. 6 (1) (2013)
Alberto Policriti, Alexandru I. Tomescu
Well-quasi-ordering hereditarily finite sets. Int. J. Comput. Math. 90 (6) (2013)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Rank-Based Simulation on Acyclic Graphs. CILC (2012)
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
Infinity, in short. J. Log. Comput. 22 (6) (2012)
Luca Bortolussi, Alberto Policriti
Studying cancer-cell populations by programmable models of networks. Netw. Model. Anal. Health Informatics Bioinform. 1 (3) (2012)
Eugenio G. Omodeo, Alberto Policriti
The Bernays - Schönfinkel - Ramsey class for set theory: decidability. J. Symb. Log. 77 (3) (2012)
Francesca Nadalin, Francesco Vezzi, Alberto Policriti
GapFiller: a de novo assembly approach to fill the gap within paired reads. BMC Bioinform. 13 (S-14) (2012)
Nicola Prezza, Cristian Del Fabbro, Francesco Vezzi, Emanuale De Paoli, Alberto Policriti
ERNE-BS5: aligning BS-treated sequences by multiple hits on a 5-letters alphabet. BCB (2012)
Francesco Vezzi, Cristian Del Fabbro, Alexandru I. Tomescu, Alberto Policriti
rNA: a fast and accurate short reads numerical aligner. Bioinform. 28 (1) (2012)
Francesca Nadalin, Francesco Vezzi, Alberto Policriti
A Multi-objective Optimisation Approach to the Design of Experiment in De Novo Assembly Projects. DEXA Workshops (2012)
Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi
A randomized Numerical Aligner (rNA). J. Comput. Syst. Sci. 78 (6) (2012)
Cristian Del Fabbro, Francesco Vezzi, Alberto Policriti
mrNA: The MPI Randomized Numerical Aligner. BIBM (2011)
Luca Bortolussi, Alberto Policriti
Programmable models of growth and mutation of cancer-cell populations CompMod (2011)
Alberto Policriti, Alexandru I. Tomescu
Counting extensional acyclic digraphs. Inf. Process. Lett. 111 (16) (2011)
Alberto Policriti, Alexandru I. Tomescu
Well-Quasi-Ordering Hereditarily Finite Sets. LATA (2011)
Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi
A Randomized Numerical Aligner (rNA). LATA (2010)
Luca Bortolussi, Alberto Policriti
Perspectives on Constraints, Process Algebras, and Hybrid Systems. WCB@ICLP (2010)
Federica Cattonaro, Alberto Policriti, Francesco Vezzi
Enhanced reference guided assembly. BIBM (2010)
Eugenio G. Omodeo, Alberto Policriti
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. J. Symb. Log. 75 (2) (2010)
Luca Bortolussi, Alberto Policriti
Hybrid dynamics of stochastic programs. Theor. Comput. Sci. 411 (20) (2010)
Alberto Casagrande, Carla Piazza, Alberto Policriti
Discrete Semantics for Hybrid Automata. Discret. Event Dyn. Syst. 19 (4) (2009)
Luca Bortolussi, Alberto Policriti
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. Trans. Comp. Sys. Biology 11 (2009)
Alberto Casagrande, Cristian Del Fabbro, Simone Scalabrin, Alberto Policriti
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. BIBM (2009)
Luca Bortolussi, Alberto Policriti
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration COMPMOD (2009)
Simone Scalabrin, Michele Morgante, Alberto Policriti
Automated FingerPrint Background removal: FPB. BMC Bioinform. 10 (2009)
Cristian Del Fabbro, Michele Morgante, Alberto Policriti, Nicola Vitacolonna
TEA: a Transposable Elements Annotator. BIOCOMP (2009)
Luca Bortolussi, Alberto Policriti
The Importance of Being (A Little Bit) Discrete. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Luca Bortolussi, Alberto Policriti
Stochastic Programs and Hybrid Automata for (Biological) Modeling. CiE (2009)
Luca Bortolussi, Alberto Policriti
Hybrid Dynamics of Stochastic pi-Calculus. Math. Comput. Sci. 2 (3) (2009)
Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
Inclusion dynamics hybrid automata. Inf. Comput. 206 (12) (2008)
Luca Bortolussi, Alberto Policriti
Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints An Int. J. 13 (1-2) (2008)
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50 (1) (2008)

Alberto Policriti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alberto Policriti