Raphael A. Finkel

	2011
53		Raphael A. Finkel, Barry O'Sullivan: Reasoning about conditional constraint specification problems and feature models. AI EDAM 25(2): 163-174 (2011)
	2009
52		Raphael A. Finkel, Barry O'Sullivan: Reasoning about Conditional Constraint Specifications. ICTAI 2009: 349-353
	2008
51		Liangrong Yi, Raphael A. Finkel, Judy Goldsmith: Planning for Welfare to Work. FLAIRS Conference 2008: 696-701
	2007
50		Raphael A. Finkel, Gregory Stump: A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology. LLC 22(2): 117-136 (2007)
	2006
49		Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel: Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407
	2005
48		Alex Dekhtyar, Raphael A. Finkel, Judy Goldsmith, Beth Goldstein, Cynthia Isenhour: Adaptive Decision Support for Planning under Hard and Soft Constraints. AAAI Spring Symposium: Challenges to Decision Support in a Changing World 2005: 17-22
47		Bryan Crawley, Raphael A. Finkel: Micky: Methods With Implicit Calls. PLC 2005: 201-206
	2004
46		Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442
45		Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Constraint Lingo: towards high-level constraint programming. Softw., Pract. Exper. 34(15): 1481-1504 (2004)
	2003
44		David Abramson, Raphael A. Finkel, Donny Kurniawan, Victor Kowalenko, Greg Watson: Parallel Relative Debugging with Dynamic Data Structures. ISCA PDCS 2003: 22-29
	2002
43		Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt: Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64
42		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
41		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
40		Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski: Computing stable models in parallel. Answer Set Programming 2001
39		Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001
	1999
38		Raphael A. Finkel, Ross Scaife, Huar-En Ng: The SUDA Project: Collaborative Web-based Translation. HICSS 1999
37		Raphael A. Finkel, Brian Sturgill, Harlan Stenn: Experience with a Unix System-Administration Tool. Softw., Pract. Exper. 29(11): 953-971 (1999)
	1998
36		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
35		Raphael A. Finkel: What Is an Operating System? The Computer Science and Engineering Handbook 1997: 1647-1664
34		Raphael A. Finkel: Pulsar: An Extensible Tool for Monitoring Large Unix Sites. Softw., Pract. Exper. 27(10): 1163-1176 (1997)
	1996
33		Raphael A. Finkel, Samuel N. Kamin: Advanced programming language design. Addison-Wesley-Longman 1996
32		Raphael A. Finkel: Operating Systems. ACM Comput. Surv. 28(1): 201-203 (1996)
31		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
30		Erin H. Herrin II, Raphael A. Finkel: An ASCII Database for Fast Queries of Relatively Stable Data. Computing Systems 4(2): 127-155 (1991)
29		Cui-Qing Yang, Raphael A. Finkel: Utility Servers in Charlotte. Softw., Pract. Exper. 21(5): 429-441 (1991)
	1989
28		Yeshayahu Artsy, Raphael A. Finkel: Designing a Process Migration Facility: The Charlotte Experience. IEEE Computer 22(9): 47-56 (1989)
27		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
26		Raphael A. Finkel: An operating systems vade mecum (2. ed.). Prentice Hall 1988: I-XIV, 1-385
25		Yijie Han, Raphael A. Finkel: An Optimal Scheme for Disseminating Information. ICPP (2) 1988: 198-203
24		Aaron J. Gordon, Raphael A. Finkel: Handling Timing Errors in Distributed Programs. IEEE Trans. Software Eng. 14(10): 1525-1535 (1988)
23		Michael L. Scott, Raphael A. Finkel: A Simple Mechanism for Type Security Across Compilation Units. IEEE Trans. Software Eng. 14(8): 1238-1239 (1988)
22		Debra Hensgen, Raphael A. Finkel, Udi Manber: Two algorithms for barrier synchronization. International Journal of Parallel Programming 17(1): 1-17 (1988)
21		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, George A. Michael, Neil s. Ostlund, Jerry Potter, D. K. Pradhan, Michael J. Quinn, G. W. Stewart, Quentin F. Stout, Layne Watson, Jon Webb: Parallel algorithms and architectures report of a workshop. The Journal of Supercomputing 1(3): 301-325 (1988)
	1987
