Raphael A. Finkel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
1975–2009
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICTAI | Reasoning about Conditional Constraint Specifications. | Raphael A. Finkel, Barry O'Sullivan |
| 2008 | FlAIRS | Planning for Welfare to Work. | Liangrong Yi, Raphael A. Finkel, Judy Goldsmith |
| 2002 | ICCS | Comparison of Overlap Detection Techniques. | Krisztin Monostori, Raphael A. Finkel, Arkady B. Zaslavsky, Gbor Hodsz, Mt Pataki |
| 2002 | JELIA | Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. | Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski |
| 1988 | ICPP | An Optimal Scheme for Disseminating Information. | Yijie Han, Raphael A. Finkel |
| 1985 | ICDCS | DIB - A Distributed Implementation of Backtracking. | Raphael A. Finkel, Udi Manber |
| 1981 | ICDCS | A Stable Distributed Scheduling Algorithm. | Raymond M. Bryant, Raphael A. Finkel |
| 1979 | SOSP | The ROSCOE Distributed Operating System. | Marvin H. Solomon, Raphael A. Finkel |
| 1975 | IJCAI | An Overview Of AL, A Programming System For Automation. | Raphael A. Finkel |