Publications

Books and Monograph

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]

H. Peter Gumm : Geometrical Methods in Congruence Modular Varieties. Memoirs of the American Mathematical Society, Number 286, (1983), 79 pages. [Content]

H. Peter Gumm, Werner Poguntke : Boolesche Algebra. BI Taschenbuch, Band 606, Bibliographisches Institut Mannheim (1981), 95 pages. [full text, pdf 7.64 MB]

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]

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]

H. Peter Gumm (Guest editor) : Selected Papers of CMCS03. Theoretical Computer Science, vol. 327, (2004), Elsevier B.V.. 221 pages.                 [table of content]

12. Mehdi Zarrad, H. Peter Gumm: Transitivity and Difunctionality of Bisimulations.
    In Coalgebraic Methods in Computer Science CMCS 2016, Revised Selected Papers, Ichiro Hasuo (ed.),
    Springer Lecture Notes in Computer Science (LNCS), 2016.
    Preprint 
13. H. Peter Gumm, Mehdi Zarrad : Coalgebraic Simulations and Congruences.
    In Coalgebraic Methods in Computer Science, Marcello Bonsangue (ed.),
    Springer Lecture Notes in Computer Science (LNCS), 2014
    Preprint 
14. 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
15. H. Peter Gumm : Universal Coalgebras and their logics.
    AJSE-Mathematics, 1 (2009), pp.105-130.
    Preprint
16. H. Peter Gumm : Copower Functors.
    Theoretical Computer Science, 410 (2009) pp. 1109-1304.
    Preprint
17. H. Peter Gumm : On Minimal Coalgebras.
    Applied Categorical Structures, 16, pp.313-332, 2008.
    Preprint.

18. H. Peter Gumm : On Coalgebras and Type Transformations.
    Discussiones Mathematicae,27(2007), pp. 187-197.

Abstract

19. H. Peter Gumm : From T-Coalgebras to Filter Structures and Transition Systems.
    CALCO 2005, Springer Lecture Notes in Computer Science (LNCS) 3629, 2005.

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

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

22. H. Peter Gumm, Jesse Hughes, Tobias Schröder : Distributivity of Classes of Coalgebras.
    Theoretical Computer Science, 308(2003), pp. 131-143.

23. H. Peter Gumm, Tobias Schröder : Monoid-Labeled Transition Systems.
    Electronic Notes in Theoretical Computer Science, 44(2001).

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

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

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

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

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

29. 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.

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

31. 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.

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

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

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

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

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

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

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

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

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

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

42. H. Peter Gumm : Data Security through check digits.
    Statistical Software Newsletter 11(1986), 124--127.

Here is an article from Computerwoche reporting on this method.

43. H. Peter Gumm : A new class of check digit methods for arbitrary number systems.
    IEEE Transactions on information theory,31 (1985),102--105.

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

45. 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.

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

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

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

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

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

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

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

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

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

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

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

Unpublished Work and Theses

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

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

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

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

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