| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiarui Ding, Ali Bashashati, Andrew Roth, Arusha Oloumi, Kane Tse, Thomas Zeng, Gholamreza Haffari, Martin Hirst, Marco A. Marra, Anne Condon, Sam Aparicio, Sohrab P. Shah |
Feature-based classifiers for somatic mutation detection in tumour-normal paired sequencing data.  |
Bioinformatics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Ján Manuch, Chris Thachuk |
The complexity of string partitioning |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon |
NP-completeness of the energy barrier problem without pseudoknots and temporary arcs. |
Natural Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Baharak Rastegari, Anne Condon, Kevin Leyton-Brown |
Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Alan J. Hu, Ján Manuch, Chris Thachuk |
Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems. |
DNA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Chris Thachuk |
Efficient Codon Optimization with Motif Engineering. |
IWOCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Thachuk, Ján Manuch, Arash Rafiey, Leigh-Anne Mathieson, Ladislav Stacho, Anne Condon |
An Algorithm for the Energy Barrier Problem Without Pseudoknots and Temporary Arcs. |
Pacific Symposium on Biocomputing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Hosna Jabbari |
Computational prediction of nucleic acid secondary structure: Methods, applications, and challenges. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu |
Algorithms for distributional and adversarial pipelined filter ordering problems. |
ACM Transactions on Algorithms |
2009 |
DBLP DOI BibTeX RDF |
Pipelined filter ordering, flow algorithms, selection ordering, query optimization |
| 1 | Baharak Rastegari, Anne Condon, Kevin Leyton-Brown |
Stepwise randomized combinatorial auctions achieve revenue monotonicity. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon |
NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots. |
DNA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirela Andronescu, Vera Bereg, Holger H. Hoos, Anne Condon |
RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database. |
BMC Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hosna Jabbari, Anne Condon, Shelly Zhao |
Novel and Efficient RNA Secondary Structure Prediction Using Hierarchical Folding. |
Journal of Computational Biology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Denise W. Gürer, Jennifer Light, Christina Björkman, Rhian Davies, Mark S. Hancock, Anne Condon, Annemieke Craig, Vashti Galpin, Ursula Martin, Margit Pohl, Sylvia Wiltner, M. Suriya, Ellen Spertus, Joanne McGrath Cohoon, Gloria Childress Townsend, Paula Gabbert |
Women in Computing. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids. |
UC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Ján Manuch, Chris Thachuk |
Complexity of a Collision-Aware String Partition Problem and Its Relation to Oligo Design for Gene Synthesis. |
COCOON |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosalía Aguirre-Hernández, Holger H. Hoos, Anne Condon |
Computational RNA secondary structure design: empirical complexity and improved methods. |
BMC Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Baharak Rastegari, Anne Condon |
Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications. |
Journal of Computational Biology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Baharak Rastegari, Anne Condon, Kevin Leyton-Brown |
Revenue monotonicity in combinatorial auctions. |
SIGecom Exchanges |
2007 |
DBLP DOI BibTeX RDF |
game theory, mechanism design, combinatorial auctions, revenue |
| 1 | Chris Thachuk, Anne Condon |
On the Design of Oligos for Gene Synthesis. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hosna Jabbari, Anne Condon, Ana Pop, Cristina Pop, Yinglei Zhao |
HFold: RNA Pseudoknotted Secondary Structure Prediction Using Hierarchical Folding. |
WABI |
2007 |
DBLP DOI BibTeX RDF |
Secondary Structure Prediction, Folding Pathways, Hierarchical Folding, RNA, Pseudoknot |
| 1 | Mirela Andronescu, Anne Condon, Holger H. Hoos, David H. Mathews, Kevin P. Murphy |
Efficient parameter estimation for RNA secondary structure prediction. |
ISMB/ECCB (Supplement of Bioinformatics) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Baharak Rastegari, Anne Condon, Kevin Leyton-Brown |
Revenue Monotonicity in Combinatorial Auctions. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mirela Andronescu, Anne Condon |
Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set. |
Nanotechnology: Science and Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
RNA Molecules: Glimpses Through an Algorithmic Lens. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu |
Flow algorithms for two pipelined filter ordering problems. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
flow algorithms, pipelined filter ordering, selection ordering, query optimization |
| 1 | Baharak Rastegari, Anne Condon |
Linear Time Algorithm for Parsing RNA Secondary Structure. |
WABI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Beth Davy, Baharak Rastegari, Shelly Zhao, Finbarr Tarrant |
Classifying RNA pseudoknotted structures. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
Guest editor's foreword. |
J. Comput. Syst. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang |
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirela Andronescu, Danielle Dees, Laura Slaybaugh, Yinglei Zhao, Anne Condon, Barry Cohen, Steven Skiena |
Algorithms for testing that sets of DNA words concatenate without secondary structure. |
Natural Computing |
2003 |
DBLP DOI BibTeX RDF |
testing DNA word sets, RNA secondary structure |
| 1 | Anne Condon, Alan J. Hu |
Automatable Verification of Sequential Consistency. |
Theory Comput. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Omid Madani, Steve Hanks, Anne Condon |
On the undecidability of probabilistic planning and related stochastic optimization problems. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirela Andronescu, Rosalía Aguirre-Hernández, Anne Condon, Holger H. Hoos |
RNAsoft: a suite of RNA secondary structure prediction and design software tools. |
Nucleic Acids Research |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
Problems on RNA Secondary Structure Prediction and Design. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse D. Bingham, Anne Condon, Alan J. Hu |
Toward a decidable notion of sequential consistency. |
SPAA |
2003 |
DBLP DOI BibTeX RDF |
shared memory systems, memory model, sequential consistency |
| 1 | Arwen Brenneman, Anne Condon |
Strand design for biomolecular computation. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood |
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. |
IEEE Trans. Parallel Distrib. Syst. |
2002 |
DBLP DOI BibTeX RDF |
multicast snooping, Cache coherence, protocol verification, protocol specification, memory consistency |
| 1 | Mitsunori Ogihara, Anne Condon |
Guest Editors' Foreword. |
Theory Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirela Andronescu, Danielle Dees, Laura Slaybaugh, Yinglei Zhao, Anne Condon, Barry Cohen, Steven Skiena |
Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure. |
DNA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan C. Tulpan, Holger H. Hoos, Anne Condon |
Stochastic Local Search Algorithms for DNA Word Design. |
DNA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine E. Heitsch, Anne Condon, Holger H. Hoos |
From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. |
DNA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Marathe, Anne Condon, Robert M. Corn |
On Combinatorial DNA Word Design. |
Journal of Computational Biology |
2001 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Richard M. Karp |
Algorithms for graph partitioning on the planted partition model. |
Random Struct. Algorithms |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Grzegorz Rozenberg (eds.) |
DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers |
DNA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Alan J. Hu |
Automatable verification of sequential consistency. |
SPAA |
2001 |
DBLP DOI BibTeX RDF |
model checking, memory model, sequential consistency |
| 1 | Mark D. Hill, Anne Condon, Manoj Plakal, Daniel J. Sorin |
A System-Level Specification Framework for I/O Architectures. |
SPAA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Richard M. Karp |
Algorithms for Graph Partitioning on the Planted Partition Model. |
RANDOM-APPROX |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin |
Using Lamport Clocks to Reason about Relaxed Memory Models. |
HPCA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Omid Madani, Steve Hanks, Anne Condon |
On the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision Problems. |
AAAI/IAAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Lata Narayanan |
Upper and Lower Bounds for Selection in the Mesh. |
Algorithmica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Lloyd M. Smith, Robert M. Corn, Anne Condon, Max G. Lagally, Tony Frutos, Qinghua Liu, Andrew Thiel |
A Surface-Based Approach to DNA Computation. |
Journal of Computational Biology |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sameet Agarwal, Anne Condon |
On Approximation Algorithms for Hierarchical MAX-SAT. |
J. Algorithms |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bach, Anne Condon, Elton Glaser, Celena Tanguay |
DNA Models and Algorithms for NP-Complete Problems. |
J. Comput. Syst. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Lisa Hellerstein, Samuel Pottle, Avi Wigderson |
On the Power of Finite Automata with Both Nondeterministic and Probabilistic States. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D. Hill |
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. |
SPAA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Faith Fich, Greg N. Frederickson, Andrew V. Goldberg, David S. Johnson, Michael C. Loui, Steven Mahaney, Prabhakar Raghavan, John E. Savage, Alan L. Selman, David B. Shmoys |
Strategic directions in research in theory of computing. |
SIGACT News |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor |
Random Debaters and the Hardness of Approximating Stochastic Functions. |
SIAM J. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiping Cai, Anne Condon, Robert M. Corn, Elton Glaser, Zhengdong Fei, Tony Frutos, Zhen Guo, Max G. Lagally, Qinghua Liu, Lloyd M. Smith, Andrew Thiel |
The power of surface-based DNA computation (extended abstract). |
RECOMB |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lewandowski, Anne Condon, Eric Bach |
Asynchronous Analysis of Parallel Dynamic Programming Algorithms. |
IEEE Trans. Parallel Distrib. Syst. |
1996 |
DBLP DOI BibTeX RDF |
parallel models of computation, queueing theory, analysis of algorithms, asynchronous algorithms, Parallel dynamic programming |
| 1 | Anne Condon, Richard E. Ladner, Jordan Lampe, Rakesh K. Sinha |
Complexity of Sub-Bus Mesh Computations. |
SIAM J. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Chung, Anne Condon |
Parallel Implementation of Borvka's Minimum Spanning Tree Algorithm. (PDF / PS) |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bach, Anne Condon, Elton Glaser, Celena Tanguay |
DNA Models and Algorithms for NP-complete Problems. (PDF / PS) |
IEEE Conference on Computational Complexity |
1996 |
DBLP DOI BibTeX RDF |
3Sat, 3-Coloring, Independent Set problem, DNA algorithms, genetic algorithms, computational complexity, search problems, DNA computing, DNA computation, NP-complete problems, search algorithms, NP-hard problems |
| 1 | Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor |
Probabilistically Checkable Debate Systems and Nonapproximability of PSPACE-Hard Functions. |
Chicago J. Theor. Comput. Sci. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon |
Approximate solutions to problems in PSPACE. |
SIGACT News |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Richard E. Ladner |
Interactive Proof Systems with Polynomially Bounded Strategies. |
J. Comput. Syst. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Sameet Agarwal, Anne Condon |
On Approximation Algorithms for Hierarchical MAX-SAT. |
Structure in Complexity Theory Conference |
1995 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Diane Hernek |
Random Walks on Colored Graphs. |
Random Struct. Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
A Theory of Strict P-Completeness. |
Computational Complexity |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Anne Condon, Richard J. Lipton |
PSPACE Is Provable by Two Provers in One Round. |
J. Comput. Syst. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Melekopoglou, Anne Condon |
On the Complexity of the Policy Improvement Algorithm for Markov Decision Processes. |
INFORMS Journal on Computing |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor |
Random Debaters and the Hardness of Approximating Stochastic Functions. |
Structure in Complexity Theory Conference |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Lisa Hellerstein, Samuel Pottle, Avi Wigderson |
On the power of finite automata with both nondeterministic and probabilistic states (preliminary version). |
STOC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
The Complexity of the Max Word Problem and the Power of One-Way Interactive Proof Systems. |
Computational Complexity |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Diane Hernek |
Random Walks on Colored Graphs. |
ISTCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor |
Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions. |
STOC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Lewandowski, Anne Condon, Eric Bach |
Asynchronous Analysis of Parallel Dynamic Programming. |
SIGMETRICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Anne Condon, Richard J. Lipton |
On Games of Incomplete Information. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
The Complexity of Stochastic Games |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
A Theory of Strict P-completeness. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon |
The Complexity of Space Boundes Interactive Proof Systems. |
Complexity Theory: Current Research |
1992 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Richard E. Ladner |
Interactive Proof Systems with Polynomially Bounded Strategies. |
Structure in Complexity Theory Conference |
1992 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon |
Space-Bounded Probabilistic Game Automata. |
J. ACM |
1991 |
DBLP DOI BibTeX RDF |
probabilistic game automata, interactive proof systems, Arthur-Merlin games |
| 1 | Anne Condon |
The Complexity of the Max Word Problem. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Anne Condon, Richard J. Lipton |
PSPACE Is Provable By Two Provers In One Round. |
Structure in Complexity Theory Conference |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jin-yi Cai, Anne Condon, Richard J. Lipton |
Playing Games of Incomplete Information. |
STACS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Anne Condon, Richard J. Lipton |
On Bounded Round Multi-Prover Interactive Proof Systems. |
Structure in Complexity Theory Conference |
1990 |
DBLP BibTeX RDF |
|
| 1 | Anne Condon, Richard J. Lipton |
On the Complexity of Space Bounded Interactive Proofs (Extended Abstract) |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language |
| 1 | Anne Condon, Richard E. Ladner |
Probabilistic Game Automata. |
J. Comput. Syst. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Condon, Richard E. Ladner |
Probabilistic Game Automata. |
Structure in Complexity Theory Conference |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")