Publication List by Research Topic
for Timothy J. Hickey

(unpublished works are shown in green), (panels are shown in fuchsia and posters in teal).
  1. Educational Technology and Computer Science Education (35)
  2. Computational Neuroscience (2)
  3. Computational Biology (7)
  4. Interval Arithmetic, Constraints, and Logic Programming (22)
  5. Microanalysis (10)
  6. Automorphic Forms (1)


Educational Technology and Computer Science Education



  1. Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy
    by Fatima Abu Deeb and Timothy Hickey
    Submitted to CSEDU18
  2. 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
  3. Flipping Introductory Programming Classes using Spinoza and Agile Pedagogy
    by Fatima Abe Deeb and Timothy Hickey
    to appear in Frontiers in Education FIE 2017
  4. Groupwork: Learning During Collaborative Assessment Activities
    by William Tarimo and Tim Hickey
    CSCL2017
  5. Measuring and Visualizing Learning with Markov Models
    by Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, and Timothy Hickey
    Frontiers in Education (FIE2016).
  6. Fully Integrating Remote Students into a Traditional Classroom using Live-Streaming and TeachBack
    by William Tarimo and Timothy Hickey
    Frontiers in Education (FIE2016).
  7. 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
  8. 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
  9. 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.
  10. CalcTutor: Applying the Teachers Dilemma Methodology to Calculus Pedagogy
    by Kristian Kime, Rebecca Torrey, and Timothy Hickey
    FIE'15
  11. Computers in the CS1 Classroom
    by Timothy Hickey, Fatima Abu Deeb, and William Tarimo
    CSEDU'15
  12. Spinoza: the Code Tutor
    by Fatima Abu Deeb and Timothy Hickey
    CIST'15
  13. Adopting a "Flipped" Interactive Pedagogy Using Teachback
    by Timothy J. Hickey and William T. Tarimo
    Tutorial in CCSCNE'15
  14. The Spinoza Code Tutor
    by Fatima Abu Deeb and Timothy J. Hickey
    Poster in CCSCNE'15
  15. The Affective Tutor
    by Timothy Hickey and William Tarimo
    the Journal of Computing Sciences in Colleges, 29(6), pp. 50-56, 2014.
  16. 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,
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. Enhancing CS Programming Lab Courses using Collaborative Editors
    with John Langton, Kenroy Granville, and Richard Alterman
    presented at CCSCE04
    Journal of Computing Sciences in Small Colleges, volume 20, number 3, pp. 157-167, 2004,
    ((pdf, 800K)
  22. 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.
  23. 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
  24. "A Scheme-based Web Programming Approach to Computer Literacy"
    Journal of Functional Programming 14:475-488 Cambridge University Press, 2004.
  25. Groupware
    with Alex Feinman,
    article accepted for publication in the Encyclopedia of Human Computer Interaction
  26. Incorporating Scheme-based Web Programmming into Computer Literacy Courses (pdf 164KB)
    T. Hickey
    the Scheme2002 workshop, 10/3/2002, Pittsburg, PA.
  27. "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.

  28. 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.
  29. 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.
  30. GREWPtool: a System for Studying Online Collaborative Learning
    with S. Taneva, R. Alterman, K. Granville, M. Head
    Brandeis University Technical Report CS-03-239.
  31. Enhancing CS Programming Lab Courses using Replayable Collaborative Editors
    with J. Langton, K. Granville, and R. Alterman.
    Brandeis University Technical Report CS-03-238.
  32. 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.

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

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

  35. "TA-Tool" (.txt)
    Timothy J. Hickey, Richard Alterman, and John Langton
    Faculty Poster accepted for the SIGCSE 2002 conference.
  36. "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.
  37. "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.

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

Computational Neuroscience

  1. Catching audiovisual interactions with a first-person fisherman video game,
    by Yile Sun, Barbara Shinn-Cunningham, Timothy Hickey, Robert Sekuler
    to appear in Perception.
  2. 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

Computational Biology

  1. 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.
  2. NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data
    to appear in SPIE/VDA 2006
    by John T. Langton, Astrid Prinz, and Timothy J. Hickey
  3. Structure and visualization of high-dimensional conductance spaces
    by Adam Taylor, Timothy Hickey, Astrid Prinz, and Eve Marder
    to appear in the Journal of Neurophysiology
  4. 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
    submitted to Infovis 2006
  5. 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
    to appear in the Proceedings of View 2006 4/24-25/2006, Paris, France
  6. 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)
  7. Dimension Stacking Visualization of Conductance Space Models of a Neuron
    by John Langton, David Wittenberg, Adam Taylor, Astrid Prinz, and Timothy J. Hickey
    (unpublished technical report)

