Anne Condon

	2009
80		Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Stepwise randomized combinatorial auctions achieve revenue monotonicity. SODA 2009: 738-747
79		Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu: Algorithms for distributional and adversarial pipelined filter ordering problems. ACM Transactions on Algorithms 5(2): (2009)
78		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
77		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
76		Anne Condon: Computational Challenges and Opportunities in the Design of Unconventional Machines from Nucleic Acids. UC 2008: 6
75		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
74		Mirela Andronescu, Vera Bereg, Holger H. Hoos, Anne Condon: RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database. BMC Bioinformatics 9: (2008)
73		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
72		Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Revenue Monotonicity in Combinatorial Auctions. AAAI 2007: 122-127
71		Chris Thachuk, Anne Condon: On the Design of Oligos for Gene Synthesis. BIBE 2007: 123-130
70		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
69		Hosna Jabbari, Anne Condon, Ana Pop, Cristina Pop, Yinglei Zhao: HFold: RNA Pseudoknotted Secondary Structure Prediction Using Hierarchical Folding. WABI 2007: 323-334
68		Rosalía Aguirre-Hernández, Holger H. Hoos, Anne Condon: Computational RNA secondary structure design: empirical complexity and improved methods. BMC Bioinformatics 8: (2007)
67		Baharak Rastegari, Anne Condon: Parsing Nucleic Acid Pseudoknotted Secondary Structure: Algorithm and Applications. Journal of Computational Biology 14(1): 16-32 (2007)
66		Baharak Rastegari, Anne Condon, Kevin Leyton-Brown: Revenue monotonicity in combinatorial auctions. SIGecom Exchanges 7(1): 45-47 (2007)
	2006
65		Anne Condon: RNA Molecules: Glimpses Through an Algorithmic Lens. LATIN 2006: 8-10
64		Mirela Andronescu, Anne Condon: Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set. Nanotechnology: Science and Computation 2006: 121-135
63		Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu: Flow algorithms for two pipelined filter ordering problems. PODS 2006: 193-202
	2005
62		Baharak Rastegari, Anne Condon: Linear Time Algorithm for Parsing RNA Secondary Structure. WABI 2005: 341-352
	2004
61		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
60		Anne Condon: Guest editor's foreword. J. Comput. Syst. Sci. 69(1): 1-2 (2004)
59		Anne Condon, Beth Davy, Baharak Rastegari, Shelly Zhao, Finbarr Tarrant: Classifying RNA pseudoknotted structures. Theor. Comput. Sci. 320(1): 35-50 (2004)
	2003
58		Anne Condon: Problems on RNA Secondary Structure Prediction and Design. ICALP 2003: 22-32
57		Jesse D. Bingham, Anne Condon, Alan J. Hu: Toward a decidable notion of sequential consistency. SPAA 2003: 304-313
56		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)
55		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)
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)
53		Anne Condon, Alan J. Hu: Automatable Verification of Sequential Consistency. Theory Comput. Syst. 36(5): 431-460 (2003)
	2002
52		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
51		Christine E. Heitsch, Anne Condon, Holger H. Hoos: From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. DNA 2002: 215-228
50		Dan C. Tulpan, Holger H. Hoos, Anne Condon: Stochastic Local Search Algorithms for DNA Word Design. DNA 2002: 229-241
49		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)
48		Arwen Brenneman, Anne Condon: Strand design for biomolecular computation. Theor. Comput. Sci. 287(1): 39-58 (2002)
47		Mitsunori 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
45		Anne 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
41		Anne 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
39		Mark D. Hill, Anne Condon, Manoj Plakal, Daniel J. Sorin: A System-Level Specification Framework for I/O Architectures. SPAA 1999: 138-147
	1998
