Follow
Tim Hickey
Tim Hickey
Professor of Computer Science, Brandeis University
Verified email at brandeis.edu - Homepage
Title
Cited by
Cited by
Year
Interval arithmetic: From principles to implementation
T Hickey, Q Ju, MH Van Emden
Journal of the ACM (JACM) 48 (5), 1038-1068, 2001
4972001
Structure and visualization of high-dimensional conductance spaces
AL Taylor, TJ Hickey, AA Prinz, E Marder
Journal of neurophysiology 96 (2), 891-905, 2006
1272006
Two algorithms for determining volumes of convex polyhedra
J Cohen, T Hickey
Journal of the ACM (JACM) 26 (3), 401-414, 1979
1231979
Uniform random generation of strings in a context-free language
T Hickey, J Cohen
SIAM Journal on Computing 12 (4), 645-655, 1983
991983
Parsing and compiling using Prolog
J Cohen, TJ Hickey
ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (2), 125-163, 1987
921987
Automating program analysis
T Hickey, J Cohen
Journal of the ACM (JACM) 35 (1), 185-220, 1988
821988
Global compilation of Prolog
T Hickey, S Mudambi
The Journal of Logic Programming 7 (3), 193-230, 1989
741989
Performance analysis of on-the-fly garbage collection
T Hickey, J Cohen
Communications of the ACM 27 (11), 1143-1154, 1984
611984
Rigorous modeling of hybrid systems using interval arithmetic constraints
TJ Hickey, DK Wittenberg
International Workshop on Hybrid Systems: Computation and Control, 402-416, 2004
522004
Upper bounds for speedup in parallel parsing
J Cohen, T Hickey, J Katcoff
Journal of the ACM (JACM) 29 (2), 408-428, 1982
411982
Using EEG to distinguish between writing and typing for the same cognitive task
X Qu, Q Mei, P Liu, T Hickey
Brain Function Assessment in Learning: Second International Conference, BFAL …, 2020
362020
A unified framework for interval constraints and interval arithmetic
TJ Hickey, MH van Emden, H Wu
Principles and Practice of Constraint Programming—CP98: 4th International …, 1998
351998
Integrating tools and resources: a case study in building educational groupware for collaborative programming
J Langton, T Hickey, R Alterman
learning 10 (12), 11, 2004
312004
CLIP: a CLP (Intervals) dialect for metalevel constraint solving
TJ Hickey
International Symposium on Practical Aspects of Declarative Languages, 200-214, 2000
302000
Early detection of at-risk students in cs1 using teachback/spinoza
WT Tarimo, FA Deeb, TJ Hickey
Journal of Computing Sciences in Colleges 31 (6), 105-111, 2016
292016
Scheme-based web programming as a basis for a CS0 curriculum
TJ Hickey
Proceedings of the 35th SIGCSE technical symposium on Computer science …, 2004
292004
CLP (F) and constrained ODEs
TJ Hickey
Workshop on Constraint Languages and their Use in Problem Modelling, 69-79, 1994
291994
Partial evaluation of a CLP language
DA Smith, TJ Hickey
Proceedings of the 1990 North American conference on Logic programming, 119-138, 1990
291990
Toward the partial evaluation of CLP languages
TJ Hickey, DA Smith
ACM SIGPLAN Notices 26 (9), 43-51, 1991
271991
Multi-class time continuity voting for EEG classification
X Qu, P Liu, Z Li, T Hickey
Brain Function Assessment in Learning: Second International Conference, BFAL …, 2020
262020
The system can't perform the operation now. Try again later.
Articles 1–20