Peter J. Robinson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1991–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICRA | Robotic agent programming in TeleoR. | Keith L. Clark, Peter J. Robinson |
| 2009 | CEC | A hierarchical conflict resolution method for multi-agent path planning. | Kuang-Yuan Chen, Peter A. Lindsay, Peter J. Robinson, Hussein A. Abbass |
| 2006 | FM | Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson |
| 2003 | FORTE | Combating Infinite State Using Ergo. | Peter J. Robinson, Carron Shankland |
| 1994 | ICLP | Theorem Proving Applications for QU-Prolog. | Peter J. Robinson, John Staples, Anthony S. K. Cheng |
| 1991 | ICLP | Higher Level Meta Programming in Qu-Prolog 3: 0. | Anthony S. K. Cheng, Peter J. Robinson, John Staples |