Timothy J. Hickey

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)

Coauthor Index

1	Kenneth R. Anderson	[17]
2	Andrew Beiderman	[25]
3	Jacques Cohen	[1] [2] [3] [4] [5] [6] [12] [13]
4	Saumya K. Debray	[22]
5	V. Deschamps	[12]
6	Heidi J. C. Ellis	[25]
7	Maarten H. van Emden	[16] [19] [24]
8	Elizabeth A. Gifford	[33]
9	Kenroy Granville	[30]
10	Hitofumi Hotta	[13]
11	Qun Ju	[24]
12	Joel Katcoff	[2]
13	Amruth N. Kumar	[25]
14	John T. Langton	[31] [32] [33]
15	Aparna Mahadev	[25]
16	Z. George Mou	[14]
17	Shyam Mudambi	[7]
18	Thierry PetitJean	[13]
19	Astrid A. Prinz	[31] [32]
20	Zhe Qju	[19]
21	Donald A. Smith	[9] [11] [15]
22	Xiaojing Wang	[14]
23	Linda Wilkens	[25]
24	David K. Wittenberg	[18] [28] [29] [31]
25	Huan Wu	[16]

Colors in the list of coauthors