Robert W. McGrail
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2006–2020
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SYNASC | Knot Coloring as Verification. | Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda |
| 2018 | SYNASC | A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. | Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi |
| 2015 | WoLLIC | The Word Problem for Finitely Presented Quandles is Undecidable. | James M. Belk, Robert W. McGrail |
| 2014 | SYNASC | CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups. | Robert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish |
| 2013 | SYNASC | Deciding Conjugacy in Thompson's Group F in Linear Time. | Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci |
| 2007 | FlAIRS | TICK: A Content Management System Framework for Semantic Web Research and Instruction. | Robert W. McGrail, S. Rebecca Thomas |
| 2006 | FlAIRS | Sorting the Sortable from the Unsortable. | Tracey Baldwin McGrail, Robert W. McGrail |