Search the dblp DataBase

Publications of Author

1. Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
   Automating commutativity analysis at the design level. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2004, pp:165-174 [Conf]
   
2. Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
   Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. [Citation Graph (0, 0)][DBLP]
   ASE, 2003, pp:94-105 [Conf]
   
3. Robert Seater, David Wonnacott
   Polynomial Time Array Dataflow Analysis. [Citation Graph (0, 0)][DBLP]
   LCPC, 2001, pp:411-426 [Conf]
   
4. Robert Seater, David Wonnacott
   Efficient Manipulation of Disequalities During Dependence Analysis. [Citation Graph (0, 0)][DBLP]
   LCPC, 2002, pp:295-308 [Conf]
   
5. Robert Seater, Daniel Jackson
   Requirement Progression in Problem Frames Applied to a Proton Therapy System. [Citation Graph (0, 0)][DBLP]
   RE, 2006, pp:166-175 [Conf]
   
6. Mana Taghdiri, Robert Seater, Daniel Jackson
   Lightweight extraction of syntactic specifications. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2006, pp:276-286 [Conf]
   
7. 
   An analysis and visualization for revealing object sharing. [Citation Graph (, )][DBLP]