Filter
Conferentiebijdrage

Zoekresultaten

  • 1997

    Computer algebra in service courses

    Simons, F. H., 1997, Second IMA Conference on Mathematical Education of Engineers (Loughborough, UK, April 7-9, 1997).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    31 Downloads (Pure)
  • 1996

    Optimal control of a linear control system with positive inputs

    Heemels, W. P. M. H., Eijndhoven, van, S. J. L. & Stoorvogel, A. A., 1996, Proceedings of the International Symposium on Mathematical Theory of Networks and Systems (MTNS'96, St.Louis MO, USA, June 24-28, 1996)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1995

    Performance analysis for real-time databases

    Sassen, S. A. E., 1995, Proceedings of the Real-Time Database Workshop (Eindhoven, The Netherlands, February 23, 1995). Stok, van der, P. D. V. & Wal, van der, J. (redactie). blz. 100-106

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    22 Downloads (Pure)
  • The case information hiding vs constraint satisfaction

    Veltkamp, R. C. & Kelleners, R. H. M. C., 1995, Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 250-263

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1994

    A matrix-geometric analysis of discrete time queueing systems with periodic service interruptions (Abstract)

    Eenige, van, M. J. A., 1994, Operations Research Proceedings 1993 (Papers of the 22nd Annual Meeting of DGOR, in cooperation with NSOR, Amsterdam, The Netherlands, August 25-27, 1993). Dyckhoff, H., Derigs, U., Salomon, M. & Tijms, H. C. (redactie). Berlin: Springer, blz. 530-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Analysing $E_k\vert E_r\vert c$ queues (Abstract)

    Adan, I. J. B. F., 1994, Operations Research Proceedings 1993 (Papers of the 22nd Annual Meeting of DGOR, in cooperation with NSOR, Amsterdam, The Netherlands, August 25-27, 1993). Dyckhoff, H., Derigs, U., Salomon, M. & Tijms, H. C. (redactie). Berlin: Springer, blz. 510-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Asymptotically optimal constructions for covering codes

    Struik, M., 1994, Proceedings of the EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology (Veldhoven, The Netherlands, December 19-21, 1994). Tilborg, van, H. C. A. & Willems, F. M. J. (redactie). Eindhoven: EIDMA, blz. 26-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • Minimal vectors in linear codes and sharing of secrets

    Ashikhmin, A. & Barg, A., 1994, Proceedings of the EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology (Veldhoven, The Netherlands, December 19-21, 1994). Willems, F. M. J. (redactie). Eindhoven: EIDMA, blz. 41-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • More efficient bounded-distance decoding of the Golay code and the Leech lattice

    Sun, F-W. & Tilborg, van, H. C. A., 1994, Proceedings IEEE International Symposium on Information Theory (ISIT'94, Trondheim, Norway, June 27-JUly 1, 1994). blz. 399-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Multicast protocols : combining real-time and reliability (Poster)

    Alstein, D., 1994, Real-Time Computing (Proceedings of the NATO Advanced Study Institute, Sint Maarten, Dutch Antilles, October 5-17, 1992). Halang, W. A. & Stoyenko, A. D. (redactie). Berlin: Springer, blz. 668-669 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 127).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Off-line scheduling of hard real-time distributed systems using windows (Poster)

    Verhoosel, J. P. C., 1994, Real-Time Computing (Proceedings of the NATO Advanced Study Institute, Sint Maarten, Dutch Antilles, October 5-17, 1992). Halang, W. A. & Stoyenko, A. D. (redactie). Berlin: Springer, blz. 741-742 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 127).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Self-stabilizing mutual exclusion on directed graphs (Extended abstract)

    Alstein, D., Hoepman, J. H., Olivier, B. E. & Put, van der, P. I. A., 1994, Computing Science in the Netherlands (CSN'94, Utrecht, The Netherlands, November 21-22, 1994). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 42-53

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1993

    Assigning identical operators to different machines (Abstract)

    Wal, van der, J., 1993, Operations Research Proceedings 1993 (Papers of the 22nd Annual Meeting of DGOR, in cooperation with NSOR, Amsterdam, The Netherlands, August 25-27, 1993). Dyckhoff, H., Derigs, U., Salomon, M. & Tijms, H. C. (redactie). Amsterdam: Springer, blz. 535-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A survey of specification formalisms (Abstract)

    Hee, van, K. M., 1993, Operations Research Proceedings 1992 (Papers of the 21th Annual Meeting of DGOR, in cooperation with ÖGOR, Aachen, Germany, September 9-11, 1992). Hansmann, K. W., Bachem, A., Jarke, M., Katzenberger, W. E. & Marusev, A. (redactie). Berlin: Springer, blz. 489-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Eindig versus oneindig

    Rem, M., 1993, Bouwen op wetenschap : Voordrachten uit het symposium ter gelegenheid van het afscheid van prof.dr. F.E.J. Kruseman Aretz van het Philips Natuurkundig Laboratorium (Eindhoven, 28 april 1993). Aarts, E. H. L. & America, P. (redactie). Eindhoven: Philips Research Laboratories, blz. 7-13

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

  • Resynchronizing (d, k)-constrained sequences in the presence of insertions and deletions

    Blaum, M., Bruck, J., Melas, C. M. & Tilborg, van, H. C. A., 1993, Proceedings 1993 IEEE International Symposium on Information Theory,ISIT 1993, San Antonio TX, USA, January 17-22, 1993). blz. 126-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • 1992

    Flexible capacity (Abstract)

    Wal, van der, J., 1992, Operations Research Proceedings 1991 (Papers of the 20th Annual Meeting of DGOR, Universität Hohenheim, Stuttgart, Germany, September 4-6, 1991). Gaul, W., Bachem, A., Habenicht, W., Runge, W. & Stahl, W. W. (redactie). Berlin: Springer, blz. 551-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Modelling systems with Exspect

    Hee, van, K. M., Somers, L. J. A. M. & Voorhoeve, M., 1992, Optimization-Based Computer-Aided Modelling and Design (Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991). Beulens, A. J. M. & Sebastian, H. J. (redactie). Berlin: Springer, blz. 211-222 (Lecture Notes in Control and Information Sciences; vol. 174).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Search based planning for decision support

    Eiben, A. E., 1992, Optimization-Based Computer-Aided Modelling and Design (Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991). Beulens, A. J. M. & Sebastian, H. J. (redactie). Berlin: Springer, blz. 38-47 (Lecture Notes in Control and Information Sciences; vol. 174).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1991

    On the number of lines in a linear space on $p^2+p+1$ points

    Blokhuis, A., Schmitt, R. J. M. & Wilbrink, H. A., 1991, Combinatorics '88 (Proceedings International Conference on Incidence Geometries and Combinatorial Structures, Ravello, Italy, May 23-28, 1988). Barlotti, A. (redactie). Mediterranean Press, Vol. 1. blz. 201-209

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Support for problem solving in manpower planning problems

    Kraaij, van, M. W. I., Venema, W. Z. & Wessels, J., 1991, Operations Research (Proceedings 15th Symposium, Vienna, Austria, August 28-31, 1990). Feichtinger, G. (redactie). Frankfurt am Main: Verlag Anton Hain, blz. 519-528 (Methods of Operations Research; vol. 64).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    41 Citaten (Scopus)
  • Torsional vibrations in a crankshaft

    Molenaar, J., 1991, Proceedings of the Fourth European Conference on Mathematics in Industry (Strobl, Austria, May 29-June 3, 1989). Wacker, H. & Zulehner, W. (redactie). Stuttgart/Dordrecht: B.G. Teubner, blz. 337-345 (European Consortium for Mathematics in Industry; vol. 6).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1990

    Genetic local search algorithms for the travelling salesman problem

    Ulder, N. L. J., Aarts, E. H. L., Bandelt, H. J., Laarhoven, van, P. J. M. & Pesch, E., 1990, Parallel Problem Solving from Nature (Proceedings First Workshop, PPSN I, Dortmund, Germany, October 1-3, 1990). Schwefel, H. P. & Männer, R. (redactie). Springer, blz. 109-116 (Lecture Notes in Computer Science; vol. 496).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    111 Citaten (Scopus)
  • Linear-quadratic problems and the Riccati equation

    Geerts, A. H. W. & Hautus, M. L. J., 1990, Perspectives in Control Theory (Proceedings of the Sielpia conference, Sielpia, Poland, September 19-24, 1988). Jakubczyk, B. & et al., X. (redactie). Boston: Birkhäuser Verlag, blz. 39-55 (Progress in Systems and Control Theory; vol. 2).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Mathematical modelling is a design task

    Ackermans, S. T. M., 1990, Proceedings SEFI Conference on Design in Engineering Education (Dublin, 1990). Cabe, V. J. (redactie). blz. 25-31

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • On the size of buffers in an assembly line (Abstract)

    Wal, van der, J., 1990, Operations Research Proceedings 1989 (Papers of the 18th Annual Meeting of DGOR, Kiel, Germany, September 13-15, 1989). Kistner, K. P., Ahrens, J. H., Feichtinger, G., Minnemann, J. & Streitferdt, L. (redactie). Berlin: Springer, blz. 470-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1989

    Fitting ideals and multiple points of analytic mappings

    Mond, D. & Pellikaan, G. R., 1989, Algebraic Geometry and Complex Analysis (Proceedings of the Workshop, Pátzcuaro, Michoacán, México, August 10-14, 1987). Ramirez de Arrellano, E. (redactie). Berlin: Springer, blz. 107-161 (Lecture Notes in Mathematics; vol. 1414).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • On the influence of coding on the mean time to failure for degrading memories with defects

    Vinck, A. J. & Post, K. A., 1989, Proceedings of the 1989 IEEE/CAM Information Theory Workshop at Cornell, 25-29 june 1989, Ithaca NY, USA. Institute of Electrical and Electronics Engineers, blz. 7-1-

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    1 Citaat (Scopus)
    96 Downloads (Pure)
  • Specifying message passing systems requires extending temporal logic

    Koymans, R. L. C., 1989, Temporal logic in specification: Altrincham, UK, April 8-10, 1987, Proceedings. Banieqbal, B., Barringer, H. & Pnueli, A. (redactie). Berlin: Springer, blz. 213-223 11 blz. (Lecture Notes in Computer Science (LNCS); vol. 398).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (Scopus)
  • 1988

    Extremal doubly-even codes of length 64 derived from symmetric designs

    Kapralov, S. N. & Tonchev, V. D., 1988, Proceedings Ninth Symposium on Information Theory in the Benelux (Mierlo, The Netherlands, May 26-27, 1988). Schouhamer Immink, K. A. (redactie). Enschede: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), blz. 25-30

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1987

    Eine Produktionslinie mit unzuverlässigen Komponenten (Abstract)

    Wessels, J., Hontelez, J. & Zijm, W. H. M., 1987, DGOR : Papers of the 15th Annual Meeting / Vorträge der 15. Jahrestagung. Isermann, H., Merle, G., Rieder, U., Schmidt, R. & Streitferdt, L. (redactie). Berlin: Springer, blz. 704-704 1 blz. (Operations Research Proceedings (ORP); vol. 1986).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • On monotonicity and dynamic programming in queueing networks (Abstract)

    Wal, van der, J., 1987, DGOR: Papers of the 15th Annual Meeting / Vorträge der 15. Jahrestagung. Isermann, H., Merle, G., Rieder, U., Schmidt, R. & Streitferdt, L. (redactie). Berlin: Springer, blz. 703-703 1 blz. (Operations Research Proceedings; vol. 1986).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1986

    The evaluation of blocking probabilities in a finite capacity non-preemptive priority queue

    van Doremalen, J. B. M., 1986, DGOR: Papers of the 14th Annual Meeting / Vorträge der 14. Jahrestagung. Streitferdt, L., Hauptmann, H., Marusev, A. W., Ohse, D. & Pape, U. (redactie). Berlin: Springer, blz. 542-546 (Operations Research Proceedings (OPR); vol. 1985).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1985

    A closed network model for I/O systems

    Wijbrands, R. J. & Wessels, J., 1985, Contributions to operations research (Proceedings of the conference, Oberwolfach, Germany, February 26-March 3, 1984). Neumann, K. & Pallaschke, D. (redactie). Berlin: Springer, blz. 182-190 9 blz. (Lecture Notes in Economics and Mathematical Systems; vol. 240).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Derivation of a termination detection algorithm for distributed computations

    Dijkstra, E. W., Feijen, W. H. J. & Gasteren, van, A. J. M., 1985, Control flow and data flow : concepts of distributed programming (Proceedings NATO Advanced Study Institute, Marktoberdorf, Germany, July 31-August 12, 1984). Broy, M. (redactie). Berlin: Springer, blz. 507-512 6 blz. (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 14).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Manpower planning activities on management control level

    Bij, van der, J. D., 1985, DGOR: Papers of the 13th Annual Meeting / Vorträge der 13. Jahrestagung. Ohse, D., Esprester, A. C., Küpper, H. U., Stähly, P. & Steckhan, H. (redactie). Berlin: Springer, blz. 29-35 (Operations Research Proceedings (ORP); vol. 1984).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1981

    Markov decision processes : implementation aspects (Abstract)

    Wessels, J., 1981, DGOR: Papers of the Annual Meeting/Vorträge der Jahrestagung. Fandel, G., Fischer, D., Pfohl, H. C., Schuster, K. P. & Schwarze, J. (redactie). Berlin: Springer, blz. 491-491 1 blz. (Operations Research Proceedings (ORP); vol. 1980).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Nearly optimal stationary strategies for the total reward Markov decision process

    Wal, van der, J., 1981, DGOR: Papers of the Annual Meeting/Vorträge der Jahrestagung. Fandel, G., Fischer, D., Pfohl, H. C., Schuster, K. P. & Schwarze, J. (redactie). Berlin: Springer, blz. 501-501 1 blz. (Operations Research Proceedings (ORP); vol. 1980).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Two-graphs, a second survey

    Seidel, J. J. & Taylor, D. E., 1981, Algebraic Methods in Graph Theory (Conf. Szeged, Hungary, 1978). Lovasz, L. & Sos, V. T. (redactie). Amsterdam: North-Holland Publishing Company, blz. 689-711 (Colloquia Mathematica Societatis János Bolyai; vol. 25).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1980

    Value oriented successive approximations for the average reward Markov decision process : some results

    Wal, van der, J., 1980, Proceedings in Operations Research 9 (Vorträge der 8. Jahrestagung DGOR, Regensburg, Germany, 1979). Schwarze, J. & et al., X. (redactie). Würzburg: Physica-Verlag, blz. 446-450

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1979

    A more formal treatment of a less simple example

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 2-20 20 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • A theorem about odd powers of odd integers

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 47-48 2 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Finding the correctness proof of a concurrent program

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 24-34 11 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    6 Citaten (Scopus)
  • In honour of Fibonacci

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 49-50 2 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • On the foolishness of "natural language programming"

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 51-53 3 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    13 Citaten (Scopus)
  • On the interplay between mathematics and programming

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 35-46 12 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
  • Program inversion

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 54-57 4 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    26 Citaten (Scopus)
  • Software engineering : as it should be

    Dijkstra, E. W., 1979, Proceedings of the 4th International Conference on Software Engineering (ICSE, Munich, Germany, September 1979). IEEE Computer Society, blz. 442-448

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Stationary behaviour of some ternary networks

    Dijkstra, E. W., 1979, Program Construction (International Summer School, Marktoberdorf, Germany, July 26-August 6, 1978). Bauer, F. L., Broy, M. & Dijkstra, E. W. (redactie). Berlin: Springer, blz. 21-23 3 blz. (Lecture Notes in Computer Science; vol. 69).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1976

    A time-wise hierarchy imposed upon the use of a two-level store

    Dijkstra, E. W., 1976, Language hierarchies and interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L., Dijkstra, E. W., Ershov, A., Griffiths, M., Hoare, C. A. R., Wulf, W. A. & Samelson, K. (redactie). Berlin: Springer, blz. 345-357 13 blz. (Lecture Notes in Computer Science; vol. 46).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review