Research
Read how they describe their research on their University of New Brunswick profile.
Latest funding
- $85,000
Applications of graph theory
NSERC · 2006 · Principal investigator
- $72,000
Clause trees and other applications of graph theory
NSERC · 2002 · Principal investigator
- $59,345
Automated reasoning using clause trees
NSERC · 1998 · Principal investigator
No publications available.
Applications of graph theory
Principal investigators: Horton, Joseph
Clause trees and other applications of graph theory
Principal investigators: Horton, Joseph
Automated reasoning using clause trees
Principal investigators: Horton, Joseph
Development and evalutation of automated reasoning based on clause trees
Principal investigators: Horton, Joseph
Algorithms and data structures using graphs
Principal investigators: Horton, Joseph
Graph algorithms, combinatorial designs, and convex hulls
Principal investigators: Horton, Joseph
From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.
Profile data last refreshed on September 29, 2026 from the university directory, publication records and public research funding records.