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.
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
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
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
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
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)
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)
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.
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
Using Analytic CLP to Model and Analyze Hybrid Systems
with David Wittenberg
FLAIRS 2004 (May 17-19,2004), Miami Beach, FL
"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.
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,
T. Hickey,
"Analytic Constraint Solving and Interval Arithmetic",
Proceedings of the
27th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
(POPL'00)
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.
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
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.
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.
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.
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.
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.
T. Hickey, S. Mudambi, "Global Compilation of Prolog,"
Journal of Logic Programming, 7(3), pp. 193-230, 1989.
J. Cohen, T. Hickey,
"Parsing and Compiling Using Prolog,"
ACM Transactions on Programming Languages and Systems,
125-163, 1987.
T. Hickey, D. Wittenberg,
Validated Constraint Contraction,
CP'99 poster paper, 2pp.
Modeling Hybrid Systems using Analytic Constraint Logic Programming
(.ps 210K)
T.J. Hickey, D.K. Wittenberg
T. Hickey, D. Wittenberg,
Validated Constraint Contraction,
(.ps.gz, 72K),
Brandeis CS Tech. Report CS-99-201,
17pp., April, 1999.
T. Hickey, Q. Ju,
"Efficient Implementation of Interval Arithmetic Narrowing Using IEEE Arithmetic,
(.ps.gz, 64K),
Unnumbered Tech Report, Mar. 1997.
T. Hickey, Q. Ju.
"Fast, Sound, and Precise Narrowing of the Exponential Function,"
(.ps.gz, 128K),
Unnumbered Tech Report, Mar. 1996.
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.
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)
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
"A Scheme-based Web Programming Approach to Computer Literacy"
Journal of Functional Programming
14:475-488 Cambridge University Press, 2004.
Groupware
with Alex Feinman,
article accepted for publication in the Encyclopedia of Human Computer Interaction
Incorporating Scheme-based Web Programmming into Computer Literacy Courses
(pdf 164KB)
T. Hickey
the
Scheme2002 workshop, 10/3/2002, Pittsburg, PA.
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.
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.
GREWPtool: a System for Studying Online Collaborative Learning
with S. Taneva, R. Alterman, K. Granville, M. Head
Brandeis University Technical Report CS-03-239.
Enhancing CS Programming Lab Courses using Replayable Collaborative Editors
with J. Langton, K. Granville, and R. Alterman.
Brandeis University Technical Report CS-03-238.
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.
"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.
"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.
"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.
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.
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.
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.
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.
T. Hickey, J. Cohen, "Automating Program Analysis,"
Journal of the ACM, 35(1), pp. 185-220, 1988.
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.
T. Hickey, J. Cohen,
"Performance Analysis of On-the-fly Garbage Collection,"
Communications of the ACM 27(11), 1143-1154, 1984.
T. Hickey, J. Cohen,
"Uniform Random Generation of Strings in a Context-free Language,"
SIAM Journal of Computing 12(4), 645-655, 1983.
J. Cohen, T. Hickey, J. Katcoff,
"Upper Bounds for Speed-Up in Parallel Parsing,"
Journal of the ACM 29(2), 408-428, 1982.
J. Cohen, T. Hickey,
"Two Algorithms for Determining the Volume of Convex Polyhedra,"
Journal of the ACM 26(3), 401-414, 1979.