All Stories

  1. Co-lexicographically Ordering Automata and Regular Languages - Part I

    Article • Journal of the ACM, August 2023, ACM (Association for Computing Machinery)

    Professor Alberto Policriti, Nicola Cotumaccio

  2. Towards a Logic Programming Tool for Cancer Data Analysis

    Article • Fundamenta Informaticae, December 2020, IOS Press

    Dr Agostino Dovier, Professor Alberto Policriti

  3. On the impact of discreteness and abstractions on modelling noise in gene regulatory networks

    Article • Computational Biology and Chemistry, June 2015, Elsevier

    Professor Alberto Policriti

  4. Set-syllogistics meet combinatorics

    Article • Mathematical Structures in Computer Science, May 2015, Cambridge University Press

    Professor Alberto Policriti

  5. Hierarchical Assembly of Pools

    Article • January 2015, Springer Science + Business Media

    Professor Alberto Policriti

  6. Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform

    Article • January 2015, Springer Science + Business Media

    Professor Alberto Policriti

  7. A Parallel Algorithm for the Best k-Mismatches Alignment Problem

    Article • February 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Alberto Policriti

  8. Hashing and Indexing: Succinct DataStructures and Smoothed Analysis

    Article • January 2014, Springer Science + Business Media

    Professor Alberto Policriti

  9. Algorithms and Data Structures for Next-Generation Sequences

    Article • December 2013, Wiley

    Professor Alberto Policriti

  10. Rank and simulation: the well-founded case

    Article • Journal of Logic and Computation, December 2013, Oxford University Press (OUP)

    Professor Alberto Policriti

  11. Well-quasi-ordering hereditarily finite sets

    Article • International Journal of Computer Mathematics, June 2013, Taylor & Francis

    Professor Alberto Policriti

  12. GAM-NGS: genomic assemblies merger for next generation sequencing

    Article • BMC Bioinformatics, April 2013, Springer Science + Business Media

    Professor Alberto Policriti

  13. The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution

    Article • Nature Genetics, March 2013, Springer Science + Business Media

    Professor Alberto Policriti

  14. A randomized Numerical Aligner (rNA)

    Article • Journal of Computer and System Sciences, November 2012, Elsevier

    Professor Alberto Policriti

  15. Biological Networks on (a Lattice of) Hybrid Automata

    Article • Electronic Proceedings in Theoretical Computer Science, October 2012, Open Publishing Association

    Professor Alberto Policriti

  16. The Bernays-Schönfinkel-Ramsey class for set theory: decidability

    Article • Journal of Symbolic Logic, September 2012, Cambridge University Press

    Professor Alberto Policriti

  17. GapFiller: a de novo assembly approach to fill the gap within paired reads

    Article • BMC Bioinformatics, September 2012, Springer Science + Business Media

    Professor Alberto Policriti

  18. A Multi-objective Optimisation Approach to the Design of Experiment in De Novo Assembly Projects

    Article • September 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Alberto Policriti

  19. Studying cancer-cell populations by programmable models of networks

    Article • Network Modeling Analysis in Health Informatics and Bioinformatics, June 2012, Springer Science + Business Media

    Professor Alberto Policriti

  20. GAM: Genomic Assemblies Merger

    Article • EMBnet journal, April 2012, EMBnet Stichting

    Professor Alberto Policriti

  21. Identification, reconstruction and validation of insertions in resequencing projects with GapFiller

    Article • EMBnet journal, April 2012, EMBnet Stichting

    Professor Alberto Policriti

  22. COST Action BM 1006 (SeqAhead): MC BUSINESS MEETING AND SCIENTIFIC MEETING

    Article • EMBnet journal, March 2012, EMBnet Stichting

    Professor Alberto Policriti

  23. ERNE-BS5

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Alberto Policriti

  24. rNA: a fast and accurate short reads numerical aligner

    Article • Bioinformatics, November 2011, Oxford University Press (OUP)

    Professor Alberto Policriti

  25. mrNA: The MPI Randomized Numerical Aligner

    Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Alberto Policriti

  26. Programmable models of growth and mutation of cancer-cell populations

    Article • Electronic Proceedings in Theoretical Computer Science, September 2011, Open Publishing Association

    Professor Alberto Policriti

  27. Infinity, in short

    Article • Journal of Logic and Computation, August 2011, Oxford University Press (OUP)

    Professor Alberto Policriti

  28. e-RGA: enhanced Reference Guided Assembly of Complex Genomes

    Article • EMBnet journal, August 2011, EMBnet Stichting

    Professor Alberto Policriti

  29. Counting extensional acyclic digraphs

    Article • Information Processing Letters, August 2011, Elsevier

    Professor Alberto Policriti

  30. Well-Quasi-Ordering Hereditarily Finite Sets

    Article • January 2011, Springer Science + Business Media

    Professor Alberto Policriti

  31. Enhanced reference guided assembly

    Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Alberto Policriti

  32. The SSR-based molecular profile of 1005 grapevine (Vitis vinifera L.) accessions uncovers new synonymy and parentages, and reveals a large admixture amongst varieties of different geographic origin

    Article • Theoretical and Applied Genetics, August 2010, Springer Science + Business Media

    Professor Alberto Policriti

  33. The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability

    Article • Journal of Symbolic Logic, June 2010, Cambridge University Press

    Professor Alberto Policriti

  34. Hybrid dynamics of stochastic programs

    Article • Theoretical Computer Science, April 2010, Elsevier

    Professor Alberto Policriti

  35. A Randomized Numerical Aligner (rNA)

    Article • January 2010, Springer Science + Business Media

    Professor Alberto Policriti

  36. Physical mapping in highly heterozygous genomes: a physical contig map of the Pinot Noir grapevine cultivar

    Article • BMC Genomics, January 2010, Springer Science + Business Media

    Professor Alberto Policriti

  37. Correction: High throughput approaches reveal splicing of primary microRNA transcripts and tissue specific expression of mature microRNAs in Vitis vinifera

    Article • BMC Genomics, January 2010, Springer Science + Business Media

    Professor Alberto Policriti

  38. GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies

    Article • November 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Alberto Policriti

  39. Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

    Article • Electronic Proceedings in Theoretical Computer Science, October 2009, Open Publishing Association

    Professor Alberto Policriti

  40. Discrete Semantics for Hybrid Automata

    Article • Discrete Event Dynamic Systems, September 2009, Springer Science + Business Media

    Professor Alberto Policriti

  41. Automated FingerPrint Background removal: FPB

    Article • BMC Bioinformatics, April 2009, Springer Science + Business Media

    Professor Alberto Policriti

  42. Hybrid Dynamics of Stochastic π-Calculus

    Article • Mathematics in Computer Science, March 2009, Springer Science + Business Media

    Professor Alberto Policriti

  43. The Importance of Being (A Little Bit) Discrete

    Article • Electronic Notes in Theoretical Computer Science, February 2009, Elsevier

    Professor Alberto Policriti

  44. Stochastic Programs and Hybrid Automata for (Biological) Modeling

    Article • January 2009, Springer Science + Business Media

    Professor Alberto Policriti

  45. High throughput approaches reveal splicing of primary microRNA transcripts and tissue specific expression of mature microRNAs in Vitis vinifera

    Article • BMC Genomics, January 2009, Springer Science + Business Media

    Professor Alberto Policriti

  46. Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back

    Article • January 2009, Springer Science + Business Media

    Professor Alberto Policriti

  47. Inclusion dynamics hybrid automata

    Article • Information and Computation, December 2008, Elsevier

    Professor Alberto Policriti

  48. Modeling Biological Systems in Stochastic Concurrent Constraint Programming

    Article • Constraints, January 2008, Springer Science + Business Media

    Professor Alberto Policriti

  49. Discreteness, hybrid automata, and biology

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Alberto Policriti

  50. Systems Biology: Models and Logics

    Article • January 2008, Springer Science + Business Media

    Professor Alberto Policriti

  51. A Complete Axiomatic System for a Process-Based Spatial Logic

    Article • January 2008, Springer Science + Business Media

    Professor Alberto Policriti

  52. Symbolic Graphs: Linear Solutions to Connectivity Related Problems

    Article • Algorithmica, December 2007, Springer Science + Business Media

    Professor Alberto Policriti

  53. Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps

    Article • November 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Alberto Policriti

  54. Stochastic Concurrent Constraint Programming and Differential Equations

    Article • Electronic Notes in Theoretical Computer Science, September 2007, Elsevier

    Professor Alberto Policriti

  55. The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla

    Article • Nature, August 2007, Springer Science + Business Media

    Professor Alberto Policriti

  56. MOTIF DISCOVERY FIXING MISMATCH POSITIONS

    Article • January 2007, World Scientific Pub Co Pte Lt

    Professor Alberto Policriti

  57. Foreword

    Article • Journal of Applied Non-Classical Logics, January 2006, Taylor & Francis

    Professor Alberto Policriti

  58. A Computerized Referee

    Article • January 2006, Springer Science + Business Media

    Professor Alberto Policriti

  59. Structured Motifs Search

    Article • Journal of Computational Biology, October 2005, Mary Ann Liebert Inc

    Professor Alberto Policriti

  60. The axiom of elementary sets on the edge of Peircean expressibility

    Article • Journal of Symbolic Logic, September 2005, Cambridge University Press

    Professor Alberto Policriti, Andrea Formisano

  61. An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures

    Article • January 2005, Springer Science + Business Media

    Professor Alberto Policriti

  62. Ackermann encoding, bisimulations and OBDDs

    Article • Theory and Practice of Logic Programming, August 2004, Cambridge University Press

    Professor Alberto Policriti

  63. Three-variable statements of set-pairing

    Article • Theoretical Computer Science, August 2004, Elsevier

    Professor Alberto Policriti, Andrea Formisano

  64. An efficient algorithm for computing bisimulation equivalence

    Article • Theoretical Computer Science, January 2004, Elsevier

    Dr Agostino Dovier, Professor Alberto Policriti

  65. Structured motifs search

    Article • January 2004, ACM (Association for Computing Machinery)

    Professor Alberto Policriti

  66. AppART: a Hybrid Neural Network Based on Adaptive Resonance Theory for Universal Function Approximation

    Article • January 2004, Springer Science + Business Media

    Professor Alberto Policriti

  67. Rasiowa-Sikorski Style Relational Elementary Set Theory

    Article • January 2004, Springer Science + Business Media

    Professor Alberto Policriti

  68. A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes

    Article • OMICS A Journal of Integrative Biology, September 2003, Mary Ann Liebert Inc

    Professor Alberto Policriti

  69. Binary Extensions of S1S and the Composition Method

    Article • January 2003, Springer Science + Business Media

    Professor Alberto Policriti

  70. Biconnectivity on Symbolically Represented Graphs: A Linear Solution

    Article • January 2003, Springer Science + Business Media

    Professor Alberto Policriti

  71. Model Building and Model Checking for Biochemical Processes

    Article • Cell Biochemistry and Biophysics, January 2003, Springer Science + Business Media

    Professor Alberto Policriti

  72. Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing

    Article • January 2003, Springer Science + Business Media

    Professor Alberto Policriti

  73. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo and Alberto Policriti, Springer-Verlag, 2001. Hardback: ISBN 0-387-95197-0, $24.50/$69.95, xviii+409 pages.

    Article • Theory and Practice of Logic Programming, December 2002, Cambridge University Press

    Professor Alberto Policriti

  74. AppART: An ART Hybrid Stable Learning Neural Network for Universal Function Approximation

    Article • January 2002, Springer Science + Business Media

    Professor Alberto Policriti

  75. Simulation as Coarsest Partition Problem

    Article • January 2002, Springer Science + Business Media

    Professor Alberto Policriti

  76. XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior

    Article • January 2002, Springer Science + Business Media

    Professor Alberto Policriti

  77. Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I

    Article • Electronic Notes in Theoretical Computer Science, June 2001, Elsevier

    Professor Alberto Policriti

  78. A Fast Bisimulation Algorithm

    Article • January 2001, Springer Science + Business Media

    Dr Agostino Dovier, Professor Alberto Policriti

  79. Set Theory for Computing

    Article • January 2001

    Professor Alberto Policriti

  80. Quantitative Set Reasoning

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  81. (*) A Syllogistic Solitaire

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  82. Syllogistic Tableaux

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  83. Stratified Syllogistics

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  84. Logical Background

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  85. Set Theory for Nonclassic Logics

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  86. Logic Programming with Sets

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  87. Axiomatic Views of Aggregates

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  88. Decision Problems and Some Solutions

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  89. Inference Techniques and Methods

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  90. Sets for Problem Solving

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  91. Semantic Views of Aggregates

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  92. What Is Computable Set Theory?

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  93. Set/Hyperset Unification Algorithms

    Article • January 2001, Springer Science + Business Media

    Professor Alberto Policriti

  94. Comparing Expressiveness of Set Constructor Symbols

    Article • January 2000, Springer Science + Business Media

    Dr Agostino Dovier, Professor Alberto Policriti

  95. Decidable Theories of ω-Layered Metric Temporal Structures

    Article • January 2000, Springer Science + Business Media

    Professor Alberto Policriti

  96. Derivability in Locally Quantified Modal Logics via Translation in Set Theory

    Article • January 2000, Springer Science + Business Media

    Professor Alberto Policriti

  97. Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory

    Article • January 2000, Springer Science + Business Media

    Professor Alberto Policriti

  98. Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case

    Article • Applicable Algebra in Engineering Communication and Computing, February 1999, Springer Science + Business Media

    Dr Agostino Dovier, Professor Alberto Policriti

  99. Øhrstrøm Peter and Hasle Per F. V.. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp.

    Article • Journal of Symbolic Logic, September 1997, Cambridge University Press

    Professor Alberto Policriti

  100. Complementation in the lattice of equivalence relations

    Article • Discrete Mathematics, November 1996, Elsevier

    Professor Alberto Policriti

  101. Decidability Results for Metric and Layered Temporal Logics

    Article • January 1996, Duke University Press

    Professor Alberto Policriti

  102. Integrating Lists, Multisets, and Sets in a Logic Programming Framework

    Article • January 1996, Springer Science + Business Media

    Professor Alberto Policriti

  103. Decidability of ∀*∀-Sentences in Membership Theories

    Article • Mathematical Logic Quarterly, January 1996, Wiley

    Professor Alberto Policriti

  104. T-Theorem Proving I

    Article • Journal of Symbolic Computation, September 1995, Elsevier

    Professor Alberto Policriti

  105. A set-theoretic translation method for (poly)modal logics

    Article • January 1995, Springer Science + Business Media

    Professor Alberto Policriti

  106. Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case

    Article • Communications on Pure and Applied Mathematics, January 1995, Wiley

    Professor Alberto Policriti

  107. A set-theoretic translation method for polymodal logics

    Article • Journal of Automated Reasoning, January 1995, Springer Science + Business Media

    Professor Alberto Policriti

  108. A derived algorithm for evaluating ɛ-expressions over abstract sets

    Article • Journal of Symbolic Computation, May 1993, Elsevier

    Professor Alberto Policriti

  109. THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION

    Article • Mathematical Logic Quarterly, January 1992, Wiley

    Professor Alberto Policriti

  110. Expressing infinity without foundation

    Article • Journal of Symbolic Logic, December 1991, Cambridge University Press

    Professor Alberto Policriti

  111. Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability

    Article • Journal of Automated Reasoning, June 1991, Springer Science + Business Media

    Professor Alberto Policriti

  112. Note on "The Logically Simplest Form of the Infinity Axiom"

    Article • Proceedings of the American Mathematical Society, January 1990, JSTOR

    Professor Alberto Policriti

  113. Note on: ‘‘The logically simplest form of the infinity axiom” [Proc.\ Amer.\ Math.\ Soc.\ {\bf 103} (1988), no.\ 1, 274–276; MR0938682 (89h:03086)]

    Article • Proceedings of the American Mathematical Society, January 1990, American Mathematical Society (AMS)

    Professor Alberto Policriti

  114. Set-theoretic reductions of Hilbert's tenth problem

    Article • January 1990, Springer Science + Business Media

    Professor Alberto Policriti

  115. The Logically Simplest Form of the Infinity Axiom

    Article • Proceedings of the American Mathematical Society, May 1988, JSTOR

    Professor Alberto Policriti

  116. Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory

    Article • Communications on Pure and Applied Mathematics, March 1988, Wiley

    Professor Alberto Policriti

  117. The logically simplest form of the infinity axiom

    Article • Proceedings of the American Mathematical Society, January 1988, American Mathematical Society (AMS)

    Professor Alberto Policriti

  118. IEEE Trans. Profess. Commun.

    Article • IEEE Transactions on Dependable and Secure Computing, Institute of Electrical & Electronics Engineers (IEEE)

    DI Dr. techn. Issa Ibraheem, Professor Alberto Policriti, Professor Marco d'Ischia, Professor Gianni Pedrizzetti, Professor Ojan Assadian, Professor Graziamaria Corbi, Professor Michel Aillerie, Professor H. Faghihian, Professor J. -C. Spender, Professor Rafael F Caldeirinha, Professor Kamaruzaman Jusoff, Professor TAIAR redha, Professor Ghaleb A. Husseini

  119. Hybrid Semantics for Stochastic π-Calculus

    Article • Springer Science + Business Media

    Professor Alberto Policriti

  120. Hybrid Systems and Biology

    Article • Springer Science + Business Media

    Professor Alberto Policriti

  121. Decision procedures for set/hyperset contexts

    Article • Springer Science + Business Media

    Professor Alberto Policriti