The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Edward A. Ashcroft: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edward A. Ashcroft, William W. Wadge
    R/ for Semantics. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:283-294 [Journal]
  2. Edward A. Ashcroft, Zohar Manna, Amir Pnueli
    Decidable Properties of Monadic Functional Schemas. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1973, v:20, n:3, pp:489-499 [Journal]
  3. R. Jagannathan, Edward A. Ashcroft
    Fault Tolerance in Parallel Implementations of Functional Languages. [Citation Graph (0, 0)][DBLP]
    FTCS, 1991, pp:256-265 [Conf]
  4. Matthew Hennessy, Edward A. Ashcroft
    The Semantics of Nondeterminism. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:478-493 [Conf]
  5. Leah H. Jamieson, Edward A. Ashcroft
    Performance Analysis of Dataflow Signal Processing Algorithms. [Citation Graph (0, 0)][DBLP]
    ICPP, 1986, pp:608-610 [Conf]
  6. Edward A. Ashcroft, Zohar Manna
    The Translation of 'Go To' Programs to 'While' Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:250-255 [Conf]
  7. Edward A. Ashcroft, William W. Wadge
    Intermittent Assertion Proofs in Lucid. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:723-726 [Conf]
  8. Sirisha Medidi, Edward A. Ashcroft
    Performance Analysis of Mobile Wireless ATM Networks. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  9. Edward A. Ashcroft, William W. Wadge
    Clauses: Scope Structures and Defined Functions in Lucid. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:17-22 [Conf]
  10. Matthew Hennessy, Edward A. Ashcroft
    Parameter-Passing Mechanisms and Nondeterminism [Citation Graph (0, 0)][DBLP]
    STOC, 1977, pp:306-311 [Conf]
  11. Edward A. Ashcroft, William W. Wadge
    Lucid, a Nonprocedural Language with Iteration. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:7, pp:519-526 [Journal]
  12. Edward A. Ashcroft
    Proving Assertions about Parallel Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1975, v:10, n:1, pp:110-135 [Journal]
  13. Edward A. Ashcroft, Zohar Manna
    Translating Program Schemas to While-Schemes. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1975, v:4, n:2, pp:125-146 [Journal]
  14. Edward A. Ashcroft, William W. Wadge
    Lucid - A Formal System for Writing and Proving Programs. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1976, v:5, n:3, pp:336-354 [Journal]
  15. Edward A. Ashcroft, William W. Wadge
    Erratum: Lucid - A Formal System for Writing and Proving Programs. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1977, v:6, n:1, pp:200- [Journal]
  16. Edward A. Ashcroft, Faith E. Fich
    A Generalized Setting for Fixpoint Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:9, n:, pp:243-256 [Journal]
  17. Matthew Hennessy, Edward A. Ashcroft
    A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:11, n:, pp:227-245 [Journal]

Search in 0.002secs, Finished in 0.002secs
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