Timothy J. Hickey
#42,753
Most Influential Person Now
American computer scientist
Timothy J. Hickey's AcademicInfluence.com Rankings
Timothy J. Hickeycomputer-science Degrees
Computer Science
#2125
World Rank
#2208
Historical Rank
#970
USA Rank
Programming
#52
World Rank
#54
Historical Rank
#20
USA Rank
Database
#9443
World Rank
#9950
Historical Rank
#1329
USA Rank
Download Badge
Computer Science
Timothy J. Hickey's Degrees
- Bachelors Mathematics University of California, Berkeley
Similar Degrees You Can Earn
Why Is Timothy J. Hickey Influential?
(Suggest an Edit or Addition)According to Wikipedia, Timothy J. Hickey is a professor of computer science and former Chair of the Computer Science and Internet Studies Program at Brandeis University. Hickey's specialties include analysis of algorithms, logic programming and parallel processing, symbolic manipulation, and groupware. His current research involved the study of Educational Technology, Brain-Computer Interfaces and Game-based Learning. He is the co-creator and lead developer of the JScheme programming language and the GrewpEdit collaborative editor.
Timothy J. Hickey's Published Works
Published Works
- Interval arithmetic: From principles to implementation (2001) (353)
- Structure and visualization of high-dimensional conductance spaces. (2006) (118)
- Two Algorithms for Determining Volumes of Convex Polyhedra (1979) (106)
- Uniform Random Generation of Strings in a Context-Free Language (1983) (77)
- Parsing and compiling using Prolog (1987) (68)
- Automating program analysis (1988) (57)
- Global Compilation of Prolog (1989) (54)
- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints (2004) (44)
- Performance analysis of on-the-fly garbage collection (1984) (36)
- Upper Bounds for Speedup in Parallel Parsing (1982) (33)
- A Unified Framework for Interval Constraints and Interval Arithmetic (1998) (26)
- Toward the partial evaluation of CLP languages (1991) (25)
- Partial Evaluation of a CLP Language (1990) (25)
- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving (2000) (25)
- Analytic constraint solving and interval arithmetic (2000) (25)
- Integrating tools and resources: a case study in building educational groupware for collaborative programming (2004) (23)
- Early detection of at-risk students in CS1 using teachback/spinoza (2016) (23)
- Intracellular and Computational Characterization of the Intracortical Inhibitory Control of Synchronized Thalamic Inputs In Vivo (1997) (23)
- Scheme-based web programming as a basis for a CS0 curriculum (2004) (22)
- Metalevel Interval Arithmetic and Verifiable Constraint Solving (2001) (19)
- Enhancing CS programming lab courses using collaborative editors (2005) (18)
- Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations (2000) (16)
- Computer-assisted microanalysis of parallel programs (1992) (15)
- Multi-class Time Continuity Voting for EEG Classification (2020) (14)
- A Personalized Reading Coach using Wearable EEG Sensors - A Pilot Study of Brainwave Learning Analytics (2018) (14)
- EEG markers of STEM learning (2018) (13)
- A Flipped Classroom with and Without Computers (2015) (11)
- SILK - a playful blend of Scheme and Java (2000) (11)
- The affective tutor (2014) (11)
- Constraint-Based Termination Analysis for Cyclic Active Database Rules (2000) (10)
- Identifying Clinically and Functionally Distinct Groups Among Healthy Controls and First Episode Psychosis Patients by Clustering on EEG Patterns (2020) (10)
- GREWPtool: a System for Studying Online Collaborative Learning (2003) (10)
- Internet-centric computing in the Computer Science curriculum (2002) (9)
- Functional Constraints in CLP Languages (1993) (9)
- Fully integrating remote students into a traditional classroom using live-streaming and TeachBack (2016) (9)
- The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship (2013) (9)
- Flipping introductory programming classes using spinoza and agile pedagogy (2017) (8)
- Combining Pixelization and Dimensional Stacking (2006) (8)
- The design, implementation, and application of the GrewpEdit tool (2005) (8)
- Using Analytic CLP to Model and Analyze Hybrid Systems (2004) (7)
- CLP and constraint abstraction (1989) (7)
- Multi-SLD Resolution (1994) (6)
- LISP { a Language for Internet Scripting and Programming (1998) (6)
- Incorporating Scheme-based Web Programming in Computer Literacy Courses (2002) (6)
- The Spinoza code tutor: faculty poster abstract (2015) (6)
- NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data (2007) (6)
- CollabEd: A Platform for Collaboratizing Existing Editors (2009) (6)
- Collaborative Learning; Collaborative Depth (2005) (6)
- CLP(F) and Constrained ODEs (2007) (6)
- The calculus dashboard — leveraging intelligent tutor techniques to provide automated fine-grained student assessment (2017) (5)
- Adaptive mediation in groupware (2008) (5)
- Measuring and visualizing learning with Markov Models (2016) (5)
- CalcTutor: Applying the teachers dilemma methodology to calculus pedagogy (2015) (4)
- Reflecting Java into Scheme (1999) (4)
- Computers in the CS1 Classroom (2015) (4)
- A sound interval constraint logic programming system (1998) (4)
- Mastery Learning and Specs Grading in Discrete Math (2022) (3)
- Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy (2018) (3)
- Clp(f) modeling of hybrid systems (2004) (3)
- Validated Constraint Compilation (1999) (3)
- Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries (2006) (3)
- Building Bridges between Science Courses Using Honors Organic Chemistry Projects. (2016) (3)
- GroupWork: Learning During Collaborative Assessment Activities (2017) (3)
- On The Fourier-Jacobi Coefficients Of Certain Eisenstein Series On A Unitary Group (1986) (2)
- Using Spinoza Log Data to Enhance CS1 Pedagogy (2018) (2)
- Classroom Orchestration with Problem Solving Markov Models (2018) (2)
- SPINOZA: In-class Python Problem Solving with Classroom Orchestration (Abstract Only) (2018) (2)
- Session details: Internet-centric computing in the CS curriculum (2002) (2)
- Visualization and Interactive Exploration of Large, Multidimensional Data Sets (2008) (2)
- Enhancing CS Programming Lab Courses using Replayable Collaborative Editors (2004) (2)
- Jscheme: A Dialect of Scheme for Scripting in Java, (2001) (1)
- Teaching and Assessing Debugging, Testing, and Coding Style with Recursive Pedagogy using Spinoza (2019) (1)
- Internet computing in the computer science curriculum (2002) (1)
- Reflective Debugging in Spinoza V3.0 (2021) (1)
- Modeling Hysteresis in CLIP { The Tank Flow Problem (2006) (1)
- Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh (1993) (1)
- 21st Century Skill Building with Web-based Games (2019) (1)
- Best paper award (2011) (0)
- Adopting a flipped interactive pedagogy using TeachBack: tutorial presentation (2015) (0)
- Physics-based 3D game design as a first course in computing (2013) (0)
- Mastery Learning with Specs Grading for Programming Courses (2023) (0)
- Modeling Hybrid Systems using Analytic Constraint Logic Programming (2002) (0)
- Internet-centric curriculum (panel session) (2001) (0)
- Declarative Internet Programming Constraint-based Optimization of Scheme Applets (1999) (0)
- Declarative Numerical Analysis: an Interval Constraint-based Approach (1999) (0)
- Recursive Pedagogy: Automatic Question Generation using Real-time Learning Analytics (2019) (0)
- Meta-Level interpretation of constraint languages a case study: Logical primitives (1992) (0)
- Multi-sld Resolution (appeared in Lpar94) (1994) (0)
- Machine Learning Based Directed Self Study in Calculus with CalcTutor (2018) (0)
- Ensemble methods and LSTM outperformed other eight machine learning classifiers in an EEG-based BCI experiment (2019) (0)
- Computer literacy via Scheme and web programming (2004) (0)
- Simulation, visualization, and data mining: a methodology for interactive scientific discovery (2008) (0)
This paper list is powered by the following services:
Other Resources About Timothy J. Hickey
What Schools Are Affiliated With Timothy J. Hickey?
Timothy J. Hickey is affiliated with the following schools: