Anne Condon

发表

Analysis of energy-based algorithms for RNA secondary structure prediction

Monir Hajiaghayi, Anne Condon, Holger H. Hoos, 2012, BMC Bioinformatics.

The complexity of string partitioning

Ján Manuch, Anne Condon, Chris Thachuk, 2012, J. Discrete Algorithms.

On Games of Incomplete Information

Richard J. Lipton, Jin-Yi Cai, Anne Condon, 1992, Theor. Comput. Sci..

On the Complexity of the Policy Improvement Algorithm for Markov Decision Processes

Anne Condon, Mary Melekopoglou, A. Condon, 1994, INFORMS J. Comput..

RNAsoft: a suite of RNA secondary structure prediction and design software tools

Anne Condon, Holger H. Hoos, Mirela Andronescu, 2003, Nucleic Acids Res..

A fast and robust iterative algorithm for prediction of RNA pseudoknotted secondary structures

Hosna Jabbari, Anne Condon, A. Condon, 2014, BMC Bioinformatics.

Novel and Efficient RNA Secondary Structure Prediction Using Hierarchical Folding

Hosna Jabbari, Anne Condon, Shelly Zhao, 2008, J. Comput. Biol..

Simplifying Analyses of Chemical Reaction Networks for Approximate Majority

Ján Manuch, David G. Kirkpatrick, Monir Hajiaghayi, 2017, DNA.

A new algorithm for RNA secondary structure design.

Anne Condon, Frank Hutter, Mirela Andronescu, 2004, Journal of molecular biology.

A Theory of Strict P-completeness

Anne Condon, 1992, STACS.

A theory of strict P-completeness

Anne Condon, A. Condon, 1992, computational complexity.

On the Power of Finite Automata with Both Nondeterministic and Probabilistic States

Lisa Hellerstein, Avi Wigderson, Anne Condon, 1998, SIAM J. Comput..

PSPACE is provable by two provers in one round

