2008 |
33 | EE | 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 |
2006 |
32 | EE | John T. Langton,
Astrid A. Prinz,
Timothy J. Hickey:
Combining Pixelization and Dimensional Stacking.
ISVC (2) 2006: 617-626 |
31 | EE | 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 |
30 | EE | 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 |
29 | | Timothy J. Hickey,
David K. Wittenberg:
Using Analytic CLP to Model and Analyze Hybrid Systems.
FLAIRS Conference 2004 |
28 | EE | Timothy J. Hickey,
David K. Wittenberg:
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.
HSCC 2004: 402-416 |
27 | EE | Timothy J. Hickey:
Scheme-based web programming as a basis for a CS0 curriculum.
SIGCSE 2004: 353-357 |
26 | EE | Timothy J. Hickey:
Computer literacy via Scheme and web programming.
J. Funct. Program. 14(5): 475-488 (2004) |
2002 |
25 | EE | 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 |
2001 |
24 | EE | Timothy J. Hickey,
Qun Ju,
Maarten H. van Emden:
Interval arithmetic: From principles to implementation.
J. ACM 48(5): 1038-1068 (2001) |
23 | | Timothy J. Hickey:
Metalevel Interval Arithmetic and Verifiable Constraint Solving.
Journal of Functional and Logic Programming 2001(7): (2001) |
2000 |
22 | EE | Saumya K. Debray,
Timothy J. Hickey:
Constraint-Based Termination Analysis for Cyclic Active Database Rules.
Computational Logic 2000: 1121-1136 |
21 | EE | Timothy J. Hickey:
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.
PADL 2000: 200-214 |
20 | EE | Timothy J. Hickey:
Analytic Constraint Solving and Interval Arithmetic.
POPL 2000: 338-351 |
19 | EE | Timothy J. Hickey,
Zhe Qju,
Maarten H. van Emden:
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.
Reliable Computing 6(1): 81-92 (2000) |
1999 |
18 | | Timothy J. Hickey,
David K. Wittenberg:
Validated Constraint Compilation.
CP 1999: 482-483 |
17 | EE | Kenneth R. Anderson,
Timothy J. Hickey:
Reflecting Java into Scheme.
Reflection 1999: 154-174 |
1998 |
16 | EE | Timothy J. Hickey,
Maarten H. van Emden,
Huan Wu:
A Unified Framework for Interval Constraints and Interval Arithmetic.
CP 1998: 250-264 |
1994 |
15 | | Donald A. Smith,
Timothy J. Hickey:
Multi-SLD Resolution.
LPAR 1994: 260-274 |
1993 |
14 | | 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 |
1992 |
13 | EE | 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) |
12 | | Timothy J. Hickey,
Jacques Cohen,
V. Deschamps:
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives.
New Generation Comput. 10(4): 361-384 (1992) |
1991 |
11 | | Timothy J. Hickey,
Donald A. Smith:
Toward the Partial Evaluation of CLP Languages.
PEPM 1991: 43-51 |
10 | | Timothy J. Hickey:
Functional Constraints in CLP Languages.
WCLP 1991: 355-381 |
1990 |
9 | | Donald A. Smith,
Timothy J. Hickey:
Partial Evaluation of a CLP Language.
NACLP 1990: 119-138 |
1989 |
8 | | Timothy J. Hickey:
CLP* and Constraint Abstraction.
POPL 1989: 125-133 |
7 | | Timothy J. Hickey,
Shyam Mudambi:
Global Compilation of Prolog.
J. Log. Program. 7(3): 193-230 (1989) |
1988 |
6 | EE | Timothy J. Hickey,
Jacques Cohen:
Automating program analysis.
J. ACM 35(1): 185-220 (1988) |
1987 |
5 | EE | Jacques Cohen,
Timothy J. Hickey:
Parsing and Compiling Using Prolog.
ACM Trans. Program. Lang. Syst. 9(2): 125-163 (1987) |
1984 |
4 | | Timothy J. Hickey,
Jacques Cohen:
Performance Analysis of On-the-Fly Garbage Collection.
Commun. ACM 27(11): 1143-1154 (1984) |
1983 |
3 | | Timothy J. Hickey,
Jacques Cohen:
Uniform Random Generation of Strings in a Context-Free Language.
SIAM J. Comput. 12(4): 645-655 (1983) |
1982 |
2 | EE | Jacques Cohen,
Timothy J. Hickey,
Joel Katcoff:
Upper Bounds for Speedup in Parallel Parsing.
J. ACM 29(2): 408-428 (1982) |
1979 |
1 | EE | Jacques Cohen,
Timothy J. Hickey:
Two Algorithms for Determining Volumes of Convex Polyhedra.
J. ACM 26(3): 401-414 (1979) |