RESEARCH AND TEACHING INTERESTS
- Theoretical computer science
- Algorithm design and analysis
- Graph theory and algorithms
- Parallel and distributed computation
- Data structures
- Discrete mathematics
- Combinatorial optimization
- Programming languages
- Compilation and parsing
- Formal languages and machines
- Computational complexity
EXPERIENCE
- Associate Professor, Computer Science, University of
Alabama, 1995-present
- Assistant Professor, Computer Science, University of
Alabama, 1989-95
EDUCATION
- Ph.D. Information and Computer Science, Georgia Tech, 1988
- M.S. Information and Computer Science, Georgia Tech, 1986
- M.S. Computer Science, University of Alabama, 1984
- B.S. Mathematics, University of Alabama, Summa Cum Laude, 1983
RECENT COURSES
RESEARCH REVIEW
Dr. Borie's recent research concentration has been in the design of
algorithms for difficult graph problems that are NP-complete in general, but
which can be efficiently solved on certain structured classes of graphs. He has
determined sufficient conditions such that, given a type of problem and a
structural graph property, an efficient sequential algorithm can be
automatically derived. He has also developed fast parallel algorithms for many
of the same problems, requiring only polylogarithmic time using a polynomial
number of processors.
SELECTED PUBLICATIONS
-
R. Borie, R. Parker, C. Tovey, “Solving Problems on Recursively Constructed
Graphs”, Computing Surveys 41 (2009), to appear.
-
K. Chen, H. Chen, R. Borie, J. Liu, “Mathematical Modeling and Integer
Programming
for File Allocation Problems in Video-on-Demand Systems”, to appear.
-
Q. Fang, M. Lei, S. Vrbsky, R. Borie, “Scheduling On-Demand Broadcast with
Timing Constraints”, to appear.
- R. Borie, J. Johnson, V. Raghavan, J. Spinrad, "Robust Polynomial Time
Algorithms on Clique-Width k Graphs'', to appear.
- R. Borie, R. Parker, C. Tovey, "Recursively Constructed Graphs", section
2.4 in CRC Handbook on Graph Theory, 2003, 99-118.
- R. Borie, R. Parker, C. Tovey, "Algorithms on Recursively Constructed
Graphs", section 10.4 in CRC Handbook on Graph Theory, 2003,
1046-1066.
- R. Borie, R. Parker, C. Tovey, "Solving Problems on Recursively
Constructed Graphs", technical report (download).
- S. Horton, R. Parker, R. Borie, "On Cuts of Bounded Order and the Linear
Arrangement Problem'', Discrete Applied Mathematics 103 (2000), 127-139.
- R. Borie, J. Spinrad, "Construction of a Simple Elimination Scheme for a Chordal Comparability Graph in Linear Time", Discrete Applied
Mathematics 91 (1999), 287-292. Also
appears in the special volume, Discrete Applied Mathematics, Editors’
Choice (1999).
- M. Kortright, R. Borie, "Applying Recursively Decomposable Graph
Techniques to Non-Graph Problems'', Congressus Numerantium 134 (1998),
11-34.
- M. Kortright, A Gupta, R. Borie, "Fast Parallel Algorithms for the
Balanced Decomposition of Series-Parallel Graphs'', Congressus Numerantium
134 (1998), 193-218.
- A. Parrish, D. Cordes, R. Borie, S. Edara,, "Illustrating Client and
Implementation Readability Tradeoffs in Ada and C++," Software Practice
and Experience 26 (1996), 799-814.
- R. Borie, "Generation of Polynomial Time Algorithms for Some
Optimization Problems on Tree-Decomposable Graphs," Algorithmica 14
(1995), 123-137.
- A. Parrish, R. Borie, D. Cordes, "Automated Flowgraph-Based Testing
of Object-Oriented Software Modules," Journal of Systems and Software
23 (1993), 95-109.
- R. Borie, A. Gupta, "Balanced Decompositions for Partial
k-Trees," Congressus Numerantium 98 (1993), 33-38.
- R. Borie, A. Parrish, M. Srinivas, "Lock-and-Key Strategies for
Handling Undefined Variables," Software Practice and Experience 23
(1993), 693-710.
- R. Borie, R. Parker, C. Tovey, "Automatic Generation of Linear Time
Algorithms from Predicate Calculus Descriptions of Problems on Recursively
Constructed Graph Families," Algorithmica 7 (1992), 555-581.
- S. Horton, R. Parker, R. Borie, "On Some Results Pertaining to Halin
Graphs," Congressus Numerantium 89 (1992), 65-87.
- R. Borie, R. Parker, C. Tovey, "Algorithms for Recognition of Regular
Properties and Decomposition of Recursive Graph Families," Annals of
Operations Research 33 (1991), 127-149.
- R. Borie, R. Parker, C. Tovey, "Deterministic Decomposition of
Recursive Graph Classes," SIAM Journal of Discrete Mathematics 4
(1991), 481-501.
- R. Borie, "Polynomial Time Algorithms for Recursive Graph
Classes," Congressus Numerantium 85 (1991), 219-234.
- R. Borie, "Recursively Constructed Graph Families: Membership and
Linear Algorithms," Ph.D. Dissertation, Georgia Institute of Technology
(1988).
OTHER INTERESTS
- Ballroom dancing [I've formerly taught at both
Arthur Murray and
Fred Astaire dance studios]
- Beagles
- Numerical and word puzzles
- Chess and other games of strategy
- World coins
- Golf
- Bama football and basketball, Braves baseball