Personal information

Activities

Works (50 of 172)

Items per page:
Page 1 of 4

IN MEMORY OF MARTIN DAVIS

arXiv
2024 | Other
EID:

2-s2.0-85183297008

Part of ISSN: 23318422
Contributors: Calvert, W.; Harizanov, V.; Omodeo, E.G.; Policriti, A.; Shlapentokh, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

A Linear-size Cascade Decomposition for Wheeler Automata

CEUR Workshop Proceedings
2023 | Conference paper
EID:

2-s2.0-85181130272

Part of ISSN: 16130073
Contributors: D'Agostino, G.; Geatti, L.; Martincigh, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Continued Hereditarily Finite Set-Approximations

CEUR Workshop Proceedings
2023 | Conference paper
EID:

2-s2.0-85164589131

Part of ISSN: 16130073
Contributors: Cantone, D.; Omodeo, E.G.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Optimal Wheeler Language Recognition

arXiv
2023 | Other
EID:

2-s2.0-85182239816

Part of ISSN: 23318422
Contributors: Becker, R.; Cenzato, D.; Kim, S.-H.; Kodric, B.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Optimal Wheeler Language Recognition

2023 | Book chapter
Contributors: Ruben Becker; Davide Cenzato; Sung-Hwan Kim; Bojana Kodric; Alberto Policriti; Nicola Prezza
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Ordering regular languages and automata: Complexity

Theoretical Computer Science
2023 | Journal article
EID:

2-s2.0-85147332889

Part of ISSN: 03043975
Contributors: D'Agostino, G.; Martincigh, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Co-lexicographically Ordering Automata and Regular Languages - Part I

Journal of the ACM
2023-08-31 | Journal article
Contributors: Nicola Cotumaccio; Giovanna D’Agostino; Alberto Policriti; Nicola Prezza
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Co-lexicographically Ordering Automata and Regular Languages - Part I

arXiv
2022 | Other
EID:

2-s2.0-85163917057

Part of ISSN: 23318422
Contributors: Cotumaccio, N.; D'Agostino, G.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Hybrid automata in systems biology

Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools
2022 | Book chapter
EID:

2-s2.0-85147783960

Contributors: Casagrande, A.; Gentilini, R.; Piazza, C.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Incremental NFA Minimization

CEUR Workshop Proceedings
2022 | Conference paper
EID:

2-s2.0-85143250629

Part of ISSN: 16130073
Contributors: Bianchini, C.; Policriti, A.; Riccardi, B.; Romanello, R.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Ordering Regular Languages and Automata: Complexity

arXiv
2022 | Other
EID:

2-s2.0-85169285627

Part of ISSN: 23318422
Contributors: D’Agostino, G.; Martincigh, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Solving String Problems on Graphs Using the Labeled Direct Product

Algorithmica
2022 | Journal article
EID:

2-s2.0-85133472973

Part of ISSN: 14320541 01784617
Contributors: Rizzo, N.; Tomescu, A.I.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Special Issue on Algorithms and Data-Structures for Compressed Computation

Algorithms
2022-12-02 | Journal article
Contributors: Alberto Policriti; Nicola Prezza
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Co-lexicographically Ordering Automata and Regular Languages - Part II

arXiv
2021 | Other
EID:

2-s2.0-85152601263

Part of ISSN: 23318422
Contributors: Cotumaccio, N.; D’Agostino, G.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

On (co-lex) ordering automata

arXiv
2021 | Other
EID:

2-s2.0-85170611406

Part of ISSN: 23318422
Contributors: Cotumaccio, N.; D'Agostino, G.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Ordering regular languages: A danger zone

arXiv
2021 | Other
EID:

2-s2.0-85170870643

Part of ISSN: 23318422
Contributors: D'Agostino, G.; Martincigh, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Ordering Regular Languages: A Danger Zone

CEUR Workshop Proceedings
2021 | Conference paper
EID:

2-s2.0-85123274712

Part of ISSN: 16130073
Contributors: D'Agostino, G.; Martincigh, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Squeezing multisets into real numbers

Rendiconti dell'Istituto di Matematica dell'Universita di Trieste
2021 | Journal article
EID:

2-s2.0-85130410594

Part of ISSN: 24648728 00494704
Contributors: Cantone, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

The labeled direct product optimally solves string problems on graphs

arXiv
2021 | Other
EID:

2-s2.0-85171064335

Part of ISSN: 23318422
Contributors: Rizzo, N.; Tomescu, A.I.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Wheeler languages

Information and Computation
2021 | Journal article
EID:

2-s2.0-85120666595

Part of ISSN: 10902651 08905401
Contributors: Alanko, J.; D'Agostino, G.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Adding the power-set to description logics

Theoretical Computer Science
2020 | Journal article
EID:

2-s2.0-85075869052

Part of ISSN: 03043975
Contributors: Giordano, L.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Optimization and multistage systems. The thawing case

CEUR Workshop Proceedings
2020 | Conference paper
EID:

2-s2.0-85082120594

Part of ISSN: 16130073
Contributors: Pippia, E.; Bozzato, A.; Tiberi, E.; Furlanetto, R.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Regular languages meet prefix sorting

Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
2020 | Conference paper
EID:

2-s2.0-85084083718

Part of ISBN: 9781611975994
Contributors: Alanko, J.; D'Agostino, G.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Towards a Logic Programming Tool for Cancer Data Analysis

Fundamenta Informaticae
2020 | Journal article
EID:

2-s2.0-85098321537

Part of ISSN: 01692968
Contributors: Tarzariol, A.; Zanazzo, E.; Dovier, A.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Wheeler languages

arXiv
2020 | Other
EID:

2-s2.0-85093374378

Contributors: Alanko, J.; D’Agostino, G.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Adding the power-set to description logics

