Anne Condon

	2012
90		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 28(2): 167-175 (2012)
89		Anne Condon, Ján Manuch, Chris Thachuk: The complexity of string partitioning CoRR abs/1204.2201: (2012)
	2011
88		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: 84-99
87		Anne Condon, Chris Thachuk: Efficient Codon Optimization with Motif Engineering. IWOCA 2011: 337-348
86		Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions. Artif. Intell. 175(2): 441-456 (2011)
85		Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon: NP-completeness of the energy barrier problem without pseudoknots and temporary arcs. Natural Computing 10(1): 391-405 (2011)
	2010
84		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: 108-119
	2009
83		Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon: NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots. DNA 2009: 106-115
82		Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Stepwise randomized combinatorial auctions achieve revenue monotonicity. SODA 2009: 738-747
81		Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu: Algorithms for distributional and adversarial pipelined filter ordering problems. ACM Transactions on Algorithms 5(2): (2009)
80		Anne Condon, Hosna Jabbari: Computational prediction of nucleic acid secondary structure: Methods, applications, and challenges. Theor. Comput. Sci. 410(4-5): 294-301 (2009)
	2008
79		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: 265-275
78		Anne Condon: Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids. UC 2008: 6
77		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
76		Mirela Andronescu, Vera Bereg, Holger H. Hoos, Anne Condon: RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database. BMC Bioinformatics 9: (2008)
75		Hosna 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
74		Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Revenue Monotonicity in Combinatorial Auctions. AAAI 2007: 122-127
73		Chris Thachuk, Anne Condon: On the Design of Oligos for Gene Synthesis. BIBE 2007: 123-130
72		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: 19-28
71		Hosna Jabbari, Anne Condon, Ana Pop, Cristina Pop, Yinglei Zhao: HFold: RNA Pseudoknotted Secondary Structure Prediction Using Hierarchical Folding. WABI 2007: 323-334
70		Rosalía Aguirre-Hernández, Holger H. Hoos, Anne Condon: Computational RNA secondary structure design: empirical complexity and improved methods. BMC Bioinformatics 8: (2007)
69		Baharak Rastegari, Anne Condon: Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications. Journal of Computational Biology 14(1): 16-32 (2007)
68		Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Revenue monotonicity in combinatorial auctions. SIGecom Exchanges 7(1): 45-47 (2007)
	2006
67		Anne Condon: RNA Molecules: Glimpses Through an Algorithmic Lens. LATIN 2006: 8-10
66		Mirela Andronescu, Anne Condon: Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set. Nanotechnology: Science and Computation 2006: 121-135
65		Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu: Flow algorithms for two pipelined filter ordering problems. PODS 2006: 193-202
	2005
64		Baharak Rastegari, Anne Condon: Linear Time Algorithm for Parsing RNA Secondary Structure. WABI 2005: 341-352
	2004
63		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: 427-439
62		Anne Condon: Guest editor's foreword. J. Comput. Syst. Sci. 69(1): 1-2 (2004)
61		Anne Condon, Beth Davy, Baharak Rastegari, Shelly Zhao, Finbarr Tarrant: Classifying RNA pseudoknotted structures. Theor. Comput. Sci. 320(1): 35-50 (2004)
	2003
60		Anne Condon: Problems on RNA Secondary Structure Prediction and Design. ICALP 2003: 22-32
59		Jesse D. Bingham, Anne Condon, Alan J. Hu: Toward a decidable notion of sequential consistency. SPAA 2003: 304-313
58		Omid Madani, Steve Hanks, Anne Condon: On the undecidability of probabilistic planning and related stochastic optimization problems. Artif. Intell. 147(1-2): 5-34 (2003)
57		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 2(4): 391-415 (2003)
56		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)
55		Anne Condon, Alan J. Hu: Automatable Verification of Sequential Consistency. Theory Comput. Syst. 36(5): 431-460 (2003)
	2002
