Factors influencing the distribution of larval blacklegged ticks on rodent hosts MT Shaw, F Keesing, R McGrail, RS Ostfeld American Journal of Tropical Medicine and Hygiene 68 (4), 447-452, 2003 | 81 | 2003 |

On the algebraic structure of declarative programming languages G Amato, J Lipton, R McGrail Theoretical Computer Science 410 (46), 4626-4671, 2009 | 32 | 2009 |

Encapsulating data in logic programming via categorical constraints J Lipton, R McGrail International Conference on Algebraic and Logic Programming, 391-410, 1998 | 12 | 1998 |

The word problem for finitely presented quandles is undecidable J Belk, RW McGrail Logic, Language, Information, and Computation: 22nd International Workshop …, 2015 | 5 | 2015 |

CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups RW McGrail, J Belk, S Garber, J Wood, B Fish 2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014 | 3 | 2014 |

Implementation of a solution to the conjugacy problem in Thompson's group F J Belk, N Hossain, F Matucci, R McGrail ACM Communications in Computer Algebra 47 (3/4), 120-121, 2014 | 3 | 2014 |

Tricolorable torus knots are NP-complete P Golbus, RW McGrail, T Przytycki, M Sharac, A Chakarov Proceedings of the 47th Annual Southeast Regional Conference, 1-6, 2009 | 3 | 2009 |

Monads, predicates, and categorical logic programming RW McGrail Wesleyan University, 1999 | 3 | 1999 |

Knot Coloring as Verification RW McGrail, TT Nguyen, MS Granda 2020 22nd International Symposium on Symbolic and Numeric Algorithms for …, 2020 | 2 | 2020 |

A terminating and confluent term rewriting system for the pure equational theory of quandles RW McGrail, TT Nguyen, TTT Tran, A Tripathi 2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018 | 2 | 2018 |

Deciding Conjugacy in Thompson's Group F in Linear Time N Hossain, RW McGrail, J Belk, F Matucci 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 1 | 2013 |

Tricoloring as a corrective measure RW McGrail, M Sharac ACM Commun. Comput. Algebra 42 (1-2), 83-85, 2008 | 1 | 2008 |

A grading dilemma or the abyss between sorting and the knapsack problem RW McGrail, TB McGrail Journal of Computing Sciences in Colleges 19 (5), 97-107, 2004 | 1 | 2004 |

The Genome Generator: Simulating the development of junk DNA RW McGrail, SR Thomas, M Tibbetts Journal of Computing Sciences in Colleges 18 (5), 72-84, 2003 | 1 | 2003 |

Toward an Ontology for Finite Algebras. B Manoim, RW McGrail ISWC (Posters & Demos), 2008 | | 2008 |

TICK: A Content Management System Framework for Semantic Web Research and Instruction. RW McGrail, SR Thomas FLAIRS, 335-336, 2007 | | 2007 |

Sorting the Sortable from the Unsortable. TB McGrail, RW McGrail FLAIRS, 209-213, 2006 | | 2006 |

Deconstructing the" math-science quest for solutions" website via logic programming RW McGrail, B Brody Journal of Computing Sciences in Colleges 20 (3), 188-197, 2005 | | 2005 |

2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)| 978-1-7281-7628-4/20/$31.00© 2020 IEEE| DOI: 10.1109/SYNASC51798. 2020.00058 B Al Asaad, E Amaldi, D Ardagna, T Ayoub, I Baják, T Balla, ... | | |

Ferrarotti, Flavio 133 Gaianu, Mihail 347 Galis, Darius 368 Gavrilut, Dragos Teodor 223, 280, 425, 430 D Gil, IM Artinescu, C Atens, C Badica, G Balan, AM Balint, S Balint, ... | | |