Raphael A. Finkel

	2009
45		Raphael A. Finkel, Barry O'Sullivan: Reasoning about Conditional Constraint Specifications. ICTAI 2009: 349-353
	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		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		Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt: Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64
37		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		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		Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski: Computing stable models in parallel. Answer Set Programming 2001
34		Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001
	1999
33		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		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		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		Aaron J. Gordon, Raphael A. Finkel: Handling Timing Errors in Distributed Programs. IEEE Trans. Software Eng. 14(10): 1525-1535 (1988)
20		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		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		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		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)

Coauthor Index

1	David Abramson	[39]
2	Yeshayahu Artsy	[23] [24]
3	Jon Louis Bentley	[1] [3]
4	R. M. Bryant	[9]
5	Hung-Yang Chang	[23]
6	Bryan Crawley	[42]
7	David J. DeWitt	[18]
8	J. Eastman	[13]
9	Adel Said Elmaghraby (Adel Elmaghraby)	[13]
10	John P. Fishburn	[10] [12]
11	A. A. Frank	[13]
12	Jerome H. Friedman	[3]
13	Judy Goldsmith	[44]
14	Aaron J. Gordon	[21]
15	Yijie Han	[22]
16	Erin H. Herrin II	[26] [27]
17	Gábor Hodász	[37]
18	T. J. Kaminsky	[13]
19	Charles R. Kime	[13]
20	Victor Kowalenko	[39]
21	Donny Kurniawan	[39]
22	K. Lakshman	[31]
23	Will E. Leland	[7]
24	Hari Madduri	[15] [17]
25	Udi Manber	[16] [19]
26	Victor W. Marek (V. Wiktor Marek)	[34] [35] [36] [40] [41] [43]
27	John A. McPherson	[13]
28	Krisztián Monostori	[37] [38]
29	Neil Moore	[35]
30	Huar-En Ng	[33]
31	Barry O'Sullivan	[45]
32	Máté Pataki	[37]
33	Hemantha Ponnuru	[41]
34	Li Qiao	[7]
35	Michael Jon Redmond	[13]
36	Vincent C. Rideout	[13]
37	Ross Scaife	[33]
38	Heinz W. Schmidt	[38]
39	Michael L. Scott	[20] [23]
40	S. Diane Smith	[13]
41	Marvin H. Solomon	[4] [5] [6] [7] [8] [18]
42	Harlan Stenn	[32]
43	Brian Sturgill	[32]
44	Miroslaw Truszczynski	[34] [35] [36] [40] [41] [43]
45	Leonard Uhr	[7]
46	Thomas R. Virgilio	[11]
47	Greg Watson	[39]
48	Cui-Qing Yang	[25]
49	Raj Yavatkar	[31]
50	Liangrong Yi	[44]
51	Arkady B. Zaslavsky	[37] [38]

Colors in the list of coauthors