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)
(Click here for full-text access to ACM articles)
2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2009 | 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

    2018
  1. Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy
    by Fatima Abu Deeb and Timothy Hickey
    Submitted to SIGCSE 2018


  2. 2017
  3. The Calculus Dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment
    by Kristian Kime, Timothy Hickey, and Rebecca Torrey
    to appear in Frontiers in Education FIE 2017
  4. Flipping Introductory Programming Classes using Spinoza and Agile Pedagogy
    by Fatima Abe Deeb and Timothy Hickey
    to appear in Frontiers in Education FIE 2017
  5. Groupwork: Learning During Collaborative Assessment Activities
    by William Tarimo and Tim Hickey
    CSCL2017

  6. 2016
  7. Catching audiovisual interactions with a first-person fisherman video game,
    by Yile Sun, Barbara Shinn-Cunningham, Timothy Hickey, Robert Sekuler
    to appear in Perception.
  8. Measuring and Visualizing Learning with Markov Models
    by Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, and Timothy Hickey
    Frontiers in Education (FIE2016).
  9. Fully Integrating Remote Students into a Traditional Classroom using Live-Streaming and TeachBack
    by William Tarimo and Timothy Hickey
    Frontiers in Education (FIE2016).
  10. Early Detection of At-risk Students in CS1 Using Teachback/Spinoza,
    by William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey
    to appear in CCSCNE'16
  11. A Flipped Classroom With and Without Computers
    by William T Tarimo, Fatima Abu Deeb, and Timothy J. Hickey
    to appear in Computer Supported Education, CCIS vol 583, Springer International Publishing Switzerland, 2016
  12. Building Bridges Between Science Courses Using Honors Organic Chemistry Projects
    by Timothy J. Hickey and Jason K. Pontrello
    The Journal of College Science Teaching 46(1), 2016.

  13. 2015
  14. Policing Fish at Boston's Museum of Science: Studying Audiovisual Interaction in the Wild
    by Hannah Goldberg, Yile Sun, Timothy J. Hickey, Barbara Shinn-Cunningham, and Robert Sekuler.
    i-Perceptions, 2015, 6(3) 1-11. DOI: 10.1177/2041669515599332
  15. CalcTutor: Applying the Teachers Dilemma Methodology to Calculus Pedagogy
    by Kristian Kime, Rebecca Torrey, and Timothy Hickey
    FIE'15
  16. Computers in the CS1 Classroom
    by Timothy Hickey, Fatima Abu Deeb, and William Tarimo
    CSEDU'15
  17. Spinoza: the Code Tutor
    by Fatima Abu Deeb and Timothy Hickey
    CIST'15
  18. Adopting a "Flipped" Interactive Pedagogy Using Teachback
    by Timothy J. Hickey and William T. Tarimo
    Tutorial in CCSCNE'15
  19. The Spinoza Code Tutor
    by Fatima Abu Deeb and Timothy J. Hickey
    Poster in CCSCNE'15

  20. 2014
  21. The Affective Tutor
    by Timothy Hickey and William Tarimo
    the Journal of Computing Sciences in Colleges, 29(6), pp. 50-56, 2014.

  22. 2013
  23. The Entrepreneur’s Bootcamp: A New Model For Teaching Web/Mobile Development and Software Entrepreneurship
    by Timothy Hickey and Pito Salas
    SIGCSE’13, March 6–9, 2013, Denver, Colorado, USA. , 2013.
  24. Physics-based 3D Game Design as a First Course in Computing
    by Timothy Hickey
    the Journal of Computing Sciences in Colleges, pp. 35-41, vol 28 no 6, 2013,

  25. 2009
  26. CollabEd: a Platform for Collaboratizing Existing Editors
    by Kenroy Granville and Timothy Hickey
    International Conference on Mobile, Hybrid, and On-line Learning , 2009. Best Paper Award.

  27. 2008
  28. Visualization and Interactive Exploration of High Dimensional Datasets
    by John T. Langton, Elizabeth Gifford, and Timothy Hickey
    in "Applications of Computational Intelligence in Biology: Current Trends and Open Problems,", Smolinski, Milanova, Hassanien (eds), Springer, 2008, pp 231-255.

  29. 2007
  30. 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.

  31. 2006
  32. Structure and visualization of high-dimensional conductance spaces
    by Adam Taylor, Timothy Hickey, Astrid Prinz, and Eve Marder
    J Neurophysiol 96: 891-905, 2006
  33. Combining pixelization and dimensional stacking
    by John T. Langton, Astrid Prinz, and Timothy J. Hickey
    ISVC 2006
  34. 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
  35. Modeling Hysteresis in CLIP - The Tank Flow Problem (pdf, 290K)
    by David K Wittenberg and Timothy J. Hickey
    in the Proceedings of the NSF Workshop on Reliable Engineering Computing 2/22-24/2006, Savannah, GA.
  36. 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
  37. 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)
  38. 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

  39. 2005
  40. 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.
  41. 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.
  42. 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.

  43. 2004
  44. 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),
  45. 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.
  46. 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
  47. Using Analytic CLP to Model and Analyze Hybrid Systems
    with David Wittenberg
    FLAIRS 2004 (May 17-19,2004), Miami Beach, FL
  48. 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
  49. "A Scheme-based Web Programming Approach to Computer Literacy"
    Journal of Functional Programming 14:475-488 Cambridge University Press, 2004.

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

  54. 2002

  55. Incorporating Scheme-based Web Programmming into Computer Literacy Courses (pdf 164KB)
    T. Hickey
    the Scheme2002 workshop, 10/3/2002, Pittsburg, PA.
  56. 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.

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

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

  59. 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.


  60. 2001

  61. "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.
  62. "Metalevel Interval Arithmetic and Verifiable Constraint Solving",
    T. Hickey
    Journal of Functional and Logic Programming,vol 2001, no 7, Oct. 2001.
  63. "TA-Tool" (.txt)
    Timothy J. Hickey, Richard Alterman, and John Langton
    Faculty Poster accepted for the SIGCSE 2002 conference.
  64. "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.
  65. "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.

  66. "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

  67. "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.

  68. "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.
  69. 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

  70. T. Hickey, "Analytic Constraint Solving and Interval Arithmetic",
    Proceedings of the 27th Annual ACM SIGACT-SIGPLAN Symposium
    on Principles of Programming Languages
    (POPL'00)
  71. 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.
  72. 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.
  73. T. Hickey, D. Wittenberg, Validated Constraint Contraction,
    CP'99 poster paper, 2pp.

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

    1998

  75. 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
  76. 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

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

    1996

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

    1995


    1994

  79. 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.
  80. 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

  81. 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.
  82. 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.
  83. 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.
  84. 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

  85. 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

  86. 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

  87. 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.
  88. T. Hickey, S. Mudambi, "Global Compilation of Prolog," Journal of Logic Programming, 7(3), pp. 193-230, 1989.

    1988

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

    1987

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

    1986

  91. 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.
  92. 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

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

    1983

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

    1982

  95. 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

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