Richard J. Lipton, Jin-Yi Cai, Anne Condon, 1991, [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference.

Space and Energy Efficient Computation with DNA Strand Displacement Systems

Anne Condon, Chris Thachuk, A. Condon, 2012, DNA.

On approximation algorithms for hierarchical MAX-SAT

Anne Condon, Sameet Agarwal, A. Condon, 1995, Proceedings of Structure in Complexity Theory. Tenth Annual IEEE Conference.

Asynchronous Analysis of Parallel Dynamic Programming Algorithms

Eric Bach, Anne Condon, Gary Lewandowski, 1996, IEEE Trans. Parallel Distributed Syst..

Molecular programming: DNA and the brain

Anne Condon, A. Condon, 2011, Nature.

Space bounded probabilistic game automata

Anne Condon, A. Condon, 1988, [1988] Proceedings. Structure in Complexity Theory Third Annual Conference.

Computational models of games

Anne Condon, A. Condon, 1989, ACM distinguished dissertations.

densityCut: an efficient and versatile topological approach for automatic clustering of biological data

Anne Condon, Sohrab P. Shah, Jiarui Ding, 2016, Bioinform..

Algorithms for distributional and adversarial pipelined filter ordering problems

Ning Wu, Lisa Hellerstein, Anne Condon, 2009, TALG.

Inferring Parameters for an Elementary Step Model of DNA Structure Kinetics with Locally Context-Dependent Arrhenius Rates

Mark W. Schmidt, Mark Schmidt, Erik Winfree, 2017, DNA.

Proceedings of the 15th International Conference on Unconventional Computation and Natural Computation - Volume 9726

Martyn Amos, Anne Condon, A. Condon, 2016 .

Feature-based classifiers for somatic mutation detection in tumour–normal paired sequencing data

Gholamreza Haffari, Anne Condon, Sohrab P. Shah, 2011, Bioinform..

Asynchronous analysis of parallel dynamic programming

Eric Bach, Anne Condon, Gary Lewandowski, 1993, SIGMETRICS '93.

Strategic directions in research in theory of computing

Andrew V. Goldberg, John E. Savage, Prabhakar Raghavan, 1996, CSUR.

HFold: RNA Pseudoknotted Secondary Structure Prediction Using Hierarchical Folding

Hosna Jabbari, Anne Condon, Cristina Bianca Pop, 2007, WABI.

DNA Computing: 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers

Grzegorz Rozenberg, Anne Condon, 2001 .

Space-bounded probabilistic game automata

Anne Condon, 1991, JACM.

On the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision Problems

Anne Condon, Omid Madani, Steve Hanks, 1999, AAAI/IAAI.

RNA Molecules: Glimpses Through an Algorithmic Lens

Anne Condon, A. Condon, 2006, LATIN.

An O(n5) Algorithm for MFE Prediction of Kissing Hairpins and 4-Chains in Nucleic Acids

Hosna Jabbari, Anne Condon, Ho-Lin Chen, 2009, J. Comput. Biol..

Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values

Alan J. Hu, Anne Condon, Jesse D. Bingham, 2004, CAV.

Automatable Verification of Sequential Consistency

Alan J. Hu, Anne Condon, 2003, Theory of Computing Systems.

On Design and Analysis of Chemical Reaction Network Algorithms

Anne Condon, 2018, CIAA.

On Approximation Algorithms for Hierarchical MAX-SAT

Anne Condon, Sameet Agarwal, 1998, J. Algorithms.

A system-level specification framework for I/O architectures

Mark D. Hill, Anne Condon, Daniel J. Sorin, 1999, SPAA '99.

Stepwise randomized combinatorial auctions achieve revenue monotonicity

Kevin Leyton-Brown, Anne Condon, Baharak Rastegari, 2009, SODA.

Efficient Parameter Estimation for DNA Kinetics Modeled as Continuous-Time Markov Chains

Mark W. Schmidt, Erik Winfree, Anne Condon, 2019, DNA.

NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots

Ján Manuch, Anne Condon, Ladislav Stacho, 2009, DNA.

Algorithms for testing that sets of DNA words concatenate without secondary structure

Steven Skiena, Anne Condon, Mirela Andronescu, 2003, Natural Computing.

Lamport Clocks: Reasoning About Shared Memory Correctness1

Mark D. Hill, Anne Condon, Daniel J. Sorin, 1999 .

Algorithms for graph partitioning on the planted partition model

Richard M. Karp, Anne Condon, R. Karp, 2001, Random Struct. Algorithms.

Automata make antisense

Anne Condon, A. Condon, 2004, Nature.

From RNA Secondary Structure to Coding Theory: A Combinatorial Approach

Anne Condon, Holger H. Hoos, Christine E. Heitsch, 2002, DNA.

Random Debaters and the Hardness of Approximating Stochastic Functions

Joan Feigenbaum, Carsten Lund, Anne Condon, 1997, SIAM J. Comput..

Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids

Anne Condon, 2008, UC.

On combinatorial DNA word design

Amit Marathe, Anne Condon, Robert M. Corn, 1999, DNA Based Computers.

The Complexity of Stochastic Games

Anne Condon, A. Condon, 1992, Inf. Comput..

Composable Computation in Leaderless, Discrete Chemical Reaction Networks

Anne Condon, Ben Chugg, Hooman Hashemi, 2020, DNA.

Probabilistically Checkable Debate Systems and Nonapproximability of PSPACE-Hard Functions

Joan Feigenbaum, Carsten Lund, Anne Condon, 1995, Chic. J. Theor. Comput. Sci..

On combinatorial DNA word design

Amit Marathe, Anne Condon, Robert M. Corn, 1999, DNA Based Computers.

Random walks on colored graphs

Anne Condon, Diane Hernek, A. Condon, 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set

Anne Condon, Mirela Andronescu, 2006, Nanotechnology: Science and Computation.

A surface-based approach to DNA computation

Qinghua Liu, Anne Condon, Lloyd M. Smith, 1996, DNA Based Computers.

Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing

Grzegorz Rozenberg, Anne Condon, A. Condon, 2000 .

Complexity of Sub-Bus Mesh Computations

Richard E. Ladner, Anne Condon, Rakesh K. Sinha, 1996, SIAM J. Comput..

Will biologists become computer scientists?

Hélène Kirchner, Damien Larivière, Anne Condon, 2018, EMBO reports.

Algorithms for graph partitioning on the planted partition model

Richard M. Karp, Anne Condon, R. Karp, 1999, Random Struct. Algorithms.

Reachability bounds for chemical reaction networks and strand displacement systems

Ján Manuch, Bonnie Kirkpatrick, Anne Condon, 2012, Natural Computing.

Revenue monotonicity in combinatorial auctions

Kevin Leyton-Brown, Anne Condon, Baharak Rastegari, 2007, SECO.

The power of surface-based DNA computation (extended abstract)

Zhen Guo, Qinghua Liu, Anne Condon, 1997, RECOMB '97.

Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure

Steven Skiena, Anne Condon, Mirela Andronescu, 2002, DNA.

A fast and robust iterative algorithm for prediction of RNA pseudoknotted secondary

Anne Condon, A. Condon, 2014 .

Parallel implementation of Bouvka's minimum spanning tree algorithm

Anne Condon, Sun Chung, A. Condon, 1996, Proceedings of International Conference on Parallel Processing.

Random Walks on Colored Graphs

Anne Condon, Diane Hernek, A. Condon, 1994, Random Struct. Algorithms.

On the Design of Oligos for Gene Synthesis

Anne Condon, Chris Thachuk, 2007, 2007 IEEE 7th International Symposium on BioInformatics and BioEngineering.

An Algorithm for the Energy Barrier Problem Without Pseudoknots and Temporary Arcs

Ján Manuch, Anne Condon, Ladislav Stacho, 2010, Pacific Symposium on Biocomputing.

Error-Free Stable Computation with Polymer-Supplemented Chemical Reaction Networks

Anne Condon, Allison Tai, 2019, DNA.

Women in Computing

Joanne McGrath Cohoon, Margit Pohl, Mark S. Hancock, 2008, Wiley Encyclopedia of Computer Science and Engineering.

Stochastic Local Search Algorithms for DNA Word Design

Anne Condon, Holger H. Hoos, Dan C. Tulpan, 2002, DNA.

Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems

Ján Manuch, Bonnie Kirkpatrick, Anne Condon, 2012, DNA.

Approximate solutions to problems in PSPACE

Anne Condon, 1995, SIGA.

The Complexity of the Max Word Problem

Anne Condon, 1991, STACS.

Toward Space- and Energy-Efficient Computations

Anne Condon, Chris Thachuk, 2019 .

Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions

Joan Feigenbaum, Carsten Lund, Anne Condon, 1993, STOC.

Random debaters and the hardness of approximating stochastic functions

Joan Feigenbaum, Carsten Lund, Anne Condon, 1994, Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory.

Toward a decidable notion of sequential consistency

Alan J. Hu, Anne Condon, Jesse D. Bingham, 2003, SPAA '03.

The Complexity of Space Boundes Interactive Proof Systems

Anne Condon, A. Condon, 1993, Complexity Theory: Current Research.

Two-sided matching with partial information

Nicole Immorlica, Kevin Leyton-Brown, Anne Condon, 2013, EC '13.

Efficient codon optimization with motif engineering

Anne Condon, Chris Thachuk, A. Condon, 2011, J. Discrete Algorithms.

Upper and lower bounds for selection on the mesh

Lata Narayanan, Anne Condon, 1994, Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed Processing.

On Low Energy Barrier Folding Pathways for Nucleic Acid Sequences

Anne Condon, Leigh-Anne Mathieson, A. Condon, 2015, DNA.

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon, 2016, Lecture Notes in Computer Science.

Automatable verification of sequential consistency

Alan J. Hu, Anne Condon, 2001, SPAA '01.

Efficient parameter estimation for RNA secondary structure prediction

Kevin P. Murphy, Anne Condon, Holger H. Hoos, 2007, ISMB/ECCB.

Guest editor's foreword

Anne Condon, 2004, J. Comput. Syst. Sci..

Problems on RNA Secondary Structure Prediction and Design

Anne Condon, A. Condon, 2003, ICALP.

The complexity of the max word problem and the power of one-way interactive proof systems

Anne Condon, 2005, computational complexity.

Interpretable dimensionality reduction of single cell transcriptome data with deep generative models

Anne Condon, Sohrab P Shah, Jiarui Ding, 2017, Nature Communications.

Strand design for biomolecular computation

Anne Condon, Arwen Brenneman, A. Condon, 2002, Theor. Comput. Sci..

On Algorithms for Simple Stochastic Games

Anne Condon, A. Condon, 1990, Advances In Computational Complexity Theory.

Session details: Session 10A

Anne Condon, 2002, STOC '02.

Interactive Proof Systems with Polynomially Bounded Strategies

Richard E. Ladner, Anne Condon, 1995, J. Comput. Syst. Sci..

Computational RNA secondary structure design: empirical complexity and improved methods

Anne Condon, Holger H. Hoos, Rosalía Aguirre-Hernández, 2007, BMC Bioinformatics.

NP-completeness of the energy barrier problem without pseudoknots and temporary arcs

Ján Manuch, Anne Condon, Ladislav Stacho, 2011, Natural Computing.

Linear Time Algorithm for Parsing RNA Secondary Structure

Anne Condon, Baharak Rastegari, A. Condon, 2005, WABI.

Experiments with parallel graph coloring heuristics and applications of graph coloring

Anne Condon, Gary Lewandowski, A. Condon, 1993, Cliques, Coloring, and Satisfiability.

Probabilistic Game Automata

Richard E. Ladner, Anne Condon, R. Ladner, 1986, J. Comput. Syst. Sci..

Interpretable dimensionality reduction of single cell transcriptome data with deep generative models

Anne Condon, Sohrab P. Shah, Jiarui Ding, 2017 .

Classifying RNA pseudoknotted structures

Anne Condon, Baharak Rastegari, Shelly Zhao, 2004, Theor. Comput. Sci..

Probabilistic Game Automata

Richard E. Ladner, Anne Condon, 1988, J. Comput. Syst. Sci..

Lamport clocks: verifying a directory cache-coherence protocol

Mark D. Hill, Anne Condon, Daniel J. Sorin, 1998, SPAA '98.

Upper and Lower Bounds for Selection on the Mesh

Lata Narayanan, Anne Condon, 1998, Algorithmica.

Interactive proof systems with polynomially bounded strategies

Richard E. Ladner, Anne Condon, R. Ladner, 1992, [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference.

Computing and Combinatorics

Kyung-Yong Chwa, J. van Leeuwen, Bernard Chazelle, 2001, Lecture Notes in Computer Science.

Complexity of a Collision-Aware String Partition Problem and Its Relation to Oligo Design for Gene Synthesis

Ján Manuch, Anne Condon, Chris Thachuk, 2008, COCOON.

Output-Oblivious Stochastic Chemical Reaction Networks

Anne Condon, Ben Chugg, Hooman Hashemi, 2018, OPODIS.

Computational prediction of nucleic acid secondary structure: Methods, applications, and challenges

Hosna Jabbari, Anne Condon, A. Condon, 2009, Theor. Comput. Sci..

On the power of finite automata with both nondeterministic and probabilistic states (preliminary version)

Lisa Hellerstein, Avi Wigderson, Anne Condon, 1994, STOC '94.

A surface-based approach to DNA computation

Zhen Guo, Qinghua Liu, Anne Condon, 1996, DNA Based Computers.

Algorithmic Bioprocesses

Arto Salomaa, Joost N. Kok, Erik Winfree, 2009, Natural Computing Series.

Efficient Codon Optimization with Motif Engineering

Anne Condon, Chris Thachuk, 2011, IWOCA.

DNA models and algorithms for NP-complete problems

Eric Bach, Anne Condon, Elton Glaser, 1996, Proceedings of Computational Complexity (Formerly Structure in Complexity Theory).

Using Lamport clocks to reason about relaxed memory models

Mark D. Hill, Anne Condon, Daniel J. Sorin, 1999, Proceedings Fifth International Symposium on High-Performance Computer Architecture.

Reasoning about optimal stable matchings under partial information

Nicole Immorlica, Kevin Leyton-Brown, Anne Condon, 2014, EC.

Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol

Milo M. K. Martin, David A. Wood, Mark D. Hill, 2002, IEEE Trans. Parallel Distributed Syst..

Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems

Ján Manuch, Alan J. Hu, Anne Condon, 2011, DNA.

Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications

Anne Condon, Baharak Rastegari, A. Condon, 2007, J. Comput. Biol..

DNA Models and Algorithms for NP-Complete Problems

Eric Bach, Anne Condon, Elton Glaser, 1998, J. Comput. Syst. Sci..

On bounded round multiprover interactive proof systems

Richard J. Lipton, Jin-Yi Cai, Anne Condon, 1990, Proceedings Fifth Annual Structure in Complexity Theory Conference.

PSPACE is provable by two provers in one round

Richard J. Lipton, Jin-Yi Cai, Anne Condon, 1991, [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference.

Power of surface-based DNA computation

Anne Condon, Weiping Cai, Robert M. Corn, 1997 .

Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Martyn Amos, Anne Condon, 2016 .

On the complexity of space bounded interactive proofs

Richard J. Lipton, Anne Condon, R. Lipton, 1989, 30th Annual Symposium on Foundations of Computer Science.

The CRA Distributed Mentor Project: Mentoring Undergraduate Women in Computer Science and Computer Engineering

Mary K. Vernon, Anne Condon, Baine B. Alexander, 2006 .

Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions

Kevin Leyton-Brown, Anne Condon, Baharak Rastegari, 2011, Artif. Intell..

Proving sequential consistency by model checking

Alan J. Hu, Anne Condon, Tim Braun, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.

Preface

Martyn Amos, Anne Condon, 2018, Natural Computing.

Flow algorithms for two pipelined filter ordering problems

Ning Wu, Lisa Hellerstein, Anne Condon, 2006, PODS '06.

Playing Games of Incomplete Information

Richard J. Lipton, Jin-Yi Cai, Anne Condon, 1990, Symposium on Theoretical Aspects of Computer Science.

Strategic directions in research in theory of computing

John E. Savage, Prabhakar Raghavan, David B. Shmoys, 1997, SIGACT News.

On the undecidability of probabilistic planning and related stochastic optimization problems

Anne Condon, Omid Madani, Steve Hanks, 2003, Artif. Intell..

RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database

Anne Condon, Holger H. Hoos, Mirela Andronescu, 2008, BMC Bioinformatics.

Guest Editors’ Foreword

Mitsunori Ogihara, Anne Condon, 2002, Theory of Computing Systems.

Design of nucleic acid strands with long low-barrier folding pathways

Ján Manuch, Bonnie Kirkpatrick, Anne Condon, 2017, Natural Computing.

Factorization and pseudofactorization of weighted graphs pdf

Anne Condon, Mark Bathe, Virginia Vassilevska Williams, 2021, Discret. Appl. Math..

Isometric Hamming embeddings of weighted graphs pdf

Anne Condon, Mark Bathe, Virginia Vassilevska Williams, 2021, Discret. Appl. Math..

The pathway elaboration method for mean first passage time estimation in large continuous-time Markov chains with applications to nucleic acid kinetics

Mark W. Schmidt, Erik Winfree, Anne Condon, 2021, 2101.03657.

Predicting Minimum Free Energy Structures of Multi-Stranded Nucleic Acid Complexes Is APX-Hard

Monir Hajiaghayi, Anne Condon, Chris Thachuk, 2021, DNA.

Multiple word DNA computing on surfaces

Anne Condon, Lloyd M. Smith, Robert M. Corn, 2000 .

Designed DNA molecules: principles and applications of molecular nanotechnology

Anne Condon, A. Condon, 2006, Nature Reviews Genetics.

A new model for approximating RNA folding trajectories and population kinetics

Bonnie Kirkpatrick, Monir Hajiaghayi, Anne Condon, 2013 .

A thermodynamic approach to designing structure-free combinatorial DNA word sets

Anne Condon, Holger H. Hoos, Michael R. Shortreed, 2005, Nucleic acids research.

A limit theorem for sets of stochastic matrices

Anne Condon, Michael Saks, 2004 .

The determination of RNA folding nearest neighbor parameters.

Anne Condon, Mirela Andronescu, David H Mathews, 2014, Methods in molecular biology.