Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Anne Condon
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.