Quad Trees: A Data Structure for Retrieval on Composite Keys. - Raphael A. Finkel; Jon Louis Bentley (Acta Informatica, 1974)

An Overview Of AL, A Programming System For Automation. - Raphael A. Finkel (IJCAI, 1975)

Constructing and debugging manipulator programs. - Raphael A. Finkel (1976)

An Algorithm for Finding Best Matches in Logarithmic Expected Time. - Jerome H. Friedman; Jon Louis Bentley; Raphael A. Finkel (ACM Trans. Math. Softw., 1977)

Distributed algorithms for global structuring. - Raphael A. Finkel; Marvin H. Solomon; Michael L. Horowitz (MARK, 1979)

The ROSCOE Distributed Operating System. - Marvin H. Solomon; Raphael A. Finkel (SOSP, 1979)

A Note on Enumerating Binary Trees. - Marvin H. Solomon; Raphael A. Finkel (J. ACM, 1980)

Processor Interconnection Strategies. - Raphael A. Finkel; Marvin H. Solomon (IEEE Trans. Computers, 1980)

A Stable Distributed Scheduling Algorithm. - Raymond M. Bryant; Raphael A. Finkel (ICDCS, 1981)

High Density Graphs for Processor Interconnection. - Will E. Leland; Raphael A. Finkel; Li Qiao; Marvin H. Solomon; Leonard Uhr (Inf. Process. Lett., 1981)

The Lens Interconnection Strategy. - Raphael A. Finkel; Marvin H. Solomon (IEEE Trans. Computers, 1981)

WISPAC: A Parallel Array Computer for Simulation Applications. - 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 (IMACS World Congress, 1982)

Parallelism in Alpha-Beta Search. - Raphael A. Finkel; John P. Fishburn (Artif. Intell., 1982)

Binding Strategies and Scope Rules Are Independent. - Thomas R. Virgilio; Raphael A. Finkel (Comput. Lang., 1982)

Quotient Networks. - John P. Fishburn; Raphael A. Finkel (IEEE Trans. Computers, 1982)

Improved Speedup Bounds for Parallel Alpha-Beta Search. - Raphael A. Finkel; John P. Fishburn (IEEE Trans. Pattern Anal. Mach. Intell., 1983)

Run-time Print Values. - Raphael A. Finkel (ACM SIGPLAN Notices, 1983)

Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System. - Hari Madduri; Raphael A. Finkel (Inf. Process. Lett., 1984)

An Efficient Deadlock Avoidance Algorithm. - Raphael A. Finkel; Hari Madduri (Inf. Process. Lett., 1987)

Interprocess Communication in Charlotte. - Yeshayahu Artsy; Hung-Yang Chang; Raphael A. Finkel (IEEE Softw., 1987)

DIB - A Distributed Implementation of Backtracking. - Raphael A. Finkel; Udi Manber (ACM Trans. Program. Lang. Syst., 1987)

The Crystal Multicomputer: Design and Implementation Experience. - David J. DeWitt; Raphael A. Finkel; Marvin H. Solomon (IEEE Trans. Software Eng., 1987)

An operating systems vade mecum (2. ed.). - Raphael A. Finkel (Prentice Hall, 1988)

An Optimal Scheme for Disseminating Information. - Yijie Han; Raphael A. Finkel (ICPP (2), 1988)

Two algorithms for barrier synchronization. - Debra Hensgen; Raphael A. Finkel; Udi Manber (Int. J. Parallel Program., 1988)

YACKOS on a shared-memory multiprocessor. - Raphael A. Finkel; Debra Hensgen (SIGARCH Comput. Archit. News, 1988)

Parallel algorithms and architectures report of a workshop. - Duncan A. Buell; David A. Carlson; Yuan-Chieh Chow; Karel Culík; Narsingh Deo; Raphael A. Finkel; Elias N. Houstis; Elaine M. Jacob Son; Zvi M. Kedem; Janusz S. Kowalik; Philip Kuekes; Joanne L. Martin; et al. (J. Supercomput., 1988)

Handling Timing Errors in Distributed Programs. - Aaron J. Gordon; Raphael A. Finkel (IEEE Trans. Software Eng., 1988)

A Simple Mechanism for Type Security Across Compilation Units. - Michael L. Scott; Raphael A. Finkel (IEEE Trans. Software Eng., 1988)

Designing a Process Migration Facility: The Charlotte Experience. - Yeshayahu Artsy; Raphael A. Finkel (Computer, 1989)

Experience with Charlotte: Simplicity and Function in a Distributed Operating System. - Raphael A. Finkel; Michael L. Scott; Yeshayahu Artsy; Hung-Yang Chang (IEEE Trans. Software Eng., 1989)

An ASCII Database for Fast Queries of Relatively Stable Data. - Erin H. Herrin II; Raphael A. Finkel (Comput. Syst., 1991)

