The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Douglas R. Troeger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marco T. Morazán, Douglas R. Troeger, Myles Nash
    Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack. [Citation Graph (0, 0)][DBLP]
    JIISIC, 2001, pp:109-120 [Conf]
  2. Marco T. Morazán, Douglas R. Troeger
    List-Heap Paging in a Distributed Virtual Memory System for Functional Languages. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2003, pp:1689-1695 [Conf]
  3. Marco T. Morazán, Douglas R. Troeger
    The MT Architecture and Allocation Algorithm. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:98-105 [Conf]
  4. Marco T. Morazán, Douglas R. Troeger, Myles Nash
    Paging in a Distributed Virtual Memory. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 2001, pp:75-86 [Conf]
  5. Douglas R. Troeger
    Tutorial-formal methods in the first course (abstract). [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1994, pp:378- [Conf]
  6. Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger
    Formal methods in the undergraduate computer science curriculum (abstract). [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1995, pp:398-399 [Conf]
  7. Marco T. Morazán, Douglas R. Troeger, Myles Nash
    The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System. [Citation Graph (0, 0)][DBLP]
    CLEI Electron. J., 2002, v:5, n:1, pp:- [Journal]
  8. Douglas R. Troeger
    An Axiomatization of D-scheme Strong Equivalence. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:221-224 [Journal]
  9. Douglas R. Troeger
    Weak Equivalence in a Class of Structured Program Schemes. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1984, v:29, n:1, pp:99-117 [Journal]
  10. Douglas R. Troeger
    Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:1, pp:25-62 [Journal]
  11. Stephen L. Bloom, Douglas R. Troeger
    A Logical Characterization of Observation Equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:35, n:, pp:43-53 [Journal]

Search in 0.008secs, Finished in 0.009secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002