Skip to content

Harry B. Hunt III

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

32

Venues

18

Active years

1973–2007

Best venue rank

A*

Where they publish

Papers

32 indexed papers, newest first.

YearVenueTitleAuthors
2007IJCAIComputational Aspects of Analyzing Social Network Dynamics.Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur
2001ISSACStrongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures.Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns
2001MFCSAnalysis Problems for Sequential Dynamical Systems and Communicating State Machines.Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
1999PDPTAExperimental Construction of a Fine-Grained Polyalgorithm for the FFT.Harry B. Hunt III, Lenore M. R. Mullin
1996CAVHORNSAT, Model Checking, Verification and games (Extended Abstract).Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz
1996ICALPOn the Complexity of Relational Problems for Finite State Processes (Extended Abstract).Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns
1996PODCI/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns
1995ICALPBicriteria Network Design Problems.Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
1994ESAA Unified Approach to Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs.Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
1994STOCApproximation schemes for PSPACE-complete problems for succinct specifications (preliminary version).Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
1993ICALPThe Complexity of Approximating PSPACE-Complete Problems for Hierarchical Specifications (Extended Abstract).Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi
1993ICCIEfficient Approximation Algorithms for Domatic Partition and On-Line Coloring of Circular Arc Graphs.Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi
1993STOCMany birds with one stone: multi-objective approximation algorithms.R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
1993WGHierarchical Specified Unit Disk Graphs (Extended Abstract).Madhav V. Marathe, Venkatesh Radhakrishnan, Harry B. Hunt III, S. S. Ravi
1992STACSEfficient Algorithms for Solving Systems of Linear Equations and Path Problems.Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns
1989ICPPCompaction of Message Patterns into Space-Efficient Representations for Multiprocessor Interconnection Networks.Philip J. Bernhard, Harry B. Hunt III, Daniel J. Rosenkrantz
1986ITCOn the Computation of Detection Probability for Multiple Faults.Sreejit Chakravarty, Harry B. Hunt III
1986STACSMonotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).Harry B. Hunt III, Richard Edwin Stearns
1981FOCSOn the Equivalence and Containment Problems for Unambiguous Regular Expressions, Grammars, and AutomataRichard Edwin Stearns, Harry B. Hunt III
1980FOCSThe Complexity of Recursion Schemes and Recursive Programming Languages (Extended Abstract)Harry B. Hunt III, Daniel J. Rosenkrantz
1980POPLEfficient Algorithms for Structural Similarity of Grammars.Harry B. Hunt III, Daniel J. Rosenkrantz
1980VLDBProcessing Conjunctive Predicates and Queries.Daniel J. Rosenkrantz, Harry B. Hunt III
1979SIGMODThe Complexity of Testing Predicate Locks.Harry B. Hunt III, Daniel J. Rosenkrantz
1976POPLA Complexity Theory of Grammar Problems.Harry B. Hunt III
1976STOCDichotomization, Reachability, and the Forbidden Subgraph Problem (Extended Abstract)Harry B. Hunt III, Thomas G. Szymanski
1975FOCSEconomy of Descriptions by Parsers, DPDA's, and PDA'sMatthew M. Geller, Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
1975FOCSDecidability of Equivalence, Containment, Intersection, and Separability of Context-Free Languages (Extended Abstract)Harry B. Hunt III, J. L. Rangel
1975POPLOn the Complexity of LR(k) Testing.Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
1975STOCOn the Complexity of Grammar and Related ProblemsHarry B. Hunt III, Thomas G. Szymanski
1974FOCSOperations on Sparse Relations and Efficient Algorithms for Grammar Problems (Extended Abstract)Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
1974STOCComputational Parallels between the Regular and Context-Free LanguagesHarry B. Hunt III, Daniel J. Rosenkrantz
1973STOCOn the Time and Tape Complexity of Languages IHarry B. Hunt III