dblp.uni-trier.dewww.uni-trier.de

Timothy J. Hickey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
33EEJohn 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
32EEJohn T. Langton, Astrid A. Prinz, Timothy J. Hickey: Combining Pixelization and Dimensional Stacking. ISVC (2) 2006: 617-626
31EEJohn 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
30EEKenroy 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
28EETimothy J. Hickey, David K. Wittenberg: Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. HSCC 2004: 402-416
27EETimothy J. Hickey: Scheme-based web programming as a basis for a CS0 curriculum. SIGCSE 2004: 353-357
26EETimothy J. Hickey: Computer literacy via Scheme and web programming. J. Funct. Program. 14(5): 475-488 (2004)
2002
25EETimothy 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
24EETimothy 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
22EESaumya K. Debray, Timothy J. Hickey: Constraint-Based Termination Analysis for Cyclic Active Database Rules. Computational Logic 2000: 1121-1136
21EETimothy J. Hickey: CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. PADL 2000: 200-214
20EETimothy J. Hickey: Analytic Constraint Solving and Interval Arithmetic. POPL 2000: 338-351
19EETimothy 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
17EEKenneth R. Anderson, Timothy J. Hickey: Reflecting Java into Scheme. Reflection 1999: 154-174
1998
16EETimothy 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
13EETimothy 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
6EETimothy J. Hickey, Jacques Cohen: Automating program analysis. J. ACM 35(1): 185-220 (1988)
1987
5EEJacques 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
2EEJacques Cohen, Timothy J. Hickey, Joel Katcoff: Upper Bounds for Speedup in Parallel Parsing. J. ACM 29(2): 408-428 (1982)
1979
1EEJacques Cohen, Timothy J. Hickey: Two Algorithms for Determining Volumes of Convex Polyhedra. J. ACM 26(3): 401-414 (1979)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)