Search the dblp DataBase
Timothy J. Hickey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Timothy J. Hickey, Jacques Cohen
Performance Analysis of On-the-Fly Garbage Collection. [Citation Graph (2, 0)][DBLP]
Commun. ACM, 1984, v:27, n:11, pp:1143-1154 [Journal] - Jacques Cohen, Timothy J. Hickey
Parsing and Compiling Using Prolog. [Citation Graph (1, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1987, v:9, n:2, pp:125-163 [Journal] - Saumya K. Debray, Timothy J. Hickey
Constraint-Based Termination Analysis for Cyclic Active Database Rules. [Citation Graph (0, 0)][DBLP]
Computational Logic, 2000, pp:1121-1136 [Conf] - Timothy J. Hickey, Maarten H. van Emden, Huan Wu
A Unified Framework for Interval Constraints and Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
CP, 1998, pp:250-264 [Conf] - Timothy J. Hickey, David K. Wittenberg
Validated Constraint Compilation. [Citation Graph (0, 0)][DBLP]
CP, 1999, pp:482-483 [Conf] - Timothy J. Hickey, David K. Wittenberg
Using Analytic CLP to Model and Analyze Hybrid Systems. [Citation Graph (0, 0)][DBLP]
FLAIRS Conference, 2004, pp:- [Conf] - Timothy J. Hickey, David K. Wittenberg
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
HSCC, 2004, pp:402-416 [Conf] - John T. Langton, Astrid A. Prinz, Timothy J. Hickey
Combining Pixelization and Dimensional Stacking. [Citation Graph (0, 0)][DBLP]
ISVC (2), 2006, pp:617-626 [Conf] - Donald A. Smith, Timothy J. Hickey
Multi-SLD Resolution. [Citation Graph (0, 0)][DBLP]
LPAR, 1994, pp:260-274 [Conf] - Timothy J. Hickey
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. [Citation Graph (0, 0)][DBLP]
PADL, 2000, pp:200-214 [Conf] - Timothy J. Hickey, Donald A. Smith
Toward the Partial Evaluation of CLP Languages. [Citation Graph (0, 0)][DBLP]
PEPM, 1991, pp:43-51 [Conf] - Timothy J. Hickey
Analytic Constraint Solving and Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:338-351 [Conf] - Timothy J. Hickey
CLP* and Constraint Abstraction. [Citation Graph (0, 0)][DBLP]
POPL, 1989, pp:125-133 [Conf] - Z. George Mou, Xiaojing Wang, Timothy J. Hickey
Divide-and-Conquer Algorithms with Recursive Broadcast Communication on Reconfigurable Arbitrary Dimensional Mesh. [Citation Graph (0, 0)][DBLP]
PPSC, 1993, pp:784-787 [Conf] - Kenneth R. Anderson, Timothy J. Hickey
Reflecting Java into Scheme. [Citation Graph (0, 0)][DBLP]
Reflection, 1999, pp:154-174 [Conf] - Timothy J. Hickey
Scheme-based web programming as a basis for a CS0 curriculum. [Citation Graph (0, 0)][DBLP]
SIGCSE, 2004, pp:353-357 [Conf] - Timothy J. Hickey, Amruth N. Kumar, Linda Wilkens, Andrew Beiderman, Aparna Mahadev, Heidi J. C. Ellis
Internet-centric computing in the Computer Science curriculum. [Citation Graph (0, 0)][DBLP]
SIGCSE, 2002, pp:50-51 [Conf] - Donald A. Smith, Timothy J. Hickey
Partial Evaluation of a CLP Language. [Citation Graph (0, 0)][DBLP]
NACLP, 1990, pp:119-138 [Conf] - Kenroy Granville, Timothy J. Hickey
The design, implementation, and application of the grewpEdit tool. [Citation Graph (0, 0)][DBLP]
Richard Tapia Celebration of Diversity in Computing Conference, 2005, pp:14-16 [Conf] - Timothy J. Hickey
Functional Constraints in CLP Languages. [Citation Graph (0, 0)][DBLP]
WCLP, 1991, pp:355-381 [Conf] - Jacques Cohen, Timothy J. Hickey
Two Algorithms for Determining Volumes of Convex Polyhedra. [Citation Graph (0, 0)][DBLP]
J. ACM, 1979, v:26, n:3, pp:401-414 [Journal] - Jacques Cohen, Timothy J. Hickey, Joel Katcoff
Upper Bounds for Speedup in Parallel Parsing. [Citation Graph (0, 0)][DBLP]
J. ACM, 1982, v:29, n:2, pp:408-428 [Journal] - Timothy J. Hickey, Jacques Cohen
Automating program analysis. [Citation Graph (0, 0)][DBLP]
J. ACM, 1988, v:35, n:1, pp:185-220 [Journal] - Timothy J. Hickey, Qun Ju, Maarten H. van Emden
Interval arithmetic: From principles to implementation. [Citation Graph (0, 0)][DBLP]
J. ACM, 2001, v:48, n:5, pp:1038-1068 [Journal] - Timothy J. Hickey
Metalevel Interval Arithmetic and Verifiable Constraint Solving. [Citation Graph (0, 0)][DBLP]
Journal of Functional and Logic Programming, 2001, v:2001, n:7, pp:- [Journal] - Timothy J. Hickey
Computer literacy via Scheme and web programming. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 2004, v:14, n:5, pp:475-488 [Journal] - Timothy J. Hickey, Shyam Mudambi
Global Compilation of Prolog. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1989, v:7, n:3, pp:193-230 [Journal] - Timothy J. Hickey, Jacques Cohen, V. Deschamps
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. [Citation Graph (0, 0)][DBLP]
New Generation Comput., 1992, v:10, n:4, pp:361-384 [Journal] - Timothy J. Hickey, Zhe Qju, Maarten H. van Emden
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. [Citation Graph (0, 0)][DBLP]
Reliable Computing, 2000, v:6, n:1, pp:81-92 [Journal] - Timothy J. Hickey, Jacques Cohen
Uniform Random Generation of Strings in a Context-Free Language. [Citation Graph (0, 0)][DBLP]
SIAM J. Comput., 1983, v:12, n:4, pp:645-655 [Journal] - Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean
Computer-Assisted Microanalysis of Parallel Programs. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1992, v:14, n:1, pp:54-106 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
VIEW, 2006, pp:77-91 [Conf]
Search in 0.035secs, Finished in 0.036secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002