Using Spinoza Log Data to Enhance CS1 Pedagogy
by Fatima Abu Deeb, Antonella DiLillo, Timothy Hickey
submitted for publication in Communications in Computer and Information Science (CCIS),
Springer International Publishing Switzerland, CCIS 18
EEG Markers of STEM Learning
by Xiaodong Qu, Venux Yixin Sun, Robert Sekuler, Timothy Hickey
accepted for publication in
Frontiers in Education FIE 2018
Classroom Orchestration with Problem Solving Markov Models
by Fatima Abu Deeb and Timothy Hickey
accepted for publication in
Frontiers in Education FIE 2018
Machine Learning Based Directed Self Study in Calculus with CalcTutor
by Kristian Kime, Timothy Hickey, and Rebeccah Torrey
accepted for publication in
Frontiers in Education FIE 2018
Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy
by Fatima Abu Deeb and Timothy Hickey
CSEDU 2018
SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only)
by Fatima Abu Deeb, Timothy Hickey
Pages: 1112-1112, doi>10.1145/3159450.3162201
SIGCSE 2018
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
Flipping Introductory Programming Classes using Spinoza and Agile Pedagogy
by Fatima Abe Deeb and Timothy Hickey
to appear in Frontiers in Education FIE 2017
Groupwork: Learning During Collaborative Assessment Activities
by William Tarimo and Tim Hickey
CSCL2017
Measuring and Visualizing Learning with Markov Models
by Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, and Timothy Hickey
Frontiers in Education (FIE2016).
Fully Integrating Remote Students into a Traditional Classroom using Live-Streaming and TeachBack
by William Tarimo and Timothy Hickey
Frontiers in Education (FIE2016).
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
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
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.
CalcTutor: Applying the Teachers Dilemma Methodology to Calculus Pedagogy
by Kristian Kime, Rebecca Torrey, and Timothy Hickey FIE'15
Computers in the CS1 Classroom
by Timothy Hickey, Fatima Abu Deeb, and William Tarimo CSEDU'15
Spinoza: the Code Tutor
by Fatima Abu Deeb and Timothy Hickey
CIST'15
Adopting a "Flipped" Interactive Pedagogy Using Teachback
by Timothy J. Hickey and William T. Tarimo
Tutorial in CCSCNE'15
The Spinoza Code Tutor
by Fatima Abu Deeb and Timothy J. Hickey
Poster in CCSCNE'15
The Affective Tutor
by Timothy Hickey and William Tarimo
the Journal of Computing Sciences in Colleges, 29(6), pp. 50-56, 2014.
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,
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.
A Personalized Reading Coach using Wearable EEG Sensors:
A pilot study of brainwave learning ana\
lytics
by Xiaodong Qu, Mercedes Hall, Yile Sun, Robert Sekuler, Timothy Hickey
A2E 2018
Catching audiovisual interactions with a first-person fisherman video game,
by Yile Sun, Barbara Shinn-Cunningham, Timothy Hickey, Robert Sekuler
Perception.
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
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.
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.