Checkpoint and Recovery Methods in the ParaSol Simulation System. - Edward Mascarenhas; Felipe Knop; Reuben Pasquini; Vernon Rego (WSC, 1997)

Efficient Process Interaction with Threads in Parallel Discrete Event Simulation. - Reuben Pasquini; Vernon Rego (WSC, 1998)

Minimum cost adaptive synchronization: experiments with the ParaSol system. - Edward Mascarenhas; Felipe Knop; Reuben Pasquini; Vernon Rego (ACM Trans. Model. Comput. Simul., 1998)

Optimistic parallel simulation over a network of workstations. - Reuben Pasquini; Vernon Rego (WSC, 1999)

Algorithms for improving the performance of optimistic parallel simulation - Reuben Pasquini (1999)