DBLP: Timothy J. Hickey

	2013
c20		Timothy J. Hickey, Pito Salas: The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship. SIGCSE 2013: 549-554
	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
	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
j13		Timothy J. Hickey: Computer literacy via Scheme and web programming. J. Funct. Program. 14(5): 475-488 (2004)
c16		Timothy J. Hickey, David K. Wittenberg: Using Analytic CLP to Model and Analyze Hybrid Systems. FLAIRS Conference 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
	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. Journal of Functional and Logic Programming 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. Reliable Computing 6(1): 81-92 (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
	1992
j9		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)
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)
	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
j7		Timothy J. Hickey, Shyam Mudambi: Global Compilation of Prolog. J. Log. Program. 7(3): 193-230 (1989)
c1		Timothy J. Hickey: CLP* and Constraint Abstraction. POPL 1989: 125-133
	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)

2013

c20

Timothy J. Hickey, Pito Salas: The entrepreneur's bootcamp: a new model for teaching web/mobile development and software entrepreneurship. SIGCSE 2013: 549-554

2008

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

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

j13

Timothy J. Hickey: Computer literacy via Scheme and web programming. J. Funct. Program. 14(5): 475-488 (2004)

c16

Timothy J. Hickey, David K. Wittenberg: Using Analytic CLP to Model and Analyze Hybrid Systems. FLAIRS Conference 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

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. Journal of Functional and Logic Programming 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. Reliable Computing 6(1): 81-92 (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

Timothy J. Hickey, David K. Wittenberg: Validated Constraint Compilation. CP 1999: 482-483

Kenneth R. Anderson, Timothy J. Hickey: Reflecting Java into Scheme. Reflection 1999: 154-174

1998

Timothy J. Hickey, Maarten H. van Emden, Huan Wu: A Unified Framework for Interval Constraints and Interval Arithmetic. CP 1998: 250-264

1994

Donald A. Smith, Timothy J. Hickey: Multi-SLD Resolution. LPAR 1994: 260-274

1993

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

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)

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)

1991

Timothy J. Hickey, Donald A. Smith: Toward the Partial Evaluation of CLP Languages. PEPM 1991: 43-51

Timothy J. Hickey: Functional Constraints in CLP Languages. WCLP 1991: 355-381

1990

Donald A. Smith, Timothy J. Hickey: Partial Evaluation of a CLP Language. NACLP 1990: 119-138

1989

Timothy J. Hickey, Shyam Mudambi: Global Compilation of Prolog. J. Log. Program. 7(3): 193-230 (1989)

Timothy J. Hickey: CLP* and Constraint Abstraction. POPL 1989: 125-133

1988

Timothy J. Hickey, Jacques Cohen: Automating program analysis. J. ACM 35(1): 185-220 (1988)

1987

Jacques Cohen, Timothy J. Hickey: Parsing and Compiling Using Prolog. ACM Trans. Program. Lang. Syst. 9(2): 125-163 (1987)

1984

Timothy J. Hickey, Jacques Cohen: Performance Analysis of On-the-Fly Garbage Collection. Commun. ACM 27(11): 1143-1154 (1984)

1983

Timothy J. Hickey, Jacques Cohen: Uniform Random Generation of Strings in a Context-Free Language. SIAM J. Comput. 12(4): 645-655 (1983)

1982

Jacques Cohen, Timothy J. Hickey, Joel Katcoff: Upper Bounds for Speedup in Parallel Parsing. J. ACM 29(2): 408-428 (1982)

1979

Jacques Cohen, Timothy J. Hickey: Two Algorithms for Determining Volumes of Convex Polyhedra. J. ACM 26(3): 401-414 (1979)

1	Kenneth R. Anderson	[c8]
2	Andrew Beiderman	[c13]
3	Jacques Cohen	[j9] [j8] [j6] [j5] [j4] [j3] [j2] [j1]
4	Saumya K. Debray	[c12]
5	V. Deschamps	[j9]
6	Heidi J. C. Ellis	[c13]
7	Maarten H. van Emden	[j12] [j10] [c7]
8	Elizabeth A. Gifford	[p1]
9	Kenroy Granville	[c17]
10	Hitofumi Hotta	[j8]
11	Qun Ju	[j12]
12	Joel Katcoff	[j2]
13	Amruth N. Kumar	[c13]
14	John T. Langton	[p1] [c19] [c18]
15	Aparna Mahadev	[c13]
16	Z. George Mou	[c5]
17	Shyam Mudambi	[j7]
18	Thierry PetitJean	[j8]
19	Astrid A. Prinz	[c19] [c18]
20	Zhe Qju	[j10]
21	Pito Salas	[c20]
22	Donald A. Smith	[c6] [c4] [c2]
23	Xiaojing Wang	[c5]
24	Linda Wilkens	[c13]
25	David K. Wittenberg	[c18] [c16] [c15] [c9]
26	Huan Wu	[c7]

Timothy J. Hickey

Coauthor Index