38		Manoj 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
32		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
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
30		Eric Bach, Anne Condon, Elton Glaser, Celena Tanguay: DNA Models and Algorithms for NP-complete Problems. IEEE Conference on Computational Complexity 1996: 290-300
29		Sun Chung, Anne Condon: Parallel Implementation of Borvka's Minimum Spanning Tree Algorithm. IPPS 1996: 302-308
28		Gary 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
25		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)
24		Anne Condon, Richard E. Ladner: Interactive Proof Systems with Polynomially Bounded Strategies. J. Comput. Syst. Sci. 50(3): 506-518 (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	[26] [36]
2	Rosalía Aguirre-Hernández	[54] [68]
3	Mirela Andronescu	[52] [54] [55] [64] [70] [74]
4	Eric Bach	[16] [28] [30] [35]
5	Vera Bereg	[74]
6	Jesse D. Bingham	[57] [61]
7	Christina Björkman	[75]
8	Arwen Brenneman	[48]
9	Jin-yi Cai	[4] [5] [7] [9] [19]
10	Weiping Cai	[32]
11	Sun Chung	[29]
12	Barry Cohen	[52] [55]
13	Joanne McGrath Cohoon	[75]
14	Robert M. Corn	[32] [34] [44]
15	Annemieke Craig	[75]
16	Rhian Davies	[75]
17	Beth Davy	[59]
18	Danielle Dees	[52] [55]
19	Amol Deshpande	[63] [79]
20	Zhengdong Fei	[32]
21	Joan Feigenbaum	[15] [22] [25] [31]
22	Tony Frutos	[32] [34]
23	Paula Gabbert	[75]
24	Vashti Galpin (Vashti C. Galpin)	[75]
25	Elton Glaser	[30] [32] [35]
26	Zhen Guo	[32]
27	Denise W. Gürer	[75]
28	Mark S. Hancock	[75]
29	Steve Hanks	[42] [56]
30	Christine E. Heitsch	[51]
31	Lisa Hellerstein	[23] [33] [63] [79]
32	Diane Hernek	[17] [18]
33	Mark D. Hill	[38] [39] [41] [49]
34	Holger H. Hoos (Holger Hoos)	[50] [51] [54] [68] [70] [74]
35	Alan J. Hu	[45] [53] [57] [61]
36	Hosna Jabbari	[69] [73] [78]
37	Richard M. Karp	[40] [43]
38	Richard E. Ladner	[1] [2] [11] [24] [27]
39	Max G. Lagally	[32] [34]
40	Jordan Lampe	[27]
41	Gary Lewandowski	[16] [28]
42	Kevin Leyton-Brown	[66] [72] [80]
43	Jennifer Light	[75]
44	Richard J. Lipton	[3] [4] [5] [7] [9] [19]
45	Qinghua Liu	[32] [34]
46	Carsten Lund	[15] [22] [25] [31]
47	Omid Madani	[42] [56]
48	Ján Manuch	[77]
49	Amit Marathe	[44]
50	Milo M. K. Martin	[49]
51	Ursula Martin	[75]
52	David H. Mathews	[70]
53	Mary Melekopoglou	[20]
54	Kevin P. Murphy	[70]
55	Lata Narayanan	[37]
56	Mitsunori Ogihara (Mitsunori Ogiwara)	[47]
57	Manoj Plakal	[38] [39] [41] [49]
58	Margit Pohl	[75]
59	Ana Pop	[69]
60	Cristina Pop	[69]
61	Samuel Pottle	[23] [33]
62	Shaz Qadeer	[61]
63	Baharak Rastegari	[59] [62] [66] [67] [72] [80]
64	Grzegorz Rozenberg	[46]
65	Peter W. Shor	[15] [22] [25] [31]
66	Rakesh K. Sinha	[27]
67	Steven Skiena	[52] [55]
68	Laura Slaybaugh	[52] [55]
69	Lloyd M. Smith	[32] [34]
70	Daniel J. Sorin	[38] [39] [41] [49]
71	Ellen Spertus	[75]
72	M. Suriya	[75]
73	Celena Tanguay	[30] [35]
74	Finbarr Tarrant	[59]
75	Chris Thachuk	[71] [77]
76	Andrew Thiel	[32] [34]
77	Gloria Childress Townsend	[75]
78	Dan C. Tulpan	[50]
79	Avi Wigderson	[23] [33]
80	Sylvia Wiltner	[75]
81	David A. Wood	[49]
82	Ning Wu	[63] [79]
83	Zhichuan Zhang	[61]
84	Shelly Zhao	[59] [73]
85	Yinglei Zhao	[52] [55] [69]

Colors in the list of coauthors