arXiv
2019 | Other
EID:

2-s2.0-85169857924

Part of ISSN: 23318422
Contributors: Giordano, L.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Extending$$\mathcal {ALC}$$ with the Power-Set Construct

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Conference paper
EID:

2-s2.0-85065996576

Part of ISBN: 9783030195694
Part of ISSN: 16113349 03029743
Contributors: Giordano, L.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Preface

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85063031663

Part of ISSN: 16113349 03029743
Contributors: Barla, A.; Bartoletti, M.; Bracciali, A.; Klau, G.W.; Peterson, L.; Policriti, A.; Tagliaferri, R.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Regular Languages meet Preffix Sorting?

arXiv
2019 | Other
EID:

2-s2.0-85170451882

Part of ISSN: 23318422
Contributors: Alanko, J.; D'Agostino, G.; Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Encoding sets as real numbers

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85053675065

Part of ISSN: 16130073
Contributors: Cantone, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Encoding Sets as Real Numbers (Extended version)

arXiv
2018 | Other
EID:

2-s2.0-85169970073

Part of ISSN: 23318422
Contributors: Cantone, D.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

LZ77 Computation Based on the Run-Length Encoded BWT

Algorithmica
2018 | Journal article
EID:

2-s2.0-85024483176

Part of ISSN: 14320541 01784617
Contributors: Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Power (set) alc

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85056820412

Part of ISSN: 16130073
Contributors: Giordano, L.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Power (Set) ALC

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85054320183

Part of ISSN: 16130073
Contributors: Giordano, L.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Reasoning on Relations, Modalities, and Sets

Outstanding Contributions to Logic
2018 | Book chapter
EID:

2-s2.0-85067943478

Part of ISSN: 22112766 22112758
Contributors: Formisano, A.; Omodeo, E.G.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

String attractors: Verification and optimization

arXiv
2018 | Other
EID:

2-s2.0-85169490721

Part of ISSN: 23318422
Contributors: Kempa, D.; Policriti, A.; Prezza, N.; Rotenberg, E.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

String attractors: Verification and optimization

Leibniz International Proceedings in Informatics, LIPIcs
2018 | Conference paper
EID:

2-s2.0-85052501341

Part of ISBN: 9783959770811
Part of ISSN: 18688969
Contributors: Kempa, D.; Policriti, A.; Prezza, N.; Rotenberg, E.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

An active learning approach to the falsification of black box cyber-physical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Conference paper
EID:

2-s2.0-85030154668

Part of ISBN: 9783319668444
Part of ISSN: 16113349 03029743
Contributors: Silvetti, S.; Policriti, A.; Bortolussi, L.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

arXiv
2017 | Other
EID:

2-s2.0-85170299648

Part of ISSN: 23318422
Contributors: Silvetti, S.; Policriti, A.; Bortolussi, L.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

From LZ77 to the run-length encoded burrows-wheeler transform, and back

arXiv
2017 | Other
EID:

2-s2.0-85170772906

Part of ISSN: 23318422
Contributors: Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

From LZ77 to the run-length encoded burrows-wheeler transform, and back

Leibniz International Proceedings in Informatics, LIPIcs
2017 | Conference paper
EID:

2-s2.0-85027277555

Part of ISBN: 9783959770392
Part of ISSN: 18688969
Contributors: Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

On sets and graphs: Perspectives on logic and combinatorics

On Sets and Graphs: Perspectives on Logic and Combinatorics
2017 | Book
EID:

2-s2.0-85032833216

Contributors: Omodeo, E.G.; Policriti, A.; Tomescu, A.I.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Reduction of heterozygosity (ROH) as a method to detect mosaic structural variation

Plant Biotechnology Journal
2017 | Journal article
EID:

2-s2.0-85016584596

Part of ISSN: 14677652 14677644
Contributors: Marroni, F.; Scaglione, D.; Pinosio, S.; Policriti, A.; Miculan, M.; Di Gaspero, G.; Morgante, M.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Set-syllogistics meet combinatorics

Mathematical Structures in Computer Science
2017 | Journal article
EID:

2-s2.0-84929018216

Part of ISSN: 09601295
Contributors: Omodeo, E.G.; Policriti, A.; Tomescu, A.I.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Towards a logic programming tool for cancer analysis

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85031908291

Part of ISSN: 16130073
Contributors: Tarzariol, A.; Dovier, A.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Banishing Ultrafilters from Our Consciousness

Outstanding Contributions to Logic
2016 | Book chapter
EID:

2-s2.0-85068180612

Part of ISSN: 22112766 22112758
Contributors: Cantone, D.; Omodeo, E.G.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Computing LZ77 in Run-Compressed Space

Data Compression Conference Proceedings
2016 | Conference paper
EID:

2-s2.0-85010064576

Part of ISBN: 9781509018536
Part of ISSN: 10680314
Contributors: Policriti, A.; Prezza, N.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2

BMC Bioinformatics
2016 | Journal article
EID:

2-s2.0-84978842595

Part of ISSN: 14712105
Contributors: Prezza, N.; Vezzi, F.; Käller, M.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Is Hyper-extensionality Preservable under Deletions of Graph Elements?

Electronic Notes in Theoretical Computer Science
2016 | Journal article
EID:

2-s2.0-84963729549

Part of ISSN: 15710661
Contributors: Casagrande, A.; Piazza, C.; Policriti, A.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier

Logic programming applied to genome evolution in cancer?

CEUR Workshop Proceedings
2016 | Conference paper
EID:

2-s2.0-84985995821

Part of ISSN: 16130073
Contributors: Palù, D.; Dovier, A.; Formisano, A.; Policriti, A.; Pontelli, E.
Source: Self-asserted source
Alberto Policriti via Scopus - Elsevier
Items per page:
Page 1 of 4