Raphael A. Finkel

According to our database1, Raphael A. Finkel
  • authored at least 56 papers between 1974 and 2011.
  • has a "Dijkstra number"2 of three.



In proceedings 
PhD thesis 



On csauthors.net:


Reasoning about conditional constraint specification problems and feature models.
AI EDAM, 2011

What Your Teacher Told You is True: Latin Verbs Have Four Principal Parts.
Digital Humanities Quarterly, 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.
Wireless Personal Communications, 2007

A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology.
LLC, 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. Exper., 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

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. Exper., 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.
Computer Communications, 1998

Pulsar: An Extensible Tool for Monitoring Large Unix Sites.
Softw., Pract. Exper., 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.
Computing Systems, 1996

Operating Systems.
ACM Comput. Surv., 1996

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

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

An ASCII Database for Fast Queries of Relatively Stable Data.
Computing Systems, 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.
IEEE 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.
The Journal of Supercomputing, 1988

Two algorithms for barrier synchronization.
International Journal of Parallel Programming, 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 Software, 1987

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

DIB - A Distributed Implementation of Backtracking.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

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

Run-time Print Values.
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.
IMACS World Congress, 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

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

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 Inf., 1974