dblp.uni-trier.dewww.uni-trier.de

Anne Condon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
80EEBaharak Rastegari, Anne Condon, Kevin Leyton-Brown: Stepwise randomized combinatorial auctions achieve revenue monotonicity. SODA 2009: 738-747
79EEAnne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu: Algorithms for distributional and adversarial pipelined filter ordering problems. ACM Transactions on Algorithms 5(2): (2009)
78EEAnne Condon, Hosna Jabbari: Computational prediction of nucleic acid secondary structure: Methods, applications, and challenges. Theor. Comput. Sci. 410(4-5): 294-301 (2009)
2008
77EEAnne 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: 265-275
76EEAnne Condon: Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids. UC 2008: 6
75EEDenise 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
74EEMirela Andronescu, Vera Bereg, Holger H. Hoos, Anne Condon: RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database. BMC Bioinformatics 9: (2008)
73EEHosna Jabbari, Anne Condon, Shelly Zhao: Novel and Efficient RNA Secondary Structure Prediction Using Hierarchical Folding. Journal of Computational Biology 15(2): 139-163 (2008)
2007
72 Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Revenue Monotonicity in Combinatorial Auctions. AAAI 2007: 122-127
71EEChris Thachuk, Anne Condon: On the Design of Oligos for Gene Synthesis. BIBE 2007: 123-130
70EEMirela 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: 19-28
69EEHosna Jabbari, Anne Condon, Ana Pop, Cristina Pop, Yinglei Zhao: HFold: RNA Pseudoknotted Secondary Structure Prediction Using Hierarchical Folding. WABI 2007: 323-334
68EERosalía Aguirre-Hernández, Holger H. Hoos, Anne Condon: Computational RNA secondary structure design: empirical complexity and improved methods. BMC Bioinformatics 8: (2007)
67EEBaharak Rastegari, Anne Condon: Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications. Journal of Computational Biology 14(1): 16-32 (2007)
66EEBaharak Rastegari, Anne Condon, Kevin Leyton-Brown: Revenue monotonicity in combinatorial auctions. SIGecom Exchanges 7(1): 45-47 (2007)
2006
65EEAnne Condon: RNA Molecules: Glimpses Through an Algorithmic Lens. LATIN 2006: 8-10
64EEMirela Andronescu, Anne Condon: Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set. Nanotechnology: Science and Computation 2006: 121-135
63EEAnne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu: Flow algorithms for two pipelined filter ordering problems. PODS 2006: 193-202
2005
62EEBaharak Rastegari, Anne Condon: Linear Time Algorithm for Parsing RNA Secondary Structure. WABI 2005: 341-352
2004
61EEJesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang: Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. CAV 2004: 427-439
60EEAnne Condon: Guest editor's foreword. J. Comput. Syst. Sci. 69(1): 1-2 (2004)
59EEAnne Condon, Beth Davy, Baharak Rastegari, Shelly Zhao, Finbarr Tarrant: Classifying RNA pseudoknotted structures. Theor. Comput. Sci. 320(1): 35-50 (2004)
2003
58EEAnne Condon: Problems on RNA Secondary Structure Prediction and Design. ICALP 2003: 22-32
57EEJesse D. Bingham, Anne Condon, Alan J. Hu: Toward a decidable notion of sequential consistency. SPAA 2003: 304-313
56EEOmid Madani, Steve Hanks, Anne Condon: On the undecidability of probabilistic planning and related stochastic optimization problems. Artif. Intell. 147(1-2): 5-34 (2003)
55EEMirela 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 2(4): 391-415 (2003)
54 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 31(13): 3416-3422 (2003)
53EEAnne Condon, Alan J. Hu: Automatable Verification of Sequential Consistency. Theory Comput. Syst. 36(5): 431-460 (2003)
2002
52EEMirela 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: 182-195
51EEChristine E. Heitsch, Anne Condon, Holger H. Hoos: From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. DNA 2002: 215-228
50EEDan C. Tulpan, Holger H. Hoos, Anne Condon: Stochastic Local Search Algorithms for DNA Word Design. DNA 2002: 229-241
49EEDaniel 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. 13(6): 556-578 (2002)
48 Arwen Brenneman, Anne Condon: Strand design for biomolecular computation. Theor. Comput. Sci. 287(1): 39-58 (2002)
47EEMitsunori Ogihara, Anne Condon: Guest Editors' Foreword. Theory Comput. Syst. 35(5): 469 (2002)
2001
46 Anne Condon, Grzegorz Rozenberg: DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers Springer 2001
45EEAnne Condon, Alan J. Hu: Automatable verification of sequential consistency. SPAA 2001: 113-121
44 Amit Marathe, Anne Condon, Robert M. Corn: On Combinatorial DNA Word Design. Journal of Computational Biology 8(3): 201-219 (2001)
43 Anne Condon, Richard M. Karp: Algorithms for graph partitioning on the planted partition model. Random Struct. Algorithms 18(2): 116-140 (2001)
1999
42 Omid Madani, Steve Hanks, Anne Condon: On the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision Problems. AAAI/IAAI 1999: 541-548
41EEAnne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin: Using Lamport Clocks to Reason about Relaxed Memory Models. HPCA 1999: 270-278
40 Anne Condon, Richard M. Karp: Algorithms for Graph Partitioning on the Planted Partition Model. RANDOM-APPROX 1999: 221-232
39EEMark D. Hill, Anne Condon, Manoj Plakal, Daniel J. Sorin: A System-Level Specification Framework for I/O Architectures. SPAA 1999: 138-147
1998
38EEManoj Plakal, Daniel J. Sorin, Anne Condon, Mark D. Hill: Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. SPAA 1998: 67-76
37 Anne Condon, Lata Narayanan: Upper and Lower Bounds for Selection in the Mesh. Algorithmica 20(1): 1-30 (1998)
36 Sameet Agarwal, Anne Condon: On Approximation Algorithms for Hierarchical MAX-SAT. J. Algorithms 26(1): 141-165 (1998)
35 Eric Bach, Anne Condon, Elton Glaser, Celena Tanguay: DNA Models and Algorithms for NP-Complete Problems. J. Comput. Syst. Sci. 57(2): 172-186 (1998)
34 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 5(2): 255-266 (1998)
33 Anne Condon, Lisa Hellerstein, Samuel Pottle, Avi Wigderson: On the Power of Finite Automata with Both Nondeterministic and Probabilistic States. SIAM J. Comput. 27(3): 739-762 (1998)
1997
32EEWeiping 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: 67-74
31 Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor: Random Debaters and the Hardness of Approximating Stochastic Functions. SIAM J. Comput. 26(2): 369-400 (1997)
1996
30EEEric Bach, Anne Condon, Elton Glaser, Celena Tanguay: DNA Models and Algorithms for NP-complete Problems. IEEE Conference on Computational Complexity 1996: 290-300
29EESun Chung, Anne Condon: Parallel Implementation of Borvka's Minimum Spanning Tree Algorithm. IPPS 1996: 302-308
28EEGary Lewandowski, Anne Condon, Eric Bach: Asynchronous Analysis of Parallel Dynamic Programming Algorithms. IEEE Trans. Parallel Distrib. Syst. 7(4): 425-438 (1996)
27 Anne Condon, Richard E. Ladner, Jordan Lampe, Rakesh K. Sinha: Complexity of Sub-Bus Mesh Computations. SIAM J. Comput. 25(3): 520-539 (1996)
1995
26 Sameet Agarwal, Anne Condon: On Approximation Algorithms for Hierarchical MAX-SAT. Structure in Complexity Theory Conference 1995: 214-226
25EEAnne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor: Probabilistically Checkable Debate Systems and Nonapproximability of PSPACE-Hard Functions. Chicago J. Theor. Comput. Sci. 1995: (1995)
24 Anne Condon, Richard E. Ladner: Interactive Proof Systems with Polynomially Bounded Strategies. J. Comput. Syst. Sci. 50(3): 506-518 (1995)
1994
23EEAnne Condon, Lisa Hellerstein, Samuel Pottle, Avi Wigderson: On the power of finite automata with both nondeterministic and probabilistic states (preliminary version). STOC 1994: 676-685
22 Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor: Random Debaters and the Hardness of Approximating Stochastic Functions. Structure in Complexity Theory Conference 1994: 280-293
21 Anne Condon: A Theory of Strict P-Completeness. Computational Complexity 4: 220-241 (1994)
20EEMary Melekopoglou, Anne Condon: On the Complexity of the Policy Improvement Algorithm for Markov Decision Processes. INFORMS Journal on Computing 6(2): 188-192 (1994)
19 Jin-yi Cai, Anne Condon, Richard J. Lipton: PSPACE Is Provable by Two Provers in One Round. J. Comput. Syst. Sci. 48(1): 183-193 (1994)
18 Anne Condon, Diane Hernek: Random Walks on Colored Graphs. Random Struct. Algorithms 5(2): 285-304 (1994)
1993
17 Anne Condon, Diane Hernek: Random Walks on Colored Graphs. ISTCS 1993: 134-140
16 Gary Lewandowski, Anne Condon, Eric Bach: Asynchronous Analysis of Parallel Dynamic Programming. SIGMETRICS 1993: 268-269
15EEAnne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor: Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions. STOC 1993: 305-314
14 Anne Condon: The Complexity of the Max Word Problem and the Power of One-Way Interactive Proof Systems. Computational Complexity 3: 292-305 (1993)
1992
13 Anne Condon: The Complexity of Space Boundes Interactive Proof Systems. Complexity Theory: Current Research 1992: 147-189
12EEAnne Condon: A Theory of Strict P-completeness. STACS 1992: 33-44
11 Anne Condon, Richard E. Ladner: Interactive Proof Systems with Polynomially Bounded Strategies. Structure in Complexity Theory Conference 1992: 282-294
10 Anne Condon: The Complexity of Stochastic Games Inf. Comput. 96(2): 203-224 (1992)
9 Jin-yi Cai, Anne Condon, Richard J. Lipton: On Games of Incomplete Information. Theor. Comput. Sci. 103(1): 25-38 (1992)
1991
8EEAnne Condon: The Complexity of the Max Word Problem. STACS 1991: 456-465
7 Jin-yi Cai, Anne Condon, Richard J. Lipton: PSPACE Is Provable By Two Provers In One Round. Structure in Complexity Theory Conference 1991: 110-115
6EEAnne Condon: Space-Bounded Probabilistic Game Automata. J. ACM 38(2): 472-494 (1991)
1990
5EEJin-yi Cai, Anne Condon, Richard J. Lipton: Playing Games of Incomplete Information. STACS 1990: 58-69
4 Jin-yi Cai, Anne Condon, Richard J. Lipton: On Bounded Round Multi-Prover Interactive Proof Systems. Structure in Complexity Theory Conference 1990: 45-54
1989
3 Anne Condon, Richard J. Lipton: On the Complexity of Space Bounded Interactive Proofs (Extended Abstract) FOCS 1989: 462-467
1988
2 Anne Condon, Richard E. Ladner: Probabilistic Game Automata. J. Comput. Syst. Sci. 36(3): 452-489 (1988)
1986
1 Anne Condon, Richard E. Ladner: Probabilistic Game Automata. Structure in Complexity Theory Conference 1986: 144-162

