Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlberto Policriti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j61]Giovanna D'Agostino, Davide Martincigh, Alberto Policriti:
Ordering regular languages and automata: Complexity. Theor. Comput. Sci. 949: 113709 (2023)- 2022
- [j60]Nicola Rizzo
, Alexandru I. Tomescu, Alberto Policriti:
Solving String Problems on Graphs Using the Labeled Direct Product. Algorithmica 84(10): 3008-3033 (2022) - [j59]Alberto Policriti, Nicola Prezza:
Special Issue on Algorithms and Data-Structures for Compressed Computation. Algorithms 15(12): 457 (2022) - [c82]Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini:
Incremental NFA Minimization. ICTCS 2022: 161-173 - [i16]Giovanna D'Agostino, Davide Martincigh, Alberto Policriti:
Ordering Regular Languages and Automata: Complexity. CoRR abs/2203.12534 (2022) - [i15]Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza:
Co-lexicographically ordering automata and regular languages. Part I. CoRR abs/2208.04931 (2022) - 2021
- [j58]Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza:
Wheeler languages. Inf. Comput. 281: 104820 (2021) - [c81]Davide Martincigh, Giovanna D'Agostino, Alberto Policriti:
Ordering Regular Languages: a Danger Zone. ICTCS 2021: 46-69 - [i14]Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza:
Which Regular Languages can be Efficiently Indexed? CoRR abs/2102.06798 (2021) - [i13]Giovanna D'Agostino, Davide Martincigh, Alberto Policriti:
Ordering regular languages: a danger zone. CoRR abs/2106.00315 (2021) - [i12]Giovanna D'Agostino, Nicola Cotumaccio, Alberto Policriti, Nicola Prezza:
On (co-lex) Ordering Automata. CoRR abs/2106.02309 (2021) - [i11]Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti:
The Labeled Direct Product Optimally Solves String Problems on Graphs. CoRR abs/2109.05290 (2021) - 2020
- [j57]Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti:
Towards a Logic Programming Tool for Cancer Data Analysis. Fundam. Informaticae 176(3-4): 299-319 (2020) - [j56]Laura Giordano, Alberto Policriti:
Adding the power-set to description logics. Theor. Comput. Sci. 813: 155-174 (2020) - [c80]Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza:
Regular Languages meet Prefix Sorting. SODA 2020: 911-930 - [i10]Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza:
Wheeler Languages. CoRR abs/2002.10303 (2020)
2010 – 2019
- 2019
- [c79]Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti:
Optimization and Multistage Systems. The Thawing Case. OVERLAY@AI*IA 2019: 101-106 - [c78]Laura Giordano, Alberto Policriti:
Extending ALC with the power-set construct. CILC 2019 - [c77]Laura Giordano, Alberto Policriti:
Extending ALC with the Power-Set Construct. JELIA 2019: 387-398 - [e3]Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10834, Springer 2019, ISBN 978-3-030-14159-2 [contents] - [i9]Jarno Alanko, Alberto Policriti, Nicola Prezza:
On Prefix-Sorting Finite Automata. CoRR abs/1902.01088 (2019) - [i8]Laura Giordano, Alberto Policriti:
Adding the Power-Set to Description Logics. CoRR abs/1902.09844 (2019) - 2018
- [j55]Alberto Policriti, Nicola Prezza:
LZ77 Computation Based on the Run-Length Encoded BWT. Algorithmica 80(7): 1986-2011 (2018) - [c76]Laura Giordano, Alberto Policriti:
Power (Set) ALC (Extended Abstract). CILC 2018: 17-21 - [c75]Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg:
String Attractors: Verification and Optimization. ESA 2018: 52:1-52:13 - [c74]Laura Giordano, Alberto Policriti:
Power (Set) ALC. ICTCS 2018: 162-173 - [c73]Domenico Cantone, Alberto Policriti:
Encoding Sets as Real Numbers. SETS@ABZ 2018: 2-16 - [i7]Dominik Kempa, Alberto Policriti, Nicola Prezza, Eva Rotenberg:
String Attractors: Verification and Optimization. CoRR abs/1803.01695 (2018) - [i6]Domenico Cantone, Alberto Policriti:
Encoding Sets as Real Numbers (Extended version). CoRR abs/1806.09329 (2018) - 2017
- [b3]Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu:
On Sets and Graphs: Perspectives on Logic and Combinatorics. Springer 2017, ISBN 978-3-319-54981-1 - [j54]Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu:
Set-syllogistics meet combinatorics. Math. Struct. Comput. Sci. 27(2): 296-310 (2017) - [c72]Alberto Policriti, Nicola Prezza:
From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. CPM 2017: 17:1-17:10 - [c71]Alice Tarzariol, Agostino Dovier, Alberto Policriti:
Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC 2017: 361-375 - [c70]Simone Silvetti, Alberto Policriti, Luca Bortolussi:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. IFM 2017: 3-17 - [i5]Alberto Policriti, Nicola Prezza:
From LZ77 to the Run-Length Encoded Burrows-Wheeler Transform, and Back. CoRR abs/1702.01340 (2017) - [i4]Simone Silvetti, Alberto Policriti, Luca Bortolussi:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. CoRR abs/1705.01879 (2017) - 2016
- [j53]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): 69 (2016) - [c69]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli:
Logic Programming Applied to Genome Evolution in Cancer. CILC 2016: 148-157 - [c68]Alberto Policriti, Nicola Prezza:
Computing LZ77 in Run-Compressed Space. DCC 2016: 23-32 - [c67]Luca Bortolussi, Alberto Policriti, Simone Silvetti:
Logic-Based Multi-objective Design of Chemical Reaction Networks. HSB 2016: 164-178 - [p1]Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti:
Banishing Ultrafilters from Our Consciousness. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 255-283 - [e2]Eugenio G. Omodeo, Alberto Policriti:
Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Outstanding Contributions to Logic 10, Springer 2016, ISBN 978-3-319-41841-4 [contents] - [i3]Alberto Policriti, Nicola Prezza:
Fast Longest Common Extensions in Small Space. CoRR abs/1607.06660 (2016) - 2015
- [j52]Alberto Policriti, Nicola Prezza:
Fast randomized approximate string matching with succinct hash data structures. BMC Bioinform. 16(S-9): S4 (2015) - [j51]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: 98-108 (2015) - [j50]Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu:
Mapping Sets and Hypersets into Numbers. Fundam. Informaticae 140(3-4): 307-328 (2015) - [j49]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015) - [c66]Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti:
Hierarchical Assembly of Pools. IWBBIO (2) 2015: 207-218 - [c65]Alberto Policriti, Nicola Gigante, Nicola Prezza:
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. LATA 2015: 587-598 - [c64]Alberto Policriti, Nicola Prezza:
Fast Online Lempel-Ziv Factorization in Compressed Space. SPIRE 2015: 13-20 - [c63]Alberto Casagrande, Carla Piazza, Alberto Policriti:
Is Hyper-extensionality Preservable Under Deletions of Graph Elements? ICTCS 2015: 103-118 - [i2]Nicola Prezza, Alberto Policriti:
Computing LZ77 in Run-Compressed Space. CoRR abs/1510.06257 (2015) - 2014
- [j48]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): 3556-3557 (2014) - [c62]Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu:
Hyper-Extensionality and One-Node Elimination on Membership Graphs. CILC 2014: 341-346 - [c61]Alberto Policriti, Nicola Prezza:
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis. ISAAC 2014: 157-168 - [c60]Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti:
A Parallel Algorithm for the Best k-Mismatches Alignment Problem. PDP 2014: 586-589 - 2013
- [j47]Alberto Policriti, Alexandru I. Tomescu:
Markov chain algorithms for generating sets uniformly at random. Ars Math. Contemp. 6(1): 57-68 (2013) - [j46]Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, Lars Arvestad, Alberto Policriti:
GAM-NGS: genomic assemblies merger for next generation sequencing. BMC Bioinform. 14(S-7): S6 (2013) - [j45]Alberto Policriti, Alexandru I. Tomescu:
Well-quasi-ordering hereditarily finite sets. Int. J. Comput. Math. 90(6): 1278-1291 (2013) - [j44]Luca Bortolussi, Alberto Policriti:
(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program. J. Log. Comput. 23(4): 761-798 (2013) - [c59]Alberto Policriti:
On the Decidability of the ∃*∀* Prefix Class in Set Theory. CILC 2013: 13 - [c58]Alberto Policriti:
Encodings of Sets and Hypersets. CILC 2013: 235-240 - 2012
- [j43]Francesco Vezzi, Cristian Del Fabbro, Alexandru I. Tomescu, Alberto Policriti:
rNA: a fast and accurate short reads numerical aligner. Bioinform. 28(1): 123-124 (2012) - [j42]Francesca Nadalin, Francesco Vezzi, Alberto Policriti:
GapFiller: a de novo assembly approach to fill the gap within paired reads. BMC Bioinform. 13(S-14): S8 (2012) - [j41]Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi:
A randomized Numerical Aligner (rNA). J. Comput. Syst. Sci. 78(6): 1868-1882 (2012) - [j40]Eugenio G. Omodeo, Alberto Policriti:
The Bernays - Schönfinkel - Ramsey class for set theory: decidability. J. Symb. Log. 77(3): 896-918 (2012) - [j39]Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu:
Infinity, in short. J. Log. Comput. 22(6): 1391-1403 (2012) - [j38]Luca Bortolussi, Alberto Policriti:
Studying cancer-cell populations by programmable models of networks. Netw. Model. Anal. Health Informatics Bioinform. 1(3): 117-133 (2012) - [c57]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: 12-19 - [c56]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Rank-Based Simulation on Acyclic Graphs. CILC 2012: 149-160 - [c55]Francesca Nadalin, Francesco Vezzi, Alberto Policriti:
A Multi-objective Optimisation Approach to the Design of Experiment in De Novo Assembly Projects. DEXA Workshops 2012: 213-217 - 2011
- [j37]Alberto Policriti, Alexandru I. Tomescu:
Counting extensional acyclic digraphs. Inf. Process. Lett. 111(16): 787-791 (2011) - [c54]Cristian Del Fabbro, Francesco Vezzi, Alberto Policriti:
mrNA: The MPI Randomized Numerical Aligner. BIBM 2011: 139-142 - [c53]Alberto Policriti, Alexandru I. Tomescu:
Well-Quasi-Ordering Hereditarily Finite Sets. LATA 2011: 440-451 - [c52]Luca Bortolussi, Alberto Policriti:
Programmable models of growth and mutation of cancer-cell populations. CompMod 2011: 19-33 - 2010
- [j36]Eugenio G. Omodeo, Alberto Policriti:
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. J. Symb. Log. 75(2): 459-480 (2010) - [j35]Luca Bortolussi, Alberto Policriti:
Hybrid dynamics of stochastic programs. Theor. Comput. Sci. 411(20): 2052-2077 (2010) - [c51]Federica Cattonaro, Alberto Policriti, Francesco Vezzi:
Enhanced reference guided assembly. BIBM 2010: 77-80 - [c50]Luca Bortolussi, Alberto Policriti:
Perspectives on Constraints, Process Algebras, and Hybrid Systems. WCB@ICLP 2010: 59-66 - [c49]Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi:
A Randomized Numerical Aligner (rNA). LATA 2010: 512-523
2000 – 2009
- 2009
- [j34]Simone Scalabrin, Michele Morgante, Alberto Policriti:
Automated FingerPrint Background removal: FPB. BMC Bioinform. 10 (2009) - [j33]Alberto Casagrande, Carla Piazza, Alberto Policriti:
Discrete Semantics for Hybrid Automata. Discret. Event Dyn. Syst. 19(4): 471-493 (2009) - [j32]Luca Bortolussi, Alberto Policriti:
Hybrid Dynamics of Stochastic pi-Calculus. Math. Comput. Sci. 2(3): 465-491 (2009) - [j31]Luca Bortolussi, Alberto Policriti:
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. Trans. Comp. Sys. Biology 11: 216-267 (2009) - [c48]Alberto Casagrande, Cristian Del Fabbro, Simone Scalabrin, Alberto Policriti:
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. BIBM 2009: 321-326 - [c47]Cristian Del Fabbro, Michele Morgante, Alberto Policriti, Nicola Vitacolonna:
TEA: a Transposable Elements Annotator. BIOCOMP 2009: 528-525 - [c46]Luca Bortolussi, Alberto Policriti:
Stochastic Programs and Hybrid Automata for (Biological) Modeling. CiE 2009: 37-48 - [c45]Luca Bortolussi, Alberto Policriti:
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. COMPMOD 2009: 63-76 - 2008
- [j30]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50(1): 120-158 (2008) - [j29]Luca Bortolussi, Alberto Policriti:
Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints An Int. J. 13(1-2): 66-90 (2008) - [j28]Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra:
Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008) - [c44]Luca Bortolussi, Alberto Policriti:
Hybrid Semantics for Stochastic pi-Calculus. AB 2008: 40-55 - [c43]Carla Piazza, Alberto Policriti:
Systems Biology: Models and Logics. ICLP 2008: 14 - [c42]Radu Mardare, Alberto Policriti:
A Complete Axiomatic System for a Process-Based Spatial Logic. MFCS 2008: 491-502 - [c41]Luca Bortolussi, Alberto Policriti:
Hybrid Systems and Biology. SFM 2008: 424-448 - [c40]Luca Bortolussi, Alberto Policriti:
The Importance of Being (A Little Bit) Discrete. FBTC@ICALP 2008: 75-92 - 2007
- [c39]Luca Bortolussi, Simone Fonda, Alberto Policriti:
Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. BIBM 2007: 288-293 - [c38]Luca Bortolussi, Alberto Policriti:
Stochastic Concurrent Constraint Programming and Differential Equations. QAPL 2007: 27-42 - 2006
- [c37]Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz:
A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems 2006: 117-139 - [c36]Luca Bortolussi, Francesco Fabris, Alberto Policriti:
BuST-Bundled Suffix Trees. IFIP TCS 2006: 91-102 - 2005
- [j27]Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo:
Structured Motifs Search. J. Comput. Biol. 12(8): 1065-1082 (2005) - [j26]Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
The axiom of elementary sets on the edge of Peircean expressibility. J. Symb. Log. 70(3): 953-968 (2005) - [c35]Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra:
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV 2005: 5-19 - [c34]Angelo Montanari, Alberto Policriti, Nicola Vitacolonna:
An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153 - 2004
- [j25]Agostino Dovier, Carla Piazza, Alberto Policriti:
An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3): 221-256 (2004) - [j24]Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
Three-variable statements of set-pairing. Theor. Comput. Sci. 322(1): 147-173 (2004) - [j23]Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra:
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. 325(1): 45-67 (2004) - [j22]Carla Piazza, Alberto Policriti:
Ackermann Encoding, Bisimulations, and OBDDs. Theory Pract. Log. Program. 4(5-6): 695-718 (2004) - [c33]Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
Improving reachability analysis of hybrid automata for engine control. CDC 2004: 2322-2327 - [c32]Alberto Policriti, Nicola Vitacolonna, Michele Morgante, Andrea Zuccolo:
Structured motifs search. RECOMB 2004: 133-139 - 2003
- [j21]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reason. 31(1): 73-103 (2003) - [c31]Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti:
Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS 2003: 215-226 - [c30]Enrico Marzano, Angelo Montanari, Alberto Policriti:
Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003: 626-644 - [c29]Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni:
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74 - [c28]Raffaella Gentilini, Alberto Policriti:
Biconnectivity on Symbolically Represented Graphs: A Linear Solution. ISAAC 2003: 554-564 - [c27]Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra:
Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Pacific Symposium on Biocomputing 2003: 116-127 - [c26]Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Computing strongly connected components in a linear number of symbolic steps. SODA 2003: 573-582 - [i1]Carla Piazza, Alberto Policriti:
Ackermann Encoding, Bisimulations, and OBDDs. CoRR cs.LO/0311018 (2003) - 2002
- [j20]Angelo Montanari, Alberto Policriti, Matteo Slanina:
Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reason. 28(5): 397-415 (2002) - [j19]Angelo Montanari, Adriano Peron, Alberto Policriti:
Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12(4): 641-677 (2002) - [c25]Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. APPIA-GULP-PRODE 2002: 275- - [c24]Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra:
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. HiPC 2002: 431-442 - [c23]