Alessandra Carbone

Linda Dib, Alessandra Carbone: CLAG: an unsupervised non hierarchical clustering algorithm handling biological data. BMC Bioinformatics 13: 194 (2012)

Juliana S. Bernardes, Alessandra Carbone, Gerson Zaverucha: A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models. BMC Bioinformatics 12: 83 (2011)

Alessandra Carbone, Linda Dib: Co-evolution and information signals in biological sequences. Theor. Comput. Sci. 412(23): 2486-2495 (2011)

Anthony Mathelier, Alessandra Carbone: MIReNA: finding microRNAs with high accuracy and no learning at genome scale and from deep sequencing data. Bioinformatics 26(18): 2226-2234 (2010)

Alessandra Carbone: A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs. Inf. Comput. 208(5): 500-509 (2010)

Alessandra Carbone: Logical structures and genus of proofs. Ann. Pure Appl. Logic 161(2): 139-149 (2009)

Stefan Engelen, Ladislas A. Trojan, Sophie Sacquin-Mora, Richard Lavery, Alessandra Carbone: Joint Evolutionary Trees: A Large-Scale Method To Predict Protein Interfaces Based on Sequence Sampling. PLoS Computational Biology 5(1) (2009)

Julie Baussand, Alessandra Carbone: A Combinatorial Approach to Detect Coevolved Amino Acid Networks in Protein Families of Variable Divergence. PLoS Computational Biology 5(9) (2009)

Alessandra Carbone, Linda Dib: Co-evolution and Information Signals in Biological Sequences. TAMC 2009: 6-17

Julie Baussand, Alessandra Carbone: Chronique : Métagénomique bactérienne et virale. Technique et Science Informatiques 26(1-2): 217-227 (2007)

Alessandra Carbone: Group Cancellation and Resolution. Studia Logica 82(1): 73-93 (2006)

Alessandra Carbone, Niles A. Pierce (Eds.): DNA Computing, 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. Lecture Notes in Computer Science 3892, Springer 2006, isbn 3-540-34161-7

Alessandra Carbone, Chengde Mao, Pamela E. Constantinou, Baoquan Ding, Jens Kopatsch, William B. Sherman, Nadrian C. Seeman: 3D Fractal DNA Assembly from Coding, Geometry and Protection. Natural Computing 3(3): 235-252 (2004)

Alessandra Carbone, Nadrian C. Seeman: Molecular Tiling and DNA Self-assembly. Aspects of Molecular Computing 2004: 61-83

Alessandra Carbone, Andrey Zinovyev, François Képès: Codon adaptation index as a measure of dominating codon bias. Bioinformatics 19(16): 2005-2015 (2003)

Alessandra Carbone, Nadrian C. Seeman: Coding and geometrical shapes in nanostructures: A fractal DNA-assembly. Natural Computing 2(2): 133-151 (2003)

Alessandra Carbone, Misha Gromov: Functional labels and syntactic entropy on DNA strings and proteins. Theor. Comput. Sci. 1(303): 35-51 (2003)

Alessandra Carbone: The Cost of A Cycle Is A Square. J. Symb. Log. 67(1): 35-60 (2002)

Alessandra Carbone: Streams and strings in formal proofs. Theor. Comput. Sci. 288(1): 45-83 (2002)

Alessandra Carbone: Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs. Studia Logica 64(3): 315-321 (2000)

Alessandra Carbone: Turning Cycles into Spirals. Ann. Pure Appl. Logic 96(1-3): 57-73 (1999)

Alessandra Carbone: Duplication of Directed Graphs and Exponential Blow Up of Proofs. Ann. Pure Appl. Logic 100(1-3): 1-67 (1999)

Alessandra Carbone: Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus. Ann. Pure Appl. Logic 83(3): 249-299 (1997)

Alessandra Carbone: Provable Fixed Points in I Delta₀ + Omega₁. Notre Dame Journal of Formal Logic 32(4): 562-572 (1991)