| 2007 |
|---|
| 15 | EE | 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 | EE | Alessandra Carbone:
Group Cancellation and Resolution.
Studia Logica 82(1): 73-93 (2006) |
| 2004 |
|---|
| 12 | EE | Alessandra Carbone,
Nadrian C. Seeman:
Molecular Tiling and DNA Self-assembly.
Aspects of Molecular Computing 2004: 61-83 |
| 11 | EE | 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 | EE | Alessandra Carbone,
Nadrian C. Seeman:
Coding and geometrical shapes in nanostructures: A fractal DNA-assembly.
Natural Computing 2(2): 133-151 (2003) |
| 8 | EE | 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) |
