The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandra Carbone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandra Carbone, Nadrian C. Seeman
    Molecular Tiling and DNA Self-assembly. [Citation Graph (0, 0)][DBLP]
    Aspects of Molecular Computing, 2004, pp:61-83 [Conf]
  2. Alessandra Carbone
    Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:83, n:3, pp:249-299 [Journal]
  3. Alessandra Carbone
    Duplication of Directed Graphs and Exponential Blow Up of Proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:100, n:1-3, pp:1-67 [Journal]
  4. Alessandra Carbone
    Turning Cycles into Spirals. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:57-73 [Journal]
  5. Alessandra Carbone, Andrey Zinovyev, François Képès
    Codon adaptation index as a measure of dominating codon bias. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2003, v:19, n:16, pp:2005-2015 [Journal]
  6. Alessandra Carbone
    The Cost of A Cycle Is A Square. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:35-60 [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    Natural Computing, 2004, v:3, n:3, pp:235-252 [Journal]
  8. Alessandra Carbone, Nadrian C. Seeman
    Coding and geometrical shapes in nanostructures: A fractal DNA-assembly. [Citation Graph (0, 0)][DBLP]
    Natural Computing, 2003, v:2, n:2, pp:133-151 [Journal]
  9. Alessandra Carbone
    Provable Fixed Points in I Delta0 + Omega1. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:562-572 [Journal]
  10. Alessandra Carbone
    Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:64, n:3, pp:315-321 [Journal]
  11. Alessandra Carbone
    Group Cancellation and Resolution. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:73-93 [Journal]
  12. Alessandra Carbone
    Streams and strings in formal proofs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:288, n:1, pp:45-83 [Journal]
  13. Alessandra Carbone, Misha Gromov
    Functional labels and syntactic entropy on DNA strings and proteins. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:303, pp:35-51 [Journal]

  14. Co-evolution and Information Signals in Biological Sequences. [Citation Graph (, )][DBLP]


  15. Logical structures and genus of proofs. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002