David A. Anisi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MODELSWARD | Verified Design of Robotic Autonomous Systems Using Probabilistic Model Checking. | Atef Azaiez, David A. Anisi |
| 2014 | ICRA | Collision avoidance with potential fields based on parallel processing of 3D-point cloud data on the GPU. | Knut B. Kaldestad, Sami Haddadin, Rico Belder, Geir Hovland, David A. Anisi |
| 2011 | IROS | Real-world demonstration of sensor-based robotic automation in oil & gas facilities. | David A. Anisi, Erik Persson, Clint Heyer |
| 2010 | IROS | Robot automation in oil and gas facilities: Indoor and onsite demonstrations. | David A. Anisi, Johan Gunnar, Tommy Lillehagen, Charlotte Skourup |