Raphael A. Finkel

Orcid: 0000-0003-3896-6743

According to our database1, Raphael A. Finkel authored at least 62 papers between 1974 and 2022.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Parallel m-dimensional relative ant colony optimization (mDRACO) for the Costas-array problem.
Soft Comput., 2022

Analyzing Code-mixing in Linguistic Corpora Using Kratylos.
ACM Journal on Computing and Cultural Heritage, 2022

Reasoning about conditional constraint specification problems and feature models.
Artif. Intell. Eng. Des. Anal. Manuf., 2011

What Your Teacher Told You is True: Latin Verbs Have Four Principal Parts.
Digit. Humanit. Q., 2009

Reasoning about Conditional Constraint Specifications.
Proceedings of the ICTAI 2009, 2009

Planning for Welfare to Work.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

RPSF: A Routing Protocol with Selective Forwarding for Mobile Ad-Hoc Networks.
Wirel. Pers. Commun., 2007

A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology.
Lit. Linguistic Comput., 2007

Generating Cellular Puzzles with Logic Programs.
Proceedings of the 2006 International Conference on Artificial Intelligence, 2006

Micky: Methods With Implicit Calls.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Adaptive Decision Support for Planning under Hard and Soft Constraints.
Proceedings of the Challenges to Decision Support in a Changing World, 2005

Constraint Lingo: towards high-level constraint programming.
Softw. Pract. Exp., 2004

Automatic Generation of English-language Steps in Puzzle Solving.
Proceedings of the International Conference on Artificial Intelligence, 2004

Parallel Relative Debugging with Dynamic Data Structures.
Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, 2003

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Comparison of Overlap Detection Techniques.
Proceedings of the Computational Science - ICCS 2002, 2002

Signature Extraction for Overlap Detection in Documents.
Proceedings of the Computer Science 2002, 2002

Generating Hebrew Verb Morphology by Default Inheritance Hierarchies.
Proceedings of the Workshop on Computational Approaches to Semitic Languages, 2002

Tabular Constraint-Satisfaction Problems and Answer Set Programming.
Proceedings of the Answer Set Programming, 2001

Computing stable models in parallel.
Proceedings of the Answer Set Programming, 2001

Experience with a Unix System-Administration Tool.
Softw. Pract. Exp., 1999

The SUDA Project: Collaborative Web-based Translation.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Integrated CPU and network-I/O QoS management in an endsystem.
Comput. Commun., 1998

Pulsar: An Extensible Tool for Monitoring Large Unix Sites.
Softw. Pract. Exp., 1997

What Is an Operating System?
Proceedings of the Computer Science and Engineering Handbook, 1997

Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data.
Comput. Syst., 1996

Operating Systems.
ACM Comput. Surv., 1996

Advanced programming language design.
Addison-Wesley-Longman, ISBN: 978-0-805-31191-4, 1996

A Reservation-Based CSMA Protocol for Integrated Manufacturing Networks.
IEEE Trans. Syst. Man Cybern. Syst., 1994

Utility Servers in Charlotte.
Softw. Pract. Exp., 1991

An ASCII Database for Fast Queries of Relatively Stable Data.
Comput. Syst., 1991

Experience with Charlotte: Simplicity and Function in a Distributed Operating System.
IEEE Trans. Software Eng., 1989

Designing a Process Migration Facility: The Charlotte Experience.
Computer, 1989

A Simple Mechanism for Type Security Across Compilation Units.
IEEE Trans. Software Eng., 1988

Handling Timing Errors in Distributed Programs.
IEEE Trans. Software Eng., 1988

Parallel algorithms and architectures report of a workshop.
J. Supercomput., 1988

YACKOS on a shared-memory multiprocessor.
SIGARCH Comput. Archit. News, 1988

Two algorithms for barrier synchronization.
Int. J. Parallel Program., 1988

An Optimal Scheme for Disseminating Information.
Proceedings of the International Conference on Parallel Processing, 1988

An operating systems vade mecum (2. ed.).
Prentice Hall, ISBN: 978-0-13-637950-8, 1988

The Crystal Multicomputer: Design and Implementation Experience.
IEEE Trans. Software Eng., 1987

DIB - A Distributed Implementation of Backtracking.
ACM Trans. Program. Lang. Syst., 1987

Interprocess Communication in Charlotte.
IEEE Softw., 1987

An Efficient Deadlock Avoidance Algorithm.
Inf. Process. Lett., 1987

Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System.
Inf. Process. Lett., 1984

Run-time Print Values.
ACM SIGPLAN Notices, 1983

Improved Speedup Bounds for Parallel Alpha-Beta Search.
IEEE Trans. Pattern Anal. Mach. Intell., 1983

Quotient Networks.
IEEE Trans. Computers, 1982

Binding Strategies and Scope Rules Are Independent.
Comput. Lang., 1982

Parallelism in Alpha-Beta Search.
Artif. Intell., 1982

WISPAC: A Parallel Array Computer for Simulation Applications.
Proceedings of the Parallel and Large-Scale Computers: Performance, 1982

The Lens Interconnection Strategy.
IEEE Trans. Computers, 1981

High Density Graphs for Processor Interconnection.
Inf. Process. Lett., 1981

A Stable Distributed Scheduling Algorithm.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Processor Interconnection Strategies.
IEEE Trans. Computers, 1980

A Note on Enumerating Binary Trees.
J. ACM, 1980

The ROSCOE Distributed Operating System.
Proceedings of the Seventh Symposium on Operating System Principles, 1979

Distributed algorithms for global structuring.
Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

An Algorithm for Finding Best Matches in Logarithmic Expected Time.
ACM Trans. Math. Softw., 1977

Constructing and debugging manipulator programs.
PhD thesis, 1976

An Overview Of AL, A Programming System For Automation.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

Quad Trees: A Data Structure for Retrieval on Composite Keys.
Acta Informatica, 1974