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