Coauthor Index

1Sameet Agarwal [26] [36]
2Rosalía Aguirre-Hernández [54] [68]
3Mirela Andronescu [52] [54] [55] [64] [70] [74]
4Eric Bach [16] [28] [30] [35]
5Vera Bereg [74]
6Jesse D. Bingham [57] [61]
7Christina Björkman [75]
8Arwen Brenneman [48]
9Jin-yi Cai [4] [5] [7] [9] [19]
10Weiping Cai [32]
11Sun Chung [29]
12Barry Cohen [52] [55]
13Joanne McGrath Cohoon [75]
14Robert M. Corn [32] [34] [44]
15Annemieke Craig [75]
16Rhian Davies [75]
17Beth Davy [59]
18Danielle Dees [52] [55]
19Amol Deshpande [63] [79]
20Zhengdong Fei [32]
21Joan Feigenbaum [15] [22] [25] [31]
22Tony Frutos [32] [34]
23Paula Gabbert [75]
24Vashti Galpin (Vashti C. Galpin) [75]
25Elton Glaser [30] [32] [35]
26Zhen Guo [32]
27Denise W. Gürer [75]
28Mark S. Hancock [75]
29Steve Hanks [42] [56]
30Christine E. Heitsch [51]
31Lisa Hellerstein [23] [33] [63] [79]
32Diane Hernek [17] [18]
33Mark D. Hill [38] [39] [41] [49]
34Holger H. Hoos (Holger Hoos) [50] [51] [54] [68] [70] [74]
35Alan J. Hu [45] [53] [57] [61]
36Hosna Jabbari [69] [73] [78]
37Richard M. Karp [40] [43]
38Richard E. Ladner [1] [2] [11] [24] [27]
39Max G. Lagally [32] [34]
40Jordan Lampe [27]
41Gary Lewandowski [16] [28]
42Kevin Leyton-Brown [66] [72] [80]
43Jennifer Light [75]
44Richard J. Lipton [3] [4] [5] [7] [9] [19]
45Qinghua Liu [32] [34]
46Carsten Lund [15] [22] [25] [31]
47Omid Madani [42] [56]
48Ján Manuch [77]
49Amit Marathe [44]
50Milo M. K. Martin [49]
51Ursula Martin [75]
52David H. Mathews [70]
53Mary Melekopoglou [20]
54Kevin P. Murphy [70]
55Lata Narayanan [37]
56Mitsunori Ogihara (Mitsunori Ogiwara) [47]
57Manoj Plakal [38] [39] [41] [49]
58Margit Pohl [75]
59Ana Pop [69]
60Cristina Pop [69]
61Samuel Pottle [23] [33]
62Shaz Qadeer [61]
63Baharak Rastegari [59] [62] [66] [67] [72] [80]
64Grzegorz Rozenberg [46]
65Peter W. Shor [15] [22] [25] [31]
66Rakesh K. Sinha [27]
67Steven Skiena [52] [55]
68Laura Slaybaugh [52] [55]
69Lloyd M. Smith [32] [34]
70Daniel J. Sorin [38] [39] [41] [49]
71Ellen Spertus [75]
72M. Suriya [75]
73Celena Tanguay [30] [35]
74Finbarr Tarrant [59]
75Chris Thachuk [71] [77]
76Andrew Thiel [32] [34]
77Gloria Childress Townsend [75]
78Dan C. Tulpan [50]
79Avi Wigderson [23] [33]
80Sylvia Wiltner [75]
81David A. Wood [49]
82Ning Wu [63] [79]
83Zhichuan Zhang [61]
84Shelly Zhao [59] [73]
85Yinglei Zhao [52] [55] [69]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)