Alberto Policriti
Università degli Studi di Udine
H-index: 36
Europe-Italy
Top articles of Alberto Policriti
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
In Memory of Martin Davis | arXiv preprint arXiv:2401.10154 | Wesley Calvert Valentina Harizanov Eugenio G Omodeo Alberto Policriti Alexandra Shlapentokh | 2024/1/15 |
Testing Wheelerness of Regular Languages | Ruben Becker Davide Cenzato Sung-Hwan Kim Bojana Kodric Alberto Policriti | 2023 | |
A linear-size cascade decomposition for Wheeler automata | CEUR WORKSHOP PROCEEDINGS | Giovanna D'Agostino Luca Geatti Davide Martincigh Alberto Policriti | 2023 |
Continued Hereditarily Finite Set-Approximations | CEUR WORKSHOP PROCEEDINGS | Domenico Cantone Eugenio G Omodeo Alberto Policriti | 2023 |
Obituary of Martin Davis (1928–2023) | IEEE Annals of the History of Computing | Alberto Policriti Eugenio Omodeo Liesbeth De Mol | 2023/1/1 |
Optimal wheeler language recognition | Ruben Becker Davide Cenzato Sung-Hwan Kim Bojana Kodric Alberto Policriti | 2023/9/20 | |
Co-lexicographically ordering automata and regular languages-part i | Journal of the ACM | Nicola Cotumaccio Giovanna D’Agostino Alberto Policriti Nicola Prezza | 2023/8/12 |
Ordering regular languages and automata: Complexity | Theoretical Computer Science | Giovanna D'Agostino Davide Martincigh Alberto Policriti | 2023/3/9 |
Incremental NFA Minimization | CEUR WORKSHOP PROCEEDINGS | Christian Bianchini Alberto Policriti Brian Riccardi Riccardo Romanello | 2022 |
Hybrid Automata in Systems Biology | Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools | Alberto Casagrande Raffaella Gentilini Carla Piazza Alberto Policriti | 2022/12/13 |
Special Issue on Algorithms and Data-Structures for Compressed Computation | Alberto Policriti Nicola Prezza | 2022/12/2 | |
Solving string problems on graphs using the labeled direct product | Algorithmica | Nicola Rizzo Alexandru I Tomescu Alberto Policriti | 2022/10 |
Squeezing multisets into real numbers | Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics | Domenico Cantone Alberto Policriti | 2021 |
Wheeler languages | Information and Computation | Jarno Alanko Giovanna D'Agostino Alberto Policriti Nicola Prezza | 2021/12/1 |
The Labeled Direct Product Optimally Solves String Problems on Graphs | arXiv preprint arXiv:2109.05290 | Nicola Rizzo Alexandru I Tomescu Alberto Policriti | 2021/9/11 |
On (co-lex) Ordering Automata | arXiv preprint arXiv:2106.02309 | Giovanna D'Agostino Nicola Cotumaccio Alberto Policriti Nicola Prezza | 2021/6/4 |
Ordering regular languages: a danger zone | arXiv preprint arXiv:2106.00315 | Giovanna D'Agostino Davide Martincigh Alberto Policriti | 2021/6/1 |
Optimization and Modeling Techniques for Food Service Appliances | Eleonora Pippia | 2021/5/24 | |
Adding the power-set to description logics | Theoretical Computer Science | Laura Giordano Alberto Policriti | 2020/4/12 |
Image approximation for feed forward neural nets | Eleonora Pippia Dang Thao Alberto Policriti | 2020 |
Co-Authors
