BibTeX records: Anne Condon

download as .bib file

@article{DBLP:journals/candc/ZolaktafDSCW23,
  author       = {Sedigheh Zolaktaf and
                  Frits Dannenberg and
                  Mark Schmidt and
                  Anne Condon and
                  Erik Winfree},
  title        = {Predicting {DNA} kinetics with a truncated continuous-time Markov
                  chain method},
  journal      = {Comput. Biol. Chem.},
  volume       = {104},
  pages        = {107837},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.compbiolchem.2023.107837},
  doi          = {10.1016/J.COMPBIOLCHEM.2023.107837},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/candc/ZolaktafDSCW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BerleantSCWB23,
  author       = {Joseph Berleant and
                  Kristin Sheridan and
                  Anne Condon and
                  Virginia Vassilevska Williams and
                  Mark Bathe},
  title        = {Isometric Hamming embeddings of weighted graphs},
  journal      = {Discret. Appl. Math.},
  volume       = {332},
  pages        = {119--128},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.dam.2023.02.005},
  doi          = {10.1016/J.DAM.2023.02.005},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dam/BerleantSCWB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/SheridanBBCW23,
  author       = {Kristin Sheridan and
                  Joseph Berleant and
                  Mark Bathe and
                  Anne Condon and
                  Virginia Vassilevska Williams},
  title        = {Factorization and pseudofactorization of weighted graphs},
  journal      = {Discret. Appl. Math.},
  volume       = {337},
  pages        = {81--105},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.dam.2023.04.019},
  doi          = {10.1016/J.DAM.2023.04.019},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dam/SheridanBBCW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/RiahiWPCD23,
  author       = {Aryan Tajmir Riahi and
                  Geoffrey Woollard and
                  Fr{\'{e}}d{\'{e}}ric Poitevin and
                  Anne Condon and
                  Khanh Dao Duc},
  title        = {AlignOT: An Optimal Transport Based Algorithm for Fast 3D Alignment
                  With Applications to Cryogenic Electron Microscopy Density Maps},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {20},
  number       = {6},
  pages        = {3842--3850},
  year         = {2023},
  url          = {https://doi.org/10.1109/TCBB.2023.3327633},
  doi          = {10.1109/TCBB.2023.3327633},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcbb/RiahiWPCD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CondonEH23,
  author       = {Anne Condon and
                  Yuval Emek and
                  Noga Harlev},
  editor       = {Ho{-}Lin Chen and
                  Constantine G. Evans},
  title        = {On the Runtime of Chemical Reaction Networks Beyond Idealized Conditions},
  booktitle    = {29th International Conference on {DNA} Computing and Molecular Programming,
                  {DNA} 2023, September 11-15, 2023, Tohoku University, Sendai, Japan},
  series       = {LIPIcs},
  volume       = {276},
  pages        = {3:1--3:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.DNA.29.3},
  doi          = {10.4230/LIPICS.DNA.29.3},
  timestamp    = {Tue, 05 Sep 2023 14:48:08 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/CondonEH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/LovrodBZWC23,
  author       = {Jordan Lovrod and
                  Boyan Beronov and
                  Chenwei Zhang and
                  Erik Winfree and
                  Anne Condon},
  editor       = {Ho{-}Lin Chen and
                  Constantine G. Evans},
  title        = {Revisiting Hybridization Kinetics with Improved Elementary Step Simulation},
  booktitle    = {29th International Conference on {DNA} Computing and Molecular Programming,
                  {DNA} 2023, September 11-15, 2023, Tohoku University, Sendai, Japan},
  series       = {LIPIcs},
  volume       = {276},
  pages        = {5:1--5:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.DNA.29.5},
  doi          = {10.4230/LIPICS.DNA.29.5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dna/LovrodBZWC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-00647,
  author       = {Anne Condon and
                  Yuval Emek and
                  Noga Harlev},
  title        = {On the Runtime of Chemical Reaction Networks Beyond Idealized Conditions},
  journal      = {CoRR},
  volume       = {abs/2307.00647},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.00647},
  doi          = {10.48550/ARXIV.2307.00647},
  eprinttype    = {arXiv},
  eprint       = {2307.00647},
  timestamp    = {Mon, 10 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-00647.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03409,
  author       = {Chenwei Zhang and
                  Khanh Dao Duc and
                  Anne Condon},
  title        = {Visualizing {DNA} reaction trajectories with deep graph embedding
                  approaches},
  journal      = {CoRR},
  volume       = {abs/2311.03409},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.03409},
  doi          = {10.48550/ARXIV.2311.03409},
  eprinttype    = {arXiv},
  eprint       = {2311.03409},
  timestamp    = {Thu, 16 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-03409.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03411,
  author       = {Chenwei Zhang and
                  Jordan Lovrod and
                  Boyan Beronov and
                  Khanh Dao Duc and
                  Anne Condon},
  title        = {ViDa: Visualizing {DNA} hybridization trajectories with biophysics-informed
                  deep graph embeddings},
  journal      = {CoRR},
  volume       = {abs/2311.03411},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.03411},
  doi          = {10.48550/ARXIV.2311.03411},
  eprinttype    = {arXiv},
  eprint       = {2311.03411},
  timestamp    = {Thu, 16 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-03411.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/JohnsonC22,
  author       = {Hope Amber Johnson and
                  Anne Condon},
  editor       = {Thomas E. Ouldridge and
                  Shelley F. J. Wickham},
  title        = {A Coupled Reconfiguration Mechanism for Single-Stranded {DNA} Strand
                  Displacement Systems},
  booktitle    = {28th International Conference on {DNA} Computing and Molecular Programming,
                  {DNA} 28, August 8-12, 2022, University of New Mexico, Albuquerque,
                  New Mexico, {USA}},
  series       = {LIPIcs},
  volume       = {238},
  pages        = {3:1--3:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.DNA.28.3},
  doi          = {10.4230/LIPICS.DNA.28.3},
  timestamp    = {Thu, 04 Aug 2022 13:31:27 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/JohnsonC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CondonHT21,
  author       = {Anne Condon and
                  Monir Hajiaghayi and
                  Chris Thachuk},
  editor       = {Matthew R. Lakin and
                  Petr Sulc},
  title        = {Predicting Minimum Free Energy Structures of Multi-Stranded Nucleic
                  Acid Complexes Is APX-Hard},
  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        = {9:1--9:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.DNA.27.9},
  doi          = {10.4230/LIPICS.DNA.27.9},
  timestamp    = {Wed, 08 Sep 2021 16:20:42 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/CondonHT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06990,
  author       = {Kristin Sheridan and
                  Joseph Berleant and
                  Mark Bathe and
                  Anne Condon and
                  Virginia Vassilevska Williams},
  title        = {Factorization and pseudofactorization of weighted graphs},
  journal      = {CoRR},
  volume       = {abs/2112.06990},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.06990},
  eprinttype    = {arXiv},
  eprint       = {2112.06990},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-06990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06994,
  author       = {Joseph Berleant and
                  Kristin Sheridan and
                  Anne Condon and
                  Virginia Vassilevska Williams and
                  Mark Bathe},
  title        = {Isometric Hamming embeddings of weighted graphs},
  journal      = {CoRR},
  volume       = {abs/2112.06994},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.06994},
  eprinttype    = {arXiv},
  eprint       = {2112.06994},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-06994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CondonHKM20,
  author       = {Anne Condon and
                  Monir Hajiaghayi and
                  David G. Kirkpatrick and
                  J{\'{a}}n Manuch},
  title        = {Approximate majority analyses using tri-molecular chemical reaction
                  networks},
  journal      = {Nat. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {249--270},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11047-019-09756-4},
  doi          = {10.1007/S11047-019-09756-4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/CondonHKM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HashemiCC20,
  author       = {Hooman Hashemi and
                  Ben Chugg and
                  Anne Condon},
  editor       = {Cody W. Geary and
                  Matthew J. Patitz},
  title        = {Composable Computation in Leaderless, Discrete 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        = {3:1--3:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.DNA.2020.3},
  doi          = {10.4230/LIPICS.DNA.2020.3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/HashemiCC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/ZolaktafDWBSC19,
  author       = {Sedigheh Zolaktaf and
                  Frits Dannenberg and
                  Erik Winfree and
                  Alexandre Bouchard{-}C{\^{o}}t{\'{e}} and
                  Mark Schmidt and
                  Anne Condon},
  editor       = {Chris Thachuk and
                  Yan Liu},
  title        = {Efficient Parameter Estimation for {DNA} Kinetics Modeled as Continuous-Time
                  Markov Chains},
  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        = {80--99},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-26807-7\_5},
  doi          = {10.1007/978-3-030-26807-7\_5},
  timestamp    = {Thu, 23 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/ZolaktafDWBSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/TaiC19,
  author       = {Allison Tai and
                  Anne Condon},
  editor       = {Chris Thachuk and
                  Yan Liu},
  title        = {Error-Free Stable Computation with Polymer-Supplemented Chemical Reaction
                  Networks},
  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        = {197--218},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-26807-7\_11},
  doi          = {10.1007/978-3-030-26807-7\_11},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/TaiC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AmosC18,
  author       = {Martyn Amos and
                  Anne Condon},
  title        = {Preface},
  journal      = {Nat. Comput.},
  volume       = {17},
  number       = {2},
  pages        = {221--222},
  year         = {2018},
  url          = {https://doi.org/10.1007/s11047-018-9684-z},
  doi          = {10.1007/S11047-018-9684-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/AmosC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/ChuggHC18,
  author       = {Ben Chugg and
                  Hooman Hashemi and
                  Anne Condon},
  editor       = {Jiannong Cao and
                  Faith Ellen and
                  Lu{\'{\i}}s Rodrigues and
                  Bernardo Ferreira},
  title        = {Output-Oblivious Stochastic Chemical Reaction Networks},
  booktitle    = {22nd International Conference on Principles of Distributed Systems,
                  {OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
  series       = {LIPIcs},
  volume       = {125},
  pages        = {21:1--21:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.21},
  doi          = {10.4230/LIPICS.OPODIS.2018.21},
  timestamp    = {Sat, 29 Apr 2023 18:21:58 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/ChuggHC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Condon18,
  author       = {Anne Condon},
  editor       = {Cezar C{\^{a}}mpeanu},
  title        = {On Design and Analysis of Chemical Reaction Network Algorithms},
  booktitle    = {Implementation and Application of Automata - 23rd International Conference,
                  {CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10977},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94812-6\_1},
  doi          = {10.1007/978-3-319-94812-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Condon18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-04401,
  author       = {Ben Chugg and
                  Anne Condon and
                  Hooman Hashemi},
  title        = {Output-Oblivious Stochastic Chemical Reaction Networks},
  journal      = {CoRR},
  volume       = {abs/1812.04401},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.04401},
  eprinttype    = {arXiv},
  eprint       = {1812.04401},
  timestamp    = {Tue, 01 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-04401.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CondonKM17,
  author       = {Anne Condon and
                  Bonnie Kirkpatrick and
                  J{\'{a}}n Manuch},
  title        = {Design of nucleic acid strands with long low-barrier folding pathways},
  journal      = {Nat. Comput.},
  volume       = {16},
  number       = {2},
  pages        = {261--284},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11047-016-9587-9},
  doi          = {10.1007/S11047-016-9587-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/CondonKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/ZolaktafDRCSSTW17,
  author       = {Sedigheh Zolaktaf and
                  Frits Dannenberg and
                  Xander Rudelis and
                  Anne Condon and
                  Joseph M. Schaeffer and
                  Mark Schmidt and
                  Chris Thachuk and
                  Erik Winfree},
  editor       = {Robert Brijder and
                  Lulu Qian},
  title        = {Inferring Parameters for an Elementary Step Model of {DNA} Structure
                  Kinetics with Locally Context-Dependent Arrhenius Rates},
  booktitle    = {{DNA} Computing and Molecular Programming - 23rd International Conference,
                  {DNA} 23, Austin, TX, USA, September 24-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10467},
  pages        = {172--187},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66799-7\_12},
  doi          = {10.1007/978-3-319-66799-7\_12},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/ZolaktafDRCSSTW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CondonHKM17,
  author       = {Anne Condon and
                  Monir Hajiaghayi and
                  David G. Kirkpatrick and
                  J{\'{a}}n Manuch},
  editor       = {Robert Brijder and
                  Lulu Qian},
  title        = {Simplifying Analyses of Chemical Reaction Networks for Approximate
                  Majority},
  booktitle    = {{DNA} Computing and Molecular Programming - 23rd International Conference,
                  {DNA} 23, Austin, TX, USA, September 24-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10467},
  pages        = {188--209},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66799-7\_13},
  doi          = {10.1007/978-3-319-66799-7\_13},
  timestamp    = {Thu, 24 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/CondonHKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/DingSC16,
  author       = {Jiarui Ding and
                  Sohrab P. Shah and
                  Anne Condon},
  title        = {densityCut: an efficient and versatile topological approach for automatic
                  clustering of biological data},
  journal      = {Bioinform.},
  volume       = {32},
  number       = {17},
  pages        = {2567--2576},
  year         = {2016},
  url          = {https://doi.org/10.1093/bioinformatics/btw227},
  doi          = {10.1093/BIOINFORMATICS/BTW227},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/DingSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uc/2016,
  editor       = {Martyn Amos and
                  Anne Condon},
  title        = {Unconventional Computation and Natural Computation - 15th International
                  Conference, {UCNC} 2016, Manchester, UK, July 11-15, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9726},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41312-9},
  doi          = {10.1007/978-3-319-41312-9},
  isbn         = {978-3-319-41311-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uc/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/CondonMT15,
  author       = {Anne Condon and
                  J{\'{a}}n Manuch and
                  Chris Thachuk},
  title        = {The complexity of string partitioning},
  journal      = {J. Discrete Algorithms},
  volume       = {32},
  pages        = {24--43},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jda.2014.11.002},
  doi          = {10.1016/J.JDA.2014.11.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jda/CondonMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/MathiesonC15,
  author       = {Leigh{-}Anne Mathieson and
                  Anne Condon},
  editor       = {Andrew Phillips and
                  Peng Yin},
  title        = {On Low Energy Barrier Folding Pathways for Nucleic Acid Sequences},
  booktitle    = {{DNA} Computing and Molecular Programming - 21st International Conference,
                  {DNA} 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9211},
  pages        = {181--193},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21999-8\_12},
  doi          = {10.1007/978-3-319-21999-8\_12},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/MathiesonC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/JabbariC14,
  author       = {Hosna Jabbari and
                  Anne Condon},
  title        = {A fast and robust iterative algorithm for prediction of {RNA} pseudoknotted
                  secondary structures},
  journal      = {{BMC} Bioinform.},
  volume       = {15},
  pages        = {147},
  year         = {2014},
  url          = {https://doi.org/10.1186/1471-2105-15-147},
  doi          = {10.1186/1471-2105-15-147},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/JabbariC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CondonKM14,
  author       = {Anne Condon and
                  Bonnie Kirkpatrick and
                  J{\'{a}}n Manuch},
  title        = {Reachability bounds for chemical reaction networks and strand displacement
                  systems},
  journal      = {Nat. Comput.},
  volume       = {13},
  number       = {4},
  pages        = {499--516},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11047-013-9403-8},
  doi          = {10.1007/S11047-013-9403-8},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/CondonKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/RastegariCIIL14,
  author       = {Baharak Rastegari and
                  Anne Condon and
                  Nicole Immorlica and
                  Robert W. Irving and
                  Kevin Leyton{-}Brown},
  editor       = {Moshe Babaioff and
                  Vincent Conitzer and
                  David A. Easley},
  title        = {Reasoning about optimal stable matchings under partial information},
  booktitle    = {{ACM} Conference on Economics and Computation, {EC} '14, Stanford
                  , CA, USA, June 8-12, 2014},
  pages        = {431--448},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2600057.2602884},
  doi          = {10.1145/2600057.2602884},
  timestamp    = {Sun, 19 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigecom/RastegariCIIL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/RastegariCIL13,
  author       = {Baharak Rastegari and
                  Anne Condon and
                  Nicole Immorlica and
                  Kevin Leyton{-}Brown},
  editor       = {Michael J. Kearns and
                  R. Preston McAfee and
                  {\'{E}}va Tardos},
  title        = {Two-sided matching with partial information},
  booktitle    = {Proceedings of the fourteenth {ACM} Conference on Electronic Commerce,
                  {EC} 2013, Philadelphia, PA, USA, June 16-20, 2013},
  pages        = {733--750},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2492002.2482607},
  doi          = {10.1145/2492002.2482607},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigecom/RastegariCIL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/DingBROTZHHMCAS12,
  author       = {Jiarui Ding and
                  Ali Bashashati and
                  Andrew Roth and
                  Arusha Oloumi and
                  Kane Tse and
                  Thomas Zeng and
                  Gholamreza Haffari and
                  Martin Hirst and
                  Marco A. Marra and
                  Anne Condon and
                  Sam Aparicio and
                  Sohrab P. Shah},
  title        = {Feature-based classifiers for somatic mutation detection in tumour-normal
                  paired sequencing data},
  journal      = {Bioinform.},
  volume       = {28},
  number       = {2},
  pages        = {167--175},
  year         = {2012},
  url          = {https://doi.org/10.1093/bioinformatics/btr629},
  doi          = {10.1093/BIOINFORMATICS/BTR629},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/DingBROTZHHMCAS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/HajiaghayiCH12,
  author       = {Monir Hajiaghayi and
                  Anne Condon and
                  Holger H. Hoos},
  title        = {Analysis of energy-based algorithms for {RNA} secondary structure
                  prediction},
  journal      = {{BMC} Bioinform.},
  volume       = {13},
  pages        = {22},
  year         = {2012},
  url          = {https://doi.org/10.1186/1471-2105-13-22},
  doi          = {10.1186/1471-2105-13-22},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/HajiaghayiCH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/CondonT12,
  author       = {Anne Condon and
                  Chris Thachuk},
  title        = {Efficient codon optimization with motif engineering},
  journal      = {J. Discrete Algorithms},
  volume       = {16},
  pages        = {104--112},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jda.2012.04.017},
  doi          = {10.1016/J.JDA.2012.04.017},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jda/CondonT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/CondonMT12,
  author       = {Anne Condon and
                  J{\'{a}}n Manuch and
                  Chris Thachuk},
  editor       = {Juha K{\"{a}}rkk{\"{a}}inen and
                  Jens Stoye},
  title        = {The Complexity of String Partitioning},
  booktitle    = {Combinatorial Pattern Matching - 23rd Annual Symposium, {CPM} 2012,
                  Helsinki, Finland, July 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7354},
  pages        = {159--172},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31265-6\_13},
  doi          = {10.1007/978-3-642-31265-6\_13},
  timestamp    = {Tue, 21 Mar 2023 21:02:12 +0100},
  biburl       = {https://dblp.org/rec/conf/cpm/CondonMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CondonKM12,
  author       = {Anne Condon and
                  Bonnie Kirkpatrick and
                  J{\'{a}}n Manuch},
  editor       = {Darko Stefanovic and
                  Andrew J. Turberfield},
  title        = {Reachability Bounds for Chemical Reaction Networks and Strand Displacement
                  Systems},
  booktitle    = {{DNA} Computing and Molecular Programming - 18th International Conference,
                  {DNA} 18, Aarhus, Denmark, August 14-17, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7433},
  pages        = {43--57},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32208-2\_4},
  doi          = {10.1007/978-3-642-32208-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/CondonKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/ThachukC12,
  author       = {Chris Thachuk and
                  Anne Condon},
  editor       = {Darko Stefanovic and
                  Andrew J. Turberfield},
  title        = {Space and Energy Efficient Computation with {DNA} Strand Displacement
                  Systems},
  booktitle    = {{DNA} Computing and Molecular Programming - 18th International Conference,
                  {DNA} 18, Aarhus, Denmark, August 14-17, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7433},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32208-2\_11},
  doi          = {10.1007/978-3-642-32208-2\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/ThachukC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2201,
  author       = {Anne Condon and
                  J{\'{a}}n Manuch and
                  Chris Thachuk},
  title        = {The complexity of string partitioning},
  journal      = {CoRR},
  volume       = {abs/1204.2201},
  year         = {2012},
  url          = {http://arxiv.org/abs/1204.2201},
  eprinttype    = {arXiv},
  eprint       = {1204.2201},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-2201.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/RastegariCL11,
  author       = {Baharak Rastegari and
                  Anne Condon and
                  Kevin Leyton{-}Brown},
  title        = {Revenue monotonicity in deterministic, dominant-strategy combinatorial
                  auctions},
  journal      = {Artif. Intell.},
  volume       = {175},
  number       = {2},
  pages        = {441--456},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.artint.2010.08.005},
  doi          = {10.1016/J.ARTINT.2010.08.005},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/RastegariCL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/Condon11,
  author       = {Anne Condon},
  title        = {Molecular programming: {DNA} and the brain},
  journal      = {Nat.},
  volume       = {475},
  number       = {7356},
  pages        = {304--305},
  year         = {2011},
  url          = {https://doi.org/10.1038/475304a},
  doi          = {10.1038/475304A},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nature/Condon11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/ManuchTSC11,
  author       = {J{\'{a}}n Manuch and
                  Chris Thachuk and
                  Ladislav Stacho and
                  Anne Condon},
  title        = {NP-completeness of the energy barrier problem without pseudoknots
                  and temporary arcs},
  journal      = {Nat. Comput.},
  volume       = {10},
  number       = {1},
  pages        = {391--405},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11047-010-9239-4},
  doi          = {10.1007/S11047-010-9239-4},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/ManuchTSC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/CondonHMT11,
  author       = {Anne Condon and
                  Alan J. Hu and
                  J{\'{a}}n Manuch and
                  Chris Thachuk},
  editor       = {Luca Cardelli and
                  William M. Shih},
  title        = {Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement
                  Systems},
  booktitle    = {{DNA} Computing and Molecular Programming - 17th International Conference,
                  {DNA} 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6937},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23638-9\_9},
  doi          = {10.1007/978-3-642-23638-9\_9},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/CondonHMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwoca/CondonT11,
  author       = {Anne Condon and
                  Chris Thachuk},
  editor       = {Costas S. Iliopoulos and
                  William F. Smyth},
  title        = {Efficient Codon Optimization with Motif Engineering},
  booktitle    = {Combinatorial Algorithms - 22nd International Workshop, {IWOCA} 2011,
                  Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7056},
  pages        = {337--348},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25011-8\_27},
  doi          = {10.1007/978-3-642-25011-8\_27},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/iwoca/CondonT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psb/ThachukMRMSC10,
  author       = {Chris Thachuk and
                  J{\'{a}}n Manuch and
                  Arash Rafiey and
                  Leigh{-}Anne Mathieson and
                  Ladislav Stacho and
                  Anne Condon},
  editor       = {Russ B. Altman and
                  A. Keith Dunker and
                  Lawrence Hunter and
                  Tiffany Murray and
                  Teri E. Klein},
  title        = {An Algorithm for the Energy Barrier Problem Without Pseudoknots and
                  Temporary Arcs},
  booktitle    = {Biocomputing 2010: Proceedings of the Pacific Symposium, Kamuela,
                  Hawaii, USA, 4-8 January 2010},
  pages        = {108--119},
  publisher    = {World Scientific Publishing},
  year         = {2010},
  url          = {http://psb.stanford.edu/psb-online/proceedings/psb10/thachuk.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/psb/ThachukMRMSC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/ChenCJ09,
  author       = {Ho{-}Lin Chen and
                  Anne Condon and
                  Hosna Jabbari},
  title        = {An \emph{O}(\emph{n}\({}^{\mbox{5}}\)) Algorithm for {MFE} Prediction
                  of Kissing Hairpins and 4-Chains in Nucleic Acids},
  journal      = {J. Comput. Biol.},
  volume       = {16},
  number       = {6},
  pages        = {803--815},
  year         = {2009},
  url          = {https://doi.org/10.1089/cmb.2008.0219},
  doi          = {10.1089/CMB.2008.0219},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcb/ChenCJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/CondonDHW09,
  author       = {Anne Condon and
                  Amol Deshpande and
                  Lisa Hellerstein and
                  Ning Wu},
  title        = {Algorithms for distributional and adversarial pipelined filter ordering
                  problems},
  journal      = {{ACM} Trans. Algorithms},
  volume       = {5},
  number       = {2},
  pages        = {24:1--24:34},
  year         = {2009},
  url          = {https://doi.org/10.1145/1497290.1497300},
  doi          = {10.1145/1497290.1497300},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/talg/CondonDHW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CondonJ09,
  author       = {Anne Condon and
                  Hosna Jabbari},
  title        = {Computational prediction of nucleic acid secondary structure: Methods,
                  applications, and challenges},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {4-5},
  pages        = {294--301},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2008.09.042},
  doi          = {10.1016/J.TCS.2008.09.042},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CondonJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/ManuchTSC09,
  author       = {J{\'{a}}n Manuch and
                  Chris Thachuk and
                  Ladislav Stacho and
                  Anne Condon},
  editor       = {Russell J. Deaton and
                  Akira Suyama},
  title        = {NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots},
  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        = {106--115},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10604-0\_11},
  doi          = {10.1007/978-3-642-10604-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/ManuchTSC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/RastegariCL09,
  author       = {Baharak Rastegari and
                  Anne Condon and
                  Kevin Leyton{-}Brown},
  editor       = {Claire Mathieu},
  title        = {Stepwise randomized combinatorial auctions achieve revenue monotonicity},
  booktitle    = {Proceedings of the Twentieth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2009, New York, NY, USA, January 4-6, 2009},
  pages        = {738--747},
  publisher    = {{SIAM}},
  year         = {2009},
  url          = {https://doi.org/10.1137/1.9781611973068.81},
  doi          = {10.1137/1.9781611973068.81},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/soda/RastegariCL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009rozenberg,
  editor       = {Anne Condon and
                  David Harel and
                  Joost N. Kok and
                  Arto Salomaa and
                  Erik Winfree},
  title        = {Algorithmic Bioprocesses},
  series       = {Natural Computing Series},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-88869-7},
  doi          = {10.1007/978-3-540-88869-7},
  isbn         = {978-3-540-88868-0},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2009rozenberg.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/AndronescuBHC08,
  author       = {Mirela Andronescu and
                  Vera Bereg and
                  Holger H. Hoos and
                  Anne Condon},
  title        = {{RNA} {STRAND:} The {RNA} Secondary Structure and Statistical Analysis
                  Database},
  journal      = {{BMC} Bioinform.},
  volume       = {9},
  year         = {2008},
  url          = {https://doi.org/10.1186/1471-2105-9-340},
  doi          = {10.1186/1471-2105-9-340},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/AndronescuBHC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/JabbariCZ08,
  author       = {Hosna Jabbari and
                  Anne Condon and
                  Shelly Zhao},
  title        = {Novel and Efficient {RNA} Secondary Structure Prediction Using Hierarchical
                  Folding},
  journal      = {J. Comput. Biol.},
  volume       = {15},
  number       = {2},
  pages        = {139--163},
  year         = {2008},
  url          = {https://doi.org/10.1089/cmb.2007.0198},
  doi          = {10.1089/CMB.2007.0198},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcb/JabbariCZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/CondonMT08,
  author       = {Anne Condon and
                  J{\'{a}}n Manuch and
                  Chris Thachuk},
  editor       = {Xiaodong Hu and
                  Jie Wang},
  title        = {Complexity of a Collision-Aware String Partition Problem and Its Relation
                  to Oligo Design for Gene Synthesis},
  booktitle    = {Computing and Combinatorics, 14th Annual International Conference,
                  {COCOON} 2008, Dalian, China, June 27-29, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5092},
  pages        = {265--275},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69733-6\_27},
  doi          = {10.1007/978-3-540-69733-6\_27},
  timestamp    = {Tue, 10 Dec 2019 14:59:33 +0100},
  biburl       = {https://dblp.org/rec/conf/cocoon/CondonMT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Condon08,
  author       = {Anne Condon},
  editor       = {Cristian S. Calude and
                  Jos{\'{e}} F{\'{e}}lix Costa and
                  Rudolf Freund and
                  Marion Oswald and
                  Grzegorz Rozenberg},
  title        = {Computational Challenges and Opportunities in the Design of Unconventional
                  Machines from Nucleic Acids},
  booktitle    = {Unconventional Computing, 7th International Conference, {UC} 2008,
                  Vienna, Austria, August 25-28, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5204},
  pages        = {6},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85194-3\_2},
  doi          = {10.1007/978-3-540-85194-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/uc/Condon08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/GurerLBDHCCGMPWSSCTG08,
  author       = {Denise W. G{\"{u}}rer and
                  Jennifer Light and
                  Christina Bj{\"{o}}rkman and
                  Rhian Davies and
                  Mark S. Hancock and
                  Anne Condon and
                  Annemieke Craig and
                  Vashti Galpin and
                  Ursula Martin and
                  Margit Pohl and
                  Sylvia Wiltner and
                  M. Suriya and
                  Ellen Spertus and
                  Joanne McGrath Cohoon and
                  Gloria Childress Townsend and
                  Paula Gabbert},
  editor       = {Benjamin W. Wah},
  title        = {Women in Computing},
  booktitle    = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher    = {John Wiley {\&} Sons, Inc.},
  year         = {2008},
  url          = {https://doi.org/10.1002/9780470050118.ecse472},
  doi          = {10.1002/9780470050118.ECSE472},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/wiley/GurerLBDHCCGMPWSSCTG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/Aguirre-HernandezHC07,
  author       = {Rosal{\'{\i}}a Aguirre{-}Hern{\'{a}}ndez and
                  Holger H. Hoos and
                  Anne Condon},
  title        = {Computational {RNA} secondary structure design: empirical complexity
                  and improved methods},
  journal      = {{BMC} Bioinform.},
  volume       = {8},
  year         = {2007},
  url          = {https://doi.org/10.1186/1471-2105-8-34},
  doi          = {10.1186/1471-2105-8-34},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/Aguirre-HernandezHC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/RastegariC07,
  author       = {Baharak Rastegari and
                  Anne Condon},
  title        = {Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm
                  and Applications},
  journal      = {J. Comput. Biol.},
  volume       = {14},
  number       = {1},
  pages        = {16--32},
  year         = {2007},
  url          = {https://doi.org/10.1089/cmb.2006.0108},
  doi          = {10.1089/CMB.2006.0108},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcb/RastegariC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigecom/RastegariCL07,
  author       = {Baharak Rastegari and
                  Anne Condon and
                  Kevin Leyton{-}Brown},
  title        = {Revenue monotonicity in combinatorial auctions},
  journal      = {SIGecom Exch.},
  volume       = {7},
  number       = {1},
  pages        = {45--47},
  year         = {2007},
  url          = {https://doi.org/10.1145/1345037.1345048},
  doi          = {10.1145/1345037.1345048},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigecom/RastegariCL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RastegariCL07,
  author       = {Baharak Rastegari and
                  Anne Condon and
                  Kevin Leyton{-}Brown},
  title        = {Revenue Monotonicity in Combinatorial Auctions},
  booktitle    = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages        = {122--127},
  publisher    = {{AAAI} Press},
  year         = {2007},
  url          = {http://www.aaai.org/Library/AAAI/2007/aaai07-018.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RastegariCL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/ThachukC07,
  author       = {Chris Thachuk and
                  Anne Condon},
  title        = {On the Design of Oligos for Gene Synthesis},
  booktitle    = {Proceedings of the 7th {IEEE} International Conference on Bioinformatics
                  and Bioengineering, {BIBE} 2007, October 14-17, 2007, Harvard Medical
                  School, Boston, MA, {USA}},
  pages        = {123--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/BIBE.2007.4375554},
  doi          = {10.1109/BIBE.2007.4375554},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibe/ThachukC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/AndronescuCHMM07,
  author       = {Mirela Andronescu and
                  Anne Condon and
                  Holger H. Hoos and
                  David H. Mathews and
                  Kevin P. Murphy},
  title        = {Efficient parameter estimation for {RNA} secondary structure prediction},
  booktitle    = {Proceedings 15th International Conference on Intelligent Systems for
                  Molecular Biology {(ISMB)} {\&} 6th European Conference on Computational
                  Biology (ECCB), Vienna, Austria, July 21-25, 2007},
  pages        = {19--28},
  year         = {2007},
  url          = {https://doi.org/10.1093/bioinformatics/btm223},
  doi          = {10.1093/BIOINFORMATICS/BTM223},
  timestamp    = {Sat, 07 Sep 2019 11:59:25 +0200},
  biburl       = {https://dblp.org/rec/conf/ismb/AndronescuCHMM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wabi/JabbariCPPZ07,
  author       = {Hosna Jabbari and
                  Anne Condon and
                  Ana Pop and
                  Cristina Pop and
                  Yinglei Zhao},
  editor       = {Raffaele Giancarlo and
                  Sridhar Hannenhalli},
  title        = {HFold: {RNA} Pseudoknotted Secondary Structure Prediction Using Hierarchical
                  Folding},
  booktitle    = {Algorithms in Bioinformatics, 7th International Workshop, {WABI} 2007,
                  Philadelphia, PA, USA, September 8-9, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4645},
  pages        = {323--334},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74126-8\_30},
  doi          = {10.1007/978-3-540-74126-8\_30},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wabi/JabbariCPPZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/Condon06,
  author       = {Anne Condon},
  editor       = {Jos{\'{e}} R. Correa and
                  Alejandro Hevia and
                  Marcos A. Kiwi},
  title        = {{RNA} Molecules: Glimpses Through an Algorithmic Lens},
  booktitle    = {{LATIN} 2006: Theoretical Informatics, 7th Latin American Symposium,
                  Valdivia, Chile, March 20-24, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3887},
  pages        = {8--10},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11682462\_2},
  doi          = {10.1007/11682462\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/Condon06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncs/AndronescuC06,
  author       = {Mirela Andronescu and
                  Anne Condon},
  editor       = {Junghuei Chen and
                  Natasa Jonoska and
                  Grzegorz Rozenberg},
  title        = {Finding {MFE} Structures Formed by Nucleic Acid Strands in a Combinatorial
                  Set},
  booktitle    = {Nanotechnology: Science and Computation},
  series       = {Natural Computing Series},
  pages        = {121--135},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/3-540-30296-4\_7},
  doi          = {10.1007/3-540-30296-4\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ncs/AndronescuC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CondonDHW06,
  author       = {Anne Condon and
                  Amol Deshpande and
                  Lisa Hellerstein and
                  Ning Wu},
  editor       = {Stijn Vansummeren},
  title        = {Flow algorithms for two pipelined filter ordering problems},
  booktitle    = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
                  on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
                  {USA}},
  pages        = {193--202},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1142351.1142379},
  doi          = {10.1145/1142351.1142379},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pods/CondonDHW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wabi/RastegariC05,
  author       = {Baharak Rastegari and
                  Anne Condon},
  editor       = {Rita Casadio and
                  Gene Myers},
  title        = {Linear Time Algorithm for Parsing {RNA} Secondary Structure},
  booktitle    = {Algorithms in Bioinformatics, 5th International Workshop, {WABI} 2005,
                  Mallorca, Spain, October 3-6, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3692},
  pages        = {341--352},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11557067\_28},
  doi          = {10.1007/11557067\_28},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wabi/RastegariC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Condon04,
  author       = {Anne Condon},
  title        = {Guest editor's foreword},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {69},
  number       = {1},
  pages        = {1--2},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.jcss.2004.01.005},
  doi          = {10.1016/J.JCSS.2004.01.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Condon04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CondonDRZT04,
  author       = {Anne Condon and
                  Beth Davy and
                  Baharak Rastegari and
                  Shelly Zhao and
                  Finbarr Tarrant},
  title        = {Classifying {RNA} pseudoknotted structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {320},
  number       = {1},
  pages        = {35--50},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.042},
  doi          = {10.1016/J.TCS.2004.03.042},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CondonDRZT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BinghamCHQZ04,
  author       = {Jesse D. Bingham and
                  Anne Condon and
                  Alan J. Hu and
                  Shaz Qadeer and
                  Zhichuan Zhang},
  editor       = {Rajeev Alur and
                  Doron A. Peled},
  title        = {Automatic Verification of Sequential Consistency for Unbounded Addresses
                  and Data Values},
  booktitle    = {Computer Aided Verification, 16th International Conference, {CAV}
                  2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3114},
  pages        = {427--439},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27813-9\_33},
  doi          = {10.1007/978-3-540-27813-9\_33},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BinghamCHQZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MadaniHC03,
  author       = {Omid Madani and
                  Steve Hanks and
                  Anne Condon},
  title        = {On the undecidability of probabilistic planning and related stochastic
                  optimization problems},
  journal      = {Artif. Intell.},
  volume       = {147},
  number       = {1-2},
  pages        = {5--34},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0004-3702(02)00378-8},
  doi          = {10.1016/S0004-3702(02)00378-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MadaniHC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CondonH03,
  author       = {Anne Condon and
                  Alan J. Hu},
  title        = {Automatable Verification of Sequential Consistency},
  journal      = {Theory Comput. Syst.},
  volume       = {36},
  number       = {5},
  pages        = {431--460},
  year         = {2003},
  url          = {https://doi.org/10.1007/s00224-003-1082-x},
  doi          = {10.1007/S00224-003-1082-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/CondonH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/AndronescuACH03,
  author       = {Mirela Andronescu and
                  Rosal{\'{\i}}a Aguirre{-}Hern{\'{a}}ndez and
                  Anne Condon and
                  Holger H. Hoos},
  title        = {RNAsoft: a suite of {RNA} secondary structure prediction and design
                  software tools},
  journal      = {Nucleic Acids Res.},
  volume       = {31},
  number       = {13},
  pages        = {3416--3422},
  year         = {2003},
  url          = {https://doi.org/10.1093/nar/gkg612},
  doi          = {10.1093/NAR/GKG612},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nar/AndronescuACH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AndronescuDSZCCS03,
  author       = {Mirela Andronescu and
                  Danielle Dees and
                  Laura Slaybaugh and
                  Yinglei Zhao and
                  Anne Condon and
                  Barry Cohen and
                  Steven Skiena},
  title        = {Algorithms for testing that sets of {DNA} words concatenate without
                  secondary structure},
  journal      = {Nat. Comput.},
  volume       = {2},
  number       = {4},
  pages        = {391--415},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:NACO.0000006770.91995.ec},
  doi          = {10.1023/B:NACO.0000006770.91995.EC},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/AndronescuDSZCCS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Condon03,
  author       = {Anne Condon},
  editor       = {Jos C. M. Baeten and
                  Jan Karel Lenstra and
                  Joachim Parrow and
                  Gerhard J. Woeginger},
  title        = {Problems on {RNA} Secondary Structure Prediction and Design},
  booktitle    = {Automata, Languages and Programming, 30th International Colloquium,
                  {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2719},
  pages        = {22--32},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45061-0\_2},
  doi          = {10.1007/3-540-45061-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Condon03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/BinghamCH03,
  author       = {Jesse D. Bingham and
                  Anne Condon and
                  Alan J. Hu},
  editor       = {Arnold L. Rosenberg and
                  Friedhelm Meyer auf der Heide},
  title        = {Toward a decidable notion of sequential consistency},
  booktitle    = {{SPAA} 2003: Proceedings of the Fifteenth Annual {ACM} Symposium on
                  Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego,
                  California, {USA} (part of {FCRC} 2003)},
  pages        = {304--313},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/777412.777467},
  doi          = {10.1145/777412.777467},
  timestamp    = {Wed, 21 Nov 2018 11:11:22 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/BinghamCH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/OgiharaC02,
  author       = {Mitsunori Ogihara and
                  Anne Condon},
  title        = {Guest Editors' Foreword},
  journal      = {Theory Comput. Syst.},
  volume       = {35},
  number       = {5},
  pages        = {469},
  year         = {2002},
  url          = {https://doi.org/10.1007/s00224-002-9000-1},
  doi          = {10.1007/S00224-002-9000-1},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/OgiharaC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrennemanC02,
  author       = {Arwen Brenneman and
                  Anne Condon},
  title        = {Strand design for biomolecular computation},
  journal      = {Theor. Comput. Sci.},
  volume       = {287},
  number       = {1},
  pages        = {39--58},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(02)00135-4},
  doi          = {10.1016/S0304-3975(02)00135-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrennemanC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/SorinPCHMW02,
  author       = {Daniel J. Sorin and
                  Manoj Plakal and
                  Anne Condon and
                  Mark D. Hill and
                  Milo M. K. Martin and
                  David A. Wood},
  title        = {Specifying and Verifying a Broadcast and a Multicast Snooping Cache
                  Coherence Protocol},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {13},
  number       = {6},
  pages        = {556--578},
  year         = {2002},
  url          = {https://doi.org/10.1109/TPDS.2002.1011412},
  doi          = {10.1109/TPDS.2002.1011412},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/SorinPCHMW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/AndronescuDSZCCS02,
  author       = {Mirela Andronescu and
                  Danielle Dees and
                  Laura Slaybaugh and
                  Yinglei Zhao and
                  Anne Condon and
                  Barry Cohen and
                  Steven Skiena},
  editor       = {Masami Hagiya and
                  Azuma Ohuchi},
  title        = {Algorithms for Testing That Sets of {DNA} Words Concatenate without
                  Secondary Structure},
  booktitle    = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
                  DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2568},
  pages        = {182--195},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36440-4\_16},
  doi          = {10.1007/3-540-36440-4\_16},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/AndronescuDSZCCS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HeitschCH02,
  author       = {Christine E. Heitsch and
                  Anne Condon and
                  Holger H. Hoos},
  editor       = {Masami Hagiya and
                  Azuma Ohuchi},
  title        = {From {RNA} Secondary Structure to Coding Theory: {A} Combinatorial
                  Approach},
  booktitle    = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
                  DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2568},
  pages        = {215--228},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36440-4\_19},
  doi          = {10.1007/3-540-36440-4\_19},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/HeitschCH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/TulpanHC02,
  author       = {Dan C. Tulpan and
                  Holger H. Hoos and
                  Anne Condon},
  editor       = {Masami Hagiya and
                  Azuma Ohuchi},
  title        = {Stochastic Local Search Algorithms for {DNA} Word Design},
  booktitle    = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
                  DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2568},
  pages        = {229--241},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36440-4\_20},
  doi          = {10.1007/3-540-36440-4\_20},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/TulpanHC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/MaratheCC01,
  author       = {Amit Marathe and
                  Anne Condon and
                  Robert M. Corn},
  title        = {On Combinatorial {DNA} Word Design},
  journal      = {J. Comput. Biol.},
  volume       = {8},
  number       = {3},
  pages        = {201--219},
  year         = {2001},
  url          = {https://doi.org/10.1089/10665270152530818},
  doi          = {10.1089/10665270152530818},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcb/MaratheCC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/CondonK01,
  author       = {Anne Condon and
                  Richard M. Karp},
  title        = {Algorithms for graph partitioning on the planted partition model},
  journal      = {Random Struct. Algorithms},
  volume       = {18},
  number       = {2},
  pages        = {116--140},
  year         = {2001},
  url          = {https://doi.org/10.1002/1098-2418(200103)18:2\&\#60;116::AID-RSA1001\&\#62;3.0.CO;2-2},
  doi          = {10.1002/1098-2418(200103)18:2\&\#60;116::AID-RSA1001\&\#62;3.0.CO;2-2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsa/CondonK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BraunCHJLLS01,
  author       = {Tim Braun and
                  Anne Condon and
                  Alan J. Hu and
                  Kai S. Juse and
                  Marius Laza and
                  Michael Leslie and
                  Rita Sharma},
  title        = {Proving sequential consistency by model checking},
  booktitle    = {Proceedings of the Sixth {IEEE} International High-Level Design Validation
                  and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001},
  pages        = {103--108},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HLDVT.2001.972815},
  doi          = {10.1109/HLDVT.2001.972815},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/BraunCHJLLS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/CondonH01,
  author       = {Anne Condon and
                  Alan J. Hu},
  editor       = {Arnold L. Rosenberg},
  title        = {Automatable verification of sequential consistency},
  booktitle    = {Proceedings of the Thirteenth Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} 2001, Heraklion, Crete Island, Greece, July
                  4-6, 2001},
  pages        = {113--121},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/378580.378604},
  doi          = {10.1145/378580.378604},
  timestamp    = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/CondonH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dna/2000,
  editor       = {Anne Condon and
                  Grzegorz Rozenberg},
  title        = {{DNA} Computing, 6th International Workshop on DNA-Based Computers,
                  {DNA} 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2054},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44992-2},
  doi          = {10.1007/3-540-44992-2},
  isbn         = {3-540-42076-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MadaniHC99,
  author       = {Omid Madani and
                  Steve Hanks and
                  Anne Condon},
  editor       = {Jim Hendler and
                  Devika Subramanian},
  title        = {On the Undecidability of Probabilistic Planning and Infinite-Horizon
                  Partially Observable Markov Decision Problems},
  booktitle    = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
                  and Eleventh Conference on Innovative Applications of Artificial Intelligence,
                  July 18-22, 1999, Orlando, Florida, {USA}},
  pages        = {541--548},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1999},
  url          = {http://www.aaai.org/Library/AAAI/1999/aaai99-077.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MadaniHC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/MaratheCC99,
  author       = {Amit Marathe and
                  Anne Condon and
                  Robert M. Corn},
  editor       = {Erik Winfree and
                  David K. Gifford},
  title        = {On combinatorial {DNA} word design},
  booktitle    = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, New Brunswick,
                  New Jersey, USA, June 14-15, 1999},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {54},
  pages        = {75--89},
  publisher    = {{DIMACS/AMS}},
  year         = {1999},
  url          = {https://doi.org/10.1090/dimacs/054/07},
  doi          = {10.1090/DIMACS/054/07},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/MaratheCC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/CondonHPS99,
  author       = {Anne Condon and
                  Mark D. Hill and
                  Manoj Plakal and
                  Daniel J. Sorin},
  title        = {Using Lamport Clocks to Reason about Relaxed Memory Models},
  booktitle    = {Proceedings of the Fifth International Symposium on High-Performance
                  Computer Architecture, Orlando, FL, USA, January 9-12, 1999},
  pages        = {270--278},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/HPCA.1999.744379},
  doi          = {10.1109/HPCA.1999.744379},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpca/CondonHPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/random/CondonK99,
  author       = {Anne Condon and
                  Richard M. Karp},
  editor       = {Dorit S. Hochbaum and
                  Klaus Jansen and
                  Jos{\'{e}} D. P. Rolim and
                  Alistair Sinclair},
  title        = {Algorithms for Graph Partitioning on the Planted Partition Model},
  booktitle    = {Randomization, Approximation, and Combinatorial Algorithms and Techniques,
                  Third International Workshop on Randomization and Approximation Techniques
                  in Computer Science, and Second International Workshop on Approximation
                  Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99,
                  Berkeley, CA, USA, August 8-11, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1671},
  pages        = {221--232},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-48413-4\_23},
  doi          = {10.1007/978-3-540-48413-4\_23},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/random/CondonK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/HillCPS99,
  author       = {Mark D. Hill and
                  Anne Condon and
                  Manoj Plakal and
                  Daniel J. Sorin},
  editor       = {Gary L. Miller and
                  Vijaya Ramachandran},
  title        = {A System-Level Specification Framework for {I/O} Architectures},
  booktitle    = {Proceedings of the Eleventh Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} '99, Saint-Malo, France, June 27-30, 1999},
  pages        = {138--147},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/305619.305634},
  doi          = {10.1145/305619.305634},
  timestamp    = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/HillCPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/CondonN98,
  author       = {Anne Condon and
                  Lata Narayanan},
  title        = {Upper and Lower Bounds for Selection in the Mesh},
  journal      = {Algorithmica},
  volume       = {20},
  number       = {1},
  pages        = {1--30},
  year         = {1998},
  url          = {https://doi.org/10.1007/PL00009184},
  doi          = {10.1007/PL00009184},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/CondonN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/AgarwalC98,
  author       = {Sameet Agarwal and
                  Anne Condon},
  title        = {On Approximation Algorithms for Hierarchical {MAX-SAT}},
  journal      = {J. Algorithms},
  volume       = {26},
  number       = {1},
  pages        = {141--165},
  year         = {1998},
  url          = {https://doi.org/10.1006/jagm.1997.0902},
  doi          = {10.1006/JAGM.1997.0902},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jal/AgarwalC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/SmithCCLFLT98,
  author       = {Lloyd M. Smith and
                  Robert M. Corn and
                  Anne Condon and
                  Max G. Lagally and
                  Tony Frutos and
                  Qinghua Liu and
                  Andrew Thiel},
  title        = {A Surface-Based Approach to {DNA} Computation},
  journal      = {J. Comput. Biol.},
  volume       = {5},
  number       = {2},
  pages        = {255--267},
  year         = {1998},
  url          = {https://doi.org/10.1089/cmb.1998.5.255},
  doi          = {10.1089/CMB.1998.5.255},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcb/SmithCCLFLT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BachCGT98,
  author       = {Eric Bach and
                  Anne Condon and
                  Elton Glaser and
                  Celena Tanguay},
  title        = {{DNA} Models and Algorithms for NP-Complete Problems},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {57},
  number       = {2},
  pages        = {172--186},
  year         = {1998},
  url          = {https://doi.org/10.1006/jcss.1998.1586},
  doi          = {10.1006/JCSS.1998.1586},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BachCGT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CondonHPW98,
  author       = {Anne Condon and
                  Lisa Hellerstein and
                  Samuel Pottle and
                  Avi Wigderson},
  title        = {On the Power of Finite Automata with Both Nondeterministic and Probabilistic
                  States},
  journal      = {{SIAM} J. Comput.},
  volume       = {27},
  number       = {3},
  pages        = {739--762},
  year         = {1998},
  url          = {https://doi.org/10.1137/S0097539794265578},
  doi          = {10.1137/S0097539794265578},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/CondonHPW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/PlakalSCH98,
  author       = {Manoj Plakal and
                  Daniel J. Sorin and
                  Anne Condon and
                  Mark D. Hill},
  editor       = {Gary L. Miller and
                  Phillip B. Gibbons},
  title        = {Lamport Clocks: Verifying a Directory Cache-Coherence Protocol},
  booktitle    = {Proceedings of the Tenth Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} '98, Puerto Vallarta, Mexico, June 28 -
                  July 2, 1998},
  pages        = {67--76},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/277651.277672},
  doi          = {10.1145/277651.277672},
  timestamp    = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/PlakalSCH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CondonFLS97,
  author       = {Anne Condon and
                  Joan Feigenbaum and
                  Carsten Lund and
                  Peter W. Shor},
  title        = {Random Debaters and the Hardness of Approximating Stochastic Functions},
  journal      = {{SIAM} J. Comput.},
  volume       = {26},
  number       = {2},
  pages        = {369--400},
  year         = {1997},
  url          = {https://doi.org/10.1137/S0097539793260738},
  doi          = {10.1137/S0097539793260738},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamcomp/CondonFLS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/CondonFFGJLMRSSS97,
  author       = {Anne Condon and
                  Faith E. Fich and
                  Greg N. Frederickson and
                  Andrew V. Goldberg and
                  David S. Johnson and
                  Michael C. Loui and
                  Steven Mahaney and
                  Prabhakar Raghavan and
                  John E. Savage and
                  Alan L. Selman and
                  David B. Shmoys},
  title        = {Strategic directions in research in theory of computing},
  journal      = {{SIGACT} News},
  volume       = {28},
  number       = {3},
  pages        = {75--93},
  year         = {1997},
  url          = {https://doi.org/10.1145/262301.262310},
  doi          = {10.1145/262301.262310},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigact/CondonFFGJLMRSSS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/CaiCCGFFGLLST97,
  author       = {Weiping Cai and
                  Anne Condon and
                  Robert M. Corn and
                  Elton Glaser and
                  Zhengdong Fei and
                  Tony Frutos and
                  Zhen Guo and
                  Max G. Lagally and
                  Qinghua Liu and
                  Lloyd M. Smith and
                  Andrew Thiel},
  editor       = {Michael S. Waterman},
  title        = {The power of surface-based {DNA} computation (extended abstract)},
  booktitle    = {Proceedings of the First Annual International Conference on Research
                  in Computational Molecular Biology, {RECOMB} 1997, Santa Fe, NM, USA,
                  January 20-23, 1997},
  pages        = {67--74},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/267521.267530},
  doi          = {10.1145/267521.267530},
  timestamp    = {Mon, 13 May 2019 09:30:09 +0200},
  biburl       = {https://dblp.org/rec/conf/recomb/CaiCCGFFGLLST97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CondonLLS96,
  author       = {Anne Condon and
                  Richard E. Ladner and
                  Jordan Lampe and
                  Rakesh K. Sinha},
  title        = {Complexity of Sub-Bus Mesh Computations},
  journal      = {{SIAM} J. Comput.},
  volume       = {25},
  number       = {3},
  pages        = {520--539},
  year         = {1996},
  url          = {https://doi.org/10.1137/S0097539793256879},
  doi          = {10.1137/S0097539793256879},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamcomp/CondonLLS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/LewandowskiCB96,
  author       = {Gary Lewandowski and
                  Anne Condon and
                  Eric Bach},
  title        = {Asynchronous Analysis of Parallel Dynamic Programming Algorithms},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {7},
  number       = {4},
  pages        = {425--438},
  year         = {1996},
  url          = {https://doi.org/10.1109/71.494636},
  doi          = {10.1109/71.494636},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/LewandowskiCB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/BachCGT96,
  author       = {Eric Bach and
                  Anne Condon and
                  Elton Glaser and
                  Celena Tanguay},
  editor       = {Steven Homer and
                  Jin{-}Yi Cai},
  title        = {{DNA} Models and Algorithms for NP-complete Problems},
  booktitle    = {Proceedings of the Eleveth Annual {IEEE} Conference on Computational
                  Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996},
  pages        = {290--300},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/CCC.1996.507691},
  doi          = {10.1109/CCC.1996.507691},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/BachCGT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LiuGFCCLS96,
  author       = {Qinghua Liu and
                  Zhen Guo and
                  Zhengdong Fei and
                  Anne Condon and
                  Robert M. Corn and
                  Max G. Lagally and
                  Lloyd M. Smith},
  editor       = {Laura F. Landweber and
                  Eric B. Baum},
  title        = {A surface-based approach to {DNA} computation},
  booktitle    = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Princeton,
                  New Jersey, USA, June 10-12, 1996},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {44},
  pages        = {123--132},
  publisher    = {{DIMACS/AMS}},
  year         = {1996},
  url          = {https://doi.org/10.1090/dimacs/044/10},
  doi          = {10.1090/DIMACS/044/10},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/LiuGFCCLS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ChungC96,
  author       = {Sun Chung and
                  Anne Condon},
  title        = {Parallel Implementation of Borvka's Minimum Spanning Tree Algorithm},
  booktitle    = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
                  Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
  pages        = {302--308},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/IPPS.1996.508073},
  doi          = {10.1109/IPPS.1996.508073},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/ChungC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/CondonFLS95,
  author       = {Anne Condon and
                  Joan Feigenbaum and
                  Carsten Lund and
                  Peter W. Shor},
  title        = {Probabilistically Checkable Debate Systems and Nonapproximability
                  of PSPACE-Hard Functions},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1995},
  year         = {1995},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1995/4/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/CondonFLS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CondonL95,
  author       = {Anne Condon and
                  Richard E. Ladner},
  title        = {Interactive Proof Systems with Polynomially Bounded Strategies},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {50},
  number       = {3},
  pages        = {506--518},
  year         = {1995},
  url          = {https://doi.org/10.1006/jcss.1995.1040},
  doi          = {10.1006/JCSS.1995.1040},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CondonL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Condon95,
  author       = {Anne Condon},
  title        = {Approximate solutions to problems in {PSPACE}},
  journal      = {{SIGACT} News},
  volume       = {26},
  number       = {2},
  pages        = {4--13},
  year         = {1995},
  url          = {https://doi.org/10.1145/202840.202841},
  doi          = {10.1145/202840.202841},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigact/Condon95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/AgarwalC95,
  author       = {Sameet Agarwal and
                  Anne Condon},
  title        = {On Approximation Algorithms for Hierarchical {MAX-SAT}},
  booktitle    = {Proceedings of the Tenth Annual Structure in Complexity Theory Conference,
                  Minneapolis, Minnesota, USA, June 19-22, 1995},
  pages        = {214--226},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/SCT.1995.514860},
  doi          = {10.1109/SCT.1995.514860},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/AgarwalC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/Condon94,
  author       = {Anne Condon},
  title        = {A Theory of Strict P-Completeness},
  journal      = {Comput. Complex.},
  volume       = {4},
  pages        = {220--241},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01206637},
  doi          = {10.1007/BF01206637},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cc/Condon94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/MelekopoglouC94,
  author       = {Mary Melekopoglou and
                  Anne Condon},
  title        = {On the Complexity of the Policy Improvement Algorithm for Markov Decision
                  Processes},
  journal      = {{INFORMS} J. Comput.},
  volume       = {6},
  number       = {2},
  pages        = {188--192},
  year         = {1994},
  url          = {https://doi.org/10.1287/ijoc.6.2.188},
  doi          = {10.1287/IJOC.6.2.188},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/informs/MelekopoglouC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaiCL94,
  author       = {Jin{-}yi Cai and
                  Anne Condon and
                  Richard J. Lipton},
  title        = {{PSPACE} Is Provable by Two Provers in One Round},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {48},
  number       = {1},
  pages        = {183--193},
  year         = {1994},
  url          = {https://doi.org/10.1016/S0022-0000(05)80026-1},
  doi          = {10.1016/S0022-0000(05)80026-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CaiCL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/CondonH94,
  author       = {Anne Condon and
                  Diane Hernek},
  title        = {Random Walks on Colored Graphs},
  journal      = {Random Struct. Algorithms},
  volume       = {5},
  number       = {2},
  pages        = {285--304},
  year         = {1994},
  url          = {https://doi.org/10.1002/rsa.3240050204},
  doi          = {10.1002/RSA.3240050204},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsa/CondonH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CondonFLS94,
  author       = {Anne Condon and
                  Joan Feigenbaum and
                  Carsten Lund and
                  Peter W. Shor},
  title        = {Random Debaters and the Hardness of Approximating Stochastic Functions},
  booktitle    = {Proceedings of the Ninth Annual Structure in Complexity Theory Conference,
                  Amsterdam, The Netherlands, June 28 - July 1, 1994},
  pages        = {280--293},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/SCT.1994.315796},
  doi          = {10.1109/SCT.1994.315796},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/CondonFLS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/NarayananC94,
  author       = {Lata Narayanan and
                  Anne Condon},
  title        = {Upper and lower bounds for selection on the mesh},
  booktitle    = {Proceedings of the Sixth {IEEE} Symposium on Parallel and Distributed
                  Processing, {SPDP} 1994, Dallas, Texas, {USA} , October 26-29, 1994},
  pages        = {497--504},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/SPDP.1994.346130},
  doi          = {10.1109/SPDP.1994.346130},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spdp/NarayananC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CondonHPW94,
  author       = {Anne Condon and
                  Lisa Hellerstein and
                  Samuel Pottle and
                  Avi Wigderson},
  editor       = {Frank Thomson Leighton and
                  Michael T. Goodrich},
  title        = {On the power of finite automata with both nondeterministic and probabilistic
                  states (preliminary version)},
  booktitle    = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Theory of
                  Computing, 23-25 May 1994, Montr{\'{e}}al, Qu{\'{e}}bec,
                  Canada},
  pages        = {676--685},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/195058.195431},
  doi          = {10.1145/195058.195431},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/CondonHPW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/Condon93,
  author       = {Anne Condon},
  title        = {The Complexity of the Max Word Problem and the Power of One-Way Interactive
                  Proof Systems},
  journal      = {Comput. Complex.},
  volume       = {3},
  pages        = {292--305},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01271372},
  doi          = {10.1007/BF01271372},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cc/Condon93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LewandowskiC93,
  author       = {Gary Lewandowski and
                  Anne Condon},
  editor       = {David S. Johnson and
                  Michael A. Trick},
  title        = {Experiments with parallel graph coloring heuristics and applications
                  of graph coloring},
  booktitle    = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
                  New Brunswick, New Jersey, USA, October 11-13, 1993},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {26},
  pages        = {309--334},
  publisher    = {{DIMACS/AMS}},
  year         = {1993},
  url          = {https://doi.org/10.1090/dimacs/026/15},
  doi          = {10.1090/DIMACS/026/15},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/LewandowskiC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CondonH93,
  author       = {Anne Condon and
                  Diane Hernek},
  title        = {Random Walks on Colored Graphs},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {134--140},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253476},
  doi          = {10.1109/ISTCS.1993.253476},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/CondonH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/LewandowskiCB93,
  author       = {Gary Lewandowski and
                  Anne Condon and
                  Eric Bach},
  editor       = {Susan S. Owicki and
                  Richard R. Muntz},
  title        = {Asynchronous Analysis of Parallel Dynamic Programming},
  booktitle    = {Proceedings of the 1993 {ACM} {SIGMETRICS} conference on Measurement
                  and modeling of computer systems, Santa Clara, California, USA, May
                  10-14, 1993},
  pages        = {268--269},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/166955.167035},
  doi          = {10.1145/166955.167035},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmetrics/LewandowskiCB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CondonFLS93,
  author       = {Anne Condon and
                  Joan Feigenbaum and
                  Carsten Lund and
                  Peter W. Shor},
  editor       = {S. Rao Kosaraju and
                  David S. Johnson and
                  Alok Aggarwal},
  title        = {Probabilistically checkable debate systems and approximation algorithms
                  for PSPACE-hard functions},
  booktitle    = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of
                  Computing, May 16-18, 1993, San Diego, CA, {USA}},
  pages        = {305--314},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/167088.167190},
  doi          = {10.1145/167088.167190},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/CondonFLS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Condon92,
  author       = {Anne Condon},
  title        = {The Complexity of Stochastic Games},
  journal      = {Inf. Comput.},
  volume       = {96},
  number       = {2},
  pages        = {203--224},
  year         = {1992},
  url          = {https://doi.org/10.1016/0890-5401(92)90048-K},
  doi          = {10.1016/0890-5401(92)90048-K},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Condon92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaiCL92,
  author       = {Jin{-}yi Cai and
                  Anne Condon and
                  Richard J. Lipton},
  title        = {On Games of Incomplete Information},
  journal      = {Theor. Comput. Sci.},
  volume       = {103},
  number       = {1},
  pages        = {25--38},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90085-T},
  doi          = {10.1016/0304-3975(92)90085-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CaiCL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CondonL92,
  author       = {Anne Condon and
                  Richard E. Ladner},
  title        = {Interactive Proof Systems with Polynomially Bounded Strategies},
  booktitle    = {Proceedings of the Seventh Annual Structure in Complexity Theory Conference,
                  Boston, Massachusetts, USA, June 22-25, 1992},
  pages        = {282--294},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SCT.1992.215403},
  doi          = {10.1109/SCT.1992.215403},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/CondonL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Condon92,
  author       = {Anne Condon},
  editor       = {Klaus Ambos{-}Spies and
                  Steven Homer and
                  Uwe Sch{\"{o}}ning},
  title        = {The Complexity of Space Boundes Interactive Proof Systems},
  booktitle    = {Complexity Theory: Current Research, Dagstuhl Workshop, February 2-8,
                  1992},
  pages        = {147--189},
  publisher    = {Cambridge University Press},
  year         = {1992},
  timestamp    = {Mon, 15 Jul 2002 11:29:49 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Condon92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Condon92,
  author       = {Anne Condon},
  editor       = {Alain Finkel and
                  Matthias Jantzen},
  title        = {A Theory of Strict P-completeness},
  booktitle    = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
                  Science, Cachan, France, February 13-15, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {577},
  pages        = {33--44},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55210-3\_171},
  doi          = {10.1007/3-540-55210-3\_171},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Condon92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Condon91,
  author       = {Anne Condon},
  title        = {Space-Bounded Probabilistic Game Automata},
  journal      = {J. {ACM}},
  volume       = {38},
  number       = {2},
  pages        = {472--494},
  year         = {1991},
  url          = {https://doi.org/10.1145/103516.128681},
  doi          = {10.1145/103516.128681},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Condon91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CaiCL91,
  author       = {Jin{-}yi Cai and
                  Anne Condon and
                  Richard J. Lipton},
  title        = {{PSPACE} Is Provable By Two Provers In One Round},
  booktitle    = {Proceedings of the Sixth Annual Structure in Complexity Theory Conference,
                  Chicago, Illinois, USA, June 30 - July 3, 1991},
  pages        = {110--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/SCT.1991.160250},
  doi          = {10.1109/SCT.1991.160250},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/CaiCL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Condon91,
  author       = {Anne Condon},
  editor       = {Christian Choffrut and
                  Matthias Jantzen},
  title        = {The Complexity of the Max Word Problem},
  booktitle    = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
                  Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {480},
  pages        = {456--465},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0020820},
  doi          = {10.1007/BFB0020820},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Condon91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CaiCL90,
  author       = {Jin{-}yi Cai and
                  Anne Condon and
                  Richard J. Lipton},
  title        = {On Bounded Round Multi-Prover Interactive Proof Systems},
  booktitle    = {Proceedings: Fifth Annual Structure in Complexity Theory Conference,
                  Universitat Polit{\`{e}}cnica de Catalunya, Barcelona, Spain, July
                  8-11, 1990},
  pages        = {45--54},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/SCT.1990.113953},
  doi          = {10.1109/SCT.1990.113953},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/CaiCL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Condon90,
  author       = {Anne Condon},
  editor       = {Jin{-}Yi Cai},
  title        = {On Algorithms for Simple Stochastic Games},
  booktitle    = {Advances In Computational Complexity Theory, Proceedings of a {DIMACS}
                  Workshop, New Jersey, USA, December 3-7, 1990},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {13},
  pages        = {51--71},
  publisher    = {{DIMACS/AMS}},
  year         = {1990},
  url          = {https://doi.org/10.1090/dimacs/013/04},
  doi          = {10.1090/DIMACS/013/04},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/Condon90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CaiCL90,
  author       = {Jin{-}yi Cai and
                  Anne Condon and
                  Richard J. Lipton},
  editor       = {Christian Choffrut and
                  Thomas Lengauer},
  title        = {Playing Games of Incomplete Information},
  booktitle    = {{STACS} 90, 7th Annual Symposium on Theoretical Aspects of Computer
                  Science, Rouen, France, February 22-24, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {415},
  pages        = {58--69},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52282-4\_32},
  doi          = {10.1007/3-540-52282-4\_32},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/CaiCL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0074447,
  author       = {Anne Condon},
  title        = {Computational models of games},
  series       = {{ACM} distinguished dissertations},
  publisher    = {{MIT} Press},
  year         = {1989},
  isbn         = {978-0-262-03152-3},
  timestamp    = {Tue, 15 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0074447.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CondonL89,
  author       = {Anne Condon and
                  Richard J. Lipton},
  title        = {On the Complexity of Space Bounded Interactive Proofs (Extended Abstract)},
  booktitle    = {30th Annual Symposium on Foundations of Computer Science, Research
                  Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
  pages        = {462--467},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/SFCS.1989.63519},
  doi          = {10.1109/SFCS.1989.63519},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/CondonL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CondonL88,
  author       = {Anne Condon and
                  Richard E. Ladner},
  title        = {Probabilistic Game Automata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {36},
  number       = {3},
  pages        = {452--489},
  year         = {1988},
  url          = {https://doi.org/10.1016/0022-0000(88)90038-4},
  doi          = {10.1016/0022-0000(88)90038-4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CondonL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Condon88,
  author       = {Anne Condon},
  title        = {Space bounded probabilistic game automata},
  booktitle    = {Proceedings: Third Annual Structure in Complexity Theory Conference,
                  Georgetown University, Washington, D. C., USA, June 14-17, 1988},
  pages        = {162--174},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/SCT.1988.5276},
  doi          = {10.1109/SCT.1988.5276},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/Condon88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CondonL86,
  author       = {Anne Condon and
                  Richard E. Ladner},
  editor       = {Alan L. Selman},
  title        = {Probabilistic Game Automata},
  booktitle    = {Structure in Complexity Theory, Proceedings of the Conference hold
                  at the University of California, Berkeley, California, USA, June 2-5,
                  1986},
  series       = {Lecture Notes in Computer Science},
  volume       = {223},
  pages        = {144--162},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16486-3\_95},
  doi          = {10.1007/3-540-16486-3\_95},
  timestamp    = {Thu, 02 Feb 2023 13:27:01 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/CondonL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics