Manfred Broy

View Scopus Profile

Manfred Broy

Prof. Dr. rer. nat. habil.

Former affiliation
1978 …2025

Research activity per year

Search results

  • 1984

    60th birthday of Professor Friedrich L. Bauer

    Broy, M. & Götze, H., Aug 1984, In: Acta Informatica. 21, 2, p. A3

    Research output: Contribution to journal › Article › peer-review

  • A systematic approach to language constructs for concurrent programs

    Broy, M. & Bauer, F. L., Aug 1984, In: Science of Computer Programming. 4, 2, p. 103-139 37 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    5 Scopus citations

  • A systematic study of models of abstract data types

    Broy, M., Wirsing, M. & Pair, C., 1984, In: Theoretical Computer Science. 33, 2-3, p. 139-174 36 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    20 Scopus citations

  • Denotational semantics of concurrent programs with shared memory

    Broy, M., 1984, STACS 1984 - Symposium of Theoretical Aspects of Computer Science. Mehlhorn, K. & Fontet, M. (eds.). Springer Verlag, p. 163-173 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 166 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • On the Herbrand Kleene universe for nondeterministic computations

    Broy, M., 1984, Mathematical Foundations of Computer Science 1984 - Proceedings, 11th Symposium. Chytil, M. P. & Koubek, V. (eds.). Springer Verlag, p. 214-222 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 176 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Semantics of communicating processes

    Broy, M., Jun 1984, In: Information and Control. 61, 3, p. 202-246 45 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    11 Scopus citations
  • 1983

    APPLICATIVE REAL-TIME PROGRAMMING.

    Broy, M., 1983, IFIP Congress Series. Elsevier Science Publ Co, p. 259-264 6 p. (IFIP Congress Series; vol. 9).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Scopus citations

  • Denotational semantics of communicating processes based on a language for applicative multiprogramming

    Broy, M., 19 Jul 1983, In: Information Processing Letters. 17, 1, p. 29-35 7 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • FIXED POINT THEORY FOR COMMUNICATION AND CONCURRENCY.

    Broy, M., 1983, Unknown Host Publication Title. North-Holland Publ Co, p. 125-148 24 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    49 Scopus citations

  • Generalized heterogeneous algebras and partial interpretations

    Broy, M. & Wirsing, M., 1983, CAAP 1983 - Trees in Algebra and Programming 8th Colloquium, Proceedings. Protasi, M. & Ausiello, G. (eds.). Springer Verlag, p. 1-34 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 159 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • On hierarchies of abstract data types

    Wirsing, M., Pepper, P., Partsch, H., Dosch, W. & Broy, M., Oct 1983, In: Acta Informatica. 20, 1, p. 1-33 33 p.

    Research output: Contribution to journal › Article › peer-review

    74 Scopus citations

  • ON THE ALGEBRAIC SPECIFICATION OF FINITARY INFINITE COMMUNICATING SEQUENTIAL PROCESSES.

    Broy, M. & Wirsig, M., 1983, Unknown Host Publication Title. North-Holland Publ Co, p. 171-198 28 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • ON THE COHERENCE OF PROGRAMMING LANGUAGE AND PROGRAMMING METHODOLOGY.

    Broy, M. & Pepper, P., 1983, Unknown Host Publication Title. Bormann, J. (ed.). North-Holland, p. 41-57 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 1982

    Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm

    Broy, M. & Pepper, P., 1 Jul 1982, In: ACM Transactions on Programming Languages and Systems (TOPLAS). 4, 3, p. 362-381 20 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    15 Scopus citations

  • Partial abstract types

    Broy, M. & Wirsing, M., Mar 1982, In: Acta Informatica. 18, 1, p. 47-64 18 p.

    Research output: Contribution to journal › Article › peer-review

    126 Scopus citations
  • 1981

    ARE FAIRNESS ASSUMPTIONS FAIR?

    Broy, M., 1981, p. 116-125. 10 p.

    Research output: Contribution to conference › Paper › peer-review

    7 Scopus citations

  • ON DESIGN PRINCIPLES FOR PROGRAMMING LANGUAGES: AN ALGEBRAIC APPROACH.

    Broy, M., Pepper, P. & Wirsing, M., 1981, Unknown Host Publication Title. North-Holland Publ Co, p. 203-219 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • On language constructs for concurrent programs

    Broy, M., 1981, CONPAR 1981 - Conference on Analysing Problem Classes and Programming for Parallel Computing Proceedings. Handler, W. (ed.). Springer Verlag, p. 141-154 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 111 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • On the algebraic extensions of abstract data types

    Broy, M. & Wirsing, M., 1981, Formalization of Programming Concepts - International Colloquium, Proceedings. Díaz, J. & Ramos, I. (eds.). Springer Verlag, p. 244-251 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 107 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • On the algebraic specification of nondeterministic programming languages

    Broy, M. & Wirsing, M., 1981, CAAP 1981: Trees in Algebra and Programming - 6th Colloquium, Proceedings. Astesiano, E. & Bohm, C. (eds.). Springer Verlag, p. 162-179 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 112 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Scopus citations

  • On the power of algebraic specifications

    Bergstra, J. A., Broy, M., Tucker, J. V. & Wirsing, M., 1981, Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium. Gruska, J. & Chytil, M. (eds.). Springer Verlag, p. 193-204 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 118 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    31 Scopus citations

  • Program Development as a Formal Activity

    Broy, M., Jan 1981, In: IEEE Transactions on Software Engineering. SE-7, 1, p. 14-22 9 p.

    Research output: Contribution to journal › Article › peer-review

    27 Scopus citations

  • Programming in a wide spectrum language: a collection of examples

    Bauer, F. L., Broy, M., Dosch, W., Gnatz, R., Krieg-Brückner, B., Laut, A., Luckmann, M., Matzner, T., Möller, B., Partsch, H., Pepper, P., Samelson, K., Steinbrüggen, R., Wirsing, M. & Wössner, H., Oct 1981, In: Science of Computer Programming. 1, 1-2, p. 73-114 42 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    20 Scopus citations

  • Prospects of new tools for software development

    Broy, M., 1981, Trends in Information Processing Systems - Conference of the European Cooperation in Informatics, Proceedings. Lockemann, P. C. & Duijvestijn, A. (eds.). Springer Verlag, p. 106-121 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 123 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 1980

    Abstract data types as lattices of finitely generated models

    Wirsing, M. & Broy, M., 1980, Mathematical Foundations of Computer Science 1980 - Proceedings of the 9th Symposium. Dembinski, P. (ed.). Springer Verlag, p. 673-685 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 88 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    21 Scopus citations

  • Derivation of Invariant Assertions During Program Development by Transformation

    Broy, M. & Krieg-Bruckner, B., 1 Jul 1980, In: ACM Transactions on Programming Languages and Systems (TOPLAS). 2, 3, p. 321-337 17 p.

    Research output: Contribution to journal › Article › peer-review

    9 Scopus citations

  • On relations between programs

    Broy, M., Pepper, P. & Wirsing, M., 1980, International Symposium on Programming - Proceedings of the 4th Colloque International sur la Programmation. Robinet, B. (ed.). Springer Verlag, p. 59-78 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 83 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    7 Scopus citations

  • Program development: From enumeration to backtracking

    Broy, M. & Wirsing, M., 1980, In: Information Processing Letters. 10, 4-5, p. 193-197 5 p.

    Research output: Contribution to journal › Article › peer-review

    3 Scopus citations

  • Transformational semantics for concurrent programs

    Broy, M., 1980, In: Information Processing Letters. 11, 2, p. 87-91 5 p.

    Research output: Contribution to journal › Article › peer-review

    15 Scopus citations
  • 1979

    Examples for change of types and object structures

    Partsch, H. & Broy, M., 1979, Program Construction - International Summer School. Bauer, F. L. & Broy, M. (eds.). Springer Verlag, p. 421-463 43 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 69 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Existential quantifiers in abstract data types

    Broy, M., Dosch, W., Partsch, H., Pepper, P. & Wirsing, M., 1979, Automata, Languages and Programming - 6th Colloquium. Maurer, H. A. (ed.). Springer Verlag, p. 73-87 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 71 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    33 Scopus citations

  • Methodical solution of the problem of ascending subsequences of maximum length within a given sequence

    Broy, M., Wirsing, M., Finance, J. P., Quéré, A. & Remy, J. L., 11 Jun 1979, In: Information Processing Letters. 8, 5, p. 224-229 6 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • Semantics of nondeterministic and noncontinuous constructs

    Broy, M., Gnatz, R. & Wirsing, M., 1979, Program Construction - International Summer School. Bauer, F. L. & Broy, M. (eds.). Springer Verlag, p. 553-592 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 69 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    39 Scopus citations

  • Systematics of transformation rules

    Bauer, F. L., Broy, M., Partsch, H., Pepper, P. & Wössner, H., 1979, Program Construction - International Summer School. Bauer, F. L. & Broy, M. (eds.). Springer Verlag, p. 273-289 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 69 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Towards a wide spectrum language to support programide spectrum language to support program specification and program development

    Bauer, F. L., Broy, M., Gnatz, R., Hesse, W., Krieg-Brücknert, B., Partsch, H., Pepper, P. & Wössner, H., 1979, Program Construction - International Summer School. Bauer, F. L. & Broy, M. (eds.). Springer Verlag, p. 543-552 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 69 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 1978

    Towards a wide spectrum language to support program specification and program development

    Bauer, F. L., Broy, M., Gnatz, R., Hesse, W., Krieg-Brückner, B., Partsch, H., Pepper, P. & Wössner, H., 12 Jan 1978, In: ACM SIGPLAN Notices. 13, 12, p. 15-24 10 p.

    Research output: Contribution to journal › Article › peer-review

    26 Scopus citations