Timothy J. Hickey

Affiliations:
  • Brandeis University, Waltham, MA, USA


According to our database1, Timothy J. Hickey authored at least 58 papers between 1979 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Reflective Debugging with a Python Web IDE.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Reflective Debugging in Spinoza V3.0.
Proceedings of the ACE '21: 23rd Australasian Computing Education Conference, 2021

2020
Multi-class Time Continuity Voting for EEG Classification.
Proceedings of the Brain Function Assessment in Learning - Second International Conference, 2020

2019
Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Refining Skill Classification with Interactive Machine Learning.
Proceedings of the IEEE Frontiers in Education Conference, 2019

Teaching Introductory Cryptography using a 3D Escape-the-Room Game.
Proceedings of the IEEE Frontiers in Education Conference, 2019

Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

21st Century Skill Building with Web-based Games.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018
SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

EEG markers of STEM learning.
Proceedings of the IEEE Frontiers in Education Conference, 2018

Machine Learning Based Directed Self Study in Calculus with CalcTutor.
Proceedings of the IEEE Frontiers in Education Conference, 2018

Classroom Orchestration with Problem Solving Markov Models.
Proceedings of the IEEE Frontiers in Education Conference, 2018

A Personalized Reading Coach using Wearable EEG Sensors - A Pilot Study of Brainwave Learning Analytics.
Proceedings of the 10th International Conference on Computer Supported Education, 2018

Using Spinoza Log Data to Enhance CS1 Pedagogy.
Proceedings of the Computer Supported Education - 10th International Conference, 2018

Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy.
Proceedings of the 10th International Conference on Computer Supported Education, 2018

2017
The calculus dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment.
Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

Flipping introductory programming classes using spinoza and agile pedagogy.
Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

GroupWork: Learning During Collaborative Assessment Activities.
Proceedings of the 12th International Conference on Computer Supported Collaborative Learning, 2017

2016
Fully integrating remote students into a traditional classroom using live-streaming and TeachBack.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Measuring and visualizing learning with Markov Models.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015
CalcTutor: Applying the teachers dilemma methodology to calculus pedagogy.
Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

A Flipped Classroom with and Without Computers.
Proceedings of the Computer Supported Education - 7th International Conference, 2015

Computers in the CS1 Classroom.
Proceedings of the CSEDU 2015, 2015

2013
The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2008
Visualization and Interactive Exploration of Large, Multidimensional Data Sets.
Proceedings of the Applications of Computational Intelligence in Biology: Current Trends and Open Problems, 2008

2007
NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data.
Proceedings of the Visualization and Data Analysis 2007, 2007

2006
Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries.
Proceedings of the Pixelization Paradigm, First Visual Information Expert Workshop, 2006

Combining Pixelization and Dimensional Stacking.
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

2005
The design, implementation, and application of the grewpEdit tool.
Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2005, 2005

2004
Computer literacy via Scheme and web programming.
J. Funct. Program., 2004

Scheme-based web programming as a basis for a CS0 curriculum.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Using Analytic CLP to Model and Analyze Hybrid Systems.
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2002
Internet-centric computing in the Computer Science curriculum.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2001
Metalevel Interval Arithmetic and Verifiable Constraint Solving.
J. Funct. Log. Program., 2001

Interval arithmetic: From principles to implementation.
J. ACM, 2001

2000
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.
Reliab. Comput., 2000

Analytic Constraint Solving and Interval Arithmetic.
Proceedings of the POPL 2000, 2000

CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.
Proceedings of the Practical Aspects of Declarative Languages, 2000

Constraint-Based Termination Analysis for Cyclic Active Database Rules.
Proceedings of the Computational Logic, 2000

1999
Reflecting Java into Scheme.
Proceedings of the Meta-Level Architectures and Reflection, 1999

Validated Constraint Compilation.
Proceedings of the Principles and Practice of Constraint Programming, 1999

1998
A Unified Framework for Interval Constraints and Interval Arithmetic.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1994
Multi-SLD Resolution.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1993
Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh.
Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

1992
Computer-Assisted Microanalysis of Parallel Programs.
ACM Trans. Program. Lang. Syst., 1992

Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives.
New Gener. Comput., 1992

1991
Functional Constraints in CLP Languages.
Proceedings of the Constraint Logic Programming, 1991

Toward the Partial Evaluation of CLP Languages.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990
Partial Evaluation of a CLP Language.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989
Global Compilation of Prolog.
J. Log. Program., 1989

CLP* and Constraint Abstraction.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1988
Automating program analysis.
J. ACM, 1988

1987
Parsing and Compiling Using Prolog.
ACM Trans. Program. Lang. Syst., 1987

1984
Performance Analysis of On-the-Fly Garbage Collection.
Commun. ACM, 1984

1983
Uniform Random Generation of Strings in a Context-Free Language.
SIAM J. Comput., 1983

1982
Upper Bounds for Speedup in Parallel Parsing.
J. ACM, 1982

1979
Two Algorithms for Determining Volumes of Convex Polyhedra.
J. ACM, 1979


  Loading...