Robert Armstrong

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 4

Top Topics

Conceptual Modeling

Formal Verification

Top Venues

Int. J. Hum. Comput. Stud.

Publications

Jenny L. Davis, Robert Armstrong, Anne Groggel, Sharni Doolan, Jake Sheedy, Tony P. Love, Damith Herath
Role-taking and robotic form: an exploratory study of social connection in human-robot interaction. Int. J. Hum. Comput. Stud. 178 (2023)
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler
Formal Verification of Run-to-Completion Style Statecharts Using Event-B. ECSA Companion (2020)
Karla Morris, Colin F. Snook, Thai Son Hoang, Robert Armstrong, Michael J. Butler
Refinement of Statecharts with Run-to-Completion Semantics. FTSCS (2018)
Mark Edwards, Dave Walvoord, Robert Armstrong, Geoff Parkhill, Dagan Potter, Eli Bocek-Rivele, Tsun Chuen Ho, Jingxiang Li, Kyle Wood
Kung Fu Panda 3: mandarin lip-sync reanimation process and pipeline. SIGGRAPH Talks (2016)
John McHugh, Robert Armstrong, Thomas A. Longstaff, Daniel Quinlan, Frederick T. Sheldon, Deborah A. Frincke
DOE grass roots panel. CSIIRW (2009)
Robert Armstrong
Compframe - Compframe: developement of component frameworks for high performance computing. SC (2006)
Robert Armstrong
Seven Steps to Optimizing Data Warehouse Performance. Computer 34 (12) (2001)
Robert Armstrong, Debra A. Hensgen, Taylor Kidd
The Relative Performance of Various Mapping Algorithms is Independent of Sizable Variances in Run-Time Predictions. Heterogeneous Computing Workshop (1998)
Robert Armstrong
Data Warehousing: Dealing with the Growing Pains. ICDE (1997)
Russell Carter, John Laroco, Robert Armstrong
Commodity Clusters: Performance Comparison Between PC's and Workstations. HPDC (1996)