Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: James I. Lathrop
@inproceedings{DBLP:conf/allerton/LathropOSS23,
author = {James I. Lathrop and
Peter{-}Michael Osera and
Addison W. Schmidt and
Jesse Slater},
title = {Verifying Chemical Reaction Networks with the Isabelle Theorem Prover},
booktitle = {59th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2023, Monticello, IL, USA, September 26-29, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/Allerton58177.2023.10313474},
doi = {10.1109/ALLERTON58177.2023.10313474},
timestamp = {Wed, 29 Nov 2023 10:22:21 +0100},
biburl = {https://dblp.org/rec/conf/allerton/LathropOSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GertenMLCMK22,
author = {Michael C. Gerten and
Alexis L. Marsh and
James I. Lathrop and
Myra B. Cohen and
Andrew S. Miner and
Titus H. Klinge},
title = {Inference and Test Generation Using Program Invariants in Chemical
Reaction Networks},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {1193--1205},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510176},
doi = {10.1145/3510003.3510176},
timestamp = {Mon, 18 Jul 2022 16:47:42 +0200},
biburl = {https://dblp.org/rec/conf/icse/GertenMLCMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LathropLBPRSW22,
author = {James I. Lathrop and
Robyn R. Lutz and
Cameron Brecount and
Hugh D. Potter and
Kathryn Rohlfing and
Jesse Slater and
Joshua Wallin},
title = {SafeWalk: a Simulation Tool Kit for Exploring Software Requirements
in a Safety-Critical Product Line},
booktitle = {30th {IEEE} International Requirements Engineering Conference, {RE}
2022, Melbourne, Australia, August 15-19, 2022},
pages = {268--269},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RE54965.2022.00038},
doi = {10.1109/RE54965.2022.00038},
timestamp = {Wed, 26 Oct 2022 19:40:33 +0200},
biburl = {https://dblp.org/rec/conf/re/LathropLBPRSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KlingeLOR21,
author = {Titus H. Klinge and
James I. Lathrop and
Peter{-}Michael Osera and
Allison Rogers},
editor = {Matthew R. Lakin and
Petr Sulc},
title = {Reactamole: Functional Reactive Molecular Programming},
booktitle = {27th International Conference on {DNA} Computing and Molecular Programming,
{DNA} 27, September 13-16, 2021, Oxford, {UK} (Virtual Conference)},
series = {LIPIcs},
volume = {205},
pages = {10:1--10:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DNA.27.10},
doi = {10.4230/LIPICS.DNA.27.10},
timestamp = {Wed, 08 Sep 2021 16:20:42 +0200},
biburl = {https://dblp.org/rec/conf/dna/KlingeLOR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi-ws/MesecanGLCC21,
author = {Ibrahim Mesecan and
Michael C. Gerten and
James I. Lathrop and
Myra B. Cohen and
Tomas Haddad Caldas},
title = {CRNRepair: Automated Program Repair of Chemical Reaction Networks},
booktitle = {10th {IEEE/ACM} International Workshop on Genetic Improvement, GI@ICSE
2021, Madrid, Spain, May 30, 2021},
pages = {23--30},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/GI52543.2021.00014},
doi = {10.1109/GI52543.2021.00014},
timestamp = {Tue, 03 Aug 2021 15:33:01 +0200},
biburl = {https://dblp.org/rec/conf/gi-ws/MesecanGLCC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/FletcherKLNR21,
author = {Willem Fletcher and
Titus H. Klinge and
James I. Lathrop and
Dawn A. Nye and
Matthew Rayman},
editor = {Irina Kostitsyna and
Pekka Orponen},
title = {Robust Real-Time Computing with Chemical Reaction Networks},
booktitle = {Unconventional Computation and Natural Computation - 19th International
Conference, {UCNC} 2021, Espoo, Finland, October 18-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12984},
pages = {35--50},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87993-8\_3},
doi = {10.1007/978-3-030-87993-8\_3},
timestamp = {Mon, 06 Nov 2023 16:08:57 +0100},
biburl = {https://dblp.org/rec/conf/uc/FletcherKLNR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-02896,
author = {Willem Fletcher and
Titus H. Klinge and
James I. Lathrop and
Dawn A. Nye and
Matthew Rayman},
title = {Robust Real-time Computing with Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2109.02896},
year = {2021},
url = {https://arxiv.org/abs/2109.02896},
eprinttype = {arXiv},
eprint = {2109.02896},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KlingeLL20,
author = {Titus H. Klinge and
James I. Lathrop and
Jack H. Lutz},
title = {Robust biomolecular finite automata},
journal = {Theor. Comput. Sci.},
volume = {816},
pages = {114--143},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.01.008},
doi = {10.1016/J.TCS.2020.01.008},
timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KlingeLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/LathropLLPR20,
author = {James I. Lathrop and
Jack H. Lutz and
Robyn R. Lutz and
Hugh D. Potter and
Matthew R. Riley},
editor = {Cody W. Geary and
Matthew J. Patitz},
title = {Population-Induced Phase Transitions and the Verification of Chemical
Reaction Networks},
booktitle = {26th International Conference on {DNA} Computing and Molecular Programming,
{DNA} 26, September 14-17, 2020, Oxford, {UK} (Virtual Conference)},
series = {LIPIcs},
volume = {174},
pages = {5:1--5:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.DNA.2020.5},
doi = {10.4230/LIPICS.DNA.2020.5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dna/LathropLLPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KlingeLMPRR20,
author = {Titus H. Klinge and
James I. Lathrop and
Sonia Moreno and
Hugh D. Potter and
Narun K. Raman and
Matthew R. Riley},
editor = {Cody W. Geary and
Matthew J. Patitz},
title = {{ALCH:} An Imperative Language for Chemical Reaction Network-Controlled
Tile Assembly},
booktitle = {26th International Conference on {DNA} Computing and Molecular Programming,
{DNA} 26, September 14-17, 2020, Oxford, {UK} (Virtual Conference)},
series = {LIPIcs},
volume = {174},
pages = {6:1--6:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.DNA.2020.6},
doi = {10.4230/LIPICS.DNA.2020.6},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/KlingeLMPRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GertenLCK20,
author = {Michael C. Gerten and
James I. Lathrop and
Myra B. Cohen and
Titus H. Klinge},
title = {ChemTest: An Automated Software Testing Framework for an Emerging
Paradigm},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {548--560},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416638},
doi = {10.1145/3324884.3416638},
timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GertenLCK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzLBGRW20,
author = {Robyn R. Lutz and
James I. Lathrop and
Cameron Brecount and
Kendal Gast and
Kathryn Rohlfing and
Joshua Wallin},
title = {Using an Astronaut Jetpack Project to Teach Human-CPS Requirements
Engineering},
booktitle = {10th International Workshop on Requirements Engineering Education
and Training, REET@RE 2020, Zurich, Switzerland, August 31, 2020},
pages = {9--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/REET51203.2020.00008},
doi = {10.1109/REET51203.2020.00008},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LutzLBGRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-06703,
author = {Titus H. Klinge and
James I. Lathrop},
title = {Modulated Signals in Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2009.06703},
year = {2020},
url = {https://arxiv.org/abs/2009.06703},
eprinttype = {arXiv},
eprint = {2009.06703},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-06703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/EllisKL19,
author = {Samuel J. Ellis and
Titus H. Klinge and
James I. Lathrop},
title = {Robust chemical circuits},
journal = {Biosyst.},
volume = {186},
year = {2019},
url = {https://doi.org/10.1016/j.biosystems.2019.103983},
doi = {10.1016/J.BIOSYSTEMS.2019.103983},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biosystems/EllisKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/HuangKLLL19,
author = {Xiang Huang and
Titus H. Klinge and
James I. Lathrop and
Xiaoyuan Li and
Jack H. Lutz},
title = {Real-time computability of real numbers by chemical reaction networks},
journal = {Nat. Comput.},
volume = {18},
number = {1},
pages = {63--73},
year = {2019},
url = {https://doi.org/10.1007/s11047-018-9706-x},
doi = {10.1007/S11047-018-9706-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/HuangKLLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/EllisKLLLMP19,
author = {Samuel J. Ellis and
Titus H. Klinge and
James I. Lathrop and
Jack H. Lutz and
Robyn R. Lutz and
Andrew S. Miner and
Hugh D. Potter},
title = {Runtime Fault Detection in Programmed Molecular Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {28},
number = {2},
pages = {6:1--6:20},
year = {2019},
url = {https://doi.org/10.1145/3295740},
doi = {10.1145/3295740},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/EllisKLLLMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/0001KL19,
author = {Xiang Huang and
Titus H. Klinge and
James I. Lathrop},
editor = {Chris Thachuk and
Yan Liu},
title = {Real-Time Equivalence of Chemical Reaction Networks and Analog Computers},
booktitle = {{DNA} Computing and Molecular Programming - 25th International Conference,
{DNA} 25, Seattle, WA, USA, August 5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11648},
pages = {37--53},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26807-7\_3},
doi = {10.1007/978-3-030-26807-7\_3},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/0001KL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05390,
author = {James I. Lathrop and
Jack H. Lutz and
Robyn R. Lutz and
Hugh D. Potter and
Matthew R. Riley},
title = {Quorum Sensing and Verification in Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/1909.05390},
year = {2019},
url = {http://arxiv.org/abs/1909.05390},
eprinttype = {arXiv},
eprint = {1909.05390},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10267,
author = {Xiang Huang and
Titus H. Klinge and
James I. Lathrop and
Xiaoyuan Li and
Jack H. Lutz},
title = {Real-Time Computability of Real Numbers by Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/1803.10267},
year = {2018},
url = {http://arxiv.org/abs/1803.10267},
eprinttype = {arXiv},
eprint = {1803.10267},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-06969,
author = {Samuel J. Ellis and
Titus H. Klinge and
James I. Lathrop},
title = {Robust Chemical Circuits},
journal = {CoRR},
volume = {abs/1808.06969},
year = {2018},
url = {http://arxiv.org/abs/1808.06969},
eprinttype = {arXiv},
eprint = {1808.06969},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-06969.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nanocom/EllisLL17,
author = {Samuel J. Ellis and
James I. Lathrop and
Robyn R. Lutz},
editor = {Alan Davy and
John F. Federici},
title = {State logging in chemical reaction networks},
booktitle = {Proceedings of the 4th {ACM} International Conference on Nanoscale
Computing and Communication, {NANOCOM} 2017, Washington, DC, USA,
September 27-29, 2017},
pages = {23:1--23:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3109453.3109456},
doi = {10.1145/3109453.3109456},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nanocom/EllisLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpnc/EllisKL17,
author = {Samuel J. Ellis and
Titus H. Klinge and
James I. Lathrop},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Roman Neruda and
Miguel A. Vega{-}Rodr{\'{\i}}guez},
title = {Robust Combinatorial Circuits in Chemical Reaction Networks},
booktitle = {Theory and Practice of Natural Computing - 6th International Conference,
{TPNC} 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10687},
pages = {178--189},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71069-3\_14},
doi = {10.1007/978-3-319-71069-3\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tpnc/EllisKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/HuangKLLL17,
author = {Xiang Huang and
Titus H. Klinge and
James I. Lathrop and
Xiaoyuan Li and
Jack H. Lutz},
editor = {Matthew J. Patitz and
Mike Stannett},
title = {Real-Time Computability of Real Numbers by Chemical Reaction Networks},
booktitle = {Unconventional Computation and Natural Computation - 16th International
Conference, {UCNC} 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10240},
pages = {29--40},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58187-3\_3},
doi = {10.1007/978-3-319-58187-3\_3},
timestamp = {Mon, 26 Jun 2023 20:47:16 +0200},
biburl = {https://dblp.org/rec/conf/uc/HuangKLLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-09494,
author = {Samuel J. Ellis and
Titus H. Klinge and
James I. Lathrop and
Jack H. Lutz and
Robyn R. Lutz and
Andrew S. Miner},
title = {Runtime Fault Detection in Programmed Molecular Systems},
journal = {CoRR},
volume = {abs/1710.09494},
year = {2017},
url = {http://arxiv.org/abs/1710.09494},
eprinttype = {arXiv},
eprint = {1710.09494},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-09494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KlingeLL15,
author = {Titus H. Klinge and
James I. Lathrop and
Jack H. Lutz},
title = {Robust Biomolecular Finite Automata},
journal = {CoRR},
volume = {abs/1505.03931},
year = {2015},
url = {http://arxiv.org/abs/1505.03931},
eprinttype = {arXiv},
eprint = {1505.03931},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KlingeLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EllisHKLLLMM14,
author = {Samuel J. Ellis and
Eric R. Henderson and
Titus H. Klinge and
James I. Lathrop and
Jack H. Lutz and
Robyn R. Lutz and
Divita Mathur and
Andrew S. Miner},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Automated requirements analysis for a molecular watchdog timer},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {767--778},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643007},
doi = {10.1145/2642937.2643007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/EllisHKLLLMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LutzLLKHMS12,
author = {Robyn R. Lutz and
Jack H. Lutz and
James I. Lathrop and
Titus H. Klinge and
Eric R. Henderson and
Divita Mathur and
Dalia Abo Sheasha},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Engineering and verifying requirements for programmable self-assembling
nanomachines},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1361--1364},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227079},
doi = {10.1109/ICSE.2012.6227079},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LutzLLKHMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LutzLLKMSBH12,
author = {Robyn R. Lutz and
Jack H. Lutz and
James I. Lathrop and
Titus H. Klinge and
Divita Mathur and
Donald M. Stull and
Taylor Bergquist and
Eric R. Henderson},
editor = {Mats Per Erik Heimdahl and
Pete Sawyer},
title = {Requirements analysis for a product family of {DNA} nanodevices},
booktitle = {2012 20th {IEEE} International Requirements Engineering Conference
(RE), Chicago, IL, USA, September 24-28, 2012},
pages = {211--220},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RE.2012.6345806},
doi = {10.1109/RE.2012.6345806},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LutzLLKMSBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/LathropLPS11,
author = {James I. Lathrop and
Jack H. Lutz and
Matthew J. Patitz and
Scott M. Summers},
title = {Computability and Complexity in Self-assembly},
journal = {Theory Comput. Syst.},
volume = {48},
number = {3},
pages = {617--647},
year = {2011},
url = {https://doi.org/10.1007/s00224-010-9252-0},
doi = {10.1007/S00224-010-9252-0},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/LathropLPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/LathropLP11,
author = {James I. Lathrop and
Jack H. Lutz and
Brian Patterson},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Multi-Resolution Cellular Automata for Real Computation},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {181--190},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_19},
doi = {10.1007/978-3-642-21875-0\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/LathropLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LathropLS09,
author = {James I. Lathrop and
Jack H. Lutz and
Scott M. Summers},
title = {Strict self-assembly of discrete Sierpinski triangles},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {4-5},
pages = {384--405},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.062},
doi = {10.1016/J.TCS.2008.09.062},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LathropLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KautzL09,
author = {Steven M. Kautz and
James I. Lathrop},
editor = {Russell J. Deaton and
Akira Suyama},
title = {Self-assembly of the Discrete Sierpinski Carpet and Related Fractals},
booktitle = {{DNA} Computing and Molecular Programming, 15th International Conference,
{DNA} 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5877},
pages = {78--87},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10604-0\_8},
doi = {10.1007/978-3-642-10604-0\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dna/KautzL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3189,
author = {Steven M. Kautz and
James I. Lathrop},
title = {Self-assembly of the discrete Sierpinski carpet and related fractals},
journal = {CoRR},
volume = {abs/0901.3189},
year = {2009},
url = {http://arxiv.org/abs/0901.3189},
eprinttype = {arXiv},
eprint = {0901.3189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-3189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-1818,
author = {James I. Lathrop and
Jack H. Lutz and
Scott M. Summers},
title = {Strict Self-Assembly of Discrete Sierpinski Triangles},
journal = {CoRR},
volume = {abs/0903.1818},
year = {2009},
url = {http://arxiv.org/abs/0903.1818},
eprinttype = {arXiv},
eprint = {0903.1818},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-1818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/LathropLPS08,
author = {James I. Lathrop and
Jack H. Lutz and
Matthew J. Patitz and
Scott M. Summers},
editor = {Arnold Beckmann and
Costas Dimitracopoulos and
Benedikt L{\"{o}}we},
title = {Computability and Complexity in Self-assembly},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in
Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5028},
pages = {349--358},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69407-6\_38},
doi = {10.1007/978-3-540-69407-6\_38},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/LathropLPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eit/KoulLLH08,
author = {Neeraj Koul and
Jim Lathrop and
Jack H. Lutz and
Vasant G. Honavar},
title = {Complexes of on-line self assembly},
booktitle = {2008 {IEEE} International Conference on Electro/Information Technology,
{EIT} 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20,
2008},
pages = {448--452},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/EIT.2008.4554344},
doi = {10.1109/EIT.2008.4554344},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eit/KoulLLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/LathropLPS08,
author = {James I. Lathrop and
Jack H. Lutz and
Matthew J. Patitz and
Scott M. Summers},
title = {Computability and Complexity in Self-Assembly},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR08-031}},
year = {2008},
url = {https://eccc.weizmann.ac.il/eccc-reports/2008/TR08-031/index.html},
eprinttype = {ECCC},
eprint = {TR08-031},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/LathropLPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/LathropLS08,
author = {James I. Lathrop and
Jack H. Lutz and
Scott M. Summers},
title = {Strict Self-Assembly of Discrete Sierpinski Triangles},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR08-035}},
year = {2008},
url = {https://eccc.weizmann.ac.il/eccc-reports/2008/TR08-035/index.html},
eprinttype = {ECCC},
eprint = {TR08-035},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/LathropLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/LathropLS07,
author = {James I. Lathrop and
Jack H. Lutz and
Scott M. Summers},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Strict Self-assembly of Discrete Sierpinski Triangles},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {455--464},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_47},
doi = {10.1007/978-3-540-73001-9\_47},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/LathropLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DaiLLM04,
author = {Jack Jie Dai and
James I. Lathrop and
Jack H. Lutz and
Elvira Mayordomo},
title = {Finite-state dimension},
journal = {Theor. Comput. Sci.},
volume = {310},
number = {1-3},
pages = {1--33},
year = {2004},
url = {https://doi.org/10.1016/S0304-3975(03)00244-5},
doi = {10.1016/S0304-3975(03)00244-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DaiLLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/AshlockL04,
author = {Dan Ashlock and
James I. Lathrop},
title = {Program induction: building a wall},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2004, 19-23 June 2004, Portland, OR, {USA}},
pages = {1844--1850},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CEC.2004.1331120},
doi = {10.1109/CEC.2004.1331120},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/AshlockL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DaiLLM01,
author = {Jack Jie Dai and
James I. Lathrop and
Jack H. Lutz and
Elvira Mayordomo},
editor = {Fernando Orejas and
Paul G. Spirakis and
Jan van Leeuwen},
title = {Finite-State Dimension},
booktitle = {Automata, Languages and Programming, 28th International Colloquium,
{ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2076},
pages = {1028--1039},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48224-5\_83},
doi = {10.1007/3-540-48224-5\_83},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DaiLLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LathropL99,
author = {James I. Lathrop and
Jack H. Lutz},
title = {Recursive Computational Depth},
journal = {Inf. Comput.},
volume = {153},
number = {1},
pages = {139--172},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2794},
doi = {10.1006/INCO.1999.2794},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LathropL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eps/AshlockL98,
author = {Dan Ashlock and
James I. Lathrop},
editor = {V. William Porto and
N. Saravanan and
Donald E. Waagen and
A. E. Eiben},
title = {A Fully Characterized Test Suite for Genetic Programming},
booktitle = {Evolutionary Programming VII, 7th International Conference, EP98,
San Diego, CA, USA, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1447},
pages = {537--546},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0040805},
doi = {10.1007/BFB0040805},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eps/AshlockL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LathropL97,
author = {James I. Lathrop and
Jack H. Lutz},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Recursive Computational Depth},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {132--142},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_171},
doi = {10.1007/3-540-63165-8\_171},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LathropL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sequences/LathropS97,
author = {James I. Lathrop and
Martin Strauss},
editor = {Bruno Carpentieri and
Alfredo De Santis and
Ugo Vaccaro and
James A. Storer},
title = {A universal upper bound on the performance of the Lempel-Ziv algorithm
on maliciously-constructed data},
booktitle = {Compression and Complexity of {SEQUENCES} 1997, Positano, Amalfitan
Coast, Salerno, Italy, June 11-13, 1997, Proceedings},
pages = {123--135},
publisher = {{IEEE}},
year = {1997},
url = {https://doi.org/10.1109/SEQUEN.1997.666909},
doi = {10.1109/SEQUEN.1997.666909},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/sequences/LathropS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JuedesLL94,
author = {David W. Juedes and
James I. Lathrop and
Jack H. Lutz},
title = {Computational Depth and Reducibility},
journal = {Theor. Comput. Sci.},
volume = {132},
number = {2},
pages = {37--70},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00014-X},
doi = {10.1016/0304-3975(94)00014-X},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JuedesLL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JuedesLL93,
author = {David W. Juedes and
James I. Lathrop and
Jack H. Lutz},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Computational Depth and Reducibility (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {277--288},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_79},
doi = {10.1007/3-540-56939-1\_79},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JuedesLL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
