The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

H. Peter Gumm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. H. Peter Gumm
    Equational and implicational classes of co-algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:86-90 [Conf]
  2. H. Peter Gumm
    Continuations of logic programs. [Citation Graph (0, 0)][DBLP]
    Algebraic Logic and Universal Algebra in Computer Science, 1988, pp:27-36 [Conf]
  3. H. Peter Gumm
    From T-Coalgebras to Filter Structures and Transition Systems. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:194-212 [Conf]
  4. H. Peter Gumm
    MUNITY. [Citation Graph (0, 0)][DBLP]
    FBT, 1992, pp:21-34 [Conf]
  5. H. Peter Gumm
    Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV. [Citation Graph (0, 0)][DBLP]
    INFOS, 1999, pp:94-107 [Conf]
  6. H. Peter Gumm
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  7. H. Peter Gumm, Tobias Schröder
    Coalgebraic structure from weak limit preserving functors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  8. H. Peter Gumm, Tobias Schröder
    Monoid-labeled transition systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  9. H. Peter Gumm, Tobias Schröder
    Covarieties and Complete Covarieties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  10. H. Peter Gumm
    Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:47, n:6, pp:291-294 [Journal]
  11. H. Peter Gumm, Tobias Schröder
    Coalgebras Of Bounded Type. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:5, pp:565-578 [Journal]
  12. H. Peter Gumm
    Equational and implicational classes of coalgebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:57-69 [Journal]
  13. H. Peter Gumm
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:1-2, pp:1-2 [Journal]
  14. H. Peter Gumm
    Generating Algebraic Laws from Imperative Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:217, n:2, pp:385-405 [Journal]
  15. H. Peter Gumm, Jesse Hughes, Tobias Schröder
    Distributivity of categories of coalgebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:131-143 [Journal]
  16. H. Peter Gumm, Tobias Schröder
    Covarieties and complete covarieties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:71-86 [Journal]
  17. H. Peter Gumm
    A new class of check-digit methods for arbitrary number systems. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1985, v:31, n:1, pp:102-0 [Journal]

  18. On Minimal Coalgebras. [Citation Graph (, )][DBLP]


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