Timothy J. Hickey

75 papers A* 2A 8B 1C 13Misc 3Journal 24Unranked 23
YearRankTypeTitle / Venue / Authors
2025 J jnl
Equitable Grading in a Mastery Learning Class.
J. Comput. Sci. Coll.
Timothy J. Hickey, Ella Tuson
2025 — conf
Grading for Equity in a Hyflex Compiler Design Course.
SIGCSE (1)
Fatima Abu Deeb, Ella Tuson, Timothy J. Hickey
2025 — conf
The Mastery Learning App.
SIGCSE (2)
Timothy J. Hickey, Ella Tuson
2024 J jnl
Impact of reflection in auto-graders: an empirical study of novice coders.
Comput. Sci. Educ.
Fatima Abu Deeb, Timothy J. Hickey
2024 — conf
The Internal Internship: Enabling Novel Opportunities for Undergraduate Data Science Experiential Education.
SIGCSE Virtual (1)
Jessica Liebowitz, Timothy J. Hickey
2023 — conf
Mastery Learning with Specs Grading for Programming Courses.
SIGCSE (1)
Ella Tuson, Timothy J. Hickey
2022 — conf
EEG4Home: A Human-In-The-Loop Machine Learning Model for EEG-Based BCI.
HCI (9)
Xiaodong Qu, Timothy J. Hickey
2021 C conf
Reflective Debugging in Spinoza V3.0.
ACE
Fatima Abu Deeb, Timothy J. Hickey
2021 A conf
Reflective Debugging with a Python Web IDE.
SIGCSE
Fatima Abu Deeb, Timothy J. Hickey
2020 — conf
Multi-class Time Continuity Voting for EEG Classification.
BFAL
Xiaodong Qu, Peiyan Liu, Zhaonan Li, Timothy J. Hickey
2020 — conf
Using EEG to Distinguish Between Writing and Typing for the Same Cognitive Task.
BFAL
Xiaodong Qu, Qingtian Mei, Peiyan Liu, Timothy J. Hickey
2019 — conf
21st Century Skill Building with Web-based Games.
CSEDU (2)
William DeRusha, Timothy J. Hickey
2019 — conf
Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics.
CSEDU (2)
Fatima Abu Deeb, Timothy J. Hickey
2019 C conf
Refining Skill Classification with Interactive Machine Learning.
FIE
Kristian Kime, Timothy J. Hickey, Rebecca Torrey
2019 C conf
Teaching Introductory Cryptography using a 3D Escape-the-Room Game.
FIE
Fatima Abu Deeb, Timothy J. Hickey
2019 A conf
Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza.
SIGCSE
Fatima Abu Deeb, Timothy J. Hickey
2018 — conf
A Personalized Reading Coach using Wearable EEG Sensors - A Pilot Study of Brainwave Learning Analytics.
CSEDU (2)
Xiaodong Qu, Mercedes Hall, Yile Sun, Robert Sekuler, Timothy J. Hickey
2018 C conf
Classroom Orchestration with Problem Solving Markov Models.
FIE
Fatima Abu Deeb, Timothy J. Hickey
2018 C conf
EEG markers of STEM learning.
FIE
Xiaodong Qu, Yixin Sun, Robert Sekuler, Timothy J. Hickey
2018 C conf
Machine Learning Based Directed Self Study in Calculus with CalcTutor.
FIE
Kristian Kime, Timothy J. Hickey, Rebecca Torrey
2018 A conf
SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only).
SIGCSE
Timothy J. Hickey, Fatima Abu Deeb
2018 — conf
Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy.
CSEDU (1)
Fatima Abu Deeb, Antonella DiLillo, Timothy J. Hickey
2018 — conf
Using Spinoza Log Data to Enhance CS1 Pedagogy.
CSEDU (Selected Papers)
Fatima Abu Deeb, Antonella DiLillo, Timothy J. Hickey
2017 C conf
Flipping introductory programming classes using spinoza and agile pedagogy.
FIE
Fatima Abu Deeb, Timothy J. Hickey
2017 — conf
GroupWork: Learning During Collaborative Assessment Activities.
CSCL
William T. Tarimo, Timothy J. Hickey
2017 C conf
The calculus dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment.
FIE
Kristian Kime, Timothy J. Hickey, Rebecca Torrey
2016 J jnl
Early detection of at-risk students in CS1 using teachback/spinoza.
J. Comput. Sci. Coll.
William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey
2016 C conf
Fully integrating remote students into a traditional classroom using live-streaming and TeachBack.
FIE
William T. Tarimo, Timothy J. Hickey
2016 C conf
Measuring and visualizing learning with Markov Models.
FIE
Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, Timothy J. Hickey
2015 — conf
A Flipped Classroom with and Without Computers.
CSEDU (Selected Papers)
William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey
2015 J jnl
Adopting a "flipped" interactive pedagogy using TeachBack: tutorial presentation.
J. Comput. Sci. Coll.
William T. Tarimo, Timothy J. Hickey
2015 C conf
CalcTutor: Applying the teachers dilemma methodology to calculus pedagogy.
FIE
Kristian Kime, Rebecca Torrey, Timothy J. Hickey
2015 — conf
Computers in the CS1 Classroom.
CSEDU (2)
William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey
2015 J jnl
The Spinoza code tutor: faculty poster abstract.
J. Comput. Sci. Coll.
Fatima Abu Deeb, Timothy J. Hickey
2014 J jnl
The affective tutor.
J. Comput. Sci. Coll.
Timothy J. Hickey, William T. Tarimo
2013 J jnl
Physics-based 3D game design as a first course in computing.
J. Comput. Sci. Coll.
Timothy J. Hickey
2013 A conf
The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship.
SIGCSE
Timothy J. Hickey, R. Pito Salas
2008 — ch.
Visualization and Interactive Exploration of Large, Multidimensional Data Sets.
Applications of Computational Intelligence in Biology
John T. Langton, Elizabeth A. Gifford, Timothy J. Hickey
2007 Misc conf
NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data.
Visualization and Data Analysis
John T. Langton, Astrid A. Prinz, Timothy J. Hickey
2006 — conf
Combining Pixelization and Dimensional Stacking.
ISVC (2)
John T. Langton, Astrid A. Prinz, Timothy J. Hickey
2006 — conf
Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries.
VIEW
John T. Langton, Astrid A. Prinz, David K. Wittenberg, Timothy J. Hickey
2005 J jnl
Enhancing CS programming lab courses using collaborative editors.
J. Comput. Sci. Coll.
Timothy J. Hickey, John T. Langton, Richard Alterman
2005 Misc conf
The design, implementation, and application of the grewpEdit tool.
Richard Tapia Celebration of Diversity in Computing Conference
Kenroy Granville, Timothy J. Hickey
2004 J jnl
Computer literacy via Scheme and web programming.
J. Funct. Program.
Timothy J. Hickey
2004 J jnl
Integrating tools and resources: a case study in building educational groupware for collaborative programming.
J. Comput. Sci. Coll.
John T. Langton, Timothy J. Hickey, Richard Alterman
2004 — conf
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.
HSCC
Timothy J. Hickey, David K. Wittenberg
2004 A conf
Scheme-based web programming as a basis for a CS0 curriculum.
SIGCSE
Timothy J. Hickey
2004 Misc conf
Using Analytic CLP to Model and Analyze Hybrid Systems.
FLAIRS
Timothy J. Hickey, David K. Wittenberg
2002 J jnl
Internet computing in the computer science curriculum.
J. Comput. Sci. Coll.
Amruth Kumar, Kevin Hufford, Timothy J. Hickey, Joseph Bergin, Linda M. Wilkens
2002 A conf
Internet-centric computing in the Computer Science curriculum.
SIGCSE
Timothy J. Hickey, Amruth N. Kumar, Linda M. Wilkens, Andrew Beiderman, Aparna Mahadev, Heidi J. C. Ellis
2001 J jnl
Internet-centric curriculum (panel session).
J. Comput. Sci. Coll.
Amruth Kumar, Kevin Hufford, Joseph Bergin, Timothy J. Hickey
2001 J jnl
Interval arithmetic: From principles to implementation.
J. ACM
Timothy J. Hickey, Qun Ju, Maarten H. van Emden
2001 J jnl
Metalevel Interval Arithmetic and Verifiable Constraint Solving.
J. Funct. Log. Program.
Timothy J. Hickey
2000 A* conf
Analytic Constraint Solving and Interval Arithmetic.
POPL
Timothy J. Hickey
2000 C conf
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.
PADL
Timothy J. Hickey
2000 — conf
Constraint-Based Termination Analysis for Cyclic Active Database Rules.
Computational Logic
Saumya K. Debray, Timothy J. Hickey
2000 J jnl
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.
Reliab. Comput.
Timothy J. Hickey, Zhe Qju, Maarten H. van Emden
1999 — conf
Reflecting Java into Scheme.
Reflection
Kenneth R. Anderson, Timothy J. Hickey
1999 A conf
Validated Constraint Compilation.
CP
Timothy J. Hickey, David K. Wittenberg
1998 A conf
A Unified Framework for Interval Constraints and Interval Arithmetic.
CP
Timothy J. Hickey, Maarten H. van Emden, Huan Wu
1994 B conf
Multi-SLD Resolution.
LPAR
Donald A. Smith, Timothy J. Hickey
1993 — conf
Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh.
PPSC
Z. George Mou, Xiaojing Wang, Timothy J. Hickey
1992 J jnl
Computer-Assisted Microanalysis of Parallel Programs.
ACM Trans. Program. Lang. Syst.
Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean
1992 J jnl
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives.
New Gener. Comput.
Timothy J. Hickey, Jacques Cohen, V. Deschamps
1991 — conf
Functional Constraints in CLP Languages.
WCLP
Timothy J. Hickey
1991 C conf
Toward the Partial Evaluation of CLP Languages.
PEPM
Timothy J. Hickey, Donald A. Smith
1990 — conf
Partial Evaluation of a CLP Language.
NACLP
Donald A. Smith, Timothy J. Hickey
1989 A* conf
CLP* and Constraint Abstraction.
POPL
Timothy J. Hickey
1989 J jnl
Global Compilation of Prolog.
J. Log. Program.
Timothy J. Hickey, Shyam Mudambi
1988 J jnl
Automating program analysis.
J. ACM
Timothy J. Hickey, Jacques Cohen
1987 J jnl
Parsing and Compiling Using Prolog.
ACM Trans. Program. Lang. Syst.
Jacques Cohen, Timothy J. Hickey
1984 J jnl
Performance Analysis of On-the-Fly Garbage Collection.
Commun. ACM
Timothy J. Hickey, Jacques Cohen
1983 J jnl
Uniform Random Generation of Strings in a Context-Free Language.
SIAM J. Comput.
Timothy J. Hickey, Jacques Cohen
1982 J jnl
Upper Bounds for Speedup in Parallel Parsing.
J. ACM
Jacques Cohen, Timothy J. Hickey, Joel Katcoff
1979 J jnl
Two Algorithms for Determining Volumes of Convex Polyhedra.
J. ACM
Jacques Cohen, Timothy J. Hickey