Publications

    Books and Monograph

  1. Umschlagfoto Einführung in die Informatik H. Peter Gumm, Manfred Sommer : Einführung in die Informatik.
    8. edition, Oldenbourg Wissenschaftsverlag, (2008), 900 pages.
    (1. and 2. edition : Addison Wesley, 3., 4., 5.,6. and 7. edition: Oldenbourg Verlag).
     [Inhaltsverzeichnis]
  2. Umschlagfoto Memoirs of the AMS H. Peter Gumm : Geometrical Methods in Congruence Modular Varieties.
    Memoirs of the American Mathematical Society    , Number 286, (1983), 79 pages.
    [table of content]
  3. Umschlagfoto Boolesche Algenra H. Peter Gumm, Werner Poguntke : Boolesche Algebra.
    BI Taschenbuch, Band 606, Bibliographisches Institut Mannheim (1981), 95 pages.
    [full text, pdf 7.64 MB]                   
  4. Umschlagforto CMCS'03 H. Peter Gumm, ed., CMCS'03 - Coalgebraic Methods in Computer Science.
    Electronic Notes in Theoretical Computer Science, Vol. 82.1 (2003), 335 pp.
    [table of content]
  5. Umschlagforto Allgemeine Algebra H. Peter Gumm : Universelle Coalgebra.
    Anhang (57 pp.) in dem Lehrbuch: Thomas Ihringer, Allgemeine Algebra.
    Berliner Studienreihe zur Mathematik, Band 10 (2003), Heldermann Verlag, 218 pp.
    [table of content]
  6. Umschlagforto Theoretical Computer Science H. Peter Gumm (Guest editor) : Selected Papers of CMCS03.
    Theoretical Computer Science, vol. 327, (2004), Elsevier B.V.. 221 pages.                
    [table of content]

    7. Articles

  7. H. Peter Gumm : Universal Coalgebras and their logics.
    AJSE-Mathematics, 1 (2009), pp105-130.

     
  8. H. Peter Gumm : Copower Functors.
    Theoretical Computer Science, 410 (2009) pp. 1109-1304.
    Preprint 

  9. H. Peter Gumm : On Minimal Coalgebras.
    Applied Categorical Structures, 16, pp.313-332, 2008.
    Preprint.

    10.  
  10. H. Peter Gumm : On Coalgebras and Type Transformations.
    Discussiones Mathematicae,27(2007), pp. 187-197.
    11. Abstract
     
  11. H. Peter Gumm : From T-Coalgebras to Filter Structures and Transition Systems.
    CALCO 2005, Springer Lecture Notes in Computer Science (LNCS) 3629, 2005.

    12.  
  12. H. Peter Gumm, Tobias Schröder : Types and Coalgebraic Structure.
    Algebra Universalis    , 53(2005),pp.229-252.

    13.  
  13. H. Peter Gumm : State based systems are coalgebras.
    Cubo -  Matemática Educacional    , 5, No. 2, (239-262),2003.

    14.  
  14. H. Peter Gumm, Jesse Hughes, Tobias Schröder : Distributivity of Classes of Coalgebras.
    Theoretical Computer Science, 308(2003), pp. 131-143.
    15.    
  15. H. Peter Gumm, Tobias Schröder : Monoid-Labeled Transition Systems.
    Electronic Notes in Theoretical Computer Science    , 44(2001).

    16.  
  16. H. Peter Gumm :  Birkhoffs variety theorem for coalgebras.
    Contributions to General Algebra     13 (2000), 159 - 173.

    17.  
  17. H. Peter Gumm, Tobias Schröder : Coalgebras of bounded type.
    Mathematical Structures in Computer Science    ,12(2002), 565-578.

    18.  
  18. H. Peter Gumm, Tobias Schröder : Products of coalgebras.
    Algebra Universalis     46 (2001), 163 - 185.

    19.  
  19. H. Peter Gumm, Tobias Schröder : Coalgebraic structure from weak limit preserving functors.  
    Electronic Notes in Theoretical Computer Science     33, (2000).

    20.  
  20. H. Peter Gumm : Elements of the general theory of coalgebras.
    LUATCS'99, Rand Africaans University, Johannesburg, South Africa, 1999.

    21.  
  21. H. Peter Gumm : Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV.
    In Informatik und Schule, Reihe Informatik aktuell, A. Schwill (ed.), Springer Verlag, (1999), pp 94--107.

    22.  
  22. H. Peter Gumm : Functors for Coalgebras.
    Algebra Universalis    , 45 (2001), 135 - 147.

    23.  
  23. H. Peter Gumm : Equational and Implicational Classes of Coalgebras.
    Extended Abstract.  RelMiCS'4. The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science. Warsaw, 1998.

    24.  
  24. H. Peter Gumm : Equational and Implicational Classes of Coalgebras. 
    Theoretical Computer Science     260 (2001), 57-69.

    25.  
  25. H. Peter Gumm, Tobias Schröder : Covarieties and Complete Covarieties.
    Theoretical Computer Science     260 (2001),71-86.

    26.  
  26. H. Peter Gumm : Generating algebraic laws from Imperative Programs.
    Theoretical Computer Science     217 (1999), 385-405.

    27.  
  27. H. Peter Gumm, Martin Perner : Der Mikrocodesimulator Microsim.
    CeBit '95.

    28.  
  28. H. Peter Gumm : Another Glance at the Alpern-Schneider Theorem.
    Information Processing Letters 47(1993), 291-294.

    29.  
  29. H. Peter Gumm : MUNITY - Munich UNITY Assistant.
    In Formale Methoden im Entwurf verteilterSysteme, H.König, (ed.), Saur Verlag, 1993.

    30.  
  30. H. Peter Gumm, Ferdinand Hergert : Neural Pascal: A language for Neural Network Programming.
    In R.Eckmiller, G.Hartmann, G.Hauske (Ed.) Parallel Processing in Neural Systems and Computers, North Holland, 1990.

    31.  
  31. H. Peter Gumm : Continuations of Logic Programs.
    In  C.H.Bergman, R.D.Maddux, D.Pigozzi (eds.), Algebraic Logic and Universal Algebra in Computer Science,  Springer LNCS 425, 1990.

    32.  
  32. Alan Day, H. Peter Gumm : Some Characterizations of the Commutator.
    Algebra Universalis     29(1992) 61--78.

    33.  
  33. H. Peter Gumm : Encoding of numbers to detect typing errors. 
    Int. J. Appl. Engineering Ed    . 2(1986), 61--65.

    34.  
  34. H. Peter Gumm : Data Security through check digits.
    Statistical Software Newsletter     11(1986), 124--127.
    35. Here is an article from Computerwoche reporting on this method.
     
  35. H. Peter Gumm : A new class of check digit methods for arbitrary number systems.
    IEEE Transactions on information theory    ,31 (1985),102--105.

    36.  
  36. H.Peter Gumm : Topological implications in n-permutable varieties.
    Algebra Universalis     19(1984), 319--321.

    37.  
  37. H. Peter Gumm : Geometrical reasoning and analogy in Universal Algebras.
    In: Universal Algebra and its links to Computer Science, R.Wille, ed., Research and Exp. in Mathematics 4(1984), 14--28.

    38.  
  38. H. Peter Gumm, Aldo Ursini : Ideals in Universal Algebras.
    Algebra Universalis     19(1984), 45--54.

    39.  
  39. H. Peter Gumm : Congruence modularity is permutability composed with distributivity.
    Arch. Math.     36 (1981), 569--576.

    40.  
  40. H. Peter Gumm : The Little Desarguesian Theorem for algebras in modular varieties. 
    Proc. of the American Math. Soc    . 80(1980), 393--397.

    41.  
  41. H. Peter Gumm : An easy way to the commutator in modular varieties.
    Arch. Math.     34(1980), 220--228.

    42.  
  42. H. Peter Gumm, Christian Herrmann : Algebras in modular varieties: Baer refinements, cancellation and isotopy.
    Houston J. of Math    . 5(1979), 503--523.

    43.  
  43. H. Peter Gumm : Algebras in permutable varieties: Geometrical properties of affine algebras.
    Algebra Universalis 9(1979), 8--34.

    44.  
  44. H. Peter Gumm : Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren.
    Math.Zeitschrift 162(1978), 51--62.

    45.  
  45. H. Peter Gumm : Is there a Mal'cev theory for finite algebras ?.
    Algebra Universalis     8(1978), 320--329.

    46.  
  46. H. Peter Gumm : A cancellation theorem for finite algebras.
    Colloquia Math. Soc. J.Bolyai    , 29(1977), 341--344.

    47.  
  47. H. Peter Gumm : Congruence equalities and Mal'cev conditions in regular equational classes.
    Acta Sci.Math    . 39(1977), 265--272.

    48.  
  48. H. Peter  Gumm : Mal'cev Conditions in Sums of Varieties and a New Mal'cev condition.
    Algebra Universalis     5(1975), 56--64.

    49. Unpublished Work and Theses

  49. H. Peter Gumm, Dimitry Zhukov : On strong fairness in UNITY
    (manuscript ).

    50.  
  50. H. Peter Gumm : Halting sets of programs over universal algebras
    (manuscript 1989).

    51.  
  51. H. Peter Gumm : Geometrische Methoden in kongruenzmodularen Algebren.
    Habilitationsschrift, TH-Darmstadt, 1980.

    52.  
  52. H. Peter Gumm : Algebras in Permutable Varieties.
    Dissertation, TH-Darmstadt, 1976.

    53.  
  53. H. Peter Gumm : Mal'cev Conditions in Sums of Varieties.
    Master Thesis, TH-Darmstadt, 1976.