Interval Arithmetic, Constraints, and Logic Programming

  1. 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.
  2. 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
  3. Using Analytic CLP to Model and Analyze Hybrid Systems
    with David Wittenberg
    FLAIRS 2004 (May 17-19,2004), Miami Beach, FL
  4. "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.
  5. "Metalevel Interval Arithmetic and Verifiable Constraint Solving",
    T. Hickey
    Journal of Functional and Logic Programming,vol 2001, no 7, Oct. 2001.
  6. "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.
  7. 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,
  8. T. Hickey, "Analytic Constraint Solving and Interval Arithmetic",
    Proceedings of the 27th Annual ACM SIGACT-SIGPLAN Symposium
    on Principles of Programming Languages
    (POPL'00)
  9. 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.
  10. 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
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. T. Hickey, S. Mudambi, "Global Compilation of Prolog," Journal of Logic Programming, 7(3), pp. 193-230, 1989.
  17. J. Cohen, T. Hickey, "Parsing and Compiling Using Prolog,"
    ACM Transactions on Programming Languages and Systems, 125-163, 1987.
  18. T. Hickey, D. Wittenberg, Validated Constraint Contraction,
    CP'99 poster paper, 2pp.

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

  20. T. Hickey, D. Wittenberg, Validated Constraint Contraction, (.ps.gz, 72K),
    Brandeis CS Tech. Report CS-99-201, 17pp., April, 1999.
  21. T. Hickey, Q. Ju, "Efficient Implementation of Interval Arithmetic Narrowing Using IEEE Arithmetic, (.ps.gz, 64K),
    Unnumbered Tech Report, Mar. 1997.
  22. T. Hickey, Q. Ju. "Fast, Sound, and Precise Narrowing of the Exponential Function," (.ps.gz, 128K),
    Unnumbered Tech Report, Mar. 1996.

Microanalysis and Parallel Computing

  1. T. Hickey, J. Cohen, H. Hotta, T. Petitjean, ``Computer Assisted Microanalysis of Parallel Programs,'' ACM Transactions on Programming Languages and Systems, Vol. 14, No. 1, Jan. 1992, pp. 54-106.
  2. 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.
  3. 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.
  4. 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.
  5. T. Hickey, J. Cohen, "Automating Program Analysis,"
    Journal of the ACM, 35(1), pp. 185-220, 1988.
  6. 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.
  7. T. Hickey, J. Cohen, "Performance Analysis of On-the-fly Garbage Collection,"
    Communications of the ACM 27(11), 1143-1154, 1984.
  8. T. Hickey, J. Cohen, "Uniform Random Generation of Strings in a Context-free Language,"
    SIAM Journal of Computing 12(4), 645-655, 1983.
  9. J. Cohen, T. Hickey, J. Katcoff, "Upper Bounds for Speed-Up in Parallel Parsing,"
    Journal of the ACM 29(2), 408-428, 1982.
  10. J. Cohen, T. Hickey, "Two Algorithms for Determining the Volume of Convex Polyhedra,"
    Journal of the ACM 26(3), 401-414, 1979.

Automorphic Forms

  1. 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)