|
Search the dblp DataBase
Raphael A. Finkel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Marvin H. Solomon, Raphael A. Finkel
The ROSCOE Distributed Operating System. [Citation Graph (2, 0)][DBLP] SOSP, 1979, pp:108-114 [Conf]
- 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]
- 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]
- 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]
- 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]
- Raphael A. Finkel, Ross Scaife, Huar-En Ng
The SUDA Project: Collaborative Web-based Translation. [Citation Graph (0, 0)][DBLP] HICSS, 1999, pp:- [Conf]
- 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]
- 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]
- 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]
- R. M. Bryant, Raphael A. Finkel
A Stable Distributed Scheduling Algorithm. [Citation Graph (0, 0)][DBLP] ICDCS, 1981, pp:314-323 [Conf]
- Raphael A. Finkel, Udi Manber
DIB - A Distributed Implementation of Backtracking. [Citation Graph (0, 0)][DBLP] ICDCS, 1985, pp:446-452 [Conf]
- Yijie Han, Raphael A. Finkel
An Optimal Scheme for Disseminating Information. [Citation Graph (0, 0)][DBLP] ICPP (2), 1988, pp:198-203 [Conf]
- Raphael A. Finkel
An Overview Of AL, A Programming System For Automation. [Citation Graph (0, 0)][DBLP] IJCAI, 1975, pp:758-765 [Conf]
- 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]
- 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]
- Bryan Crawley, Raphael A. Finkel
Micky: Methods With Implicit Calls. [Citation Graph (0, 0)][DBLP] PLC, 2005, pp:201-206 [Conf]
- 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]
- 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]
- 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]
- 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]
- Raphael A. Finkel
Operating Systems. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1996, v:28, n:1, pp:201-203 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Raphael A. Finkel
Run-time Print Values. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1983, v:18, n:2, pp:62-64 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Planning for Welfare to Work. [Citation Graph (, )][DBLP]
Reasoning about Conditional Constraint Specifications. [Citation Graph (, )][DBLP]
Search in 0.054secs, Finished in 0.056secs
|