The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Helmuth Partsch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
    On Hierarchies of Abstract Data Types. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:1-33 [Journal]
  2. Helmuth Partsch, Ralf Steinbrüggen
    Program Transformation Systems. [Citation Graph (2, 0)][DBLP]
    ACM Comput. Surv., 1983, v:15, n:3, pp:199-236 [Journal]
  3. Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
    Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:2, pp:165-180 [Journal]
  4. Helmuth Partsch
    Algebraic Specification of a Text Editor. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  5. Klaus Achatz, Helmuth Partsch
    A powerful transformation rule, its applications and variants. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:265-295 [Conf]
  6. N. W. P. van Diepen, Helmuth Partsch
    Formalizing Informal Reuqirments. Some Aspects. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1989, pp:7-27 [Conf]
  7. Helmuth Partsch
    Algebraic Specification: A Step Towards Future Software Engineering. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:7-30 [Conf]
  8. Helmuth Partsch, Norbert Völker
    Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:35-48 [Conf]
  9. Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Existential Quantifiers in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:73-87 [Conf]
  10. Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Semantic Relations in Programming Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:101-106 [Conf]
  11. Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
    Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:1-6 [Conf]
  12. Helmuth Partsch
    Formal Problem Specification on an Algebraic Basis. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:183-224 [Conf]
  13. Helmuth Partsch
    Comments on I. Dimitrov. [Citation Graph (0, 0)][DBLP]
    International Working Conference on Model Realism, 1982, pp:78-80 [Conf]
  14. Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
    Towards a Wide Spectrum Language to Support Program Specification and Program Development. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:543-552 [Conf]
  15. Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
    Systematics of Transformation Rules. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:273-289 [Conf]
  16. Helmuth Partsch, Manfred Broy
    Examples for Change of Types and Object Structures. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:421-463 [Conf]
  17. Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer
    Special Transformation Techniques. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:290-321 [Conf]
  18. Alfred Laut, Helmuth Partsch
    Tuning algebraic specifications by type merging. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:283-304 [Conf]
  19. Helmuth Partsch
    Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1984, pp:41-57 [Conf]
  20. Helmuth Partsch, Alfred Laut
    From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1982, pp:117-132 [Conf]
  21. Helmuth Partsch
    On the Use of Algebraic Methods for Formal Requirements Definitions. [Citation Graph (0, 0)][DBLP]
    Requirements Engineering, 1983, pp:138-158 [Conf]
  22. Helmuth Partsch, Peter Pepper
    Abstract Data Types as a Tool for Requirement Engineering. [Citation Graph (0, 0)][DBLP]
    Requirements Engineering, 1983, pp:42-55 [Conf]
  23. Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
    How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:547-554 [Journal]
  24. Helmuth Partsch, Frank A. Stomp
    A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:2, pp:109-122 [Journal]
  25. Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
    Programmtransformationen - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1980, v:3, n:3, pp:192-193 [Journal]
  26. Bernd Kühnel, Helmuth Partsch, K.-P. Reinshagen
    Requirements Engineering - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1987, v:10, n:6, pp:334-335 [Journal]
  27. Helmuth Partsch, Bernhard Möller
    Konstruktion korrekter Programme durch Transformation. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1987, v:10, n:6, pp:309-323 [Journal]
  28. Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
    Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1982, v:5, n:2, pp:107-119 [Journal]
  29. Helmuth Partsch, Peter Pepper
    A Family of Rules for Recursion Removal. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1976, v:5, n:6, pp:174-177 [Journal]
  30. Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
    Tool Support for the Interactive Derivation of Formally Correct Functional Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:2, pp:173-0 [Journal]
  31. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner
    Programming in a Wide Spectrum Language: A Collection of Examples. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal]
  32. Helmuth Partsch
    An Exercise in the Transformational Derivation of an Efficient Program by Joing Development of Control and Data Structure. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1983, v:3, n:1, pp:1-35 [Journal]
  33. Helmuth Partsch
    Structuring Transformational Developments: A Case Study Based on Earley's Recognizer. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1984, v:4, n:1, pp:17-44 [Journal]
  34. Helmuth Partsch
    Transformational Program Development in a Particular Program Domain. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:2, pp:99-241 [Journal]
  35. Helmuth Partsch
    From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:11, n:3, pp:263-297 [Journal]

Search in 0.004secs, Finished in 0.005secs
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