default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTimothy J. Hickey
Person information
- affiliation: Brandeis University, Waltham, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j14]Fatima Abu Deeb
, Timothy J. Hickey:
Impact of reflection in auto-graders: an empirical study of novice coders. Comput. Sci. Educ. 34(3): 473-494 (2024)- 2004
- [j13]Timothy J. Hickey:
Computer literacy via Scheme and web programming. J. Funct. Program. 14(5): 475-488 (2004) - 2001
- [j12]Timothy J. Hickey, Qun Ju, Maarten H. van Emden:
Interval arithmetic: From principles to implementation. J. ACM 48(5): 1038-1068 (2001) - [j11]Timothy J. Hickey:
Metalevel Interval Arithmetic and Verifiable Constraint Solving. J. Funct. Log. Program. 2001(7) (2001) - 2000
- [j10]Timothy J. Hickey, Zhe Qju, Maarten H. van Emden:
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. Reliab. Comput. 6(1): 81-92 (2000) - 1992
- [j9]Timothy J. Hickey, Jacques Cohen, V. Deschamps:
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. New Gener. Comput. 10(4): 361-384 (1992) - [j8]Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean:
Computer-Assisted Microanalysis of Parallel Programs. ACM Trans. Program. Lang. Syst. 14(1): 54-106 (1992) - 1989
- [j7]Timothy J. Hickey, Shyam Mudambi:
Global Compilation of Prolog. J. Log. Program. 7(3): 193-230 (1989) - 1988
- [j6]Timothy J. Hickey, Jacques Cohen:
Automating program analysis. J. ACM 35(1): 185-220 (1988) - 1987
- [j5]Jacques Cohen, Timothy J. Hickey:
Parsing and Compiling Using Prolog. ACM Trans. Program. Lang. Syst. 9(2): 125-163 (1987) - 1984
- [j4]Timothy J. Hickey, Jacques Cohen:
Performance Analysis of On-the-Fly Garbage Collection. Commun. ACM 27(11): 1143-1154 (1984) - 1983
- [j3]Timothy J. Hickey, Jacques Cohen:
Uniform Random Generation of Strings in a Context-Free Language. SIAM J. Comput. 12(4): 645-655 (1983) - 1982
- [j2]Jacques Cohen, Timothy J. Hickey, Joel Katcoff:
Upper Bounds for Speedup in Parallel Parsing. J. ACM 29(2): 408-428 (1982) - 1979
- [j1]Jacques Cohen, Timothy J. Hickey:
Two Algorithms for Determining Volumes of Convex Polyhedra. J. ACM 26(3): 401-414 (1979)
Conference and Workshop Papers
- 2025
- [c51]Fatima Abu Deeb, Ella Tuson, Timothy J. Hickey:
Grading for Equity in a Hyflex Compiler Design Course. SIGCSE (1) 2025: 4-10 - [c50]Timothy J. Hickey, Ella Tuson:
The Mastery Learning App. SIGCSE (2) 2025: 1734 - 2024
- [c49]Jessica Liebowitz, Timothy J. Hickey:
The Internal Internship: Enabling Novel Opportunities for Undergraduate Data Science Experiential Education. SIGCSE Virtual (1) 2024 - 2023
- [c48]Ella Tuson, Timothy J. Hickey:
Mastery Learning with Specs Grading for Programming Courses. SIGCSE (1) 2023: 1049-1054 - 2022
- [c47]Xiaodong Qu, Timothy J. Hickey:
EEG4Home: A Human-In-The-Loop Machine Learning Model for EEG-Based BCI. HCI (9) 2022: 162-172 - [c46]Ella Tuson, Tim Hickey:
Mastery Learning and Specs Grading in Discrete Math. ITiCSE (1) 2022: 19-25 - 2021
- [c45]Fatima Abu Deeb, Timothy J. Hickey:
Reflective Debugging in Spinoza V3.0. ACE 2021: 125-130 - [c44]Fatima Abu Deeb, Timothy J. Hickey:
Reflective Debugging with a Python Web IDE. SIGCSE 2021: 1368 - 2020
- [c43]Xiaodong Qu, Peiyan Liu, Zhaonan Li, Timothy J. Hickey:
Multi-class Time Continuity Voting for EEG Classification. BFAL 2020: 24-33 - [c42]Xiaodong Qu, Qingtian Mei, Peiyan Liu, Timothy J. Hickey:
Using EEG to Distinguish Between Writing and Typing for the Same Cognitive Task. BFAL 2020: 66-74 - 2019
- [c41]William DeRusha, Timothy J. Hickey:
21st Century Skill Building with Web-based Games. CSEDU (2) 2019: 196-203 - [c40]Fatima Abu Deeb, Timothy J. Hickey:
Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics. CSEDU (2) 2019: 204-211 - [c39]Fatima Abu Deeb, Timothy J. Hickey:
Teaching Introductory Cryptography using a 3D Escape-the-Room Game. FIE 2019: 1-6 - [c38]Kristian Kime, Timothy J. Hickey, Rebecca Torrey:
Refining Skill Classification with Interactive Machine Learning. FIE 2019: 1-8 - [c37]Fatima Abu Deeb, Timothy J. Hickey:
Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza. SIGCSE 2019: 1255 - 2018
- [c36]Fatima Abu Deeb, Antonella DiLillo, Timothy J. Hickey:
Using Spinoza Log Data to Enhance CS1 Pedagogy. CSEDU (Selected Papers) 2018: 14-36 - [c35]Fatima Abu Deeb, Antonella DiLillo, Timothy J. Hickey:
Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy. CSEDU (1) 2018: 28-37 - [c34]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: 501-507 - [c33]Fatima Abu Deeb, Timothy J. Hickey:
Classroom Orchestration with Problem Solving Markov Models. FIE 2018: 1-8 - [c32]Kristian Kime, Timothy J. Hickey, Rebecca Torrey:
Machine Learning Based Directed Self Study in Calculus with CalcTutor. FIE 2018: 1-5 - [c31]Xiaodong Qu, Yixin Sun, Robert Sekuler, Timothy J. Hickey:
EEG markers of STEM learning. FIE 2018: 1-9 - [c30]Timothy J. Hickey, Fatima Abu Deeb:
SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only). SIGCSE 2018: 1112 - 2017
- [c29]William T. Tarimo, Timothy J. Hickey:
GroupWork: Learning During Collaborative Assessment Activities. CSCL 2017 - [c28]Fatima Abu Deeb, Timothy J. Hickey:
Flipping introductory programming classes using spinoza and agile pedagogy. FIE 2017: 1-9 - [c27]Kristian Kime, Timothy J. Hickey, Rebecca Torrey:
The calculus dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment. FIE 2017: 1-8 - 2016
- [c26]Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, Timothy J. Hickey:
Measuring and visualizing learning with Markov Models. FIE 2016: 1-9 - [c25]William T. Tarimo, Timothy J. Hickey:
Fully integrating remote students into a traditional classroom using live-streaming and TeachBack. FIE 2016: 1-8 - 2015
- [c24]William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey:
Computers in the CS1 Classroom. CSEDU (2) 2015: 67-74 - [c23]William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey:
A Flipped Classroom with and Without Computers. CSEDU (Selected Papers) 2015: 333-347 - [c22]Kristian Kime, Rebecca Torrey, Timothy J. Hickey:
CalcTutor: Applying the teachers dilemma methodology to calculus pedagogy. FIE 2015: 1-8 - 2013
- [c21]Timothy J. Hickey, R. Pito Salas:
The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship. SIGCSE 2013: 549-554 - 2007
- [c20]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: 64950H - 2006
- [c19]John T. Langton, Astrid A. Prinz, Timothy J. Hickey:
Combining Pixelization and Dimensional Stacking. ISVC (2) 2006: 617-626 - [c18]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: 77-91 - 2005
- [c17]Kenroy Granville, Timothy J. Hickey:
The design, implementation, and application of the grewpEdit tool. Richard Tapia Celebration of Diversity in Computing Conference 2005: 14-16 - 2004
- [c16]Timothy J. Hickey, David K. Wittenberg:
Using Analytic CLP to Model and Analyze Hybrid Systems. FLAIRS 2004: 269-274 - [c15]Timothy J. Hickey, David K. Wittenberg:
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. HSCC 2004: 402-416 - [c14]Timothy J. Hickey:
Scheme-based web programming as a basis for a CS0 curriculum. SIGCSE 2004: 353-357 - 2002
- [c13]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: 50-51 - 2000
- [c12]Saumya K. Debray, Timothy J. Hickey:
Constraint-Based Termination Analysis for Cyclic Active Database Rules. Computational Logic 2000: 1121-1136 - [c11]Timothy J. Hickey:
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. PADL 2000: 200-214 - [c10]Timothy J. Hickey:
Analytic Constraint Solving and Interval Arithmetic. POPL 2000: 338-351 - 1999
- [c9]Timothy J. Hickey, David K. Wittenberg:
Validated Constraint Compilation. CP 1999: 482-483 - [c8]Kenneth R. Anderson, Timothy J. Hickey:
Reflecting Java into Scheme. Reflection 1999: 154-174 - 1998
- [c7]Timothy J. Hickey, Maarten H. van Emden, Huan Wu:
A Unified Framework for Interval Constraints and Interval Arithmetic. CP 1998: 250-264 - 1994
- [c6]Donald A. Smith, Timothy J. Hickey:
Multi-SLD Resolution. LPAR 1994: 260-274 - 1993
- [c5]Z. George Mou, Xiaojing Wang, Timothy J. Hickey:
Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh. PPSC 1993: 784-787 - 1991
- [c4]Timothy J. Hickey, Donald A. Smith:
Toward the Partial Evaluation of CLP Languages. PEPM 1991: 43-51 - [c3]Timothy J. Hickey:
Functional Constraints in CLP Languages. WCLP 1991: 355-381 - 1990
- [c2]Donald A. Smith, Timothy J. Hickey:
Partial Evaluation of a CLP Language. NACLP 1990: 119-138 - 1989
- [c1]Timothy J. Hickey:
CLP* and Constraint Abstraction. POPL 1989: 125-133
Parts in Books or Collections
- 2008
- [p1]John T. Langton, Elizabeth A. Gifford, Timothy J. Hickey:
Visualization and Interactive Exploration of Large, Multidimensional Data Sets. Applications of Computational Intelligence in Biology 2008: 231-255
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-21 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
