Polynomial Time Array Dataflow Analysis. - Robert Seater; David Wonnacott (LCPC, 2001)

Efficient Manipulation of Disequalities During Dependence Analysis. - Robert Seater; David Wonnacott (LCPC, 2002)

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. - Ilya Shlyakhter; Robert Seater; Daniel Jackson 001; Manu Sridharan; Mana Taghdiri (ASE, 2003)

Automating commutativity analysis at the design level. - Greg Dennis; Robert Seater; Derek Rayside; Daniel Jackson 001 (ISSTA, 2004)

An analysis and visualization for revealing object sharing. - Derek Rayside; Lucy Mendel; Robert Seater; Daniel Jackson 001 (eTX, 2005)

Problem frame transformations: deriving specifications from requirements. - Robert Seater; Daniel Jackson 001 (IWAAPF@ICSE, 2006)

Requirement Progression in Problem Frames Applied to a Proton Therapy System. - Robert Seater; Daniel Jackson 001 (RE, 2006)

Lightweight extraction of syntactic specifications. - Mana Taghdiri; Robert Seater; Daniel Jackson 001 (SIGSOFT FSE, 2006)

Automatic Visualization of Relational Logic Models. - Derek Rayside; Felix Sheng-Ho Chang; Greg Dennis; Robert Seater; Daniel Jackson 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Requirement progression in problem frames: deriving specifications from requirements. - Robert Seater; Daniel Jackson 001; Rohit Gheyi (Requir. Eng., 2007)

Building dependability arguments for software intensive systems. - Robert Seater (2009)

Analysis of decision making skills for large scale disaster response. - Charles Rose; Robert Seater; Adam Norige (GHTC, 2015)

Rapid-Play Games for Evaluating Future Technology. - Robert Seater; Joel Kurucar; Andrew Uhmeyer (GALA, 2018)

Simulation Approach to Sensor Placement Using Unity 3D. - Kimberlee Chestnut Chang; Nicole Lane; Andrew Uhmeyer; Michael Jones 001; Matthew Hubbell; Albert Reuther; Robert Seater (HPEC, 2018)

Asynchronous Training of Mixed-Role Human Actors in a Partially-Observable Environment. - Kimberlee Chestnut Chang; Reed Jensen; Rohan R. Paleja; Sam L. Polk; Robert Seater; Jackson Steilberg; Curran Schiefelbein; Melissa Scheldrup; Matthew C. Gombolay; Mabel D. Ramirez (CoRR, 2024)