Utility Servers in Charlotte. - Cui-Qing Yang; Raphael A. Finkel (Softw. Pract. Exp., 1991)

A Reservation-Based CSMA Protocol for Integrated Manufacturing Networks. - Rajendra S. Yavatkar; Prashant Pai; Raphael A. Finkel (IEEE Trans. Syst. Man Cybern. Syst., 1994)

Advanced programming language design. - Raphael A. Finkel (Addison-Wesley-Longman, 1996)

Operating Systems. - Raphael A. Finkel (ACM Comput. Surv., 1996)

Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data. - Erin H. Herrin II; Raphael A. Finkel (Comput. Syst., 1996)

What Is an Operating System? - Raphael A. Finkel (The Computer Science and Engineering Handbook, 1997)

Pulsar: An Extensible Tool for Monitoring Large Unix Sites. - Raphael A. Finkel (Softw. Pract. Exp., 1997)

Integrated CPU and network-I/O QoS management in an endsystem. - K. Lakshman; Raj Yavatkar; Raphael A. Finkel (Comput. Commun., 1998)

The SUDA Project: Collaborative Web-based Translation. - Raphael A. Finkel; Ross Scaife; Huar-En Ng (HICSS, 1999)

Experience with a Unix System-Administration Tool. - Raphael A. Finkel; Brian Sturgill; Harlan Stenn (Softw. Pract. Exp., 1999)

Computing stable models in parallel. - Raphael A. Finkel; Victor W. Marek; Neil Moore; Miroslaw Truszczynski (Answer Set Programming, 2001)

Tabular Constraint-Satisfaction Problems and Answer Set Programming. - Raphael A. Finkel; Victor W. Marek; Miroslaw Truszczynski (Answer Set Programming, 2001)

Generating Hebrew Verb Morphology by Default Inheritance Hierarchies. - Raphael A. Finkel; Gregory Stump (SEMITIC@ACL, 2002)

Signature Extraction for Overlap Detection in Documents. - Raphael A. Finkel; Arkady B. Zaslavsky; Krisztián Monostori; Heinz W. Schmidt (ACSC, 2002)

Comparison of Overlap Detection Techniques. - Krisztián Monostori; Raphael A. Finkel; Arkady B. Zaslavsky; Gábor Hodász; Máté Pataki (International Conference on Computational Science (1), 2002)

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. - Raphael A. Finkel; V. Wiktor Marek; Miroslaw Truszczynski (JELIA, 2002)

Parallel Relative Debugging with Dynamic Data Structures. - David Abramson 001; Raphael A. Finkel; Donny Kurniawan; Victor Kowalenko; Greg Watson (PDCS, 2003)

Automatic Generation of English-language Steps in Puzzle Solving. - Hemantha Ponnuru; Raphael A. Finkel; Victor W. Marek; Miroslaw Truszczynski (IC-AI, 2004)

Constraint Lingo: towards high-level constraint programming. - Raphael A. Finkel; Victor W. Marek; Miroslaw Truszczynski (Softw. Pract. Exp., 2004)

Adaptive Decision Support for Planning under Hard and Soft Constraints. - Alex Dekhtyar; Raphael A. Finkel; Judy Goldsmith; Beth Goldstein; Cynthia Isenhour (AAAI Spring Symposium: Challenges to Decision Support in a Changing World, 2005)

Micky: Methods With Implicit Calls. - Bryan Crawley; Raphael A. Finkel (PLC, 2005)

Generating Cellular Puzzles with Logic Programs. - Miroslaw Truszczynski; V. Wiktor Marek; Raphael A. Finkel (IC-AI, 2006)

A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology. - Raphael A. Finkel; Gregory Stump (Lit. Linguistic Comput., 2007)

RPSF: A Routing Protocol with Selective Forwarding for Mobile Ad-Hoc Networks. - Qiangfeng Jiang; Raphael A. Finkel; D. Manivannan 001; Mukesh Singhal (Wirel. Pers. Commun., 2007)

Planning for Welfare to Work. - Liangrong Yi; Raphael A. Finkel; Judy Goldsmith (FLAIRS, 2008)

Reasoning about Conditional Constraint Specifications. - Raphael A. Finkel; Barry O'Sullivan (ICTAI, 2009)

What Your Teacher Told You is True: Latin Verbs Have Four Principal Parts. - Raphael A. Finkel; Gregory Stump (Digit. Humanit. Q., 2009)

Reasoning about conditional constraint specification problems and feature models. - Raphael A. Finkel; Barry O'Sullivan (Artif. Intell. Eng. Des. Anal. Manuf., 2011)

Analyzing Code-mixing in Linguistic Corpora Using Kratylos. - Raphael A. Finkel; Daniel Kaufman; Ahmed Shamim (ACM Journal on Computing and Cultural Heritage, 2022)

Parallel m-dimensional relative ant colony optimization (mDRACO) for the Costas-array problem. - David Vulakh; Raphael A. Finkel (Soft Comput., 2022)