-
1
-
-
65949092334
-
The undecidability of the infinite ribbon problem: Implications for computing by self-assembly
-
Leonard M. Adleman, Jarkko Kari, Lila Kari, Dustin Reishus, Petr Sosík, The undecidability of the infinite ribbon problem: implications for computing by self-assembly, SIAM Journal on Computing 38 (6) (2009) 2356-2381.
-
(2009)
SIAM Journal on Computing
, vol.38
, Issue.6
, pp. 2356-2381
-
-
Adleman, L.M.1
Kari, J.2
Kari, L.3
Reishus, D.4
Sosík, P.5
-
3
-
-
26844560519
-
Zeta-dimension
-
Springer-Verlag
-
David Doty, Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo, Philippe Moser, Zeta-Dimension, in: Proceedings of the Thirtieth International Symposium on Mathematical Foundations of Computer Science, Springer-Verlag, 2005, pp. 283-294.
-
(2005)
Proceedings of the Thirtieth International Symposium on Mathematical Foundations of Computer Science
, pp. 283-294
-
-
Doty, D.1
Gu, X.2
Lutz, J.H.3
Mayordomo, E.4
Moser, P.5
-
5
-
-
84976713661
-
Reversal-bounded multicounter machines and their decision problems
-
Oscar H. Ibarra, Reversal-bounded multicounter machines and their decision problems, Journal of the ACM 25 (1) (1978) 116-133.
-
(1978)
Journal of the ACM
, vol.25
, Issue.1
, pp. 116-133
-
-
Ibarra, O.H.1
-
6
-
-
49049117841
-
Randomized self-assembly for approximate shapes
-
Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magns M. Halldrsson, Anna Inglfsdttir, Igor Walukiewicz (Eds.) Lecture Notes in Computer Science Springer
-
Ming-Yang Kao, Robert T. Schweller, Randomized self-assembly for approximate shapes, in: Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magns M. Halldrsson, Anna Inglfsdttir, Igor Walukiewicz (Eds.), International Colloqium on Automata, Languages, and Programming, ICALP, in: Lecture Notes in Computer Science, vol. 5125, Springer, 2008, pp. 370-384.
-
(2008)
International Colloqium on Automata, Languages, and Programming, ICALP
, vol.5125
, pp. 370-384
-
-
Kao, M.-Y.1
Schweller, R.T.2
-
7
-
-
58249142297
-
Summers, strict self-assembly of discrete sierpinski triangles
-
James I. Lathrop, Jack H. Lutz, Scott M. Summers, Strict self-assembly of discrete Sierpinski triangles, Theoretical Computer Science 410 (2009) 384-405.
-
(2009)
Theoretical Computer Science
, vol.410
, pp. 384-405
-
-
Lathrop, J.I.1
Lutz, J.H.2
Scott, M.3
-
8
-
-
72749101196
-
Two lower bounds for self-assemblies at temperature 1
-
ICBBE 2009. 3rd International Conference on, June
-
Ján Maňuch, Ladislav Stacho, Christine Stoll, Two lower bounds for self-assemblies at temperature 1, in: Bioinformatics and Biomedical Engineering, 2009. ICBBE 2009. 3rd International Conference on, June 2009, pp. 1-4.
-
(2009)
Bioinformatics and Biomedical Engineering, 2009
, pp. 1-4
-
-
Maňuch, J.1
Stacho, L.2
Stoll, C.3
-
9
-
-
72949091441
-
Two lower bounds for self-assemblies at temperature 1
-
ACM, New York, NY, USA
-
Ján Maňuch, Ladislav Stacho, Christine Stoll, Two lower bounds for self-assemblies at temperature 1, in: SAC'09: Proceedings of the 2009 ACM Symposium on Applied Computing, ACM, New York, NY, USA, 2009, pp. 808-809.
-
(2009)
SAC'09: Proceedings of the 2009 ACM Symposium on Applied Computing
, pp. 808-809
-
-
Maňuch, J.1
Stacho, L.2
Stoll, C.3
-
11
-
-
0002217486
-
Über die vollständigkeit eines gewissen systems der arithmetik ganzer zahlen, welchem die Addition als einzige Operation hervortritt
-
Warsaw
-
Mojżesz Presburger, Über die vollständigkeit eines gewissen systems der arithmetik ganzer zahlen, welchem die Addition als einzige Operation hervortritt. Compte Rendus du I. Congrks des Mathematiciens des pays Slavs, Warsaw, 1930, pp. 92-101.
-
(1930)
Compte Rendus du I. Congrks des Mathematiciens des Pays Slavs
, pp. 92-101
-
-
Presburger, M.1
-
13
-
-
0033701726
-
The program-size complexity of self-assembled squares (extended abstract)
-
ACM, New York, NY, USA
-
Paul W.K. Rothemund, Erik Winfree, The program-size complexity of self-assembled squares (extended abstract), in: STOC'00: Proceedings of the thirty-second annual ACM Symposium on Theory of Computing, ACM, New York, NY, USA, 2000, pp. 459-468.
-
(2000)
STOC'00: Proceedings of the Thirty-second Annual ACM Symposium on Theory of Computing
, pp. 459-468
-
-
Rothemund, P.W.K.1
Winfree, E.2
-
14
-
-
14044251445
-
Algorithmic self-assembly of DNA sierpinski triangles
-
Paul W.K. Rothemund, Nick Papadakis, Erik Winfree, Algorithmic self-assembly of DNA Sierpinski triangles, PLoS Biology 2 (12) (2004) 2041-2053.
-
(2004)
PLoS Biology
, vol.2
, Issue.12
, pp. 2041-2053
-
-
Rothemund, P.W.K.1
Papadakis, N.2
Winfree, E.3
-
15
-
-
0020373595
-
Nucleic-acid junctions and lattices
-
Nadrian C. Seeman, Nucleic-acid junctions and lattices, Journal of Theoretical Biology 99 (1982) 237-247.
-
(1982)
Journal of Theoretical Biology
, vol.99
, pp. 237-247
-
-
Seeman, N.C.1
-
16
-
-
0009695880
-
Presburger's article on integer arithmetic: Remarks and translation
-
Computer Science Department, September
-
Ryan Stansifer, Presburger's article on integer arithmetic: Remarks and translation, Tech. Report TR84-639, Cornell University, Computer Science Department, September, 1984.
-
(1984)
Tech. Report TR84-639, Cornell University
-
-
Stansifer, R.1
-
17
-
-
84944488797
-
Proving theorems by pattern recognition - II
-
Hao Wang, Proving theorems by pattern recognition - II, The Bell System Technical Journal XL (1) (1961) 1-41.
-
(1961)
The Bell System Technical Journal
, vol.40
, Issue.1
, pp. 1-41
-
-
Hao, W.1
-
18
-
-
0002635754
-
Dominoes and the AEA case of the decision problem
-
Polytechnic Press of Polytechnic Inst. of Brooklyn, Brooklyn, N.Y
-
Hao Wang, Dominoes and the AEA case of the decision problem, in: Proceedings of the Symposium on Mathematical Theory of Automata (New York, 1962), Polytechnic Press of Polytechnic Inst. of Brooklyn, Brooklyn, N.Y., 1963, pp. 23-55.
-
(1963)
Proceedings of the Symposium on Mathematical Theory of Automata (New York, 1962)
, pp. 23-55
-
-
Hao, W.1
-
19
-
-
0003546918
-
-
Ph.D. Thesis, California Institute of Technology, June
-
Erik Winfree, Algorithmic self-assembly of DNA, Ph.D. Thesis, California Institute of Technology, June, 1998.
-
(1998)
Algorithmic Self-assembly of DNA
-
-
Winfree, E.1
|