Alessandra Carbone

	2011
23		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)
22		Alessandra Carbone, Lynda Dib: Co-evolution and information signals in biological sequences. Theor. Comput. Sci. 412(23): 2486-2495 (2011)
	2010
21		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)
20		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)
	2009
19		Alessandra Carbone, Lynda Dib: Co-evolution and Information Signals in Biological Sequences. TAMC 2009: 6-17
18		Alessandra Carbone: Logical structures and genus of proofs. Ann. Pure Appl. Logic 161(2): 139-149 (2009)
17		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)
16		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)
	2007
15		Julie Baussand, Alessandra Carbone: Chronique : Métagénomique bactérienne et virale. Technique et Science Informatiques 26(1-2): 217-227 (2007)
	2006
14		Alessandra Carbone, Niles A. Pierce: DNA Computing, 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. Springer 2006
13		Alessandra Carbone: Group Cancellation and Resolution. Studia Logica 82(1): 73-93 (2006)
	2004
12		Alessandra Carbone, Nadrian C. Seeman: Molecular Tiling and DNA Self-assembly. Aspects of Molecular Computing 2004: 61-83
11		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)
	2003
10		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)
9		Alessandra Carbone, Nadrian C. Seeman: Coding and geometrical shapes in nanostructures: A fractal DNA-assembly. Natural Computing 2(2): 133-151 (2003)
8		Alessandra Carbone, Misha Gromov: Functional labels and syntactic entropy on DNA strings and proteins. Theor. Comput. Sci. 1(303): 35-51 (2003)
	2002
7		Alessandra Carbone: The Cost of A Cycle Is A Square. J. Symb. Log. 67(1): 35-60 (2002)
6		Alessandra Carbone: Streams and strings in formal proofs. Theor. Comput. Sci. 288(1): 45-83 (2002)
	2000
5		Alessandra Carbone: Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs. Studia Logica 64(3): 315-321 (2000)
	1999
4		Alessandra Carbone: Duplication of Directed Graphs and Exponential Blow Up of Proofs. Ann. Pure Appl. Logic 100(1-3): 1-67 (1999)
3		Alessandra Carbone: Turning Cycles into Spirals. Ann. Pure Appl. Logic 96(1-3): 57-73 (1999)
	1997
2		Alessandra Carbone: Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus. Ann. Pure Appl. Logic 83(3): 249-299 (1997)
	1991
1		Alessandra Carbone: Provable Fixed Points in I Delta0 + Omega1. Notre Dame Journal of Formal Logic 32(4): 562-572 (1991)

Coauthor Index

1	Julie Baussand	[15] [16]
2	Juliana S. Bernardes	[23]
3	Pamela E. Constantinou	[11]
4	Lynda Dib	[19] [22]
5	Baoquan Ding	[11]
6	Stefan Engelen	[17]
7	Misha Gromov	[8]
8	François Képès	[10]
9	Jens Kopatsch	[11]
10	Richard Lavery	[17]
11	Chengde Mao	[11]
12	Anthony Mathelier	[21]
13	Niles A. Pierce	[14]
14	Sophie Sacquin-Mora	[17]
15	Nadrian C. Seeman	[9] [11] [12]
16	William B. Sherman	[11]
17	Ladislas A. Trojan	[17]
18	Gerson Zaverucha	[23]
19	Andrey Zinovyev	[10]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page