default search action
Raphael A. Finkel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j38]Raphael A. Finkel
, Daniel Kaufman, Ahmed Shamim:
Analyzing Code-mixing in Linguistic Corpora Using Kratylos. ACM Journal on Computing and Cultural Heritage 15(1): 3:1-3:15 (2022) - [j37]David Vulakh
Parallel m-dimensional relative ant colony optimization (mDRACO) for the Costas-array problem. Soft Comput. 26(12): 5765-5772 (2022)
2010 – 2019
- 2011
- [j36]Raphael A. Finkel, Barry O'Sullivan
Reasoning about conditional constraint specification problems and feature models. Artif. Intell. Eng. Des. Anal. Manuf. 25(2): 163-174 (2011)
2000 – 2009
- 2009
- [j35]Raphael A. Finkel, Gregory Stump:
What Your Teacher Told You is True: Latin Verbs Have Four Principal Parts. Digit. Humanit. Q. 3(1) (2009) - [c21]Raphael A. Finkel, Barry O'Sullivan
Reasoning about Conditional Constraint Specifications. ICTAI 2009: 349-353 - 2008
- [c20]Liangrong Yi, Raphael A. Finkel, Judy Goldsmith:
Planning for Welfare to Work. FLAIRS 2008: 696-701 - 2007
- [j34]Raphael A. Finkel, Gregory Stump:
A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology. Lit. Linguistic Comput. 22(2): 117-136 (2007) - [j33]Qiangfeng Jiang, Raphael A. Finkel, D. Manivannan
RPSF: A Routing Protocol with Selective Forwarding for Mobile Ad-Hoc Networks. Wirel. Pers. Commun. 43(2): 411-436 (2007) - 2006
- [c19]Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel:
Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407 - 2005
- [c18]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 - [c17]Bryan Crawley, Raphael A. Finkel:
Micky: Methods With Implicit Calls. PLC 2005: 201-206 - 2004
- [j32]Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Constraint Lingo: towards high-level constraint programming. Softw. Pract. Exp. 34(15): 1481-1504 (2004) - [c16]Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442 - 2003
- [c15]David Abramson, Raphael A. Finkel, Donny Kurniawan, Victor Kowalenko, Greg Watson:
Parallel Relative Debugging with Dynamic Data Structures. PDCS 2003: 22-29 - 2002
- [c14]Raphael A. Finkel, Gregory Stump:
Generating Hebrew Verb Morphology by Default Inheritance Hierarchies. SEMITIC@ACL 2002 - [c13]Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt:
Signature Extraction for Overlap Detection in Documents. ACSC 2002: 59-64 - [c12]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 - [c11]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
- [c10]Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski:
Computing stable models in parallel. Answer Set Programming 2001 - [c9]Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001
1990 – 1999
- 1999
- [j31]Raphael A. Finkel, Brian Sturgill, Harlan Stenn:
Experience with a Unix System-Administration Tool. Softw. Pract. Exp. 29(11): 953-971 (1999) - [c8]Raphael A. Finkel, Ross Scaife, Huar-En Ng:
The SUDA Project: Collaborative Web-based Translation. HICSS 1999 - 1998
- [j30]K. Lakshman, Raj Yavatkar, Raphael A. Finkel:
Integrated CPU and network-I/O QoS management in an endsystem. Comput. Commun. 21(4): 325-333 (1998) - 1997
- [j29]Raphael A. Finkel:
Pulsar: An Extensible Tool for Monitoring Large Unix Sites. Softw. Pract. Exp. 27(10): 1163-1176 (1997) - [r1]Raphael A. Finkel:
What Is an Operating System? The Computer Science and Engineering Handbook 1997: 1647-1664 - 1996
- [b3]Raphael A. Finkel:
Advanced programming language design. Addison-Wesley-Longman 1996, ISBN 978-0-805-31191-4 - [j28]Raphael A. Finkel:
Operating Systems. ACM Comput. Surv. 28(1): 201-203 (1996) - [j27]Erin H. Herrin II, Raphael A. Finkel:
Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data. Comput. Syst. 9(2): 93-118 (1996) - 1994
- [j26]Rajendra S. Yavatkar, Prashant Pai, Raphael A. Finkel:
A Reservation-Based CSMA Protocol for Integrated Manufacturing Networks. IEEE Trans. Syst. Man Cybern. Syst. 24(8): 1247-1258 (1994) - 1991
- [j25]Erin H. Herrin II, Raphael A. Finkel:
An ASCII Database for Fast Queries of Relatively Stable Data. Comput. Syst. 4(2): 127-155 (1991) - [j24]Cui-Qing Yang, Raphael A. Finkel:
Utility Servers in Charlotte. Softw. Pract. Exp. 21(5): 429-441 (1991)
1980 – 1989
- 1989
- [j23]Yeshayahu Artsy, Raphael A. Finkel:
Designing a Process Migration Facility: The Charlotte Experience. Computer 22(9): 47-56 (1989) - [j22]Raphael A. Finkel, Michael L. Scott
Experience with Charlotte: Simplicity and Function in a Distributed Operating System. IEEE Trans. Software Eng. 15(6): 676-685 (1989) - 1988
- [b2]Raphael A. Finkel:
An operating systems vade mecum (2. ed.). Prentice Hall 1988, ISBN 978-0-13-637950-8, pp. I-XIV, 1-385 - [j21]Debra Hensgen, Raphael A. Finkel, Udi Manber:
Two algorithms for barrier synchronization. Int. J. Parallel Program. 17(1): 1-17 (1988) - [j20]Raphael A. Finkel, Debra Hensgen:
YACKOS on a shared-memory multiprocessor. SIGARCH Comput. Archit. News 16(4): 31-36 (1988) - [j19]Duncan A. Buell
Parallel algorithms and architectures report of a workshop. J. Supercomput. 1(3): 301-325 (1988) - [j18]Michael L. Scott
A Simple Mechanism for Type Security Across Compilation Units. IEEE Trans. Software Eng. 14(8): 1238-1239 (1988) - [j17]Aaron J. Gordon, Raphael A. Finkel:
Handling Timing Errors in Distributed Programs. IEEE Trans. Software Eng. 14(10): 1525-1535 (1988) - [c7]Yijie Han, Raphael A. Finkel:
An Optimal Scheme for Disseminating Information. ICPP (2) 1988: 198-203 - 1987
- [j16]Raphael A. Finkel, Hari Madduri:
An Efficient Deadlock Avoidance Algorithm. Inf. Process. Lett. 24(1): 25-30 (1987) - [j15]Yeshayahu Artsy, Hung-Yang Chang, Raphael A. Finkel:
Interprocess Communication in Charlotte. IEEE Softw. 4(1): 22-28 (1987) - [j14]Raphael A. Finkel, Udi Manber:
DIB - A Distributed Implementation of Backtracking. ACM Trans. Program. Lang. Syst. 9(2): 235-256 (1987) - [j13]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) - 1985
- [c6]Raphael A. Finkel, Udi Manber:
DIB - A Distributed Implementation of Backtracking. ICDCS 1985: 446-452 - 1984
- [j12]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
- [j11]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) - [j10]Raphael A. Finkel:
Run-time Print Values. ACM SIGPLAN Notices 18(2): 62-64 (1983) - 1982
- [j9]Raphael A. Finkel, John P. Fishburn:
Parallelism in Alpha-Beta Search. Artif. Intell. 19(1): 89-106 (1982) - [j8]Thomas R. Virgilio, Raphael A. Finkel:
Binding Strategies and Scope Rules Are Independent. Comput. Lang. 7(2): 61-67 (1982) - [j7]John P. Fishburn, Raphael A. Finkel:
Quotient Networks. IEEE Trans. Computers 31(4): 288-295 (1982) - [c5]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 - 1981
- [j6]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) - [j5]Raphael A. Finkel, Marvin H. Solomon:
The Lens Interconnection Strategy. IEEE Trans. Computers 30(12): 960-965 (1981) - [c4]Raymond M. Bryant, Raphael A. Finkel:
A Stable Distributed Scheduling Algorithm. ICDCS 1981: 314-323 - 1980
- [j4]Marvin H. Solomon, Raphael A. Finkel:
A Note on Enumerating Binary Trees. J. ACM 27(1): 3-5 (1980) - [j3]Raphael A. Finkel, Marvin H. Solomon:
Processor Interconnection Strategies. IEEE Trans. Computers 29(5): 360-371 (1980)
1970 – 1979
- 1979
- [c3]Raphael A. Finkel, Marvin H. Solomon, Michael L. Horowitz:
Distributed algorithms for global structuring. MARK 1979: 455-460 - [c2]Marvin H. Solomon, Raphael A. Finkel:
The ROSCOE Distributed Operating System. SOSP 1979: 108-114 - 1977
- [j2]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) - 1976
- [b1]Raphael A. Finkel:
Constructing and debugging manipulator programs. Stanford University, USA, 1976 - 1975
- [c1]Raphael A. Finkel:
An Overview Of AL, A Programming System For Automation. IJCAI 1975: 758-765 - 1974
- [j1]Raphael A. Finkel, Jon Louis Bentley:
Quad Trees: A Data Structure for Retrieval on Composite Keys. Acta Informatica 4: 1-9 (1974)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: