The SCEAS System
Navigation Menu

Search the dblp DataBase


Terrence W. Pratt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Terrence W. Pratt, Daniel P. Friedman
    A Language Extension for Graph Processing and Its Formal Semantics. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1971, v:14, n:7, pp:460-467 [Journal]
  2. Terrence W. Pratt
    Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:389-400 [Conf]
  3. Terrence W. Pratt
    Formal specification of software using H-graph semantics. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:314-332 [Conf]
  4. Terrence W. Pratt
    The Pisces 2 Parallel Programming Environment. [Citation Graph (0, 0)][DBLP]
    ICPP, 1987, pp:439-445 [Conf]
  5. Terrence W. Pratt, Loyce M. Adams, Piyush Mehrotra, John Van Rosendale, Robert G. Voigt, Merrell L. Patrick
    The FEM-2 Design Method. [Citation Graph (0, 0)][DBLP]
    ICPP, 1983, pp:132-134 [Conf]
  6. Terrence W. Pratt
    Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1971, pp:474-480 [Conf]
  7. Terrence W. Pratt
    Design of the GODIVA Performance Measurement System. [Citation Graph (0, 0)][DBLP]
    LCR, 1998, pp:219-228 [Conf]
  8. P. David Stotts, Terrence W. Pratt
    Hierarchical Modeling of Software Systems with Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1985, pp:32-39 [Conf]
  9. Piyush Mehrotra, Terrence W. Pratt
    Language Concepts for Distributed Processing of Large Arrays. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:19-28 [Conf]
  10. Terrence W. Pratt
    Teaching programming: a new approach based on analysis skills. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1988, pp:249-253 [Conf]
  11. Terrence W. Pratt
    Upgrading CS1: an alternative to the proposed COCS survey course. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1990, pp:68-71 [Conf]
  12. James C. French, Terrence W. Pratt, Mriganka Das
    Performance Measurement of a Parallel Input/Output System for the Intel iPSC/2 Hypercube. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1991, pp:178-187 [Conf]
  13. Terrence W. Pratt, George D. Maydwell
    Experience with the Normal Semantic Definition of HAL/S. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Symposium on Compiler Construction, 1982, pp:327-333 [Conf]
  14. Terrence W. Pratt
    Kernel-Control Parallel Versus Data Parallel: A Technical Comparison. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Workshop, 1992, pp:5-8 [Conf]
  15. Terrence W. Pratt
    Four Models for the Analysis of Optimization of Program Control Structures [Citation Graph (0, 0)][DBLP]
    STOC, 1975, pp:167-176 [Conf]
  16. Terrence W. Pratt
    Program Analysis and Optimization through Kernel-Control Decomposition. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:9, n:, pp:195-216 [Journal]
  17. Terrence W. Pratt
    Pair Grammars, Graph Languages and String-to-Graph Translations. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1971, v:5, n:6, pp:560-595 [Journal]
  18. James C. French, Terrence W. Pratt, Mriganka Das
    Performance Measurement of the Concurrent File System of the Intel iPSC/2 Hypercube. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1993, v:17, n:1-2, pp:115-121 [Journal]
  19. P. David Stotts, Terrence W. Pratt
    Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1990, v:10, n:3, pp:253-260 [Journal]
  20. Terrence W. Pratt
    Control Computations and the Design of Loop Control Structures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:2, pp:81-89 [Journal]

  21. Kernel-control tailoring of sequential programs for parallel execution. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002