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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2009
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

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

2007
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

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

2005
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

2004
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

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

2002
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

2001
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

1999
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

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

1997
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

1996
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

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

An ASCII Database for Fast Queries of Relatively Stable Data.
Computing Systems, 1991

1989
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

1988
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

1987
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

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

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

1983
Run-time Print Values.
SIGPLAN Notices, 1983

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

1982
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

1981
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

1980
Processor Interconnection Strategies.
IEEE Trans. Computers, 1980

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

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

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

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

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


  Loading...