The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
David E. Rydeheard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Esther Dennis-Jones, David E. Rydeheard
    Categorical ML - Category-Theoretic Modular Programming. [Citation Graph (1, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:4, pp:337-366 [Journal]
  2. Howard Barringer, David E. Rydeheard
    Modelling Evolvable Systems: A Temporal Logic View. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:195-228 [Conf]
  3. David E. Rydeheard
    Functors and Natural Transformations. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:43-50 [Conf]
  4. David E. Rydeheard
    Adjunction. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:51-57 [Conf]
  5. David E. Rydeheard, Rod M. Burstall
    A Categorical Unification Algorithm. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:493-505 [Conf]
  6. David E. Rydeheard, Rod M. Burstall
    Computing with Categories. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:506-519 [Conf]
  7. David E. Rydeheard, John G. Stell
    Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:114-139 [Conf]
  8. Barney P. Hilken, David E. Rydeheard
    Towards a Categorical Semantics Type Classes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:191-201 [Conf]
  9. David E. Rydeheard, Donald Sannella
    A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:187-193 [Journal]
  10. Barney P. Hilken, David E. Rydeheard
    Towards a categorical semantics of type classes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:1, pp:127-147 [Journal]
  11. Barney P. Hilken, David E. Rydeheard
    A Theory of Classes: Proofs and Models. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:2, pp:95-127 [Journal]
  12. Howard Barringer, David E. Rydeheard, Dov M. Gabbay
    A Logical Framework for Monitoring and Evolving Software Components. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:273-282 [Conf]

  13. From Runtime Verification to Evolvable Systems. [Citation Graph (, )][DBLP]


  14. Rule Systems for Run-Time Monitoring: From Eagleto RuleR. [Citation Graph (, )][DBLP]


  15. Rule Systems for Runtime Verification: A Short Tutorial. [Citation Graph (, )][DBLP]


Search in 0.001secs, 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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002