Two Algorithms for Determining Volumes of Convex Polyhedra. - Jacques Cohen; Timothy J. Hickey (J. ACM, 1979)

Upper Bounds for Speedup in Parallel Parsing. - Jacques Cohen; Timothy J. Hickey; Joel Katcoff (J. ACM, 1982)

Uniform Random Generation of Strings in a Context-Free Language. - Timothy J. Hickey; Jacques Cohen (SIAM J. Comput., 1983)

Performance Analysis of On-the-Fly Garbage Collection. - Timothy J. Hickey; Jacques Cohen (Commun. ACM, 1984)

Parsing and Compiling Using Prolog. - Jacques Cohen; Timothy J. Hickey (ACM Trans. Program. Lang. Syst., 1987)

Automating program analysis. - Timothy J. Hickey; Jacques Cohen (J. ACM, 1988)

CLP* and Constraint Abstraction. - Timothy J. Hickey (POPL, 1989)

Global Compilation of Prolog. - Timothy J. Hickey; Shyam Mudambi (J. Log. Program., 1989)

Partial Evaluation of a CLP Language. - Donald A. Smith; Timothy J. Hickey (NACLP, 1990)

Toward the Partial Evaluation of CLP Languages. - Timothy J. Hickey; Donald A. Smith (PEPM, 1991)

Functional Constraints in CLP Languages. - Timothy J. Hickey (WCLP, 1991)

Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. - Timothy J. Hickey; Jacques Cohen; V. Deschamps (New Gener. Comput., 1992)

Computer-Assisted Microanalysis of Parallel Programs. - Timothy J. Hickey; Jacques Cohen; Hitofumi Hotta; Thierry PetitJean (ACM Trans. Program. Lang. Syst., 1992)

Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh. - Z. George Mou; Xiaojing Wang; Timothy J. Hickey (PPSC, 1993)

Multi-SLD Resolution. - Donald A. Smith; Timothy J. Hickey (LPAR, 1994)

A Unified Framework for Interval Constraints and Interval Arithmetic. - Timothy J. Hickey; Maarten H. van Emden; Huan Wu (CP, 1998)

Validated Constraint Compilation. - Timothy J. Hickey; David K. Wittenberg (CP, 1999)

Reflecting Java into Scheme. - Kenneth R. Anderson 002; Timothy J. Hickey (Reflection, 1999)

Constraint-Based Termination Analysis for Cyclic Active Database Rules. - Saumya K. Debray; Timothy J. Hickey (Computational Logic, 2000)

CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. - Timothy J. Hickey (PADL, 2000)

Analytic Constraint Solving and Interval Arithmetic. - Timothy J. Hickey (POPL, 2000)

Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. - Timothy J. Hickey; Zhe Qju; Maarten H. van Emden (Reliab. Comput., 2000)

Interval arithmetic: From principles to implementation. - Timothy J. Hickey; Qun Ju; Maarten H. van Emden (J. ACM, 2001)

Internet-centric curriculum (panel session). - Amruth Kumar 001; Kevin Hufford 001; Joseph Bergin; Timothy J. Hickey (J. Comput. Sci. Coll., 2001)

Metalevel Interval Arithmetic and Verifiable Constraint Solving. - Timothy J. Hickey (J. Funct. Log. Program., 2001)

Internet-centric computing in the Computer Science curriculum. - Timothy J. Hickey; Amruth N. Kumar; Linda M. Wilkens; Andrew Beiderman; Aparna Mahadev; Heidi J. C. Ellis (SIGCSE, 2002)

Internet computing in the computer science curriculum. - Amruth Kumar 001; Kevin Hufford 001; Timothy J. Hickey; Joseph Bergin; Linda M. Wilkens (J. Comput. Sci. Coll., 2002)

Using Analytic CLP to Model and Analyze Hybrid Systems. - Timothy J. Hickey; David K. Wittenberg (FLAIRS, 2004)

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. - Timothy J. Hickey; David K. Wittenberg (HSCC, 2004)

Scheme-based web programming as a basis for a CS0 curriculum. - Timothy J. Hickey (SIGCSE, 2004)

Integrating tools and resources: a case study in building educational groupware for collaborative programming. - John T. Langton; Timothy J. Hickey; Richard Alterman (J. Comput. Sci. Coll., 2004)

Computer literacy via Scheme and web programming. - Timothy J. Hickey (J. Funct. Program., 2004)

The design, implementation, and application of the grewpEdit tool. - Kenroy Granville; Timothy J. Hickey (Richard Tapia Celebration of Diversity in Computing Conference, 2005)

Enhancing CS programming lab courses using collaborative editors. - Timothy J. Hickey; John T. Langton; Richard Alterman (J. Comput. Sci. Coll., 2005)

Combining Pixelization and Dimensional Stacking. - John T. Langton; Astrid A. Prinz; Timothy J. Hickey (ISVC (2), 2006)

Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries. - John T. Langton; Astrid A. Prinz; David K. Wittenberg; Timothy J. Hickey (VIEW, 2006)

NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data. - John T. Langton; Astrid A. Prinz; Timothy J. Hickey (Visualization and Data Analysis, 2007)

Visualization and Interactive Exploration of Large, Multidimensional Data Sets. - John T. Langton; Elizabeth A. Gifford; Timothy J. Hickey (Applications of Computational Intelligence in Biology, 2008)

The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship. - Timothy J. Hickey; R. Pito Salas (SIGCSE, 2013)

Physics-based 3D game design as a first course in computing. - Timothy J. Hickey (J. Comput. Sci. Coll., 2013)

