The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raphael A. Finkel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raphael A. Finkel, Jon Louis Bentley
    Quad Trees: A Data Structure for Retrieval on Composite Keys [Citation Graph (29, 0)][DBLP]
    Acta Inf., 1974, v:4, n:, pp:1-9 [Journal]
  2. Jerome H. Friedman, Jon Louis Bentley, Raphael A. Finkel
    An Algorithm for Finding Best Matches in Logarithmic Expected Time. [Citation Graph (17, 0)][DBLP]
    ACM Trans. Math. Softw., 1977, v:3, n:3, pp:209-226 [Journal]
  3. David J. DeWitt, Raphael A. Finkel, Marvin H. Solomon
    The Crystal Multicomputer: Design and Implementation Experience. [Citation Graph (5, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:8, pp:953-966 [Journal]
  4. Marvin H. Solomon, Raphael A. Finkel
    The ROSCOE Distributed Operating System. [Citation Graph (2, 0)][DBLP]
    SOSP, 1979, pp:108-114 [Conf]
  5. David Abramson, Raphael A. Finkel, Donny Kurniawan, Victor Kowalenko, Greg Watson
    Parallel Relative Debugging with Dynamic Data Structures. [Citation Graph (0, 0)][DBLP]
    ISCA PDCS, 2003, pp:22-29 [Conf]
  6. Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt
    Signature Extraction for Overlap Detection in Documents. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:59-64 [Conf]
  7. Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski
    Computing stable models in parallel. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  8. Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
    Tabular Constraint-Satisfaction Problems and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  9. Raphael A. Finkel, Ross Scaife, Huar-En Ng
    The SUDA Project: Collaborative Web-based Translation. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  10. Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
    Automatic Generation of English-language Steps in Puzzle Solving. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2004, pp:437-442 [Conf]
  11. Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel
    Generating Cellular Puzzles with Logic Programs. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2006, pp:403-407 [Conf]
  12. Krisztián Monostori, Raphael A. Finkel, Arkady B. Zaslavsky, Gábor Hodász, Máté Pataki
    Comparison of Overlap Detection Techniques. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (1), 2002, pp:51-60 [Conf]
  13. R. M. Bryant, Raphael A. Finkel
    A Stable Distributed Scheduling Algorithm. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:314-323 [Conf]
  14. Raphael A. Finkel, Udi Manber
    DIB - A Distributed Implementation of Backtracking. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1985, pp:446-452 [Conf]
  15. Yijie Han, Raphael A. Finkel
    An Optimal Scheme for Disseminating Information. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1988, pp:198-203 [Conf]
  16. Raphael A. Finkel
    An Overview Of AL, A Programming System For Automation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:758-765 [Conf]
  17. Vincent C. Rideout, J. Eastman, Adel Said Elmaghraby, Raphael A. Finkel, A. A. Frank, T. J. Kaminsky, Charles R. Kime, John A. McPherson, Michael Jon Redmond, S. Diane Smith
    WISPAC: A Parallel Array Computer for Simulation Applications. [Citation Graph (0, 0)][DBLP]
    IMACS World Congress, 1982, pp:159-169 [Conf]
  18. Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski
    Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:513-516 [Conf]
  19. Bryan Crawley, Raphael A. Finkel
    Micky: Methods With Implicit Calls. [Citation Graph (0, 0)][DBLP]
    PLC, 2005, pp:201-206 [Conf]
  20. Raphael A. Finkel, John P. Fishburn
    Parallelism in Alpha-Beta Search. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1982, v:19, n:1, pp:89-106 [Journal]
  21. Thomas R. Virgilio, Raphael A. Finkel
    Binding Strategies and Scope Rules Are Independent. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1982, v:7, n:2, pp:61-67 [Journal]
  22. K. Lakshman, Raj Yavatkar, Raphael A. Finkel
    Integrated CPU and network-I/O QoS management in an endsystem. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1998, v:21, n:4, pp:325-333 [Journal]
  23. Yeshayahu Artsy, Raphael A. Finkel
    Designing a Process Migration Facility: The Charlotte Experience. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1989, v:22, n:9, pp:47-56 [Journal]
  24. Raphael A. Finkel
    Operating Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:1, pp:201-203 [Journal]
  25. Erin H. Herrin II, Raphael A. Finkel
    An ASCII Database for Fast Queries of Relatively Stable Data. [Citation Graph (0, 0)][DBLP]
    Computing Systems, 1991, v:4, n:2, pp:127-155 [Journal]
  26. Erin H. Herrin II, Raphael A. Finkel
    Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data. [Citation Graph (0, 0)][DBLP]
    Computing Systems, 1996, v:2, n:2, pp:93-118 [Journal]
  27. Raphael A. Finkel, Hari Madduri
    An Efficient Deadlock Avoidance Algorithm. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:1, pp:25-30 [Journal]
  28. Will E. Leland, Raphael A. Finkel, Li Qiao, Marvin H. Solomon, Leonard Uhr
    High Density Graphs for Processor Interconnection. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1981, v:12, n:3, pp:117-120 [Journal]
  29. Hari Madduri, Raphael A. Finkel
    Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1984, v:19, n:1, pp:1-8 [Journal]
  30. Marvin H. Solomon, Raphael A. Finkel
    A Note on Enumerating Binary Trees. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:1, pp:3-5 [Journal]
  31. Raphael A. Finkel
    Run-time Print Values. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1983, v:18, n:2, pp:62-64 [Journal]
  32. Raphael A. Finkel
    Pulsar: An Extensible Tool for Monitoring Large Unix Sites. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1997, v:27, n:10, pp:1163-1176 [Journal]
  33. Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
    Constraint Lingo: towards high-level constraint programming. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:15, pp:1481-1504 [Journal]
  34. Raphael A. Finkel, Brian Sturgill, Harlan Stenn
    Experience with a Unix System-Administration Tool. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:11, pp:953-971 [Journal]
  35. Cui-Qing Yang, Raphael A. Finkel
    Utility Servers in Charlotte. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1991, v:21, n:5, pp:429-441 [Journal]
  36. Raphael A. Finkel, Marvin H. Solomon
    Processor Interconnection Strategies. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1980, v:29, n:5, pp:360-371 [Journal]
  37. Raphael A. Finkel, Marvin H. Solomon
    The Lens Interconnection Strategy. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1981, v:30, n:12, pp:960-965 [Journal]
  38. John P. Fishburn, Raphael A. Finkel
    Quotient Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:4, pp:288-295 [Journal]
  39. Raphael A. Finkel, Udi Manber
    DIB - A Distributed Implementation of Backtracking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:2, pp:235-256 [Journal]
  40. Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang
    Experience with Charlotte: Simplicity and Function in a Distributed Operating System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:6, pp:676-685 [Journal]
  41. Aaron J. Gordon, Raphael A. Finkel
    Handling Timing Errors in Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:10, pp:1525-1535 [Journal]
  42. Michael L. Scott, Raphael A. Finkel
    A Simple Mechanism for Type Security Across Compilation Units. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:8, pp:1238-1239 [Journal]

  43. Planning for Welfare to Work. [Citation Graph (, )][DBLP]


  44. Reasoning about Conditional Constraint Specifications. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.038secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002