Timothy J. Hickey

Publication Activity (10 Years)

Years Active: 1979-2023
Publications (10 Years): 25

Top Topics

Multi Class Svms

Top Venues

CSEDU (Selected Papers)

Publications

Ella Tuson, Timothy J. Hickey
Mastery Learning with Specs Grading for Programming Courses. SIGCSE (1) (2023)
Xiaodong Qu, Timothy J. Hickey
EEG4Home: A Human-In-The-Loop Machine Learning Model for EEG-Based BCI. HCI (9) (2022)
Fatima Abu Deeb, Timothy J. Hickey
Reflective Debugging in Spinoza V3.0. ACE (2021)
Fatima Abu Deeb, Timothy J. Hickey
Reflective Debugging with a Python Web IDE. SIGCSE (2021)
Xiaodong Qu, Peiyan Liu, Zhaonan Li, Timothy J. Hickey
Multi-class Time Continuity Voting for EEG Classification. BFAL (2020)
Kristian Kime, Timothy J. Hickey, Rebecca Torrey
Refining Skill Classification with Interactive Machine Learning. FIE (2019)
Fatima Abu Deeb, Timothy J. Hickey
Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza. SIGCSE (2019)
Fatima Abu Deeb, Timothy J. Hickey
Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics. CSEDU (2) (2019)
Fatima Abu Deeb, Timothy J. Hickey
Teaching Introductory Cryptography using a 3D Escape-the-Room Game. FIE (2019)
William DeRusha, Timothy J. Hickey
21st Century Skill Building with Web-based Games. CSEDU (2) (2019)
Fatima Abu Deeb, Antonella DiLillo, Timothy J. Hickey
Using Spinoza Log Data to Enhance CS1 Pedagogy. CSEDU (Selected Papers) (2018)
Kristian Kime, Timothy J. Hickey, Rebecca Torrey
Machine Learning Based Directed Self Study in Calculus with CalcTutor. FIE (2018)
Timothy J. Hickey, Fatima Abu Deeb
SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only). SIGCSE (2018)
Fatima Abu Deeb, Timothy J. Hickey
Classroom Orchestration with Problem Solving Markov Models. FIE (2018)
Xiaodong Qu, Mercedes Hall, Yile Sun, Robert Sekuler, Timothy J. Hickey
A Personalized Reading Coach using Wearable EEG Sensors - A Pilot Study of Brainwave Learning Analytics. CSEDU (2) (2018)
Xiaodong Qu, Yixin Sun, Robert Sekuler, Timothy J. Hickey
EEG markers of STEM learning. FIE (2018)
Fatima Abu Deeb, Antonella DiLillo, Timothy J. Hickey
Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy. CSEDU (1) (2018)
Kristian Kime, Timothy J. Hickey, Rebecca Torrey
The calculus dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment. FIE (2017)
William T. Tarimo, Timothy J. Hickey
GroupWork: Learning During Collaborative Assessment Activities. CSCL (2017)
Fatima Abu Deeb, Timothy J. Hickey
Flipping introductory programming classes using spinoza and agile pedagogy. FIE (2017)
William T. Tarimo, Timothy J. Hickey
Fully integrating remote students into a traditional classroom using live-streaming and TeachBack. FIE (2016)
Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, Timothy J. Hickey
Measuring and visualizing learning with Markov Models. FIE (2016)
William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey
A Flipped Classroom with and Without Computers. CSEDU (Selected Papers) (2015)
Kristian Kime, Rebecca Torrey, Timothy J. Hickey
CalcTutor: Applying the teachers dilemma methodology to calculus pedagogy. FIE (2015)
William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey
Computers in the CS1 Classroom. CSEDU (2) (2015)
Timothy J. Hickey, R. Pito Salas
The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship. SIGCSE (2013)
John T. Langton, Astrid A. Prinz, Timothy J. Hickey
NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data. Visualization and Data Analysis (2007)
John T. Langton, Astrid A. Prinz, Timothy J. Hickey
Combining Pixelization and Dimensional Stacking. ISVC (2) (2006)
John T. Langton, Astrid A. Prinz, David K. Wittenberg, Timothy J. Hickey
Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries. VIEW (2006)
Kenroy Granville, Timothy J. Hickey
The design, implementation, and application of the grewpEdit tool. Richard Tapia Celebration of Diversity in Computing Conference (2005)
Timothy J. Hickey, David K. Wittenberg
Using Analytic CLP to Model and Analyze Hybrid Systems. FLAIRS Conference (2004)
Timothy J. Hickey, David K. Wittenberg
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. HSCC (2004)
Timothy J. Hickey
Computer literacy via Scheme and web programming. J. Funct. Program. 14 (5) (2004)
Timothy J. Hickey
Scheme-based web programming as a basis for a CS0 curriculum. SIGCSE (2004)
Timothy J. Hickey, Amruth N. Kumar, Linda Wilkens, Andrew Beiderman, Aparna Mahadev, Heidi J. C. Ellis
Internet-centric computing in the Computer Science curriculum. SIGCSE (2002)
Timothy J. Hickey, Qun Ju, Maarten H. van Emden
Interval arithmetic: From principles to implementation. J. ACM 48 (5) (2001)
Timothy J. Hickey
Metalevel Interval Arithmetic and Verifiable Constraint Solving. J. Funct. Log. Program. 2001 (7) (2001)
Timothy J. Hickey
Analytic Constraint Solving and Interval Arithmetic. POPL (2000)
Timothy J. Hickey, Zhe Qju, Maarten H. van Emden
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. Reliab. Comput. 6 (1) (2000)
Timothy J. Hickey
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. PADL (2000)
Saumya K. Debray, Timothy J. Hickey
Constraint-Based Termination Analysis for Cyclic Active Database Rules. Computational Logic (2000)
Kenneth R. Anderson, Timothy J. Hickey
Reflecting Java into Scheme. Reflection (1999)
Timothy J. Hickey, David K. Wittenberg
Validated Constraint Compilation. CP (1999)
Timothy J. Hickey, Maarten H. van Emden, Huan Wu
A Unified Framework for Interval Constraints and Interval Arithmetic. CP (1998)
Donald A. Smith, Timothy J. Hickey
Multi-SLD Resolution. LPAR (1994)
Z. George Mou, Xiaojing Wang, Timothy J. Hickey
Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh. PPSC (1993)
Timothy J. Hickey, Jacques Cohen, V. Deschamps
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. New Gener. Comput. 10 (4) (1992)
Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean
Computer-Assisted Microanalysis of Parallel Programs. ACM Trans. Program. Lang. Syst. 14 (1) (1992)
Timothy J. Hickey, Donald A. Smith
Toward the Partial Evaluation of CLP Languages. PEPM (1991)
Timothy J. Hickey
Functional Constraints in CLP Languages. WCLP (1991)
Donald A. Smith, Timothy J. Hickey
Partial Evaluation of a CLP Language. NACLP (1990)
Timothy J. Hickey
CLP* and Constraint Abstraction. POPL (1989)
Timothy J. Hickey, Shyam Mudambi
Global Compilation of Prolog. J. Log. Program. 7 (3) (1989)
Timothy J. Hickey, Jacques Cohen
Automating program analysis. J. ACM 35 (1) (1988)
Jacques Cohen, Timothy J. Hickey
Parsing and Compiling Using Prolog. ACM Trans. Program. Lang. Syst. 9 (2) (1987)
Timothy J. Hickey, Jacques Cohen
Performance Analysis of On-the-Fly Garbage Collection. Commun. ACM 27 (11) (1984)
Timothy J. Hickey, Jacques Cohen
Uniform Random Generation of Strings in a Context-Free Language. SIAM J. Comput. 12 (4) (1983)
Jacques Cohen, Timothy J. Hickey, Joel Katcoff
Upper Bounds for Speedup in Parallel Parsing. J. ACM 29 (2) (1982)
Jacques Cohen, Timothy J. Hickey
Two Algorithms for Determining Volumes of Convex Polyhedra. J. ACM 26 (3) (1979)