| |
| 2007 | ||
|---|---|---|
| 5 | EE | Scot Anderson, Peter Z. Revesz: CDB-PV: A Constraint Database-Based Program Verifier. SARA 2007: 35-49 |
| 2006 | ||
| 4 | EE | Scot Anderson: Aggregation Estimation for 2D Moving Points. TIME 2006: 137-144 |
| 3 | EE | Scot Anderson, Peter Z. Revesz: Efficient Threshold Aggregation of Moving Objects CoRR abs/cs/0611031: (2006) |
| 2005 | ||
| 2 | EE | Scot Anderson, Peter Z. Revesz: Verifying the Incorrectness of Programs and Automata. SARA 2005: 1-13 |
| 1995 | ||
| 1 | EE | Scot Anderson, Rick Garvin: Sessioneer: Flexible Session Level Authentication with off the Shelf Servers and Clients. Computer Networks and ISDN Systems 27(6): 1047-1053 (1995) |
| 1 | Rick Garvin | [1] |
| 2 | Peter Z. Revesz | [2] [3] [5] |