Publications by Students 


Alvisi, L., and K. Marzullo. Message logging: pessimistic, optimistic and causal. Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, (June 2 1995). 

Alvisi, L., and K. Marzullo. Deriving optimal checkpoint protocols for distributed shared memory architectures. To be published in Lecture Notes in Computer Science, Springer Verlag. 

Böhringer, K-F., R. G. Brown, B. R. Donald, J. Jennings, and D. Rus. Distributed robotic manipulation: experiments in minimalism. Fourth International Symposium on Experimental Robotics (ISER’95), Stanford, California, (June 30-July 2 1995). 

Böhringer, K-F., V. Bhatt, and K. Y. Goldberg. Sensorless manipulation using transverse vibrations of a plate. Proceedings IEEE International Conference on Robotics and Automation, Nagoya, Japan, (May 1995). 

Böhringer, K-F., B. R. Donald, R. Mihailovich, and N. C. MacDonald. Sensorless manipulation using massively parallel microfabricated actuator arrays. Proceedings IEEE International Conference on Robotics and Automation, San Diego, CA, (May 1994), 826-833. 

Branch, M. A. Getting CUTE with Matlab. Cornell Theory Center Technical Report, CTC94TR194. von Eicken, T., A. Basu, and V. Buch, Low-latency communication over ATM networks using Active Messages. IEEE Micro, (February 1995). 

Cooper, D. A., and K. P. Birman. Preserving privacy in a network of mobile computers. Proceedings of the 1995 IEEE Symposium on Security and Privacy, (May 8-10, 1995), 26-38. 

Heng, W.L., and B. N. Parlett. The method of minimal representations in 2D Ising model calculations. Journal of Computational Physics 114 , (1994), 257-264. 

Alur, R., C. Courcoubetis, T. A. Henzinger, P-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, (1995), 3-34. 

Hoppe, B., and E. Tardos. The quickest transshipment problem. Proceedings of the 6th ACM-SIAM Symposium on Discrete Algorithms, (January 1995), 512-521. 

Bau, D., I. Kodukula, V. Kotlyar, K. Pingali, and P. Stodghill. Solving alignment using elementary linear algebra. Lecture Notes in Computer Science 892, (1995), 46-60. 

Kopke, P., and T. Henzinger. Verification methods for the divergent runs of clock systems. Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer-Verlag Lecture Notes in Computer Science 863, (September 1994), 351-372. 

Kopke, P., T. Henzinger, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? Proceedings of the 27th Symposium on Theory of Computing. (May 1995), 373-382. 

Kotlyar, V., D. Bau, I. Kodukula, K. Pingali, and P. Stodghill. Solving alignment using elementary linear algebra. Proceedings of 7th International Workshop on Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science 892, (August 1994), 46-60. 

Lengyel, J., D. P. Greenberg, A. Yeung, E. Alderman, and R. Popp. Three-dimensional reconstruction and volume rendering of intravascular ultrasound slices imaged on a curved arterial path. Proceedings of CVRMed’95 (First International Conference on Computer Vision, Virtual Reality and Robotics in Medicine, Nice, FRANCE, (April 3-5, 1995). 

Lengyel, J., D. P. Greenberg, and R. Popp. Time-dependent three-dimensional intravascular ultrasound. Siggraph, (1995). Liu, Y. A., and T. Teitelbaum. Systematic derivation of incremental programs. Science of Computer Programming 24, 1 (1995), 1-39. 

Liu, Y. A., and T. Teitelbaum. Caching intermediate results for program improvement. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, (June 1995). 

Ellerbroeck, B.L., C. Van Loan, N. P. Pitsianis, and R. J. Plemmons. Optimizing closed-loop adaptive-optics performance with use of multiple control bandwidths. Journal of the Optical Society of America A,11-11 (November 1994), 2871-2886. 

Scharstein, D. Matching images by comparing their gradient fields. Proceedings 12th IAPR International Conference on Pattern Recognition, Jerusalem, Israel, 1 (October 9-13, 1994), 572-575. 

Sabel, L., and K. Marzullo. Election vs. consensus in asynchronous systems. Information Processing Letters, (submitted in February 1995). 

K. Marzullo, and Sabel, L. Efficient detection of a class of stable properties. Distributed Computing 8, 2 (1994), 81-91. 

Sabel, L., and K. Marzullo. Simulating fail-stop in asynchronous distributed systems. Proceedings of the 13th Symposium on Reliable Distributed Systems (October 1994). 

Sabel, L., and K. Marzullo. Simulating fail-stop in asynchronous distributed systems. Proceedings of the 13th Annual Symposium on Principles of Distributed Computing (August 1994). 

Singhal, A., and G. Salton. Automatic text browsing using vector space model. Proceedings of the 5th Annual IEEE Dual-Use Technologies and Applications Conference, Utica, NY (May 22-25, 1995 ), 318-324. 

Stefansson, K. Systems of set constraints with negative constraints are NEXPTIME-complete. IEEE Proceedings 9th Symposium. Logic in Computer Science (July 1994), 137-141. 

Stoller, S. D. Addendum to proof rules for flush channels. IEEE Transactions on Software Engineering 20, 8 (August 1994), 664. 

Stoller, S. D., and J. D. DeTreville. Storage replication and layout in video-on-demand servers. Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV ‘95) (April 1995), 351-362. 

Stoller, S. D., and F. B. Schneider. Verifying programs that use causally-ordered message-passing. Science of Computer Programming 24, 2 (1995),105-128. 

Summers, K. M. Toward a taxonomy of logical document structures. Proceedings of the Dartmouth Advanced Graduate Studies Conference on Electronic Publishing and the Information Superhighway (May, 1995). 

Summers, K. M., and D. Rus. Using non-textual cues for electronic document browsing. Advances in Digital Libraries. Nabil Adam and Bharat Bhargava, editors (June 1995).