Filter
Conference contribution

Search results

  • 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. (eds.). Berlin: Springer, p. 182-190 9 p. (Lecture Notes in Economics and Mathematical Systems; vol. 240).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Berlin: Springer, p. 530-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Berlin: Springer, p. 2-20 20 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 510-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Application of the thermodynamics of irreversible processes to continuum mechanics

    Kluitenberg, G. A., 1966, 1966 Non-equilibrium Thermodynamics, Variational Techniques and Stability (Proc. Sympos. Univ. Chicago, May 17-19, 1965). Chicago IL: Univ. Chicago Press, p. 91-99

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Amsterdam: Springer, p. 535-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 489-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Eindhoven: EIDMA, p. 26-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 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. (eds.). Berlin: Springer, p. 47-48 2 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • 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. (eds.). Berlin: Springer, p. 345-357 13 p. (Lecture Notes in Computer Science; vol. 46).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Computer algebra in service courses

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    31 Downloads (Pure)
  • 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. (ed.). Berlin: Springer, p. 507-512 6 p. (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 14).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Eindhoven: Philips Research Laboratories, p. 7-13

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

  • 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. (eds.). Berlin: Springer, p. 704-704 1 p. (Operations Research Proceedings (ORP); vol. 1986).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (ed.). Enschede: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), p. 25-30

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Berlin: Springer, p. 24-34 11 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    6 Citations (Scopus)
  • 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. (ed.). Berlin: Springer, p. 107-161 (Lecture Notes in Mathematics; vol. 1414).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Berlin: Springer, p. 551-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Formal techniques and sizeable programs

    Dijkstra, E. W., 1976, ECI Conference 1976 (Proceedings 1st European Conference in Informatics, Amsterdam, The Netherlands, August 9-12, 1976). Samelson, A. (ed.). Berlin: Springer, p. 225-235 11 p. (Lecture Notes in Computer Science; vol. 44).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • 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. (eds.). Springer, p. 109-116 (Lecture Notes in Computer Science; vol. 496).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    111 Citations (Scopus)
  • Guarded commands, non-determinancy and a calculus for the derivation of programs

    Dijkstra, E. W., 1976, Language Hierarchies and Interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L. & Samelson, K. (eds.). Berlin: Springer, p. 111-124 14 p. (Lecture Notes in Computer Science; vol. 46).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (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. (eds.). Berlin: Springer, p. 49-50 2 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Boston: Birkhäuser Verlag, p. 39-55 (Progress in Systems and Control Theory; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 29-35 (Operations Research Proceedings (ORP); vol. 1984).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Berlin: Springer, p. 491-491 1 p. (Operations Research Proceedings (ORP); vol. 1980).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (ed.). p. 25-31

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (ed.). Eindhoven: EIDMA, p. 41-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 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. (eds.). Berlin: Springer, p. 211-222 (Lecture Notes in Control and Information Sciences; vol. 174).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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). p. 399-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (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. (eds.). Berlin: Springer, p. 668-669 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 127).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 501-501 1 p. (Operations Research Proceedings (ORP); vol. 1980).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 741-742 (NATO ASI Series, Series F: Computer and Systems Sciences; vol. 127).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 703-703 1 p. (Operations Research Proceedings; vol. 1986).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 51-53 3 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    13 Citations (Scopus)
  • 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, p. 7-1-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    96 Downloads (Pure)
  • 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. (eds.). Berlin: Springer, p. 35-46 12 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • 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. (ed.). Mediterranean Press, Vol. 1. p. 201-209

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 470-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • On the teaching of programming, i.e. on the teaching of thinking

    Dijkstra, E. W., 1976, Language Hierarchies and Interfaces (International Summer School, Marktoberdorf, Germany, July 23-August 2, 1975). Bauer, F. L. & Samelson, K. (eds.). Berlin: Springer, p. 1-10 (Lecture Notes in Computer Science; vol. 46).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 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)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). p. 100-106

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    22 Downloads (Pure)
  • 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. (eds.). Berlin: Springer, p. 54-57 4 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    26 Citations (Scopus)
  • 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). p. 126-

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 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. (eds.). Berlin: Springer, p. 38-47 (Lecture Notes in Control and Information Sciences; vol. 174).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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, p. 42-53

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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, p. 442-448

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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. (eds.). Berlin: Springer, p. 213-223 11 p. (Lecture Notes in Computer Science (LNCS); vol. 398).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
  • 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. (eds.). Berlin: Springer, p. 21-23 3 p. (Lecture Notes in Computer Science; vol. 69).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (ed.). Frankfurt am Main: Verlag Anton Hain, p. 519-528 (Methods of Operations Research; vol. 64).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    41 Citations (Scopus)
  • 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, p. 250-263

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review