The SCEAS System
Navigation Menu

Search the dblp DataBase


Timothy J. Hickey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Timothy J. Hickey, David K. Wittenberg
    Validated Constraint Compilation. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:482-483 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. Donald A. Smith, Timothy J. Hickey
    Multi-SLD Resolution. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:260-274 [Conf]
  10. Timothy J. Hickey
    CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:200-214 [Conf]
  11. Timothy J. Hickey, Donald A. Smith
    Toward the Partial Evaluation of CLP Languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:43-51 [Conf]
  12. Timothy J. Hickey
    Analytic Constraint Solving and Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:338-351 [Conf]
  13. Timothy J. Hickey
    CLP* and Constraint Abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:125-133 [Conf]
  14. 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]
  15. Kenneth R. Anderson, Timothy J. Hickey
    Reflecting Java into Scheme. [Citation Graph (0, 0)][DBLP]
    Reflection, 1999, pp:154-174 [Conf]
  16. 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]
  17. 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]
  18. Donald A. Smith, Timothy J. Hickey
    Partial Evaluation of a CLP Language. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:119-138 [Conf]
  19. 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]
  20. Timothy J. Hickey
    Functional Constraints in CLP Languages. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:355-381 [Conf]
  21. 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]
  22. 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]
  23. Timothy J. Hickey, Jacques Cohen
    Automating program analysis. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1988, v:35, n:1, pp:185-220 [Journal]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002