20		Raphael A. Finkel, Udi Manber: DIB - A Distributed Implementation of Backtracking. ACM Trans. Program. Lang. Syst. 9(2): 235-256 (1987)
19		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)
18		Raphael A. Finkel, Hari Madduri: An Efficient Deadlock Avoidance Algorithm. Inf. Process. Lett. 24(1): 25-30 (1987)
	1985
17		Raphael A. Finkel, Udi Manber: DIB - A Distributed Implementation of Backtracking. ICDCS 1985: 446-452
	1984
16		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
15		Raphael A. Finkel, John P. Fishburn: Improved Speedup Bounds for Parallel Alpha-Beta Search. IEEE Trans. Pattern Anal. Mach. Intell. 5(1): 89-92 (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	[44]
2	Yeshayahu Artsy	[27] [28]
3	Jon Louis Bentley	[1] [3]
4	R. M. Bryant	[9]
5	Duncan A. Buell	[21]
6	David A. Carlson	[21]
7	Hung-Yang Chang	[27]
8	Yuan-Chieh Chow	[21]
9	Bryan Crawley	[47]
10	Karel Culík	[21]
11	David J. DeWitt	[19]
12	Alex Dekhtyar (Alexander Dekhtyar)	[48]
13	Narsingh Deo	[21]
14	J. Eastman	[13]
15	Adel Said Elmaghraby (Adel Elmaghraby)	[13]
16	John P. Fishburn	[10] [12] [15]
17	A. A. Frank	[13]
18	Jerome H. Friedman	[3]
19	Judy Goldsmith	[48] [51]
20	Beth Goldstein	[48]
21	Aaron J. Gordon	[24]
22	Yijie Han	[25]
23	Debra Hensgen	[22]
24	Erin H. Herrin II	[30] [31]
25	Gábor Hodász	[42]
26	Elias N. Houstis	[21]
27	Cynthia Isenhour	[48]
28	Samuel N. Kamin (Sam Kamin)	[33]
29	T. J. Kaminsky	[13]
30	Zvi M. Kedem	[21]
31	Charles R. Kime	[13]
32	Victor Kowalenko	[44]
33	Janusz S. Kowalik	[21]
34	Philip Kuekes	[21]
35	Donny Kurniawan	[44]
36	K. Lakshman	[36]
37	Will E. Leland	[7]
38	Hari Madduri	[16] [18]
39	Udi Manber	[17] [20] [22]
40	Victor W. Marek (V. Wiktor Marek)	[39] [40] [41] [45] [46] [49]
41	Joanne L. Martin	[21]
42	John A. McPherson	[13]
43	George A. Michael	[21]
44	Krisztián Monostori	[42] [43]
45	Neil Moore	[40]
46	Huar-En Ng	[38]
47	Barry O'Sullivan	[52] [53]
48	Neil s. Ostlund	[21]
49	Máté Pataki	[42]
50	Hemantha Ponnuru	[46]
51	Jerry Potter	[21]
52	D. K. Pradhan	[21]
53	Li Qiao	[7]
54	Michael J. Quinn	[21]
55	Michael Jon Redmond	[13]
56	Vincent C. Rideout	[13]
57	Ross Scaife	[38]
58	Heinz W. Schmidt	[43]
59	Michael L. Scott	[23] [27]
60	S. Diane Smith	[13]
61	Marvin H. Solomon	[4] [5] [6] [7] [8] [19]
62	Elaine M. Jacob Son	[21]
63	Harlan Stenn	[37]
64	G. W. Stewart	[21]
65	Quentin F. Stout	[21]
66	Gregory Stump	[50]
67	Brian Sturgill	[37]
68	Miroslaw Truszczynski	[39] [40] [41] [45] [46] [49]
69	Leonard Uhr	[7]
70	Thomas R. Virgilio	[11]
71	Greg Watson	[44]
72	Layne Watson	[21]
73	Jon Webb	[21]
74	Cui-Qing Yang	[29]
75	Raj Yavatkar	[36]
76	Liangrong Yi	[51]
77	Arkady B. Zaslavsky	[42] [43]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page