54		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: 182-195
53		Christine E. Heitsch, Anne Condon, Holger H. Hoos: From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. DNA 2002: 215-228
52		Dan C. Tulpan, Holger H. Hoos, Anne Condon: Stochastic Local Search Algorithms for DNA Word Design. DNA 2002: 229-241
51		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. 13(6): 556-578 (2002)
50		Arwen Brenneman, Anne Condon: Strand design for biomolecular computation. Theor. Comput. Sci. 287(1): 39-58 (2002)
49		Mitsunori Ogihara, Anne Condon: Guest Editors' Foreword. Theory Comput. Syst. 35(5): 469 (2002)
	2001
48		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
47		Anne Condon, Alan J. Hu: Automatable verification of sequential consistency. SPAA 2001: 113-121
46		Amit Marathe, Anne Condon, Robert M. Corn: On Combinatorial DNA Word Design. Journal of Computational Biology 8(3): 201-219 (2001)
45		Anne Condon, Richard M. Karp: Algorithms for graph partitioning on the planted partition model. Random Struct. Algorithms 18(2): 116-140 (2001)
	1999
44		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
43		Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin: Using Lamport Clocks to Reason about Relaxed Memory Models. HPCA 1999: 270-278
42		Anne Condon, Richard M. Karp: Algorithms for Graph Partitioning on the Planted Partition Model. RANDOM-APPROX 1999: 221-232
41		Mark D. Hill, Anne Condon, Manoj Plakal, Daniel J. Sorin: A System-Level Specification Framework for I/O Architectures. SPAA 1999: 138-147
	1998
40		Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D. Hill: Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. SPAA 1998: 67-76
39		Anne Condon, Lata Narayanan: Upper and Lower Bounds for Selection in the Mesh. Algorithmica 20(1): 1-30 (1998)
38		Sameet Agarwal, Anne Condon: On Approximation Algorithms for Hierarchical MAX-SAT. J. Algorithms 26(1): 141-165 (1998)
37		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)
36		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)
35		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
34		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: 67-74
33		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)
32		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 28(3): 75-93 (1997)
	1996
31		Eric Bach, Anne Condon, Elton Glaser, Celena Tanguay: DNA Models and Algorithms for NP-complete Problems. IEEE Conference on Computational Complexity 1996: 290-300
30		Sun Chung, Anne Condon: Parallel Implementation of Borvka's Minimum Spanning Tree Algorithm. IPPS 1996: 302-308
29		Gary Lewandowski, Anne Condon, Eric Bach: Asynchronous Analysis of Parallel Dynamic Programming Algorithms. IEEE Trans. Parallel Distrib. Syst. 7(4): 425-438 (1996)
28		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
27		Sameet Agarwal, Anne Condon: On Approximation Algorithms for Hierarchical MAX-SAT. Structure in Complexity Theory Conference 1995: 214-226
26		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: (1995)
25		Anne Condon, Richard E. Ladner: Interactive Proof Systems with Polynomially Bounded Strategies. J. Comput. Syst. Sci. 50(3): 506-518 (1995)
24		Anne Condon: Approximate solutions to problems in PSPACE. SIGACT News 26(2): 4-13 (1995)
	1994
23		Anne 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)
20		Mary 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
15		Anne 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
12		Anne 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
8		Anne 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
6		Anne Condon: Space-Bounded Probabilistic Game Automata. J. ACM 38(2): 472-494 (1991)
	1990
5		Jin-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

