Raphael A. Finkel

64 papers A* 2A 2B 2Misc 4Journal 38Unranked 12
YearRankTypeTitle / Venue / Authors
2023 — conf
Answer-Set Programming - An Introduction Based on Sudoku and (Thomas G.) Room Arrangements.
LCPC
Raphael A. Finkel
2022 J jnl
Analyzing Code-mixing in Linguistic Corpora Using Kratylos.
ACM Journal on Computing and Cultural Heritage
Raphael A. Finkel, Daniel Kaufman, Ahmed Shamim
2022 J jnl
Parallel m-dimensional relative ant colony optimization (mDRACO) for the Costas-array problem.
Soft Comput.
David Vulakh, Raphael A. Finkel
2011 J jnl
Reasoning about conditional constraint specification problems and feature models.
Artif. Intell. Eng. Des. Anal. Manuf.
Raphael A. Finkel, Barry O'Sullivan
2009 B conf
Reasoning about Conditional Constraint Specifications.
ICTAI
Raphael A. Finkel, Barry O'Sullivan
2009 J jnl
What Your Teacher Told You is True: Latin Verbs Have Four Principal Parts.
Digit. Humanit. Q.
Raphael A. Finkel, Gregory Stump
2008 Misc conf
Planning for Welfare to Work.
FLAIRS
Liangrong Yi, Raphael A. Finkel, Judy Goldsmith
2007 J jnl
A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology.
Lit. Linguistic Comput.
Raphael A. Finkel, Gregory Stump
2007 J jnl
RPSF: A Routing Protocol with Selective Forwarding for Mobile Ad-Hoc Networks.
Wirel. Pers. Commun.
Qiangfeng Jiang, Raphael A. Finkel, D. Manivannan, Mukesh Singhal
2006 Misc conf
Generating Cellular Puzzles with Logic Programs.
IC-AI
Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel
2005 — conf
Adaptive Decision Support for Planning under Hard and Soft Constraints.
AAAI Spring Symposium: Challenges to Decision Support in a Changing World
Alex Dekhtyar, Raphael A. Finkel, Judy Goldsmith, Beth Goldstein, Cynthia Isenhour
2005 — conf
Micky: Methods With Implicit Calls.
PLC
Bryan Crawley, Raphael A. Finkel
2004 Misc conf
Automatic Generation of English-language Steps in Puzzle Solving.
IC-AI
Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2004 J jnl
Constraint Lingo: towards high-level constraint programming.
Softw. Pract. Exp.
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2003 — conf
Parallel Relative Debugging with Dynamic Data Structures.
PDCS
David Abramson, Raphael A. Finkel, Donny Kurniawan, Victor Kowalenko, Greg Watson
2002 Misc conf
Comparison of Overlap Detection Techniques.
International Conference on Computational Science (1)
Krisztián Monostori, Raphael A. Finkel, Arkady B. Zaslavsky, Gábor Hodász, Máté Pataki
2002 B conf
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.
JELIA
Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski
2002 — conf
Generating Hebrew Verb Morphology by Default Inheritance Hierarchies.
SEMITIC@ACL
Raphael A. Finkel, Gregory Stump
2002 — conf
Signature Extraction for Overlap Detection in Documents.
ACSC
Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt
2001 — conf
Computing stable models in parallel.
Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski
2001 — conf
Tabular Constraint-Satisfaction Problems and Answer Set Programming.
Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
1999 J jnl
Experience with a Unix System-Administration Tool.
Softw. Pract. Exp.
Raphael A. Finkel, Brian Sturgill, Harlan Stenn
1999 — conf
The SUDA Project: Collaborative Web-based Translation.
HICSS
Raphael A. Finkel, Ross Scaife, Huar-En Ng
1998 J jnl
Integrated CPU and network-I/O QoS management in an endsystem.
Comput. Commun.
K. Lakshman, Raj Yavatkar, Raphael A. Finkel
1997 J jnl
Pulsar: An Extensible Tool for Monitoring Large Unix Sites.
Softw. Pract. Exp.
Raphael A. Finkel
1997 — ch.
What Is an Operating System?
The Computer Science and Engineering Handbook
Raphael A. Finkel
1996 — book
Advanced programming language design.
Raphael A. Finkel
1996 J jnl
Operating Systems.
ACM Comput. Surv.
Raphael A. Finkel
1996 J jnl
Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data.
Comput. Syst.
Erin H. Herrin II, Raphael A. Finkel
1994 J jnl
A Reservation-Based CSMA Protocol for Integrated Manufacturing Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Rajendra S. Yavatkar, Prashant Pai, Raphael A. Finkel
1991 J jnl
An ASCII Database for Fast Queries of Relatively Stable Data.
Comput. Syst.
Erin H. Herrin II, Raphael A. Finkel
1991 J jnl
Utility Servers in Charlotte.
Softw. Pract. Exp.
Cui-Qing Yang, Raphael A. Finkel
1989 J jnl
Designing a Process Migration Facility: The Charlotte Experience.
Computer
Yeshayahu Artsy, Raphael A. Finkel
1989 J jnl
Experience with Charlotte: Simplicity and Function in a Distributed Operating System.
IEEE Trans. Software Eng.
Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang
1988 J jnl
A Simple Mechanism for Type Security Across Compilation Units.
IEEE Trans. Software Eng.
Michael L. Scott, Raphael A. Finkel
1988 — conf
An Optimal Scheme for Disseminating Information.
ICPP (2)
Yijie Han, Raphael A. Finkel
1988 — book
An operating systems vade mecum (2. ed.).
Raphael A. Finkel
1988 J jnl
Handling Timing Errors in Distributed Programs.
IEEE Trans. Software Eng.
Aaron J. Gordon, Raphael A. Finkel
1988 J jnl
Parallel algorithms and architectures report of a workshop.
J. Supercomput.
Duncan A. Buell, David A. Carlson, Yuan-Chieh Chow, Karel Culík, Narsingh Deo, Raphael A. Finkel, Elias N. Houstis, Elaine M. Jacob Son, Zvi M. Kedem, Janusz S. Kowalik, Philip Kuekes, Joanne L. Martin, George A. Michael, Neil S. Ostlund, Jerry Potter, D. K. Pradhan, Michael J. Quinn, G. W. Stewart, Quentin F. Stout, Layne T. Watson, Jon Webb
1988 J jnl
Two algorithms for barrier synchronization.
Int. J. Parallel Program.
Debra Hensgen, Raphael A. Finkel, Udi Manber
1988 J jnl
YACKOS on a shared-memory multiprocessor.
SIGARCH Comput. Archit. News
Raphael A. Finkel, Debra Hensgen
1987 J jnl
An Efficient Deadlock Avoidance Algorithm.
Inf. Process. Lett.
Raphael A. Finkel, Hari Madduri
1987 J jnl
DIB - A Distributed Implementation of Backtracking.
ACM Trans. Program. Lang. Syst.
Raphael A. Finkel, Udi Manber
1987 J jnl
Interprocess Communication in Charlotte.
IEEE Softw.
Yeshayahu Artsy, Hung-Yang Chang, Raphael A. Finkel
1987 J jnl
The Crystal Multicomputer: Design and Implementation Experience.
IEEE Trans. Software Eng.
David J. DeWitt, Raphael A. Finkel, Marvin H. Solomon
1985 A conf
DIB - A Distributed Implementation of Backtracking.
ICDCS
Raphael A. Finkel, Udi Manber
1984 J jnl
Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System.
Inf. Process. Lett.
Hari Madduri, Raphael A. Finkel
1983 J jnl
Improved Speedup Bounds for Parallel Alpha-Beta Search.
IEEE Trans. Pattern Anal. Mach. Intell.
Raphael A. Finkel, John P. Fishburn
1983 J jnl
Run-time Print Values.
ACM SIGPLAN Notices
Raphael A. Finkel
1982 J jnl
Binding Strategies and Scope Rules Are Independent.
Comput. Lang.
Thomas R. Virgilio, Raphael A. Finkel
1982 J jnl
Parallelism in Alpha-Beta Search.
Artif. Intell.
Raphael A. Finkel, John P. Fishburn
1982 J jnl
Quotient Networks.
IEEE Trans. Computers
John P. Fishburn, Raphael A. Finkel
1982 — conf
WISPAC: A Parallel Array Computer for Simulation Applications.
IMACS World Congress
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
1981 A conf
A Stable Distributed Scheduling Algorithm.
ICDCS
Raymond M. Bryant, Raphael A. Finkel
1981 J jnl
High Density Graphs for Processor Interconnection.
Inf. Process. Lett.
Will E. Leland, Raphael A. Finkel, Li Qiao, Marvin H. Solomon, Leonard Uhr
1981 J jnl
The Lens Interconnection Strategy.
IEEE Trans. Computers
Raphael A. Finkel, Marvin H. Solomon
1980 J jnl
A Note on Enumerating Binary Trees.
J. ACM
Marvin H. Solomon, Raphael A. Finkel
1980 J jnl
Processor Interconnection Strategies.
IEEE Trans. Computers
Raphael A. Finkel, Marvin H. Solomon
1979 — conf
Distributed algorithms for global structuring.
MARK
Raphael A. Finkel, Marvin H. Solomon, Michael L. Horowitz
1979 A* conf
The ROSCOE Distributed Operating System.
SOSP
Marvin H. Solomon, Raphael A. Finkel
1977 J jnl
An Algorithm for Finding Best Matches in Logarithmic Expected Time.
ACM Trans. Math. Softw.
Jerome H. Friedman, Jon Louis Bentley, Raphael A. Finkel
1976 — —
Constructing and debugging manipulator programs.
Raphael A. Finkel
1975 A* conf
An Overview Of AL, A Programming System For Automation.
IJCAI
Raphael A. Finkel
1974 J jnl
Quad Trees: A Data Structure for Retrieval on Composite Keys.
Acta Informatica
Raphael A. Finkel, Jon Louis Bentley