The affective tutor. - Timothy J. Hickey; William T. Tarimo (J. Comput. Sci. Coll., 2014)

Computers in the CS1 Classroom. - William T. Tarimo; Fatima Abu Deeb; Timothy J. Hickey (CSEDU (2), 2015)

A Flipped Classroom with and Without Computers. - William T. Tarimo; Fatima Abu Deeb; Timothy J. Hickey (CSEDU (Selected Papers), 2015)

CalcTutor: Applying the teachers dilemma methodology to calculus pedagogy. - Kristian Kime; Rebecca Torrey; Timothy J. Hickey (FIE, 2015)

The Spinoza code tutor: faculty poster abstract. - Fatima Abu Deeb; Timothy J. Hickey (J. Comput. Sci. Coll., 2015)

Adopting a "flipped" interactive pedagogy using TeachBack: tutorial presentation. - William T. Tarimo; Timothy J. Hickey (J. Comput. Sci. Coll., 2015)

Measuring and visualizing learning with Markov Models. - Fatima Abu Deeb; Kristian Kime; Rebecca Torrey; Timothy J. Hickey (FIE, 2016)

Fully integrating remote students into a traditional classroom using live-streaming and TeachBack. - William T. Tarimo; Timothy J. Hickey (FIE, 2016)

Early detection of at-risk students in CS1 using teachback/spinoza. - William T. Tarimo; Fatima Abu Deeb; Timothy J. Hickey (J. Comput. Sci. Coll., 2016)

GroupWork: Learning During Collaborative Assessment Activities. - William T. Tarimo; Timothy J. Hickey (CSCL, 2017)

Flipping introductory programming classes using spinoza and agile pedagogy. - Fatima Abu Deeb; Timothy J. Hickey (FIE, 2017)

The calculus dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment. - Kristian Kime; Timothy J. Hickey; Rebecca Torrey (FIE, 2017)

Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy. - Fatima Abu Deeb; Antonella DiLillo; Timothy J. Hickey (CSEDU (1), 2018)

Using Spinoza Log Data to Enhance CS1 Pedagogy. - Fatima Abu Deeb; Antonella DiLillo; Timothy J. Hickey (CSEDU (Selected Papers), 2018)

A Personalized Reading Coach using Wearable EEG Sensors - A Pilot Study of Brainwave Learning Analytics. - Xiaodong Qu; Mercedes Hall; Yile Sun; Robert Sekuler; Timothy J. Hickey (CSEDU (2), 2018)

Classroom Orchestration with Problem Solving Markov Models. - Fatima Abu Deeb; Timothy J. Hickey (FIE, 2018)

Machine Learning Based Directed Self Study in Calculus with CalcTutor. - Kristian Kime; Timothy J. Hickey; Rebecca Torrey (FIE, 2018)

EEG markers of STEM learning. - Xiaodong Qu; Yixin Sun; Robert Sekuler; Timothy J. Hickey (FIE, 2018)

SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only). - Timothy J. Hickey; Fatima Abu Deeb (SIGCSE, 2018)

21st Century Skill Building with Web-based Games. - William DeRusha; Timothy J. Hickey (CSEDU (2), 2019)

Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics. - Fatima Abu Deeb; Timothy J. Hickey (CSEDU (2), 2019)

Teaching Introductory Cryptography using a 3D Escape-the-Room Game. - Fatima Abu Deeb; Timothy J. Hickey (FIE, 2019)

Refining Skill Classification with Interactive Machine Learning. - Kristian Kime; Timothy J. Hickey; Rebecca Torrey (FIE, 2019)

Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza. - Fatima Abu Deeb; Timothy J. Hickey (SIGCSE, 2019)

Multi-class Time Continuity Voting for EEG Classification. - Xiaodong Qu; Peiyan Liu 003; Zhaonan Li; Timothy J. Hickey (BFAL, 2020)

Using EEG to Distinguish Between Writing and Typing for the Same Cognitive Task. - Xiaodong Qu; Qingtian Mei; Peiyan Liu 003; Timothy J. Hickey (BFAL, 2020)

Reflective Debugging in Spinoza V3.0. - Fatima Abu Deeb; Timothy J. Hickey (ACE, 2021)

Reflective Debugging with a Python Web IDE. - Fatima Abu Deeb; Timothy J. Hickey (SIGCSE, 2021)

EEG4Home: A Human-In-The-Loop Machine Learning Model for EEG-Based BCI. - Xiaodong Qu; Timothy J. Hickey (HCI (9), 2022)

Mastery Learning and Specs Grading in Discrete Math. - Ella Tuson; Tim Hickey (ITiCSE (1), 2022)

Mastery Learning with Specs Grading for Programming Courses. - Ella Tuson; Timothy J. Hickey (SIGCSE (1), 2023)

The Internal Internship: Enabling Novel Opportunities for Undergraduate Data Science Experiential Education. - Jessica Liebowitz; Timothy J. Hickey (SIGCSE Virtual (1), 2024)

Impact of reflection in auto-graders: an empirical study of novice coders. - Fatima Abu Deeb; Timothy J. Hickey (Comput. Sci. Educ., 2024)

Grading for Equity in a Hyflex Compiler Design Course. - Fatima Abu Deeb; Ella Tuson; Timothy J. Hickey (SIGCSE (1), 2025)

The Mastery Learning App. - Timothy J. Hickey; Ella Tuson (SIGCSE (2), 2025)

Equitable Grading in a Mastery Learning Class. - Timothy J. Hickey; Ella Tuson (J. Comput. Sci. Coll., 2025)