1	Sameet Agarwal	[27] [38]
2	Rosalía Aguirre-Hernández	[56] [70]
3	Mirela Andronescu	[54] [56] [57] [66] [72] [76]
4	Sam Aparicio	[90]
5	Eric Bach	[16] [29] [31] [37]
6	Ali Bashashati	[90]
7	Vera Bereg	[76]
8	Jesse D. Bingham	[59] [63]
9	Christina Björkman	[77]
10	Arwen Brenneman	[50]
11	Jin-Yi Cai (Jin-yi Cai)	[4] [5] [7] [9] [19]
12	Weiping Cai	[34]
13	Sun Chung	[30]
14	Barry Cohen	[54] [57]
15	Joanne McGrath Cohoon	[77]
16	Robert M. Corn	[34] [36] [46]
17	Annemieke Craig	[77]
18	Rhian Davies	[77]
19	Beth Davy	[61]
20	Danielle Dees	[54] [57]
21	Amol Deshpande	[65] [81]
22	Jiarui Ding	[90]
23	Zhengdong Fei	[34]
24	Joan Feigenbaum	[15] [22] [26] [33]
25	Faith Fich	[32]
26	Greg N. Frederickson	[32]
27	Tony Frutos	[34] [36]
28	Paula Gabbert	[77]
29	Vashti Galpin (Vashti C. Galpin)	[77]
30	Elton Glaser	[31] [34] [37]
31	Andrew V. Goldberg	[32]
32	Zhen Guo	[34]
33	Denise W. Gürer	[77]
34	Gholamreza Haffari	[90]
35	Mark S. Hancock	[77]
36	Steve Hanks	[44] [58]
37	Christine E. Heitsch	[53]
38	Lisa Hellerstein	[23] [35] [65] [81]
39	Diane Hernek	[17] [18]
40	Mark D. Hill	[40] [41] [43] [51]
41	Martin Hirst	[90]
42	Holger H. Hoos (Holger Hoos)	[52] [53] [56] [70] [72] [76]
43	Alan J. Hu	[47] [55] [59] [63] [88]
44	Hosna Jabbari	[71] [75] [80]
45	David S. Johnson	[32]
46	Richard M. Karp	[42] [45]
47	Richard E. Ladner	[1] [2] [11] [25] [28]
48	Max G. Lagally	[34] [36]
49	Jordan Lampe	[28]
50	Gary Lewandowski	[16] [29]
51	Kevin Leyton-Brown	[68] [74] [82] [86]
52	Jennifer Light	[77]
53	Richard J. Lipton	[3] [4] [5] [7] [9] [19]
54	Qinghua Liu	[34] [36]
55	Michael C. Loui	[32]
56	Carsten Lund	[15] [22] [26] [33]
57	Omid Madani	[44] [58]
58	Steven Mahaney	[32]
59	Ján Manuch	[79] [83] [84] [85] [88] [89]
60	Amit Marathe	[46]
61	Marco A. Marra	[90]
62	Milo M. K. Martin	[51]
63	Ursula Martin	[77]
64	David H. Mathews	[72]
65	Leigh-Anne Mathieson	[84]
66	Mary Melekopoglou	[20]
67	Kevin P. Murphy	[72]
68	Lata Narayanan	[39]
69	Mitsunori Ogihara (Mitsunori Ogiwara)	[49]
70	Arusha Oloumi	[90]
71	Manoj Plakal	[40] [41] [43] [51]
72	Margit Pohl	[77]
73	Ana Pop	[71]
74	Cristina Bianca Pop (Cristina Pop)	[71]
75	Samuel Pottle	[23] [35]
76	Shaz Qadeer	[63]
77	Arash Rafiey	[84]
78	Prabhakar Raghavan	[32]
79	Baharak Rastegari	[61] [64] [68] [69] [74] [82] [86]
80	Andrew Roth	[90]
81	Grzegorz Rozenberg	[48]
82	John E. Savage	[32]
83	Alan L. Selman	[32]
84	Sohrab P. Shah	[90]
85	David B. Shmoys	[32]
86	Peter W. Shor	[15] [22] [26] [33]
87	Rakesh K. Sinha	[28]
88	Steven Skiena	[54] [57]
89	Laura Slaybaugh	[54] [57]
90	Lloyd M. Smith	[34] [36]
91	Daniel J. Sorin	[40] [41] [43] [51]
92	Ellen Spertus	[77]
93	Ladislav Stacho	[83] [84] [85]
94	M. Suriya	[77]
95	Celena Tanguay	[31] [37]
96	Finbarr Tarrant	[61]
97	Chris Thachuk	[73] [79] [83] [84] [85] [87] [88] [89]
98	Andrew Thiel	[34] [36]
99	Gloria Childress Townsend	[77]
100	Kane Tse	[90]
101	Dan C. Tulpan	[52]
102	Avi Wigderson	[23] [35]
103	Sylvia Wiltner	[77]
104	David A. Wood	[51]
105	Ning Wu	[65] [81]
106	Thomas Zeng	[90]
107	Zhichuan Zhang	[63]
108	Shelly Zhao	[61] [75]
109	Yinglei Zhao	[54] [57] [71]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page