Raphael A. Finkel

Publication Activity (10 Years)

Years Active: 1974-2022
Publications (10 Years): 2

Top Topics

Pheromone Trails

Nature Inspired

Combinatorial Optimization Problems

Top Venues

ACM Journal on Computing and Cultural Heritage

Publications

Raphael A. Finkel, Daniel Kaufman, Ahmed Shamim
Analyzing Code-mixing in Linguistic Corpora Using Kratylos. ACM Journal on Computing and Cultural Heritage 15 (1) (2022)
David Vulakh, Raphael A. Finkel
Parallel m-dimensional relative ant colony optimization (mDRACO) for the Costas-array problem. Soft Comput. 26 (12) (2022)
Raphael A. Finkel, Barry O'Sullivan
Reasoning about conditional constraint specification problems and feature models. Artif. Intell. Eng. Des. Anal. Manuf. 25 (2) (2011)
Raphael A. Finkel, Barry O'Sullivan
Reasoning about Conditional Constraint Specifications. ICTAI (2009)
Raphael A. Finkel, Gregory Stump
What Your Teacher Told You is True: Latin Verbs Have Four Principal Parts. Digit. Humanit. Q. 3 (1) (2009)
Liangrong Yi, Raphael A. Finkel, Judy Goldsmith
Planning for Welfare to Work. FLAIRS Conference (2008)
Raphael A. Finkel, Gregory Stump
A Default Inheritance Hierarchy for Computing Hebrew Verb Morphology. Lit. Linguistic Comput. 22 (2) (2007)
Qiangfeng Jiang, Raphael A. Finkel, D. Manivannan, Mukesh Singhal
RPSF: A Routing Protocol with Selective Forwarding for Mobile Ad-Hoc Networks. Wirel. Pers. Commun. 43 (2) (2007)
Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel
Generating Cellular Puzzles with Logic Programs. IC-AI (2006)
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)
Bryan Crawley, Raphael A. Finkel
Micky: Methods With Implicit Calls. PLC (2005)
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
Constraint Lingo: towards high-level constraint programming. Softw. Pract. Exp. 34 (15) (2004)
Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
Automatic Generation of English-language Steps in Puzzle Solving. IC-AI (2004)
David Abramson, Raphael A. Finkel, Donny Kurniawan, Victor Kowalenko, Greg Watson
Parallel Relative Debugging with Dynamic Data Structures. PDCS (2003)
Raphael A. Finkel, Arkady B. Zaslavsky, Krisztián Monostori, Heinz W. Schmidt
Signature Extraction for Overlap Detection in Documents. ACSC (2002)
Raphael A. Finkel, Gregory Stump
Generating Hebrew Verb Morphology by Default Inheritance Hierarchies. SEMITIC@ACL (2002)
Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA (2002)
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)
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming (2001)
Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski
Computing stable models in parallel. Answer Set Programming (2001)
Raphael A. Finkel, Ross Scaife, Huar-En Ng
The SUDA Project: Collaborative Web-based Translation. HICSS (1999)
Raphael A. Finkel, Brian Sturgill, Harlan Stenn
Experience with a Unix System-Administration Tool. Softw. Pract. Exp. 29 (11) (1999)
K. Lakshman, Raj Yavatkar, Raphael A. Finkel
Integrated CPU and network-I/O QoS management in an endsystem. Comput. Commun. 21 (4) (1998)
Raphael A. Finkel
Pulsar: An Extensible Tool for Monitoring Large Unix Sites. Softw. Pract. Exp. 27 (10) (1997)
Raphael A. Finkel
Operating Systems. ACM Comput. Surv. 28 (1) (1996)
Erin H. Herrin II, Raphael A. Finkel
Schema and Tuple Trees: An Intuitive Structure for Representing Relational Data. Comput. Syst. 9 (2) (1996)
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) (1994)
Cui-Qing Yang, Raphael A. Finkel
Utility Servers in Charlotte. Softw. Pract. Exp. 21 (5) (1991)
Erin H. Herrin II, Raphael A. Finkel
An ASCII Database for Fast Queries of Relatively Stable Data. Comput. Syst. 4 (2) (1991)
Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang
Experience with Charlotte: Simplicity and Function in a Distributed Operating System. IEEE Trans. Software Eng. 15 (6) (1989)
Yeshayahu Artsy, Raphael A. Finkel
Designing a Process Migration Facility: The Charlotte Experience. Computer 22 (9) (1989)
Aaron J. Gordon, Raphael A. Finkel
Handling Timing Errors in Distributed Programs. IEEE Trans. Software Eng. 14 (10) (1988)
Michael L. Scott, Raphael A. Finkel
A Simple Mechanism for Type Security Across Compilation Units. IEEE Trans. Software Eng. 14 (8) (1988)
Raphael A. Finkel, Debra Hensgen
YACKOS on a shared-memory multiprocessor. SIGARCH Comput. Archit. News 16 (4) (1988)
Yijie Han, Raphael A. Finkel
An Optimal Scheme for Disseminating Information. ICPP (2) (1988)
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
Parallel algorithms and architectures report of a workshop. J. Supercomput. 1 (3) (1988)
Debra Hensgen, Raphael A. Finkel, Udi Manber
Two algorithms for barrier synchronization. Int. J. Parallel Program. 17 (1) (1988)
Raphael A. Finkel, Hari Madduri
An Efficient Deadlock Avoidance Algorithm. Inf. Process. Lett. 24 (1) (1987)
Raphael A. Finkel, Udi Manber
DIB - A Distributed Implementation of Backtracking. ACM Trans. Program. Lang. Syst. 9 (2) (1987)
David J. DeWitt, Raphael A. Finkel, Marvin H. Solomon
The Crystal Multicomputer: Design and Implementation Experience. IEEE Trans. Software Eng. 13 (8) (1987)
Yeshayahu Artsy, Hung-Yang Chang, Raphael A. Finkel
Interprocess Communication in Charlotte. IEEE Softw. 4 (1) (1987)
Raphael A. Finkel, Udi Manber
DIB - A Distributed Implementation of Backtracking. ICDCS (1985)
Hari Madduri, Raphael A. Finkel
Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System. Inf. Process. Lett. 19 (1) (1984)
Raphael A. Finkel, John P. Fishburn
Improved Speedup Bounds for Parallel Alpha-Beta Search. IEEE Trans. Pattern Anal. Mach. Intell. 5 (1) (1983)
Raphael A. Finkel
Run-time Print Values. ACM SIGPLAN Notices 18 (2) (1983)
John P. Fishburn, Raphael A. Finkel
Quotient Networks. IEEE Trans. Computers 31 (4) (1982)
Thomas R. Virgilio, Raphael A. Finkel
Binding Strategies and Scope Rules Are Independent. Comput. Lang. 7 (2) (1982)
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)
Raphael A. Finkel, John P. Fishburn
Parallelism in Alpha-Beta Search. Artif. Intell. 19 (1) (1982)
Will E. Leland, Raphael A. Finkel, Li Qiao, Marvin H. Solomon, Leonard Uhr
High Density Graphs for Processor Interconnection. Inf. Process. Lett. 12 (3) (1981)
Raymond M. Bryant, Raphael A. Finkel
A Stable Distributed Scheduling Algorithm. ICDCS (1981)
Raphael A. Finkel, Marvin H. Solomon
The Lens Interconnection Strategy. IEEE Trans. Computers 30 (12) (1981)
Raphael A. Finkel, Marvin H. Solomon
Processor Interconnection Strategies. IEEE Trans. Computers 29 (5) (1980)
Marvin H. Solomon, Raphael A. Finkel
A Note on Enumerating Binary Trees. J. ACM 27 (1) (1980)
Marvin H. Solomon, Raphael A. Finkel
The ROSCOE Distributed Operating System. SOSP (1979)
Raphael A. Finkel, Marvin H. Solomon, Michael L. Horowitz
Distributed algorithms for global structuring. MARK (1979)
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) (1977)
Raphael A. Finkel
An Overview Of AL, A Programming System For Automation. IJCAI (1975)
Raphael A. Finkel, Jon Louis Bentley
Quad Trees: A Data Structure for Retrieval on Composite Keys. Acta Informatica 4 (1974)