Search the dblp DataBase
Steven D. Litvintchouk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- E. 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. [Citation Graph (0, 0)][DBLP]
EDOC, 1997, pp:236-244 [Conf] - Steven D. Litvintchouk, Vaughan R. Pratt
A Proof-Checker for Dynamic Logic. [Citation Graph (0, 0)][DBLP]
IJCAI, 1977, pp:552-558 [Conf] - Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernie Rosenfeld
Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel). [Citation Graph (0, 0)][DBLP]
OOPSLA, 1993, pp:374-375 [Conf] - Steven D. Litvintchouk, Michael Stark, Brad Balfour, Mohamed Fayad, Bernard Rosenfeld
Evolving toward object-oriented technology in large organizations (panel). [Citation Graph (0, 0)][DBLP]
OOPS Messenger, 1994, v:5, n:2, pp:73-76 [Journal] - Steven D. Litvintchouk, Allen S. Matsumoto
Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1984, v:10, n:5, pp:544-551 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002