Chronological Publication List for Timothy J. Hickey

(unpublished works are shown in green), (panels are shown in fuchsia and posters in teal).

(click here for publications by arranged by research topics)

2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1994 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1984 | 1983 | 1982 | 1979

    2008
  1. Visualization and Interactive Exploration of High Dimensional Datasets
    by Timothy Hickey and John Langton
    accepted for publication as a Chapter in the edited book "Applications of Computational Intelligence in Biology: Current Trends and Open Problems."

  2. 2007
  3. NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data by John T. Langton, Astrid Prinz, and Timothy J. Hickey
    Proceedings of SPIE; Visualization and Data Analysis 2007 (VDA 2007),
    Volume 6495, pages 64950H-1 to 64950H-12, SPIE and IS\&T, 2007.

  4. 2006
  5. Structure and visualization of high-dimensional conductance spaces
    by Adam Taylor, Timothy Hickey, Astrid Prinz, and Eve Marder
    J Neurophysiol 96: 891-905, 2006
  6. Combining pixelization and dimensional stacking
    by John T. Langton, Astrid Prinz, and Timothy J. Hickey
    ISVC 2006
  7. Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries (pdf, 360K)
    by John T. Langton, David K Wittenberg and Timothy J. Hickey
    the Proceedings of View 2006 4/24-25/2006, Paris, France
  8. Modeling Hysteresis in CLIP - The Tank Flow Problem (pdf, 290K)
    by David K Wittenberg and Timothy J. Hickey
    to appear in the Proceedings of the NSF Workshop on Reliable Engineering Computing 2/22-24/2006, Savannah, GA.
  9. NeuroVis: combining dimensional stacking an pixelization to interactively visualize multidimensional, multivariate data.
    poster presented at Infovis 2006
    by John T. Langton, Astrid Prinz, and Timothy J. Hickey
  10. Extending pixelization and dimensional stacking to 3D for interactive visualization and analysis of multidimensional data
    by John Langton and Timothy J. Hickey
    (unpublished technical report)
  11. NeuroVis: exploring interaction techniques by combining dimensional stacking and pixelization to visualize multidimensional multivariate data
    by John T. Langton, Astrid Prinz, and Timothy J. Hickey
    unpublished manuscript

  12. 2005
  13. The Design, Implementation, and Application of the GrewpEdit Tool (pdf, 256K)
    by Kenroy Granville and Timothy J. Hickey
    Richard Tapia Celebration of Diversity in Computing Conference 2005, pp. 14-16.
  14. Collaborative Learning: Collaborative Depth
    by Svetlena Taneva, Richard Alterman, and Timothy Hickey
    (pdf, 608KB)
    pp 2156-2161, Proceedings of CogSci2005 the XXVII Annual Conference of the Cognitive Science Society, 7/21/2005, Stresa, Italy.
  15. Dimension Stacking Visualization of Conductance Space Models of a Neuron
    by John Langton, David Wittenberg, Adam Taylor, Astrid Prinz, and Timothy J. Hickey
    unpublished manuscript.

  16. 2004
  17. Enhancing CS Programming Lab Courses using Collaborative Editors
    with John Langton, Kenroy Granville, and Richard Alterman
    Journal of Computing Sciences in Small Colleges, volume 20, number 3, pp. 157-167, 2004. ((pdf, 800K),
  18. Scheme-based Web Programming as a Basis for a CS0 Curriculum (83K, pdf)
    SIGCSE 2004 (March 3-7,2004) , Norfolk, VA, pp. 353-357, 2004.
  19. Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints
    with David Wittenberg
    Hybrid Systems: Computation and Control, pp. 402-416.
    HSCC 2004, (25-27 March 2004) Philadelphia, PA
  20. Using Analytic CLP to Model and Analyze Hybrid Systems
    with David Wittenberg
    FLAIRS 2004 (May 17-19,2004), Miami Beach, FL
  21. Integrating Tools and Resources: a case study in building educational groupware for collaborative programming --
    with J. Langton and R. Alterman. (pdf, 655K)
    The Journal of Computing Sciences in Colleges, 19(5), pp. 140-153, May 2004
    presented at CCSCNE 2004 (23-24 April 2004) Schenectady, NY
  22. "A Scheme-based Web Programming Approach to Computer Literacy"
    Journal of Functional Programming 14:475-488 Cambridge University Press, 2004.

  23. 2003
  24. GREWPtool: a System for Studying Online Collaborative Learning
    with S. Taneva, R. Alterman, K. Granville, M. Head
    Brandeis University Technical Report CS-03-239.
  25. Enhancing CS Programming Lab Courses using Replayable Collaborative Editors
    with J. Langton, K. Granville, and R. Alterman.
    Brandeis University Technical Report CS-03-238.
  26. Groupware
    with Alex Feinman,
    article in the Encyclopedia of Human Computer Interaction

  27. 2002

  28. Incorporating Scheme-based Web Programmming into Computer Literacy Courses (pdf 164KB)
    T. Hickey
    the Scheme2002 workshop, 10/3/2002, Pittsburg, PA.
  29. Incorporating Scheme-based Web Programmming into Computer Literacy Courses
    T. Hickey, This is an early version of the Scheme 2002 paper, available as a tech report: (ps 148KB) (ps.gz 64KB) (pdf 148KB)
    Tech. Rep. CS-02-224, CS Dept., Brandeis University, 5/2002.

  30. Modeling Hybrid Systems using Analytic Constraint Logic Programming (.ps 210K)
    T.J. Hickey, D.K. Wittenberg

  31. Jscheme Web Programming for CS0, (.ps, 104K) (.ps.gz, 45K)
    T. Hickey
    Tech. Rep. CS-02-223, CS Dept., Brandeis University, 5/2002.

  32. TA Groupware, (.ps, 1,775K) (.ps.gz, 76K)
    T. Hickey, R. Alterman, J. Langton,
    Tech. Rep. CS-02-222, CS Dept., Brandeis University, 5/2002.


  33. 2001

  34. "Interval Arithmetic: from Principles to Implementation",
    T. Hickey, Q. Ju, M.H. van Emden,
    Journal of the ACM, volume 48, issue 5, pp. 1038-1068, September 2001.
  35. "Metalevel Interval Arithmetic and Verifiable Constraint Solving",
    T. Hickey
    Journal of Functional and Logic Programming,vol 2001, no 7, Oct. 2001.
  36. "TA-Tool" (.txt)
    Timothy J. Hickey, Richard Alterman, and John Langton
    Faculty Poster accepted for the SIGCSE 2002 conference.
  37. "Internet Computing in the Computer Science Curriculum"
    Amruth Kumar, Kevin Hufford, Timothy Hickey, Linda Wilkens, Aparna Mahadev, Andrew Beiderman,
    Panel position statements accepted for publication in SIGCSE 2002.
  38. "Internet Computing in the Computer Science Curriculum",
    A. Kumar, K. Hufford, J. Bergin, T. Hickey, L. Wilkens,
    The Journal of Computing in Small Colleges, vol. 17, no 3, Feb 2002, pp. 39-43.
    Panel position statements presented at ESCCC'01 conference.

  39. "Internet-Centric Curriculum",
    A. Kumar, K. Hufford, J. Bergin, T. Hickey,
    The Journal of Computing in Small Colleges, vol. 16, no 4, May 2001, pp. 45-49.
    Panel position statements presented at CCSCNE'01 conference.


    2000

  40. "Silk: A Playful Combination of Scheme and Java"
    by Ken Anderson, Timothy J. Hickey, and Peter Norvig
    Proceedings of the Workshop on Scheme and Function Programming , pp 13-22
    Rice University, CS Dept. Technical Report 00-368, September 2000.

  41. "Constraint-Based Termination Analysis for Cyclic Rule Activation in Active Databases"
    by Saumya Debray and Timothy Hickey,
    Proc. DOOD'2000: 6th. International Conference on Rules and Objects in Databases, July 2000, pp. 1121-1136. Springer LNAI vol. 1861.
  42. T. Hickey, Z. Qiu, and M.H. van Emden,
    "Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations"
    Reliable Computing Vol. 6, No. 1, 2000, pp. 81-92,
    as part of a special issue on Reliable Geometric Computations,


    1999

  43. T. Hickey, "Analytic Constraint Solving and Interval Arithmetic",
    Proceedings of the 27th Annual ACM SIGACT-SIGPLAN Symposium
    on Principles of Programming Languages
    (POPL'00)
  44. T. Hickey, "CLIP: a CLP(Intervals) Dialect for Metalevel Constraint Solving",
    Proceedings of PADL'00. Springer-Verlag, "Lecture Notes in Computer Science", vol. 1753, 2000.
  45. K. Anderson, T. Hickey, "Reflecting Java Through Scheme",
    Proceedings of the Second International Conference on Metalevel Architectures and Reflection (Reflection'99), Saint-Malo, France, July 19-21,1999;
    Springer-Verlag Lecture Notes in Computer Science, vol. 1616, pp. 154-174, 1999.
  46. T. Hickey, D. Wittenberg, Validated Constraint Contraction,
    CP'99 poster paper, 2pp.

  47. T. Hickey, D. Wittenberg, Validated Constraint Contraction, (.ps.gz, 72K),
    Brandeis CS Tech. Report CS-99-201, 17pp., April, 1999.

    1998

  48. T.J. Hickey, M.H. van Emden, H. Wu, "A Unified Framework for Interval Constraints and Interval Arithmetic",
    in Principles and Practice of Constraint Programming -- CP98
    Michael Maher and Jean-Francois Puget (eds.), Springer-Verlag,
    Lecture Notes in Computer Science, v. 1520, pp. 250-264, 1998
  49. 1998, T. Hickey, P. Norvig, K. Anderson, "LISP - a Language for Internet Scripting and Programming",
    in LUGM'98: The 40th Anniversary of LISP: Lisp in the Mainstream, Nov. 1998, Berkeley, CA.

    1997

  50. T. Hickey, Q. Ju, "Efficient Implementation of Interval Arithmetic Narrowing Using IEEE Arithmetic, (.ps.gz, 64K),
    Unnumbered Tech Report, Mar. 1997.

    1996

  51. T. Hickey, Q. Ju. "Fast, Sound, and Precise Narrowing of the Exponential Function," (.ps.gz, 128K),
    Unnumbered Tech Report, Mar. 1996.

    1995


    1994

  52. T. Hickey, "CLP(F) and Constrained ODEs", (.ps.gz, 64K),
    in Proceedings of the Workshop on Constraint Languages and their use in Problem Modelling,
    Editors Jourdan, Lim, Yap, ECRC Technical Report ECRC-94-38 (defunct), pp. 69-79, Nov. 1994.
  53. D. Smith, T. Hickey, "Multi-SLD Resolution,"
    Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94,
    Frank Pfenning (Ed.): Kiev, Ukraine, July 16-22, 1994, Proceedings.
    Lecture Notes in Computer Science, Vol. 822, Springer-Verlag, pp. 260-274, 1994.

    1993


    1992

  54. T. Hickey, J. Cohen, H. Hotta, T. Petitjean, ``Computer Assisted Microanalysis of Parallel Programs,'' {\em ACM Transactions on Programming Languages and Systems,} Vol. 14, No. 1, Jan. 1992, pp. 54-106.
  55. Z. G. Mou, C. Constantinescu, and T. Hickey. Optimal mapping of divideand -conquer algorithms to mesh connected parallel architectures.
    In Proceedings International Computer Symposium,
    pages 273--284. Taiwan, 1992.
  56. Z.G. Mou, C. Constantinescu, T. Hickey, "Divide and Conquer on a 3 Dimensional Mesh,"
    Proceedings of Parallel Computing: From Theory to Sound Practice
    by the European Workshop on Parallel Computing,
    Barcelona, Spain, pp. 344-355, IOS Press, March 1992.
  57. A. Huang, Z. G. Mou, T. Hickey, "Parallel Recurrence Transformation",
    in Proceedings of the First Annual Summer Institute on
    "Issues and Obstacles in the Practical Implementation of Parallel Algorithms and the Use of Parallel Machines,"

    Dartmouth, June 1992.

    1991

  58. T. Hickey, D. Smith, "Toward the Partial Evaluation of Constraint Logic Programs,"
    in Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation,
    Yale University, New Haven, CT, pp. 43-51, ACM Press, Jun. 17-19, 1991.

    1990

  59. D. Smith, T. Hickey, "Partial Evaluation of a CLP language,"
    in Proceedings of the 1990 North American Conference in Logic Programming, ed. S. Debray, M. Hermenegildo, pp. 119-138, 1990.

    1989

  60. T. Hickey, "CLP* and Constraint Abstraction,"
    in 16th Annual ACM Symposium on Principles of Programming Languages,
    Austin, TX, pp. 125-133, ACM Press, Jan. 11-13, 1989.
  61. T. Hickey, S. Mudambi, "Global Compilation of Prolog," Journal of Logic Programming, 7(3), pp. 193-230, 1989.

    1988

  62. T. Hickey, J. Cohen, "Automating Program Analysis,"
    Journal of the ACM, 35(1), pp. 185-220, 1988.

    1987

  63. J. Cohen, T. Hickey, "Parsing and Compiling Using Prolog,"
    ACM Transactions on Programming Languages and Systems, 125-163, 1987.

    1986

  64. J. Cohen, T. Hickey, "New Directions in Program Microanalysis,"
    Invited paper in "Computers and Computing" (ed. Chenin, et. al.) John Wiley and Sons, 193-202, 1986.
  65. T. Hickey, "On the Fourier--Jacobi coefficients of certain Eisenstein series for a unitary group,"
    Doctoral Dissertation, University of Chicago, 1986. (abstract, 2K) (intro.ps.gz, 51K, 10pp) (diss.ps.gz, 357K, 142pp)

    This dissertation is referenced in the paper by Atsushi MURASE and Takashi SUGANO
    Fourier-Jacobi Expansion of Eisenstein Series on Unitary Groups of Degree Three in
    J. Math Sci. Univ Tokyo
    9 (2002) 347-404 where they prove a similar result for a more general adele group.

    1985


    1984

  66. T. Hickey, J. Cohen, "Performance Analysis of On-the-fly Garbage Collection,"
    Communications of the ACM 27(11), 1143-1154, 1984.

    1983

  67. T. Hickey, J. Cohen, "Uniform Random Generation of Strings in a Context-free Language,"
    SIAM Journal of Computing 12(4), 645-655, 1983.

    1982

  68. J. Cohen, T. Hickey, J. Katcoff, "Upper Bounds for Speed-Up in Parallel Parsing,"
    Journal of the ACM 29(2), 408-428, 1982.

    1981


    1980


    1979

  69. J. Cohen, T. Hickey, "Two Algorithms for Determining the Volume of Convex Polyhedra,"
    Journal of the ACM 26(3), 401-414, 1979.