Alessandra Carbone

	2009
16		Alessandra Carbone, Lynda Dib: Co-evolution and Information Signals in Biological Sequences. TAMC 2009: 6-17
	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]
2	Pamela E. Constantinou	[11]
3	Lynda Dib	[16]
4	Baoquan Ding	[11]
5	Misha Gromov	[8]
6	François Képès	[10]
7	Jens Kopatsch	[11]
8	Chengde Mao	[11]
9	Niles A. Pierce	[14]
10	Nadrian C. Seeman	[9] [11] [12]
11	William B. Sherman	[11]
12	Andrey Zinovyev	[10]

Colors in the list of coauthors