Robert Palmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2007
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FMICS | An Approach to Formalization and Analysis of Message Passing Libraries. | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | ISSTA | Semantics driven dynamic partial-order reduction of MPI-based parallel programs. | Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2005 | AMIA | Drug-Age Alerting for Outpatient Geriatric Prescriptions: A Joint Study using Interoperable Drug Standards. | Ashish Atreja, Michael Buck, Anil K. Jain, Cherie Brunker, Theodore T. Suh, C. Martin Harris, Robert Palmer, Adam B. Wilcox |
| 2002 | FORTE | A Distributed Partial Order Reduction Algorithm. | Robert Palmer, Ganesh Gopalakrishnan |