Harry B. Hunt
发表
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1998,
J. Algorithms.
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1995,
Satisfiability Problem: Theory and Applications.
Harry B. Hunt,
Richard Edwin Stearns,
2013,
Fundamental Problems in Computing.
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1993,
WG.
Harry B. Hunt,
Juris Hartmanis,
1973
.
Sandeep K. Shukla,
Harry B. Hunt,
Daniel J. Rosenkrantz,
1996,
ICALP.
Harry B. Hunt,
Daniel J. Rosenkrantz,
1979,
SIGMOD '79.
Harry B. Hunt,
Madhav V. Marathe,
2005
.
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
2001,
Electron. Notes Discret. Math..
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
1998,
FOCS 1998.
Harry B. Hunt,
Jeffrey D. Ullman,
Thomas G. Szymanski,
1975,
16th Annual Symposium on Foundations of Computer Science (sfcs 1975).
Harry B. Hunt,
Daniel J. Rosenkrantz,
Peter A. Bloniarz,
1984,
JACM.
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1991,
Theoretical Studies in Computer Science.
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
2001,
ISSAC '01.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2003,
DMCS.
Harry B. Hunt,
Daniel J. Rosenkrantz,
1988,
Inf. Process. Lett..
Harry B. Hunt,
Jeffrey D. Ullman,
Thomas G. Szymanski,
1975,
Commun. ACM.
Harry B. Hunt,
Venkatesh Radhakrishnan,
Richard Edwin Stearns,
1992,
STACS.
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1998,
SIAM J. Comput..
Harry B. Hunt,
Richard Edwin Stearns,
2005,
Mathematical systems theory.
Harry B. Hunt,
Richard Edwin Stearns,
R. Stearns,
1996,
SIAM J. Comput..
Harry B. Hunt,
Daniel J. Rosenkrantz,
Peter A. Bloniarz,
1987,
SIAM J. Comput..
Harry B. Hunt,
D. J. Rosenkrantz,
1997
.
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1997,
Theor. Comput. Sci..
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2006,
J. Comput. Syst. Sci..
Harry B. Hunt,
Thomas G. Szymanski,
1978,
JACM.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2001,
MFCS.
R. Ravi,
Harry B. Hunt,
Madhav V. Marathe,
1993,
STOC '93.
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
1996,
FOCS 1996.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
1993,
Nord. J. Comput..
Harry B. Hunt,
Richard Edwin Stearns,
1987,
SIAM J. Comput..
Harry B. Hunt,
Richard Edwin Stearns,
R. Stearns,
1981,
22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2006
.
Harry B. Hunt,
Daniel J. Rosenkrantz,
Yuri Breitbart,
1995,
Theor. Comput. Sci..
Harry B. Hunt,
H. Hunt,
1973,
STOC.
The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications
Harry B. Hunt,
Daniel J. Rosenkrantz,
1983,
Theor. Comput. Sci..
Harry B. Hunt,
Madhav V. Marathe,
Daniel J. Rosenkrantz,
1996
.
Harry B. Hunt,
Jeffrey D. Ullman,
Thomas G. Szymanski,
1975,
CACM.
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
1994,
Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory.
Sartaj Sahni,
Harry B. Hunt,
Robert L. Constable,
1974
.
Harry B. Hunt,
Jeffrey D. Ullman,
Thomas G. Szymanski,
1974,
SWAT.
Harry B. Hunt,
1976,
POPL '76.
Harry B. Hunt,
J. L. Rangel,
1975,
16th Annual Symposium on Foundations of Computer Science (sfcs 1975).
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1993,
Theor. Comput. Sci..
Harry B. Hunt,
Richard Edwin Stearns,
R. Stearns,
2005,
Theory of Computing Systems.
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1974,
STOC '74.
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1993,
SIAM J. Comput..
Harry B. Hunt,
Daniel J. Rosenkrantz,
Philip J. Bernhard,
1991,
J. Parallel Distributed Comput..
Harry B. Hunt,
Daniel J. Rosenkrantz,
1980,
21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Harry B. Hunt,
Richard Edwin Stearns,
1986,
STACS.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2007,
IJCAI.
Harry B. Hunt,
S. S. Ravi,
Daniel J. Rosenkrantz,
1989,
IEEE Trans. Computers.
Harry B. Hunt,
Thomas G. Szymanski,
1976,
STOC '76.
R. Ravi,
Harry B. Hunt,
Madhav V. Marathe,
2001,
Algorithmica.
Harry B. Hunt,
Daniel J. Rosenkrantz,
2013,
Fundamental Problems in Computing.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2003,
Theor. Comput. Sci..
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1985,
Theor. Comput. Sci..
Harry B. Hunt,
Thomas G. Szymanski,
T. G. Szymanski,
1975,
STOC.
Harry B. Hunt,
H. Hunt,
1984,
JACM.
Harry B. Hunt,
H. Hunt,
1982,
JACM.
Harry B. Hunt,
H. Hunt,
1982,
JACM.
Harry B. Hunt,
Richard Edwin Stearns,
1988,
AAECC.
Harry B. Hunt,
Jeffrey D. Ullman,
Thomas G. Szymanski,
1975,
POPL 1975.
Sandeep K. Shukla,
Harry B. Hunt,
S. S. Ravi,
1996,
PODC '96.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2007,
Theor. Comput. Sci..
Sartaj Sahni,
Harry B. Hunt,
Robert L. Constable,
1980,
SIAM J. Comput..
Harry B. Hunt,
Jeffrey D. Ullman,
Thomas G. Szymanski,
1977,
CACM.
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1978,
SIAM J. Comput..
Harry B. Hunt,
Richard Edwin Stearns,
1990,
J. Symb. Comput..
Harry B. Hunt,
Daniel J. Rosenkrantz,
Lenore M. Restifo Mullin,
2000,
LCPC.
Harry B. Hunt,
Daniel J. Rosenkrantz,
Thomas G. Szymanski,
1976,
Theor. Comput. Sci..
Harry B. Hunt,
Lenore M. Restifo Mullin,
1999,
PDPTA.
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1998,
SIAM J. Comput..
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1980,
VLDB.
Sandeep K. Shukla,
Harry B. Hunt,
Daniel J. Rosenkrantz,
1996,
Satisfiability Problem: Theory and Applications.
Harry B. Hunt,
Sreejit Chakravarty,
H. Hunt,
1986,
ITC.
Harry B. Hunt,
Jeffrey D. Ullman,
Thomas G. Szymanski,
1975,
FOCS.
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1977,
JACM.
Harry B. Hunt,
Thomas G. Szymanski,
T. G. Szymanski,
1978,
JACM.
Harry B. Hunt,
Madhav V. Marathe,
Daniel J. Rosenkrantz,
1997,
Proceedings. Thirteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat. No.98CB36247).
A Transformation--Based Approach for the Design of Parallel/Distributed Scientific Software: the FFT
pdf
Harry B. Hunt,
Daniel J. Rosenkrantz,
Lenore R. Mullin,
2008,
ArXiv.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2001,
DM-CCG.
Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version)
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1994,
STOC '94.
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1994,
FSTTCS.
Harry B. Hunt,
Richard Edwin Stearns,
1985,
SIAM J. Comput..
R. Ravi,
Harry B. Hunt,
Madhav V. Marathe,
1994,
J. Algorithms.
Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2011,
Theor. Comput. Sci..
Harry B. Hunt,
Richard Edwin Stearns,
1990,
SIAM J. Comput..
Harry B. Hunt,
Daniel J. Rosenkrantz,
1984,
J. Comput. Syst. Sci..
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
1994,
ESA.
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1987,
TOPL.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
1994,
ArXiv.
Harry B. Hunt,
Daniel J. Rosenkrantz,
1978,
SIAM J. Comput..
Harry B. Hunt,
H. Hunt,
1976,
Mathematical systems theory.
Harry B. Hunt,
Daniel J. Rosenkrantz,
Lenore M. Restifo Mullin,
2006,
TOPL.
Sandeep K. Shukla,
Harry B. Hunt,
Daniel J. Rosenkrantz,
1996,
CAV.
Harry B. Hunt,
Madhav V. Marathe,
Venkatesh Radhakrishnan,
2002,
Inf. Comput..
Harry B. Hunt,
Richard Edwin Stearns,
R. Stearns,
2002,
J. Algorithms.
Harry B. Hunt,
Sreejit Chakravarty,
1990,
IEEE Trans. Computers.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2008,
Theor. Comput. Sci..
Harry B. Hunt,
Daniel J. Rosenkrantz,
1986,
SIAM J. Comput..
R. Ravi,
Harry B. Hunt,
Madhav V. Marathe,
1998,
J. Algorithms.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
1995,
Networks.
Harry B. Hunt,
Thomas G. Szymanski,
T. G. Szymanski,
1976,
J. Comput. Syst. Sci..
Harry B. Hunt,
Daniel J. Rosenkrantz,
Philip J. Bernhard,
1989,
ICPP.
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
2000
.
Harry B. Hunt,
2009,
Encyclopedia of Optimization.
Harry B. Hunt,
Daniel J. Rosenkrantz,
D. Rosenkrantz,
1980,
POPL '80.
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
1993
.
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
1995
.
Harry B. Hunt,
H. Hunt,
1979,
J. Comput. Syst. Sci..
Harry B. Hunt,
Madhav V. Marathe,
S. S. Ravi,
2015,
AAMAS.
Harry B. Hunt,
H. Hunt,
1973
.
Harry B. Hunt,
Madhav V. Marathe,
Richard Edwin Stearns,
1997,
STOC 1997.
Harry B. Hunt,
Madhav V. Marathe,
R. E. Stearns,
1995
.
Harry B. Hunt,
Madhav V. Marathe,
D. J. Rosenkrantz,
1997
.
Harry B. Hunt,
Venkatesh Radhakrishnan,
Richard Edwin Stearns,
1993
.