TUM Emeriti of Excellence

Filter
Conference contribution

Search results

  • 1984

    LUMINESCENCE AND INELASTIC LIGHT SCATTERING IN GaAs DOPING SUPERLATTICES.

    Abstreiter, G., 1984, Springer Series in Solid-State Sciences. Springer Verlag, p. 232-239 8 p. (Springer Series in Solid-State Sciences).

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

    5 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

  • 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

  • MICROPROGRAMMED ASSOCIATIVE INSTRUCTIONS: RESULTS AND ANALYSIS OF A CASE STUDY IN VERTICAL MIGRATION.

    Albert, B. & Bode, A., 1983, MICRO: Annual Microprogramming Workshop. IEEE, p. 115-121 7 p. (MICRO: Annual Microprogramming Workshop).

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

    1 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

  • OPTICAL RESTORATION FOR ROTATION BLUR BY SEQUENCE DECONVOLUTION.

    Bamler, R. & Hofer-Alfeis, J., 1983, Proceedings of SPIE - The International Society for Optical Engineering. IEEE, USA. Avaliable from IEEE Service Cent, p. 146-149 4 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 422).

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

  • 1981

    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

  • 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

  • INFLUENCE OF THE BRAKING DISTANCE INDICATION ON THE DRIVER'S BEHAVIOUR.

    Bubb, H., 1980, Unknown Host Publication Title. Acad Press, p. 338-346 9 p.

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

    4 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

  • VERTICAL PROCESSING: THE EMULATION OF ASSOCIATIVE AND PARALLEL BEHAVIOR ON CONVENTIONAL HARDWARE.

    Bode, A., 1980, EUROMICRO Symposium on Microprocessing and Microprogramming. North-Holland Publ Co, p. 215-220 6 p. (EUROMICRO Symposium on Microprocessing and Microprogramming).

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

    2 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

  • 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
  • 1974

    Learner control in computer-assisted instruction: Initial experiences with LEGIS

    Translated title of the contribution: Learner control in computer-assisted instruction: Initial experiences with LEGISBode, A., 1974, Rechner-Gestutzter Unterricht - RGU 1974 Fachtagung. Handler, W., Brunnstein, K. & Haefner, K. (eds.). Springer Verlag, p. 329-337 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 17 LNCS).

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

    1 Scopus citations