Search results for: Katherine St. John
Lecture Notes in Computer Science > STACS 98 > 94-104
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Applications of SAT > 4-17
Bulletin of Mathematical Biology > 2016 > 78 > 5 > 1058-1075
Bulletin of Mathematical Biology > 2016 > 78 > 5 > 961-969
Theoretical Computer Science > 2013 > 513 > Complete > 129-136
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2013 > 10 > 4 > 1076 - 1079
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2013 > 10 > 1 > 236 - 239
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2012 > 9 > 1 > 273 - 285
Information Processing Letters > 2011 > 111 > 12 > 600-604
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2010 > 7 > 4 > 588 - 597
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2010 > 7 > 3 > 572 - 576
Information Processing Letters > 2009 > 109 > 16 > 918-922
Annals of Pure and Applied Logic > 2008 > 152 > 1-3 > 174-179
Information Processing Letters > 2007 > 103 > 2 > 61-65
Electronic Notes in Theoretical Computer Science > 2006 > 143 > Complete > 197-206
Journal of Algorithms > 2003 > 48 > 1 > 173-193