 | 2007 |
|---|
| 8 |       | Ray Strong,
Joseph Ryan,
Doug McDavid,
Ying Leung,
Ruoyi Zhou,
Eric Strauss,
John Bosma,
Tony Sabbadini,
David Jarvis,
Sonia R. Sachs,
Peter Bishop,
Cody Clark:
A New Way to Plan for the Future.
HICSS 2007: 230 |
| 7 | | James G. McCarthy,
Tony Sabbadini,
Sonia R. Sachs:
Multi-agent Model of Technological Shifts.
MABS 2007: 112-127 |
| 1999 |
|---|
| 6 |  | Robert P. Kurshan,
Michael Merritt,
Ariel Orda,
Sonia R. Sachs:
Modelling Asynchrony with a Synchronous Model.
Formal Methods in System Design 15(3): 175-199 (1999) |
| 1997 |
|---|
| 5 | | Michael Merritt,
Ariel Orda,
Sonia R. Sachs:
Formal Verification of a Distributed Computer System.
Formal Methods in System Design 10(1): 93-125 (1997) |
| 1996 |
|---|
| 4 | | Sonia R. Sachs,
James Meyers:
Working Group Report on Electronic Notebooks.
WETICE 1996: 53-59 |
| 1995 |
|---|
| 3 | | Robert P. Kurshan,
Michael Merritt,
Ariel Orda,
Sonia R. Sachs:
Modelling Asynchrony with a Synchronous Model.
CAV 1995: 339-352 |
| 1994 |
|---|
| 2 | | Robert P. Kurshan,
Michael Merritt,
Ariel Orda,
Sonia R. Sachs:
A Structural Linearization Principle for Processes.
Formal Methods in System Design 5(3): 227-244 (1994) |
| 1993 |
|---|
| 1 | | Robert P. Kurshan,
Michael Merritt,
Ariel Orda,
Sonia R. Sachs:
A Structural Linearization Principle for Processes.
CAV 1993: 491-504 |
