Raphael A. Finkel Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Barry O'Sullivan: Reasoning about Conditional Constraint Specifications. ICTAI 2009: 349-353
2008
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiangrong Yi, Raphael A. Finkel, Judy Goldsmith: Planning for Welfare to Work. FLAIRS Conference 2008: 696-701
2006
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel: Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407
2005
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBryan Crawley, Raphael A. Finkel: Micky: Methods With Implicit Calls. PLC 2005: 201-206
2004
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Constraint Lingo: towards high-level constraint programming. Softw., Pract. Exper. 34(15): 1481-1504 (2004)
2003
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Abramson, Raphael A. Finkel, Donny Kurniawan, Victor Kowalenko, Greg Watson: Parallel Relative Debugging with Dynamic Data Structures. ISCA PDCS 2003: 22-29
2002
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt: Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrisztiá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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski: Computing stable models in parallel. Answer Set Programming 2001
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001
1999
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Ross Scaife, Huar-En Ng: The SUDA Project: Collaborative Web-based Translation. HICSS 1999
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Brian Sturgill, Harlan Stenn: Experience with a Unix System-Administration Tool. Softw., Pract. Exper. 29(11): 953-971 (1999)
1998
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel: What Is an Operating System? The Computer Science and Engineering Handbook 1997: 1647-1664
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel: Pulsar: An Extensible Tool for Monitoring Large Unix Sites. Softw., Pract. Exper. 27(10): 1163-1176 (1997)
1996
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel: Operating Systems. ACM Comput. Surv. 28(1): 201-203 (1996)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErin 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErin H. Herrin II, Raphael A. Finkel: An ASCII Database for Fast Queries of Relatively Stable Data. Computing Systems 4(2): 127-155 (1991)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCui-Qing Yang, Raphael A. Finkel: Utility Servers in Charlotte. Softw., Pract. Exper. 21(5): 429-441 (1991)
1989
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYeshayahu Artsy, Raphael A. Finkel: Designing a Process Migration Facility: The Charlotte Experience. IEEE Computer 22(9): 47-56 (1989)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYijie Han, Raphael A. Finkel: An Optimal Scheme for Disseminating Information. ICPP (2) 1988: 198-203
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron J. Gordon, Raphael A. Finkel: Handling Timing Errors in Distributed Programs. IEEE Trans. Software Eng. 14(10): 1525-1535 (1988)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Scott, Raphael A. Finkel: A Simple Mechanism for Type Security Across Compilation Units. IEEE Trans. Software Eng. 14(8): 1238-1239 (1988)
1987
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Udi Manber: DIB - A Distributed Implementation of Backtracking. ACM Trans. Program. Lang. Syst. 9(2): 235-256 (1987)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid J. DeWitt, Raphael A. Finkel, Marvin H. Solomon: The Crystal Multicomputer: Design and Implementation Experience. IEEE Trans. Software Eng. 13(8): 953-966 (1987)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Hari Madduri: An Efficient Deadlock Avoidance Algorithm. Inf. Process. Lett. 24(1): 25-30 (1987)
1985
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Udi Manber: DIB - A Distributed Implementation of Backtracking. ICDCS 1985: 446-452
1984
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHari 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel: Run-time Print Values. SIGPLAN Notices 18(2): 62-64 (1983)
1982
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, John P. Fishburn: Parallelism in Alpha-Beta Search. Artif. Intell. 19(1): 89-106 (1982)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas R. Virgilio, Raphael A. Finkel: Binding Strategies and Scope Rules Are Independent. Comput. Lang. 7(2): 61-67 (1982)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn P. Fishburn, Raphael A. Finkel: Quotient Networks. IEEE Trans. Computers 31(4): 288-295 (1982)
1981
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. M. Bryant, Raphael A. Finkel: A Stable Distributed Scheduling Algorithm. ICDCS 1981: 314-323
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Marvin H. Solomon: The Lens Interconnection Strategy. IEEE Trans. Computers 30(12): 960-965 (1981)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWill 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Marvin H. Solomon: Processor Interconnection Strategies. IEEE Trans. Computers 29(5): 360-371 (1980)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarvin H. Solomon, Raphael A. Finkel: A Note on Enumerating Binary Trees. J. ACM 27(1): 3-5 (1980)
1979
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarvin H. Solomon, Raphael A. Finkel: The ROSCOE Distributed Operating System. SOSP 1979: 108-114
1977
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJerome 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel: An Overview Of AL, A Programming System For Automation. IJCAI 1975: 758-765
1974
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael A. Finkel, Jon Louis Bentley: Quad Trees: A Data Structure for Retrieval on Composite Keys Acta Inf. 4: 1-9 (1974)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)