dblp.uni-trier.dewww.uni-trier.de

Steven D. Litvintchouk Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
5EEE. R. Hughes, R. S. Hyland, Steven D. Litvintchouk, A. S. Rosenthal, A. L. Schafer, S. L. Surer: A Methodology for Migration of Legacy Applications to Distributed Object Management. EDOC 1997: 236-244
1994
4 Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernard Rosenfeld: Evolving toward object-oriented technology in large organizations (panel). OOPS Messenger 5(2): 73-76 (1994)
1993
3 Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernie Rosenfeld: Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel). OOPSLA 1993: 374-375
1984
2 Steven D. Litvintchouk, Allen S. Matsumoto: Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification. IEEE Trans. Software Eng. 10(5): 544-551 (1984)
1977
1 Steven D. Litvintchouk, Vaughan R. Pratt: A Proof-Checker for Dynamic Logic. IJCAI 1977: 552-558

Coauthor Index

1Brad Balfour [3] [4]
2Mohamed Fayad (Mohamed E. Fayad, M. E. Fayad) [3] [4]
3E. R. Hughes [5]
4R. S. Hyland [5]
5Allen S. Matsumoto [2]
6Vaughan R. Pratt [1]
7Bernard Rosenfeld [4]
8Bernie Rosenfeld [3]
9A. S. Rosenthal [5]
10A. L. Schafer [5]
11Michael Stark [3] [4]
12S. L. Surer [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)