Elaine L. Sonderegger

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Optimal deployment of eventually-serializable data services. Ann. Oper. Res. 184 (1) (2011)
Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP (2010)
Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE (2009)
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)
Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Online Selection of Quorum Systems for RAMBO Reconfiguration. CP (2009)
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)
Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
Optimal Deployment of Eventually-Serializable Data Services. CPAIOR (2008)
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)
Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger
Turing machines, transition systems, and interaction. Inf. Comput. 194 (2) (2004)