CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Policriti Alberto
Latest
An active learning approach to the falsification of black box cyber-physical systems
From LZ77 to the run-length encoded burrows-wheeler transform, and back
LZ77 Computation Based on the Run-Length Encoded BWT
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
On Sets and Graphs: Perspectives on Logic and Combinatorics
Towards a Logic Programming Tool for Cancer Analysis
Computing LZ77 in Run-Compressed Space
Fast, accurate, and lightweight analysis of BS-treated reads with ERNE 2
Is Hyper-extensionality Preservable under Deletions of Graph Elements?
Logic programming applied to genome evolution in cancer?
Logic-based multi-objective design of chemical reaction networks
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform
CNV and structural variation in plants prospects of NGS approaches
Fast online Lempel-Ziv factorization in compressed space
Fast randomized approximate string matching with succinct hash data structures
Hierarchical Assembly of Pools
Mapping Sets and Hypersets into Numbers
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks
Rank and simulation: the well-founded case
Set-syllogistics meet combinatorics
Chimera: a Bioconductor package for secondary analysis of fusion products
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program
Encodings of Sets and Hypersets
GAM-NGS: genomic assemblies merger for next generation sequencing
A Randomized Numerical Aligner -- rNA
ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet
Infinity, in short
Rank-Based Simulation on Acyclic Graphs
rNA: a Fast and Accurate Short Reads Numerical Aligner
Counting extensional acyclic digraphs
High throughput approaches reveal splicing of primary microRNA transcripts and tissue specific expression of mature microRNAs in Vitis vinifera (vol 11 pg 109 2010)
The SSR-based molecular profile of 1005 grapevine (Vitis vinifera L.) accessions uncovers new synonymy and parentages, and reveals a large admixture among varieties of different geographic origin
Automated FingerPrint Background removal: FPB
Discrete Semantics for Hybrid Automata
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies
GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies
High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera
Hybrid dynamics of stochastic pi-calculus
TEA: a Transposable Elements Annotator
The Importance of Being (A Little Bit) Discrete
A complete axiomatic system for a process-based spatial logic
Inclusion dynamics hybrid automata
Systems Biology: Models and Logics
Module Identification Using Biological Constraints
Stochastic concurrent constraint programming and differential equations
Extensions of S1S and the composition method
Views on Time in Systems Biology
Structured motifs search
The axiom of elementary sets on the edge of Peircean expressibility
An Efficient Algorithm for Computing Bisimulation Equivalence
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
Three-variable statements of set-pairing
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes
Computing strongly connected components in a linear number of symbolic steps
Extending Kamp's Theorem to Model Time Granularity
Rank-Based Symbolic Bisimulation (and Model Checking)
Ackermann Encoding, Bisimulations, and OBDD's
The taming (timing) of the states
Towards tableau-based decision procedures for non-well-founded fragments of set theory
Finite families with few symmetric differences
T-resolution: refinements and model elimination
Modal deduction in second-order logic and set theory. II
Modal deduction in second-order logic and set theory. I
T-theorem proving. I
Cite
×