Robert W. McGrail

According to our database, Robert W. McGrail authored at least 16 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Knot Coloring as Verification.

Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

2018

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

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

2015

The Word Problem for Finitely Presented Quandles is Undecidable.

James M. Belk, Robert W. McGrail

Proceedings of the Logic, Language, Information, and Computation, 2015

2014

CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups.

Robert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

2013

Implementation of a solution to the conjugacy problem in Thompson's group F.

James M. Belk, Nabil Hossain, Francesco Matucci, Robert W. McGrail

ACM Commun. Comput. Algebra, 2013

Deciding Conjugacy in Thompson's Group F in Linear Time.

Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2009

On the algebraic structure of declarative programming languages.

Gianluca Amato, James Lipton, Robert W. McGrail

Theor. Comput. Sci., 2009

Tricolorable torus knots are NP-complete.

Peter B. Golbus, Robert W. McGrail, Tomasz Przytycki, Mary Sharac, Aleksandar Chakarov

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Tricoloring as a corrective measure (abstract only).

Robert W. McGrail, Mary Sharac

ACM Commun. Comput. Algebra, 2008

Toward an Ontology for Finite Algebras.

Bella Manoim, Robert W. McGrail

Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

2007

TICK: A Content Management System Framework for Semantic Web Research and Instruction.

Robert W. McGrail, S. Rebecca Thomas

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006

Sorting the Sortable from the Unsortable.

Tracey Baldwin McGrail, Robert W. McGrail

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

2005

Deconstructing the "math-science quest for solutions" website via logic programming.

Robert W. McGrail, Burton Brody

J. Comput. Sci. Coll., 2005

2004

A grading dilemma or the abyss between sorting and the knapsack problem.

Robert W. McGrail, Tracey Baldwin McGrail

J. Comput. Sci. Coll., 2004

2003

The genome generator: simulating the development of junk DNA.

Robert W. McGrail, S. Rebecca Thomas, Michael Tibbetts

J. Comput. Sci. Coll., 2003

1998

Encapsulating Data in Logic Programming via Categorial Constraints.

James Lipton, Robert W. McGrail

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998