 | 2011 |
| 9 |  | Laurent D. Michel,
Alexander A. Shvartsman,
Elaine L. Sonderegger,
Pascal Van Hentenryck:
Optimal deployment of eventually-serializable data services.
Annals OR 184(1): 273-294 (2011) |
| 2010 |
| 8 |  | Laurent Michel,
Alexander A. Shvartsman,
Elaine L. Sonderegger,
Pascal Van Hentenryck:
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.
CP 2010: 598-612 |
| 2009 |
| 7 |  | Laurent Michel,
Martijn Moraal,
Alexander A. Shvartsman,
Elaine L. Sonderegger,
Pascal Van Hentenryck:
Online Selection of Quorum Systems for RAMBO Reconfiguration.
CP 2009: 88-103 |
| 6 |  | Laurent D. Michel,
Pascal Van Hentenryck,
Elaine L. Sonderegger,
Alexander A. Shvartsman,
Martijn Moraal:
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.
CPAIOR 2009: 193-207 |
| 5 |  | Carleton Coffrin,
Laurent D. Michel,
Alexander A. Shvartsman,
Elaine L. Sonderegger,
Pascal Van Hentenryck:
Optimizing Network Deployment of Formally-Specified Distributed Systems.
SEDE 2009: 230-237 |
| 2008 |
| 4 |  | Laurent Michel,
Alexander A. Shvartsman,
Elaine L. Sonderegger,
Pascal Van Hentenryck:
Optimal Deployment of Eventually-Serializable Data Services.
CPAIOR 2008: 188-202 |
| 3 |  | Chryssis Georgiou,
Peter M. Musial,
Alexander A. Shvartsman,
Elaine L. Sonderegger:
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.
NCA 2008: 211-219 |
| 2007 |
| 2 |  | Chryssis Georgiou,
Peter M. Musial,
Alexander A. Shvartsman,
Elaine L. Sonderegger:
A formal treatment of an abstract channel implementation using java sockets and TCP.
PODC 2007: 334-335 |
| 2004 |
| 1 |  | Dina Q. Goldin,
Scott A. Smolka,
Paul C. Attie,
Elaine L. Sonderegger:
Turing machines, transition systems, and interaction.
Inf. Comput. 194(2): 101-128 (2004) |