Publications

    Books and Monograph

  1. Umschlagfoto Einführung in die Informatik H. Peter Gumm, Manfred Sommer : Einführung in die Informatik.
    9. edition, Oldenbourg Wissenschaftsverlag, (2011), 880 pages.
    (1. and 2. edition : Addison Wesley, 3., 4., 5., 6., 7., 8., and 9. 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

  8. Jiri Adámek, H. Peter Gumm, Vera Trnková : Presentation of Set Functors: A coalgebraic perspective.
    J. of Logic and Computation, 20(5), (2010), pp.991-1015.
    Preprint 

  9. H. Peter Gumm : Universal Coalgebras and their logics.
    AJSE-Mathematics, 1 (2009), pp.105-130.
    Preprint 

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

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

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

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

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

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

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

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

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

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

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

  34.  
  35. 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.

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

  38.  
  39. 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.

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

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

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

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

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

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

  52.  
  53. 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.

  54.  
  55. 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.

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

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

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

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

  66.  
  67. 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.

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

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

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

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

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

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

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

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

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

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

  88.  
  89. H. Peter  Gumm : Mal'cev Conditions in Sums of Varieties and a New Mal'cev condition.
    Algebra Universalis
    5(1975), 56--64.
  90. Unpublished Work and Theses

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

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

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

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

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