Lotgevallen W&I 1991 – p - Faculteit Wiskunde en · PDF file ·...

Lotgevallen W&I 1991 – p.91

3.4 Overzicht onderzoekresultaten 3.4.1. VF-programma's 3.4.1.1 VF-code: TUE.WSK.301.90.25 VF-programma: TOEPASSINGSGERICHTE ANALYSE 3 Dissertaties Elzen, A. van den: Adjustment processes for exchange economies and non-cooperative games. Promotor: Prof.dr. A.J.J. Talman. Co-promotor: dr. J.H. van Geldrop. Tilburg, 1991, pp. 152 III (B&S) Huijberts, H.J.C.: Dynamic feedback in nonlinear synthesis problems. Promotoren: prof.dr.ir. H. Kwakernaak. Copromotoren: dr. A.G. v.d. Schaft, dr. H. Nijmeijer. UT, 1991, pp. 187. III (B&S) Wetenschappelijke publicaties Boersma, J.; Glasser, M.L.: Asymptotic expansion of a class of Fermi-Dirac integrals. SIAM J. Math. Anal. 22, 1991, pp. 810-820. (A) Boersma, J.: Singularity exponents for complementary sectors. Electronics Letters, 27, 1991, pp. 1484-1485. (A) Boersma, J.; Doelder, P.J. de: Two integrals arising from a cloud model. Solution to Problem 90-12, SIAM Rev., 33, 1991, pp. 474-477. (A) Boersma, J.: Uniform asymptotics of a Bessel-function series occurring in a transmission-line problem. J. Comp. Appl. Math., 37, 1991, pp. 143-159. (A) Eijndhoven, S.J.L. van; Berkel, C.A.M. van: Hankel transformations and spaces of type S. Indag. Mathem., N.S., 2(1), 1991, pp. 29-38. (A) Geldrop, J.H. van; Withagen, C.; Shou Jilin: Existence of general equilibria in economies with natural resources and an infinite horizon. Journal of Mathematical Economics, 20, 1991, pp. 225-248. (B&S)

Graaf, J. de: An approximation of (slowly growing) analytic functions by special polynomials. In: Orthogonal polynomials and their applications, ed. C. Brezinski, etc., Sc. Publ. Co. IMACS 1991, pp. 287-291. (A) Graaf, J. de: Skew-Hermitean Representations of Lie algebras of vector fields on the unit-sphere, Mitteilungen Math. Gesellschaft Hamburg, Duitsland, Band XII, Heft 3, 1991, pp. 705-711. (A) Habets, L.C.G.J.M.: Robust stabilization in the gap-topology. Springer-Verlag, Berlin - Heidelberg - New York, Lecture Notes in Control and Information Sciences. vol 150, 1991, pp. 126. (B&S) Hassel, R.R. van: Accurate asymptotics for singularly perturbed dynamic free boundary problems. Journal of Math. Anal. Appl., vol. 156, no. 1, 1991, pp. 61-85. (A) Hautus, M.L.J.; Heymann, M.: Module theory and linear system theory. Mathematical System Theory, The influence of R.E. Kalman, Ed. A.C. Antoulas, Springer Verlag, Berlin, 1991, pp. 267-278. (B&S) Huijberts, H.J.C.; Nijmeijer, H.; Wegen, L.L.M. van der: Dynamic disturbance decoupling for nonlinear systems: the nonsquare and noninvertible case. Analysis of controlled dynamical systems, Birkhäuser, Boston, 1991, pp. 243-252. (B&S) Kuiken, H.K.: A boundary-layer model for a plane free-burning high-pressure gas-discharge arc. J. Appl. Phys. 69, 1991, pp. 2896-2903. (A) Kuiken, H.K.: An asymptotic treatment of the Elenbaas-Heller equation. Appl. Phys. Letters. 58, 1991, pp. 1833-1835. (A) Kuiken, H.K.: A single-parameter method for the determination of surface tension and contact angle. Colloids and Surfaces 59, 1991, pp. 129-148. (A) Lieshout, P.H. van; Ven, A.A.F. van de: A variational approach to the magneto-elastic buckling problem of an arbitrary number of superconducting beams. J. of Engineering Mathematics, 25, 1991, pp. 353-374. (A)


Mattheij, R.M.M.; Molenaar, J.: Boek: Beginwaardeproblemen in Theorie en Praktijk, Analyse, Numerieke Methoden, Modellen, Uitg. Epsilon, Utrecht, 1991, pp. 293. (A) Mattheij, R.M.M.; Vorst, G.A.L. van de: Implementing the boundary element method for 2-D Viscous Sintering, in: Computational modelling of free and moving boundary value problems, vol. 1 (L.C. Wrobel, C.A. Brebbia eds.), Walter de Gruyter, 1, 1991, pp. 341-355. (A) Restuccia, L.; Kluitenberg, G.A.: On Generalizations of the Snoek Equation for Magnetic Relaxation Phenomena. Accademia Peloritana Dei Pericolanti, vo. LXVII, 1991, pp. 141-194. (A) Reusken, A.A.: Steplength optimization and linear multigrid methods. Numer. Math., 58, 1991, pp. 819-838. (A) Reusken, A.A.: Multigrid applied to mixed finite element schemes for current continuity equations. In: Multigrid Methods III. Proceedings of the Third European Conference on Multigrid Methods, (ed. W. Hackbusch, U. Trottenberg), 1991, pp. 325-338. (A) Stoorvogel, A.A.: The singular H∞ control problem with dynamic measurement feedback. SIAM J. Control. & Opt., vol. 29, 1, 1991, pp. 160-184. (B&S) Stoorvogel, A.A.: The singular zero-sum differential game with stability using H∞ control theory. Math. Contr. Sign. & Syst., vol. 4, 2, 1991, pp. 121-138. (B&S) Stoorvogel, A.A.: The singular minimum entropy H∞ control problem. System & Control Letters, vol. 16, 6, 1991, pp. 411-422. (B&S) Stoorvogel, A.A.; Woude, J.W. van der: The disturbance decoupling problem with measurement feedback and stability for systems with direct feedthrough matrices. System & Control Letters, vol. 17, 3, 1991, pp. 217-226. (B&S)

Stoorvogel, A.A.; Saberi, A.; Chen, B.M.: A reduced order observer based controller design for H∞ - optimization. Proc. AIAA Guidance, Navigation and Control Conference, New Orleans, vol. 2, 1991, pp. 716-722. (B&S) Stoorvogel, A.A.: The robust H2 control problem: a worst case design, Proc. 30th CDC, Brighton, UK, 1991, pp. 194-199. (B&S) Trentelman, H.L.; Stoorvogel, A.A.: Completion of the squares in the finite horizon H∞ control problem by measurement feedback. New trends in system theory, Proc. of the Univ. di Genova. The Ohio State Univ. Joint Conference, Ed. G. Conte, A.M. Perdon, B. Wyman Birkhäuser, 1991, pp. 692-699. (B&S) Ven, A.A.F. van de: A note on 'A nonequilibrium theory of thermoelastic superconductors' by S.-A. Zhou and K. Miya. In: Int. J. of Applied Electromagnetics in Materials, 2, 1991, pp. 169-175. (A) Ven, A.A.F. van de: Magneto-elastic buckling of superconducting coils. Proceedings IMACS '91, 13th World Congress on Computation and Applied Mathematics, Juli 1991, Dublin, Ireland, Eds. R. Vichneretsky and J.J.H. Miller, Vol. 4, Criterion Press, Dublin, 1991, pp. 1604-1605. (A) Withagen, C.A.A.M.; Ploeg, F. van der: Pollution control and the Ramsey problem. Environmental and resource economics, 1, 1991, pp. 215-236. (B&S) Nagekomen publicatie Restuccia, L.; Kluitenberg, G.A.: Hidden Vectorial Variables as Splitting Operators fot the Polarization Vector in the Thermodynamic Theory of Dielectric Relaxation J. Non-equilib. Thermodyn., 15, 1990, pp.335-346. (A) Technische rapporten Berkel, C.A.M. van; Eijndhoven, S.J.L. van: Integral transformations involving Gegenbauer functions. RANA 91-05, april 1991, pp. 35. (A) Boersma, J.: Note on the asymptotic expansion of an integral of M.L. Glasser, jan. 1991. (A)


Boersma, J.: Oplossing van een potentiaalprobleem met conforme afbeelding en met Wiener-Hopf techniek. maart 1991. (A) Boersma, J.; Doelder, P.J. de: Note on a Bessel-function integral, okt. 1991. (A) Boersma, J.; Dempsey, J.P.: On the numerical evaluation of Legendre's chi-function. Memorandum RANA 91-08, EUT, Eindhoven, 1991, pp. 9. (A) Brands, J.J.A.M.: An asymptotic problem in extremal processes. Memorandum RANA 91-10, EUT, Eindhoven, 1991, pp. 9. (A) Hassel, R.R. van; Flying spot scanner, IWDE 91-02, pp. 13. (A) Huijberts, H.J.C.; Nijmeijer, H.; Wegen, L.L.M. van der: Minimality of dynamic input-output decoupling for nonlinear systems. Memo no. 960, Univ. Twente, Enschede, 1991, pp. 11. (B&S) Reusken, A.A.: A new lemma in multigrid convergence theory. RANA report 92-07, pp. 20. (A) Ven, A.A.F. van de: Magneto-elastic buckling of superconducting coils. RANA report 91-03, pp. 7. (A) Ven, A.A.F. van de, Bree, L.G.F.C. van: Buckling of superconducting structures. A variational approach using the law of Biot and Savart. RANA report 91-11, 1991, pp. 35. (A) Vorst, G.A.L. van de; Mattheij, R.M.M.: Implementing the Boundary Element Method for 2-D Viscous Sintering. RANA 91-04, TUE, pp. 15. (A) Vroegindeweij, P.J.; Algebraic preliminaries for field theories in space-time algebra. RANA 91-01, 1991, pp.18. (A)

3.4.1.2 VF-code: TUE.WSK.302.90.25 VF-programma: BESLISKUNDE EN STOCHASTIEK 3 Dissertaties Adan, I.J.B.F.: A compensation approach for queueing problems. Promotoren: prof.dr. J. Wessels en prof.dr. W.H.M. Zijm. Eindhoven, 1991, pp. 179. I Hoesel, C.P.M. van: Models and algorithms for single-item lat-sizing problems. Promotoren: prof. dr. A.H.G. Rinnooy Kan en prof. dr. A.W.J. Kolen. Rotterdam, 1991, pp. 183. III Velde, S.L. van der; Machine Scheduling and Lagrangian relaxation. Promotor: prof.dr. J.K.Lenstra Eindhoven, 1991, pp. 139. II Wetenschappelijke publicaties Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Analysis of the asymmetric shortest queue problem. Queueing Systems, vol. 8, 1991, pp. 1-58. Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Flexible assembly and shortest queue problems. In: G. Fandel, G. Zaepfel (eds): Modern production concepts. Theory and applications, Springer-Verlag, Berlin, 1991, pp. 644-659. Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Analysis of the asymmetric shortest queue problem with threshold jockeying. Stochastic Models, vol. 7, 1991, pp. 615-627. Bagchi, S.; Berkum, E.E.M. van: On the optimality of a new class of adjusted orthogonal designs. J. Statist. Plann. Inference 28, 1991, pp. 61-65. Coolen, F.P.A.; Newby, M.J.: A Note on the Use of the Product of Spacings in Bayesian Inference. Kwantitatieve Methoden, vol. 37, 1991, pp. 19-32. Einmahl, J.; Beirlant, J.; Deheuvels, P.; Mason, D.M.: Bahadur-Kiefer-theorems for uniform spacings processes. Teorija Verojtnostei i ee Primenenia , vol. 36, 1991, pp. 724-743.


Harn, K. van; Steutel, F.W.: On a characterization of the exponential distribution. J. Appl. Prob., 28, 1991, pp. 947-949. Hoesel, C.P.M. van; Wagelmans, A.; Kolen, A.: A dual algorithm for the economic lot-sizing problem. EJOR, vol. 52, 1991, pp. 315-325. Hoesel, C.P.M. van; Wagelmans, A.: A note on stability of the constant cast dynamic lot-sized model, by K. Richter. EJOR, vol. 55, 1991, pp. 112-114. Hoogeveen, J.A.: Analysis of Christofides' heuristic: Some paths are more difficult than cycles. Operations Research Letters, 10, 1991, pp. 291-295. Hoogeveen, J.A.; Sierksma, G.: Seven criteria for integer sequences being graphic. Journal of Graph Theory, 15, 1991, pp. 223-231. Hoogeveen, J.A.; Velde, S.L. van de: Scheduling around a small common due date. European Journal of Operational Research, 55, pp. 237-242. Houtum, G.J. van; Zijm, W.H.M.: Computational procedures for stochastic multi-echelon production systems. International Journal of Production Economics, 23, 1991, pp. 223-237. Laan, P. van der: Robustness of the Normal means selection procedure with common known variance against logistic deviations and the use of the logistic approximation for the normal distribution. Pub. Inst. Stat. Univ., Paris, 35, 1990, pp. 79-92. Laan, P. van der: The Van Dantzig Award. Statistica Neerlandica, 44, 1990, pp. 185-194. Lenstra, J.K.: A scientist on publishers. TWIOscoop 9, 1991, pp. 100-102. Lenstra, J.K.; Rinnooy Kan, A.H.G., Schrijver, A.: History of Mathematical Programming: A Collection of Personal Reminiscences. CWI & North-Holland, Amsterdam, 1991, pp. 150.

Linssen, H.N.: A table for solving the Behrens-Fisher problem. Statistics & Probability Letters II, Elsevier Science Publisher B.V., North Holland, 1991, pp. 359-363. Steutel, F.W.: Counterexamples to Robertson's conjecture. J. Math. Anal. Appl. 158, 1991, pp. 578-582. Willekens, E.; Resnick, S.I.: Moving averages with random coefficients and random coefficient autoregressive models. Stochastic Models 7, 1991, pp. 511-525. Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: The design and complexity of exact multi-layered perceptrons. International Journal of Neural Systems, vol. 2, 3, 1991, pp. 185-199. Zijm, W.H.M.; Nelissen, E.H.L.B.: Scheduling a flexible machining centre. Engineering Costs and Production Economics, 19, 1990, pp. 249-258. Zijm, W.H.M.; Langenhoff, L.J.G.: An analytical theory of multi-echelon production/distribution systems. Statistical Neerlandica, 44(3), 1990, pp. 149-173. Nagekomen wetenschappelijke publicatie Zijm, W.H.M.: Capactiy analysis of automatic transport systems in an assembly factory. In: J.K. Lenstra et al. (eds.), Twenty-five years of Operations Research in the Netherlands, CWI Tract no. 70, 1989. Abstracts Einmahl, J.; Haan, L. de; Huang Xin: Estimating a multidimensional extreme-value distribution. Book of abstracts van 23e Journées de statistique Strasbourg, 1991, p.332. Vakpublicaties Technische rapporten Adan, I.J.B.F.; Houtum, G.J. van; Wessels, J.; Zijm, W.H.M.: A compensation procedure for multiprogramming queues. Memorandum COSOR 91-13, EUT, Eindhoven, 1991, pp. 22.


Berkum, E.E.M.; Upperman, P.M.: D-Optimal designs for an uncomplete quadratic model. Memorandum COSOR 91-26, EUT, Eindhoven, 1991, pp. 7. Coolen, F.P.A.; Dekker, R.; Smit, A.: Analysis of a two-phase inspection model with competing risks. Memorandum COSOR 91-07, EUT, Eindhoven, 1991, pp. 46. Coolen, F.P.A.: On some misconceptions about subjective probability and Bayesian Inference. Memorandum COSOR 91-11, EUT, Eindhoven, 1991, pp. 9. Coolen, F.P.A.: The theory of imprecise probabilities: Some results for distribution functions, densities, Hazard rates and Hazard functions. Memorandum COSOR 91-32, EUT, Eindhoven, 1991, pp. 30. Coolen, F.P.A.: Imprecise conjugate prior densities for the one-parameter exponential family of distributions. Memorandum COSOR 91-36, EUT, Eindhoven, 1991, pp. 26. Hoesel, C.P.M. van; Wagelmans, A.: On the P-coverage problem on the real line. Memorandum COSOR 91-33, EUT, Eindhoven, 1991, pp. 21. Hoesel, C.P.M. van; Wagelmans, A.: On setup cost reduction in ELS without speculative motives. Memorandum COSOR 91-34, EUT, Eindhoven, 1991, pp. 17. Hoesel, C.P.M. van; Wagelmans, A.: On the complexity of postoptimality analysis of 0/1 programs. Memorandum COSOR 91-35, EUT, Eindhoven, 1991, pp. 18. Laan, P. van der: Kwantitatieve Methoden: Onderwijs en Bedrijfsleven. VVS Bulletin (Statistische Dag), 24, pp. 1-2. Laan, P. van der: Two-stage selection procedure with attention to screening. Memorandum COSOR 91-12, EUT, Eindhoven, 1991, pp. 15.

Laan, P. van der: The efficiency of subset selection of an almost best treatment. Memorandum COSOR 91-19, EUT, Eindhoven, 1991, pp. 11. Laan, P. van der: Subset selection for an -best population: Efficiency results. Memorandum COSOR 91-20, EUT, Eindhoven, 1991, pp. 11. Laan, P. van der: Distribution theory for selection from logistic populations. Memorandum COSOR 91-23, EUT, Eindhoven, 1991, pp. 7. Vaessens, R.J.M.; Aarts, E.H.L.; Lint, J.H. van: Genetic algorithms in coding theory - A table for A3(n,d). Memorandum COSOR 91-22, EUT, Eindhoven, sept. 1991, pp. 17. Wal, J. van der; Speck, C.J.: The capacitated multi-echelon inventory system with serial structure: 1. The 'push ahead'-effect. Memorandum COSOR 91-39, EUT, Eindhoven, 1991, pp. 10. Wal, J. van der; Speck, C.J.: The capacitated multi-echelon inventory system with serial structure: 2. An average cost approximation methoden. Memorandum COSOR 91-40, EUT, Eindhoven, 1991, pp. 14. Wessels, J.: The relation between problem specification and mathematical analysis. Memorandum COSOR 91-37, EUT, Eindhoven, dec. 1991, pp. 25. Wilms, R.J.G.: Properties of Fourier-Stieltjes sequences of distributions with support in [0,1). Memorandum COSOR 91-06, EUT, Eindhoven, 1991, pp. 14. Wilms, R.J.G.: On the asymptotically uniform distribution modulo 1 of extreme order statistics. Memorandum COSOR 91-38, EUT, Eindhoven, 1991, pp. 12. Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: The design and complexity of exact multi-layered perceptrons. Memorandum COSOR 91-08, EUT, Eindhoven, 1991, pp. 24.


Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: The classification capabilities of exact two-layered perceptrons. Memorandum COSOR 91-09, EUT, Eindhoven, 1991, pp. 19. Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: Sorting with a neural net. Memorandum COSOR 91-10, EUT, Eindhoven, 1991, pp. 17. Zwietering, P.J.; Kraaij, M.J.A.L.; Aarts, E.H.L.; Wessels, J.: Neural networks and production planning. Memorandum COSOR 91-15, EUT, Eindhoven, 1991, pp. 16.

3.4.1.3 VF-code: TUE.WSK.303.90.25 VF-programma: DISCRETE STRUCTUREN 3 Dissertaties Overveld, W.M.C.J. van: On the Capacity Region for Deterministic Two-Way Channels and Write-Unidirectional Memories. Promotoren: prof.dr.ir. J.P.M. Schalkwijk, prof.dr. J.H. van Lint. Eindhoven, 1991, pp. 210. (E) I Wee, G.J.M. van: Covering Codes, Perfect Codes, and Codes from Algebraic Curves. Promotoren: prof.dr.ir. J.H. van Lint, dr.ir. H.C.A. van Tilborg. Eindhoven, 1991, pp. 209. (DW) II Wetenschappelijke publicaties Bagchi, B.; Brouwer, A.E.; Wilbrink, H.A.: Notes on binary codes related to the 0(5,q) generalized quadrangle for odd q. Geom. Dedic. 39, 1991, pp. 339-355. (DW) Blokhuis, A.: Characterization of seminuclear sets in PG(2,q). Journal of Geometry, 40, 1991, pp. 15-19. (DW) Blokhuis, A.; Seress, A.; Wilbrink, H.A.: On sets of points in PG(2,Q) without tangents. Mitteilungen aus dem Mathem. Seminar Giessen, 210, 1991, pp. 39-44. (DW) Blokhuis, A.; Calderbank, A.R.; Metsch, K.; Seress, A.: An Embedding Theorem for Partial Linear Spaces. Advances in Finite Geometries and Designs, Oxford Univ. Press, Oxford, New York, Tokio, 1991, pp. 35-46. (DW) Blokhuis, A.; Mazzocca F.: On maximal sets of nuclei in PG(2,q) and quasi-odd sets in AG(2,Q). Advances in Finite Geometries and Designs, Oxford Univ. Press, Oxford, New York, Tokio, 1991, pp. 27-34. (DW) Blokhuis, A.: Special point sets in PG(n,q) and the structure of sets with the maximal number of nuclei. Journal of Geometry, 41, 1991, pp. 33-41. (DW) Blokhuis, A.; Brouwer, A.E.; Wilbrink, H.A.: Hermitian unitals are code words. Discr. Math., 97, 1991, pp. 63-68. (DW)


Böinck, F.J.H.; Tilborg, H.C.A. van: Constructions and bounds for systematic tEC/AUED codes. IEEE Trans. Inf. Theory, IT-36, 1990, pp. 1381-1390. (DW) Bours, P.A.H.; Lous, N.J.C.; Tilborg, H.C.A. van: On maximum likelihood soft decision decoding of binary Hamming codes. Proceedings od the third international colloquium on coding theory 1990, Dilijan, Armenian Academy of Sciences, 1991, pp. 11-13. (DW) Brouwer, A.E.: Recursive constructions of mutually orthogonal Latin squares. Latin squares - new developments in the theory and applications, Annals of Discr. Math., 46, North Holland, Amsterdam, 1991, pp. 149-168. (DW) Brouwer, A.E.: A non-degenerate generalized quadrangle with lines of size four is finite. Advances in Finite Geometries and Sesigns, Proc. Isle of Thorns 1990, Oxford Univ. Press, 1991, pp. 47-49. (DW) Brouwer, A.E.; Haemers, W.H.: The Gewirtz graph - an exercise in the theory of graph spectra. Report FEW 486, Tilburg University, 1991. (DW) Bussemaker, F.C.; Cameron P.J., Seidel, J.J.; Tsaranov, S.V.: Tables of Signed Graphs. EUT Report 91-Wsk-01, 1991, pp. 105. (DW) Cameron, P.J.; Lint, J.H.van: Designs, Graphs, Codes and their Links, London Math. Soc. Student Texts, 22, Cambridge Univ. Press, 1991, pp. 248. (DW) Fang, G.; Tilborg, H.C.A. van; Sun, F.W.: Weakly perfect binary block codes for correcting asymmetric errors. Proceedings of International Symposium on communications, Tainan, Taiwan, 1991, pp. 58-61. (DW) Kang, Q.D.: The construction of large sets of disjoint Mendelsohn Triple Systems of order 2n +2,Discrete Math., 90, 1991, pp. 199-206. (DW)

Lambeck, E.W.: A Remark on the Intersection Arrays of Distance Regular Graphs and the Distance Regular Graphs of Diameter d = 3i - 1 with bi = 1 and k > 2. Designs, Codes and Cryptography, 1, 1991, pp. 261-266. (DW) Lint jr., J.H. van; Wee, G.J.M. van: Generalized bounds on binary/ternary mixed packing- and covering codes. J. Combin. Theory 56A, 1991, pp. 130-143. (DW) Lint, J.H.van: Repeated Root Cyclic Codes, IEEE. Trans Inf. Theory, vol. IT-37, 1991, 343-345. (DW) Lint, J.H.van; Nienhuys, J.W.: Discrete wiskunde, Academic Service, Schoonhoven, 1991, pp. 378. (DW) Matsufuji, S.; Imamura, K.: Real-valued bent function and its application to the design of balanced quadriphase sequences with optimal correlation properties. Proceedings of 1990 AAECC, Springer Lect. Notes in Comp. Sci., vol. 508, 1991, pp. 113-121. (DW) Munera Gomez, C.: Algunas Cuestiones sobre Códigos Geometricos, ph.d. thesis, Valladolid, 1991. pp.119(DW) Pellikaan, G.R.; Shen, B.; Van Wee, G.J.M.: Which linear codes are algebraic-geometric codes. IEEE Trans. Inform. Theory, 37, 1991, pp. 583-602. (DW) Rooy, P.L.J. de; Lint, J.H.van: More on the minimum distance of cyclic codes, IEEE Trans. Inf Theory, vol. IT.37, 1991, 187-189.(DW) Salehi, M.; Willems, F.M.J.: Ring Source- and Channel Codes. Proceedings Twelfth Symposium on Information Theory in the Benelux, Veldhoven, 1991, pp. 103-120. (E) Schalkwijk, J.P.M.: Upper Bounds for Unit Square Resolution. Proceedings Twelfth Symposium on Information Theory in the Benelux, Veldhoven, 1991, pp. 107-111. (E) Schalkwijk, J.P.M.: Extending the Achievable Rate Region of the Binary Multiplying Channel. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 302. (E)


Wee, G.J.M. van: On the nonexistence of certain perfect mixed codes. Discrete Mathematics 87, 1991, pp. 323-326. (DW) Wee, G.J.M. van: Bounds on packings and coverings by spheres in q-ary and mixed Hamming spaces. J. Combin. Theory 56A, 1991, pp. 117-129. (DW) Wee, G.J.M. van; Cohen, G.D.; Litsyn, S.N.: A note on perfect multiple coverings of the Hamming space. IEEE Trans. Inform. Theory, 37, 1991, pp. 678-682. (DW) Xiao, G.-Z.; Shen, B.; Wu, C.-K.; Wong, C.S.: Some spectral techniques in coding theory. Discrete Mathematics 87, 1991, pp. 181-186. (DW) Nagekomen publicaties Blokhuis, A.: Solution of an extremal problem for sets using resultants of polynomials. Combinatorica, 10, 1990, pp. 393-396. (DW) Abstracts Bours, P.: On Maximum Likelihood, Soft Decision Decoding of Binary (Linear) Codes. Proceedings of the 1991 IEEE International Symposium on Information Theory, Budapest, 1991. Information Theory Society, Budapest, 1991, p. 194. (DW) Bours, P.: On the Construction of Perfect Deletion Correcting Codes. Proceedings of the International Winter Meeting of Coding and Information Theory, Essen, 1991. Universität GH Essen, Essen, 1991, p. 8. (DW) Eupen, M.J.M.: On the minimum Distance of Ternary Cyclic Codes, Proceedings of the International Winter Meeting of Coding and Information Theory, Essen, 1991. Universität GH Essen, Essen, 1991, p. 17. (DW) Fang, G.; Tilborg, H.C.A. van: Some new results on binary asymmetric error-correcting codes. Proceedings of IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 143. (DW)

Fang, G.; Tilborg, H.C.A. van: New tables of AsEC and UEC codes. EUT Report 91-WSK-02, Eindhoven University of Technology, 1991, pp. 118. (DW) Imamura, K.; Moriuchi, T.; Uehara, S.: Periodic sequences of the maximum linear complexity simply obtained from an m-sequence. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 279. (DW) Matsufuji, S.; Imamura, K.: P-ary sequences whose correlations have only two valvues. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 175. (DW) Moriuchi, T.; Imamura, K.: Balanced polyphase sequences with good periodic correlations obtained from modified Kumar-Moreno sequences. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 382. (DW) Pellikaan, G.R.; Shen, B.: On Porter's decoding algorithm of algebraic-geometric codes. IEEE workshop on Information Theory, Budapest, 1991. Proceedings of the 1991 IEEE International Symposium on Information Theory, Budapest, 1991. Information Theory Society, Budapest, 1991, pp.23-29. (DW) Struik, M.: On the Rao-Nam Private-Key Cryptosystem using Non Linear Codes. Proceedings of the 1991 IEEE International Symposium on Information Theory, Budapest, 1991. Information Theory Society, Budapest, 1991. p. 174. (DW) Vakpublicaties Technische rapporten Overige producten van wetenschappelijke activiteit Schalkwijk, J.P.M.: A New Lower Bound for the Binary Multiplying Channel. Proceedings 11th Prague Symposium on Information Theory, Statistical Decision Theory and Random Processes, Praag, Tsjechoslowakije, 1990, to appear. (E)


3.4.1.4 VF-code: TUE.INF.301.90.26 VF-programma: PROGRAMMEREN Dissertaties - Wetenschappelijke publicaties Backhouse, R.C.: Relational catamorphisms. In: B. Möller (ed), Construction Programs from specifications, Elsevier, Amsterdam, 1991, pp. 287-318. Bijlsma, A.: Derivation of logic programs by functional methods. Information Processing Letters, 39, 1991, pp. 325-332. Bijlsma, A.: Formal derivation of a stable marriage algorithm. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 5-25. Dielissen, V.J.; Kaldewaij, A.: Rectangular partition is polynomial in two dimensions but NP-complete in three. Information Processing Letters, 38, 1991, pp. 1-6. Eikelder, H. ten; Wilmont, J.: Normal forms for a class of formulas. J. Symbolic Computation, 12, 1991, pp. 143-160. Feijen, W.H.J.; Gasteren, A.J.M. van (eds): C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, april 1991. Feijen, W.H.J.; Gasteren A.J.M. van: An Introduction to the Relation Calculus. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 57-82. Hoogerwoord, R.R.: A Flexible Processor-Store Interface: an exercise in hardware design. In: W.H.J. Feijen en A.J.M. van Gasteren (eds.), C.S. Scholten Dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 101-108.

Kaldewaij, A.: Programming: Teacher's Manual. International Series in Computer Science, Prentice Hall, London, 1991, pp. 35. Kaldewaij, A.; Schoenmakers, L.A.M.: The derivation of a tighter bound for top-down skew heaps. Information Processing Letters, 37, 1991, pp. 264-271. Kamareddine, F.: λ-terms, logic, determiners and quantifiers. Journal of Logic, Language and Information, 1, 1991, pp. 1-25. Katoen, J.-P.; Schoenmakers, L.A.M.: A parallel program for the recognition of P-invariant segments. In: P. Quinton and Y. Robert (eds), proceedings of The workshop on algorithms and parallel VLSI archtectares II, 3-6 June 1991 (Castera-Verduzan, Frankrijk), North-Holland, 1991, pp. 79-84. Kruseman Aretz, F.E.J.: Specifying and Implementing a Simple Pretty-Printer. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 141-162. Woude, J.C.S.P. van der: Plat Etudes for Carel ende Elegance. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 229-237. Abstracts - Vakpublicaties Backhouse, R.C.: On Demonic Composition. The Squiggolist, 2(2), nov. 1991, pp. 61-70. Backhouse, R.C.: Some Ergonomics of Mathematical Notation. The Squiggolist, 2(2), nov. 1991. pp. 57-60. Backhouse, R.C.: Sums and Differentials. The Squiggolist, 2(2), nov. 1991, pp. 54-56.


Backhouse, R.C.: Adjunctions in the spec calculus. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 31. Backhouse, R.C.; Voermans, T.S.; Woude, J. van der: A relational theory of datatypes. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 215. Doornbos, H.; Rietman, F.: Exponentials in the spec calculus. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 25. Hoogendijk, P.: A hierarchy of freebies. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 27. Hoogendijk, P.: The Boom hierarchy. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 59. Rietman, F.J.: An aggregated segment sum theorem in the relational system. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 110. Rietman, F.J.: A note on extensionality. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 21. Voermans, T.S.: The equivalence theory of pers as types. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 55. Voermans, T.S.; Woude, J. van der: Relational tupling. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 18. Woude, J.C.S.P. van der: C4, general manipulative nonsense? Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 55. Woude, J.C.S.P. van der: Atoms and Extensionality, what is the point? Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 4. Woude, J.C.S.P. van der: A tribute to attributes. The Squiggolist 2(1), 1991, pp. 10-15.

Woude, J.C.S.P. van der: Free style spec wrestling: Demonic composition and choice. In: Lambert Meertens, Liber Amicorum 1966-1991, CWI, Amsterdam, 1991, pp. 7. Woude, J.C.S.P. van der; Meertens, L.: Free style spec_wrestling II: preorders. The Squiggolist 2(2), 1991, pp. 48-53. Technische rapporten. Backhouse, R.C.; Bruin, P.J. de; Malcolm, G.; Voermans, T.S. Woude,; J. van der: Relational Catamorphisms. Report CSN 91-11, EUT, Eindhoven, 1991, pp. 31. Backhouse, R.C.; Bruin, P.J. de; Hoogendijk, P.; Malcolm, G.; Voermans, T.S.; Woude, J. van der: Polynomial Relators. Report CSN 91-10, EUT, Eindhoven, 1991, pp. 52. Eikelder, H. ten; Geldrop, R. van: Correctness of Acceptor Schemes for Regular Languages. Report CSN 91-29, EUT, Eindhoven, 1991, pp. 31. Eikelder, H. ten: Some algorithms to decide the equivalence of recursive types. Report CSN 91/31, EUT, Eindhoven, 1991, pp. 26. Katoen, J.-P.; Schoenmakers, L.A.M.: Parallel Programs for the Recognition of P-invariant Segments. Report CSN 91/03, EUT, Eindhoven, 1991, pp.16. Geldrop, R. van: Transformational Query Solving. Report CSN 91/18, EUT, Eindhoven, 1991, pp. 35.


3.4.1.5 VF-code: TUE.INF.302.90.26 VF-programma: PARALLELLISME Dissertaties. Hooman, J.: Specification and Compositional Verifications of Real-Time Systems,proefschrift. Promotoren: prof.dr. W.P. de Roever, prof.dr.dipl.ing. D.K. Hammer. Eindhoven, 1991, pp. 225. (type I). Huizing, C.: Semantics of Reactive Systems: Comparison and Full Abstraction. Promotoren: prof.dr. W.P. de Roever, prof.dr. K.M. van Hee. Eindhoven, 1991, pp. 132. (type I). Kloosterhuis, W.E.H.: The Enabling Model: a Tool for Performance Analysis of Concurrent Mechanisms. Promotor: prof.dr. M. Rem. Eindhoven, 1991, pp. 188. (type I). Wetenschappelijke publicaties. Aarts, E.H.L.; Leeuwen, J. van; Rem, M. (eds): PARLE'91, Parallel Architectures and Languages Europe, Volume 1. Springer Lecture Notes in Computer Science, 505, Eindhoven, 1991. Aarts, E.H.L.; Leeuwen, J. van; Rem, M. (eds): PARLE'91, Parallel Architectures and Languages Europe, Volume 2. Springer Lecture Notes in Computer Science, 506, Eindhoven, 1991. Boer, F.S. de; Kok, J.N.; Palmidessi, C.; Rutten, J.J.M.M.: Semantic models for concurrent logic languages. Theoretical Computer Science, 68(1), 1991, pp. 3-34. Boer, F.S. de; Palamidessi, C.: A fully abstract model for concurrent constraint programming. Proceedings of the Fourth International Joint Conference on the Thery and Practice of Software Development TAP-SOFT 91, Lecture Notes in Computer Science, 493(1), Brighton, UK, 1991. Boer, F.S.: A compositional proof system for dynamic process creation. LICS '91, Amsterdam, The Netherlands, 1991, pp. 20.

Boer, F.S. de; Palamidessi, C.: Language comparison: on the CSP hierarchy. Procedings of Concur '91, Lecture Notes in Computer Science, 527, Amsterdam, The Netherlands, 1991. Boer, F.S. de; Kok, J.N.; Palamidessi, C.; Rutten, J.J.M.M.: The failure of failures: Towards a paradigm for asynchronous communication. Procedings of Concur '91, Lecture Notes in Computer Science, 527, Amsterdam, The Netherlands, 1991. Borghuis, V.A.J.: Interpreting Modal Natural Deduction in type Theory. In: Maarten de Rijke (ed); Colloquium on Modal Logic 1991. Dutch Network for Language, Logic and Information, Amsterdam, 1991, pp. 41-46. Codish, M.; Dams, D.R.; Yardeni, E.: Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analyses. In: K. Furukawa (ed); Proceedings 8th International Conference on Programming, Eindhoven, 1991, pp. 79-93. Also in dissertation of M. Codish, Weizmann Institute of Science, Rehovot, Israel, 1991 Coenen, J.: Roever, W.P. de: Zwiers, J.: Assertional Data Reification Proofs: Survey an Perspective. Proceedings of the 4th BCS-FACS Refinement Workshop. Workshop in Computing, Springer-verlag, 1991, pp. 97-114. Gerth, R.: Formal Verification of Self Modifying Code. International Conference for Young Computer Scientists (ICYCS'91), International Academic Publishers, China, 1991, pp 305-313. Hooman, J.: A Denotational Real-Time Semantics for Shared Processors. In: Aarts, E.H.L.; Leeuwen, M. van; Rem, M.(eds): PARLE '91, Parallel Architectures and Languages Europe, Volume 2, LNCS 506, Springer-Verlag, Eindhoven, 1991, pp 184-201. Hooman, J.: Specifications and verification of real-time systems using metric temporal logic. Proceedings ICYCS'91 "Towards The Future", International Academic Publishers, China, 1991, pp. 300-304.


Hooman, J.; Kuiper, R.; Zhou, Ping: A Compositional Proof Systeem for Real-Time Systems Based on Explicit Clock Temporal Logic. Proceedings of the Sixth International Workshop on Software Specification and Design, Como, Italy, IEEE Computer Society Press, USA, 1991, pp. 110-117. Hooman, J.: Specification and Compositional Verification of Real-Time Systems. Lecture Notes in Computer Science, Volume 558, Springer-Verlag, 1991, pp 235. Huizing, C.; Roever, W.P. de: Introduction to design choices in the semantics of Statecharts. Information Processing Letters, 37, 1991, pp. 205-213. Josephs, M.B.; Mak, R.H.; Verhoeff, T.: Asynchronous Design of a Router. In: J.P. Veen (ed): Proceedings of the IEEE/ProRISC Symposium on Circuits, Systems and Signal Processing, Veldhoven, 1991, pp. 173-179. Rem, M.: The Nature of Delay-Intensitive Computing In: Graham Birtwistle (ed). Fourth Higher Order Workshop, Workshops in Computing, Springer-Verlag, Berlin, 1991, pp. 105-122. Abstracts. - Vakpublicaties. Technische rapporten Baeten, J.C.M.; Bergstra, J.A.: A Survey af axiom systems for process algebras. Report P9111, Vakgroep Programmatuur, Universiteit van Amsterdam, October 1991, pp. 21. Baeten, J.C.M.; Vaandrager, F.W.: An Algebra for Process Creation. Report CSN 91-30, EUT, Eindhoven, 1991, pp. 29. Boer, F.S.; Klop, J.W.; Palamidessi, C.: Asynchronous Communication and Process Algebra. Report CSN, 91-35, EUT, Eindhoven, 1991, pp. 20.

Coenen, J.; Roever W.P. de; Zwiers, J.: Assertional Data Reification Proofs: Survey an Perspective. Report CSN 91-21, EUT, Eindhoven, 1991, pp. 18. Ebergen, J.C.; Peeters, A.M.G.: The Modulo-N Counter: Design and Analysis of Delay-Intensitive Circuits. Research Report CS-91-25, Department of Computer Science, Waterloo University, Waterloo, Ontario, Canada. June 1991. pp. 29. Huizing, C.; Kuiper, R.: Time and reactive systems. Technical report BRA project SPEC, 1991, pp. 11. Huizing, C.: Handleiding voor het eerste gebruik van Turbo Pascal 5.0, EUT, Eindhoven, 1991, pp. 8. Nederpelt, R.P.; Swart, H.C.M. de: A survey of the different logical analyses of "if...,then...". Report CSN 91-02, EUT, Eindhoven, 1991, pp. 26. Struik, P.: Techniques for Designing Efficient Parallel Programs. Report CSN 91-32, EUT, Eindhoven, December 1991, pp. 14. Veltkamp, J.P.: Parallel Progamming Courses at TU Eindhoven. Proceedings Esprit PCA workshop, 27-29 May 1991, Bonn, BRD, 1991, pp. E13. Zhou, Ping; Hooman, J.; Kuiper, R.: A Compositional Proof System for Real-Time Systems Based on Explicit Clock Temporal Logic: Soundness and Completeness. Report CSN 91-25, EUT, Eindhoven, 1991, pp. 52.


3.4.1.6 VF-code: TUE.INF.303.90.26 VF-programma: INFORMATIESYSTEMEN 2 Dissertaties Eiben, A.E.: A Method for Designing Decison Support Systems for Operational Planning. Promotoren: prof. dr. K.M. van Hee, prof.dr. E.H.L. Aarts. Eindhoven 1991, pp. 163. (type I) (I). Wetering, H. van de: Chain coding in Computer Graphics. Promotoren: prof.dr.dipl.ing. D.K. Hammer, prof.dr. F.J. Peters. Eindhoven 1991, pp. 124. (type I) (I). Wetenschappelijke publicaties Aalst, W.M.P. van der; Waltmans, A.W.: Modelling logistic systems with EXSPECT. In: H.G. Sol, K.M. van Hee (eds), Dynamic Modelling of Information Systems. Elsevier Science Publishers, North-Holland, 1991, pp. 269-288. (B&S) Aarts, E.H.L.; Korst, J.H.M.: Boltzmann Machines as a Model for Massively Parallel Annealing. Algorithmica, 6, 1991, pp. 437-465. (I) Aarts, E.H.L.; Laarhoven, P.J.M. van; Liu, C.L.: Simulated Annealing and Circuit Layout. Nieuw Archief voor Wiskunde, 9, 1991, pp. 13-39. (I) Aarts, E.H.L.; Bont, F.M.J. de; Korst, J.H.M.; Rongen, J.M.J.: An Efficient Macro-Cell Placement Alogrithm. Integration, 10, 1991, pp. 299-317. (I) Aerts, A.T.M.; Alblas, G.; Hee, K.M. van: Conceptueel Modelleren van Informatiesystemen. Academic Service, Schoonhoven, juli 1991, pp. 210. (I) Aerts, A.T.M.; Reus, D. de: Formal Semantics for BRM. In: J. van Leeuwen (ed), Proceedings CSN91, 1991, pp. 17-30. (I) Dekkers, A.; Aarts, E.H.L.: Global Optimization by Simulated Annealing. Mathematical Programming, 50, 1991, pp. 376-393. (B&S)

Eiben, A.E.; Aarts, E.H.L.; Hee, K.M. van: Global Convergence of Genetic Algorithms: a Markov Chain Analysis. In: Schwefel, H.-P.; Männer, R.(eds), Parallel Problem Solving from Nature, Lecture Notes in Computer Science, Springer-verlag, 496, 1991, pp. 4-13. (I) Essink, G.; Aarts, E.H.L.; Dongen, R. van; Gerwen, P. van; Korst, J.; Vissers, K.: Scheduling in Programmable Video Signal Processors. Proceedings IEEE International Conference on Computer Aided Design, 1991, pp. 284-287. (I) Essink, G.; Aarts, E.H.L.; Dongen, R. van; Gerwen, P. van; Korst, J.; Vissers, K.: Architecture an Programming of a VLIW Style Video Signal Processor. Proceedings MICRO 24 Conference, 1991, pp. 181-188. (I) Hammer, D.K.: ISDN and BISDN Applications. Case studie Philips, Hilversum, 1991, pp. 63. (I) Hammer, D.K.: Dependable Distributed Networks and Intelligent Networks (INs). Case studie Océ, Venlo, 1991, pp. 80. (I) Hammer, D.K.: The use of a Distributed Operating System (DOS) for the construction of automatic production environments. Congrespaper BIBA, Bremen, BRD, september 1991, pp. 17. (I) Hee, K.M. van; Nuijten, W.P.M.: A descision generator shell in prolog. In: A. Lewandowski, P. Serafini, M.G. Speranza (eds), Mehodology, Implementation and Applications of Decision Support Systems, Springer-Verlag, 1991, pp. 47-65. (I) Hee, K.M. van; Nuijten, W.P.M.; Vet, A.C.F.M. de: A Method and Tool for Constructing Desision Support Systems. Proceedings of the IFIP TC8/WG8.3/WG8.4 Working Conference on Support Functionality in the office Environment, Canterbury, Kent, U.K., North-Holland, september 1991, pp. 131-141. (I) Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: Z and high level Petri nets. In: S. Prehn, W.J. Toetenel (eds), Proceedings VDM'91, Formal Software Development Methods, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, Springer-Verlag, Berlin, October 1991, pp. 204-219. (I)


Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: The ExSpect Tool. In: S. Prehn, W.J. Toetenel (eds), Proceedings VDM '91 Formal Software development methods, 4th International Symposium of VDM Europe, Noordwijkerhout, Springer-Verlag, 1991, pp. 683-484. (I) Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: A modelling environment for decision support systems. In: Decision Support Systems, Elsevier Science Publishers B.V. (North-Holland), 7(3), 1991, pp. 241-251. (I) Hee, K.M. van; Verkoulen, P.A.C.: Data, Process and Behaviour Modelling in an Integrated Specification Framework. In: V.-P. Tahvanainen & K. Lyytinen (eds), proceedings International Workshop on the Next Generation of CASE Tools, University of Jyväskylä, Finland, mei 1991, pp. 405-434. (I) Hee, K.M. van; Verkoulen, P.A.C.: Integration of a Data Model and High-Level Petri Nets. Proceedings 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denemarken, 26-28 juni 1991, pp. 410-431. (I) Houben, G.-J.; Verkoulen, P.A.C.: An Integrated Approach to Modelling Structural and Behavioural Aspects of Complex Objects. In: J. Goers, A. Heuer and G. Saake (eds), Proceedings 3rd International Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Oostenrijk, 23-27 september 1991, pp. 47-64. (I) Houben, G.-J.; Verkoulen, P.A.C.: Integrated Modelling of Structural and Behaviour Aspects of Complex Objects. In: J. van Leeuwen (ed), Proceedings Computing Science in the Netherlands, 7-8 november 1991, pp. 267-282. (I) Korst, J.H.M.; Aarts, E.H.L., Lenstra, J.K.L.; Wessels, J.: Periodic Multiprocessor Scheduling. In: Aarts, E.H.L.; Leeuwen, J. van; Rem, M. (eds), PARLE'91, Parallel Architectures and Languages Europe, Volume 1. Springer Lecture Notes in Computer Science, 505, 1991, pp. 166-178. (B&S) Overveld, C.W.A.M. van: The Generalized Display Processor as an approach to real time interactive 3-D computer animation. The Journal of Visualisation and Computer Animation, 2(1), 1991. pp.n 16-25. (I)

Overveld, C.W.A.M. van: An Iterative Approach to Dynamic Simulation of 3-D rigid body motions for real-time interactive computer animation. The Visual Computer, 7(1), 1991, pp. 29-38. (I) Paredaens, J.; Gyssens, M.; Thuyn, C.: A Categorical Approach to Object-Oriented Data Modelling. Proceedings 3th workshop on Foundations of Models and Languages for Data and Objects, Informatik-Bericht 91/3, TU Claustal, BRD, 1991, pp. 187-196. (I) Paredaens, J.; Andries, M.: A Language for Generic Graph-Transformations. 17th International Workshop on Graph-Theoretic Concepts in Computer Science WG91, 1991, pp. 9. (I) Paredaens, J.; Peelman, P.; Tanca, L.: G-Log: A Declarative Graphical Query Specification Language. Proceedings 2nd International Conference on Deductive an Object-Oriented Databases, Munchen, 1991, pp. 108-128. (I) Paredaens, J.; Thyssens, I.: Grafische Qyerytalen. Informatie, 33, november 1991, pp. 709-720. (I) Paredaens, J.; Bussche, J. van den: The Expressive Power of Structured Values in Pure OODB's. Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Denver, Colorado, 1991, pp. 291-299. (I) Paredaens, J.; Peelman, P.; Tanca, L.: Deductive Languages: A Graph-Based Approach. Proceedings 3rd workshop on Foundations of Models and Languages for Data and Objects, Informatik-Bericht 91/3, TU Claustal, BRD, 1991, pp. 147-172. (I) Roosmalen, O. van: SOPHO-MAKER: een op kennis gebaseerde configurator voor een telefooncentrale. In: van der Spek en Treur (eds), Proceedings AIT '91, Novep Amsterdam, nov. 1991, pp. 51-60. (I) Sol, H.G.; Hee, K.M. van (eds): Dynamic Modelling of Information Systems. Elsevier Science Publishers, North-Holland, 1991. (I)


Ulder, N.L.J.; Aarts, E.H.L.; Bandelt, H.-J.; Laarhoven, P.J.M. van; Pesch, E.: Genetic Local Search Algorithms for the Travelling Salesman. Springer Lecture Notes in Computer Science, 496, 1991, pp. 4-13. (I) Verhaegh, W.F.J.; Aarts, E.H.L.; Korst, J.H.M., Lippens, P.E.R.: Improved Force-Directed Scheduling. Proceedings European Conference on Design Automation, Amsterdam, 1991, pp. 430-435. (I) Verhoosel, J.P.C.; Luit, E.J.; Hammer, D.K.; Jansen, E.: A Static Scheduling Algorithm for Distributed Hard Real-Time Systems. The Journal of Real-Time Systems, 3, 1991, pp. 227-246. (I) Verkoulen, P.A.C.; Brouwer, M.M. de: Two Case Studies in ExSpect. In: V.-P. Tahvanainen & K. Lyytinen (eds), Proceedings International Workshop on the Next Generation of CASE Tools, University of Jyväskylä, Finland, mei 1991, pp. 363-388. (I) Zwietering, P.J.; Aarts, E.H.L.: Parallel Boltzmann Machines: a Mathematical Model. Journal of Parallel and Distributed Computing, 13, 1991, 65-75. (I) Zwietering, P.J.; Kraaij, M.J.A.L. van; Aarts, E.H.L.; Wessels, J.: Neural Networks and Production Planning. Proceedings Neuro-Nimes Conference, 1991, pp. 356-369. (best paper award). (B&S) Abstracts. - Vakpublicaties. Technische rapporten. Aalst, W.M.P. van der: Interval Timed Petri Nets and their analysis. Report CSN, 91-09, EUT, Eindhoven, 1991, pp. 53. (B&S) Aerts, A.T.M.; Hee, K.M. van: Eldorado: Architecture of a Functional Database Management System. Report CSN, 91-15, EUT, Eindhoven, 1991, pp. 19. (I)

Aerts, A.T.M.; Bra, P.M.E. de; Hee, K.M. van: Transforming Functional Database Schemes to Relational Representations. Report CSN, 91-17, EUT, Eindhoven, 1991, pp. 21. (I) Aerts, A.T.M.; Reus, D. de: Formal Semantics for BRM, with Examples. Report CSN, 91-24, EUT, Eindhoven, 1991, pp. 25. (I) Alstein, D.: Dynamic Reconfiguration in Distributed Hard Real-Time Systems. Report CSN, 91-01, EUT, Eindhoven, 1991, pp. 14. (I) Bra, P.M.E. de; Houben, G.J.; Paredaens, J.: The GOOD Based Hypertext Reference Model. Report CSN, 91-26, EUT, Eindhoven, 1991, pp. 12. (I) Eiben, A.E.; Schuwer, R.V.: Knowledge Base Systems, A Formal Model. Report CSN, 91-20, EUT, Eindhoven, 1991, pp. 21. (I) Hee, K.M. van: Specificatiemethoden, een overzicht. Report CSN, 91-06, EUT, Eindhoven, 1991, pp. 20. (I) Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: Z and high level Petri nets. Report CSN, 91-23, EUT, Eindhoven, 1991, pp. 16. (I) Korst, J.; Aarts, E.; Lenstra, J.K.; Wessels, J.: Periodic assignment and graph colouring. Memorandum COSOR 91-14, EUT, Eindhoven, 1991, pp. 13. (B&S) Kraaij, M.W.I. van; Venema, W.Z.; Wessels, J.: The construction of a solution strategy for manpower planning problems. Memorandum COSOR 91-01, EUT, Eindhoven, 1991, pp. 12. (B&S) Kraaij, M.W.I. van; Venema, W.Z.; Wessels, J.: Support for problem formulation and evaluation in manpower planning problems. Memorandum COSOR 91-02, EUT, Eindhoven, 1991, pp. 11. (B&S) Lemmens, W.J.M.: Ontwerpen met objecten I. Electronica, 39(18), oktober 1991, pp. 19-25. (I) Lemmens, W.J.M.: Ontwerpen met objecten II. Electronica, 39(19), oktober 1991, pp. 18-25. (I)


Lemmens, W.J.M.: The PDB hypermedia package. Why and how it was built. Report CSN 91-14, EUT, Eindhoven, 1991, pp. 63. (I) Paredaens, J.; Andries, M.; Gemis, M.; Thyssens, I.; Bussche, J. van den: A Graph-Oriented User Interface for Object Databases. UIA rapport 91-04, UIA, Antwerpen, 1991, pp. 27. (I) Paredaens, J.; Gyssens, M.; Thuyn, C.: A Categorical Approach to Object-Oriented Data Modeling. UIA rapport 91-09, UIA, Antwerpen, 1991, pp. 27. (I) Paredaens, J.; Thyssens, I.; Bussche, J. van den; Gucht, D. van: A Graph-Oriented Object Database Model. Technical Report 327 CSD, Indiana University, 1991, pp. 48. (I) Paredaens, J.; Bussche, J. van den: The Expressive Power of Structured Values in Pure OODB's. UIA rapport 90-23, UIA, Antwerpen, 1990, pp. 26. (I) Paredaens, J.; Andries, M.: An Algebraic Characterisation for the GOOD-transformation Language. UIA rapport 91-11, UIA, Antwerpen, 1991, pp. 26. (I) Paredaens, J.; Peelman, P.; Tanca, L.; Lambrichts, E.; Nees, P.: Integrating Mono-Valued Functions in Deductive Databases: A resursive extension of MILANT. Rapport Polytechnico Milano, progetto Finalizzato sistemi Informatici a calcolo Parallelo, 5/28, 1991, pp 58. (I) Paredaens, J.; Andries, M.: Macros for the GOOD transformation language. UIA rapport 91-20, UIA, Antwerpen, 1991, pp. 31. (I) Paredaens, J.; Gyssens, M.; Bussche, J. van den; Gucht, D. van: A Graph-Oriented Object Database Model. UIA rapport 91-27, UIA, Antwerpen, 1991, pp. 48. (I) Paredaens, J.; Peelman, P.; Tanca, L.: G-LOG and First-Order Predicate Calculus. UIA rapport 91-53, UIA, Antwerpen, 1991, pp. 24. (I)

Paredaens, J.; Andries, M.; Bussche, J. van den: A Graph- and Object-Oriented Counterpart for SQL. UIA rapport 91-59, UIA, Antwerpen, 1991, pp. 20. (I) Reus, D. de: An Implementtation model for GOOD. Report CSN, 91-05, EUT, Eindhoven, 1991, pp. 18. (I) Savelsbergh, M.W.P.; Sigismondi, G.S.; Nemhauser, G.L.: Functional description of MINTO, a Mixed INTeger Optimizer. Memorandum COSOR 91-16, EUT, Eindhoven, 1991, pp. 50. (B&S) Savelsbergh, M.W.P.; Sigismondi, G.S.; Nemhauser, G.L.: MINTO, a Mixed INTeger Optimizer. Memorandum COSOR 91-17, EUT, Eindhoven, 1991, pp. 12. (B&S) Savelsbergh, M.W.P.; Sigismondi, G.S.; Nemhauser, G.L.: Classification for Mixed Integer Programming Formulations. Memorandum COSOR 91-30, EUT, Eindhoven, 1991, pp. 6. (B&S) Wessels, J.: Tools for the interfacing between dynamical problems and models within decision support systemen. (B&S) Memorandum COSOR 91-29, EUT, Eindhoven, nov. 1991, pp. 13. (B&S) Soft-ware - LOG TCP, Package to monitor TCP/UDP network connections. Opgesteld door W.Z. Venema. Publicatie in drie opeenvolgende versies in volumes 16, 20 en 23 van de USENET nieuwsgroep comp.sources.misc. (B&S) - AGETTY, Smart SysVR2/SunOS4 getty command (systeem software). Opgesteld door W.Z. Venema. Publicatie in USENET nieuwsgroup comp.sources.misc., vol. 22. (B&S) - UNPROTO, Package to compile ANSI C with an old C compiler (software conversie tool). Opgesteld door W.Z. Venema. Publicatie in twee opeenvolgende versies in volumes 23 en 26 van de USENET nieuwsgroup comp.sources.misc. (B&S)


- MGC - A tool for automatic linking of Fortran Routines to MATLAB. Opgesteld door Kool, R.; e.a.. WGS-report 90-2, Eindhoven, 1991, pp. 28. (B&S) - MINTO, Mixed INTeger Optimizer. Omgeving voor het ontwikkelen van branch-and-cut algoritmen voor het oplossen van gemend geheeltallige lineaire programmeringsproblemen. Opgesteld door M.W.P. Savelsbergh, G.S. Sigismondi en G.L. Nemhauser. Beschikbaar via Georgia Institute of Technology, Atlanta, USA. (B&S)

3.4.2 VAKGROEP DISCRETE WISKUNDE (DW) Wetenschappelijke publicaties Bruijn, N.G. de: Wiskundige omgangstaal. Verslagen Kon Ned Akad Wetensch., 100, 1991, pp. 8. Bruijn, N.G. de: Telescopic mappings in typed lambda calculus. Information and Computation, 91, 1991, pp. 189-204. Bruijn, N.G. de: A plea for weaker frameworks. Logical Frameworks, Cambridge University Press, 1991, pp. 40-67. Bruijn, N.G. de: Checking mathematics with computer assistance. Notices American Mathematical Society, 8(1), 1991, pp. 8-15. Lossers, O.P.: Problem E 3559. American Mathematical Monthly, 98, 1991, p. 168. Lossers, O.P.: Problem 6610. American Mathematical Monthly, 98, 1991, pp. 448-450. Lossers, O.P.: Problem E 3369. American Mathematical Monthly, 98, 1991, pp. 764-765. Lossers, O.P.: Problem E 3320. American Mathematical Monthly, 98, 1991, pp. 956-958. Lossers, O.P.: Problem E 3384. American Mathematical Montly, 98, 1991, pp. 961-962. Lossers, O.P.: Aufgabe 1025. Elemente der Mathematik, 46, 1991, pp. 27-28. Lossers, O.P.: Aufgabe 1031. Elemente der Mathematik, 46, 1991, pp. 87-88. Lossers, O.P.: Aufgabe 1035. Elemente der Mathematik, 46, 1991, pp. 116-117.


Simons, F.H.: Computer Software and the Teaching of Calculus. Proceedings of the 6th Seminar on Mathematics in Engineering Education, Budapest-Balatonfüred, SEFI, april 1991, pp163-168. Nagekomen publicaties Lambeck, E.W.; Tonchev, V.D.: Probleem 824. Nieuw archief voor de wiskunde, nov. 1990, p.457. Vakpublicaties Donkers, J.G.M.: De XXXIe Internationale Wiskunde Olympiade 1991. Euclides, 66, 1990/1991, pp. 156-158. Bruijn, N.G. de: Vloerbedekkingen met Penrose tegels. Nieuwe Wiskrant, 10(4), 1991, pp. 32-37. Nienhuys, J.W.: Homeopathische wiskunde. Intermediair, 27(4), 25 jan. 1991, pp. 47-51. Nienhuys, J.W.: Persoonlijkheidstests zijn gebouwd op wiskundig drijfzand. Intermediair, 27(10), 8 maart, 1991, p. 27. Peremans, W.; De faculteit wiskunde en Informatica in: Gedenkboek Technische Universiteit Eindhoven 1956-1991, pp. 137-150. Simons, F.H.: Computeralgebra en service onderwijs in wiskunde, Nieuwsbrief, 7, Computer Algebra Nederland, maart 1991, pp.8-14. Simons, F.H.: Aansluitingsproblematiek VWO-WO, Euclides, 66, april 1991, pp. 204-206. Tilborg, H.C.A. van: De Hongaarse methode. Euclides 66, jan. 1991, pp. 154-155. Tilborg, H.C.A. van: Gegevensbeveiliging en Discrete Wiskunde. Euclides 67, dec. 1991, pp. 123-125. Boekbesprekingen Meiden, W.van der: Boekbespreking van Angeles, J. Rational Kinematics. Med. Wisk. Gen. , 34, mei 1991, p. 142.

Meiden, W.van der: Boekbespreking van Choudhary, B. Nanda, S. Functional analysis with applications. Med. Wisk. Gen. , 34, feb. 1991, p. 54. Meiden, W.van der: Boekbespreking van Day, R.A., How to write and publish a scientific paper (3rd ed.) Med. Wisk. Gen. , 34, jan 1991, p. 32. Meiden, W.van der: Boekbespreking van Gerber, H. Elementary linear algebra, Med. Wisk. Gen. ,34, feb. 1991, p. 41. Meiden, W.van der: Boekbespreking van Kline, M. Mathematical thought from ancient to modern times. Med. Wisk. Gen., 34, feb. 1991, p. 37. Meiden, W.van der: Boekbespreking van Kostrikin, .I. and Y.I. Mannin, Linear Algebra and Geometry, Med. Wisk. Gen. , 34, okt.1991, p. 182. Meiden, W.van der: Boekbespreking van Lang, . Undergraduate algebra (2nd ed.), Med. Wisk. Gen. , 34, maart 1991, p. 69. Meiden, W.van der: Boekbespreking van Light, W>A. Introduction to abstract analysis, Med. Wisk. Gen. , 34, sept. 1991, p. 160. Meiden, W.van der: Boekbespreking van Millman, R.S. and G.D. Parker, Geometry: a metric approach with models (2nd ed.) Med. Wisk. Gen. , 34, sept. 1991, p. 163. Meiden, W.van der: Boekbespreking van Sirovich, L. Introduction to applied mathematics, Med. Wisk. Gen. , 34, april 1991, p. 115. Meiden, W.van der: Boekbespreking van Stephenson, G. and P.M Radmore, Advanced mathematical methods for engineering and science students, Med. Wisk. Gen. , 34, nov. 1991, p. 234 Meiden, W.van der: Boekbespreking van Trim, D.W., Applied partial differential equations, Med. Wisk. Gen. , 34, april 19991, p. 98. Nienhuys, J.W.: Boekbespreking van Bruin, R. de, Laan, C.G. van der e.a.: Publiceren met Latex. Med. Wisk. Gen., febr. 1991, pp. 67-68.


Post, K.A.: Boekbespreking van Klamkin M.S. USA mathematical Olympiads 1972-1986, Med. Wisk. Gen. , 34, nov. 1991, p. 238. Seidel, J.J.: Boekbespreking van M.C. Escher, Art and Science. The Mathem. Intelligencer 10 (1988), pp. 69-74. Overige producten van wetenschappelijke activiteit Blokhuis, A.; Brouwer, A.E.: Szönyi, T.: The number of directions determined by a function f on a finite field, preprint (1991) Brouwer, A.E.: On complete regularity of extended codes, Discr. Math. (Submitted 1991) Brouwer, A.E.; Haemers, W.H.: Structure and uniqueness of the (81,20,1,6) strongly regular graph, preprint (Oct. 1991) Brouwer, A.E.; Godsil, C.D.: Nice subsets of distance-regular graphs, preprint (1991) Brouwer, A.E.; Haemers, W.H., Wilbrink, H.A.: Some 2-ranks, preprint (1991) Brouwer, A.E.; Van Eijl, C.A.: On the p-rank of the adjacency matrices of strongly regular graphs, preprint (1991). (Derived from the Master's Thesis of the second author.) Brouwer, A.E.: t-Designs and antidesigns in classical distance-regular graphs, manuscript (1991) Brouwer, A.E.: Geometries induced by the far objects, preprint (1991) Brouwer, A.E.: The maximal cliques in the classical distance-regular graphs, manuscript (1991) Brouwer, A.E.; Wilbrink H.A.: Block Designs, preprint (1991). (Chapter for the Handbook of Geometry.) Brouwer, A.E.: Block Designs, preprint (1985). (Chapter for the Handbook of Combinatorics. Last revised 1991.) Brouwer, A.E.; Haemers, W.H.: The Gewirtz graph - an exercise in the theory of graph spectra. Report FEW 486, Tilburg University, 1991. (To appear in the Vladimir 1991 proceedings).

Bruijn, N.G.de: On some big closed polygons, intern rapport, pp.2. Bruijn, N.G.de: An identity connected with quadratic irrationals, intern rapport, pp. 4. Bruijn, N.G.de: Can people think?, intern rapport, pp. 28. Bruijn, N.G.de: Modellen voor het denken, intern rapport, pp.4. Cuypers, F.G.M.T.; Hall, J.I.: The classification of centerfree 3-transposition groups. To appear in the Proceedings of the Durham Group Theory conference, 1990. Cuypers, F.G.M.T.: Symplectic geometries, transvection groups and modules, preprint. Cuypers, F.G.M.T.: Delta spaces satisfying Pasch's axiom, preprint. Cuypers, F.G.M.T.; Meixner, Th.: Some extensions and embeddings of near polygons, preprint. Cuypers, F.G.M.T.: Generalized Fischer spaces, preprint. Cuypers, F.G.M.T.: A characterization of Sl2(k) by its action on the natural module, preprint. Duursma, I.M.: Algebraic decoding using special divisors, preprint, submitted to IEEE. Eupen, M.J.M.; Van Lint, J.H.: On the minimum Distance of Ternary Cyclic Codes, to appear. Fang, G.; Tilborg, H.C.A. van: Bounds and constructions of AsEC and UEC codes, Submitted to Applicable Algebra in Engineering, Communication and Computing, to appear. Fang, G.; Tilborg, H.C.A. van; Sun, F.W.: Study on perfectness of binary block codes for correcting asymmetric errors. Imamura, K.; Moriuchi, T.; Uehara, S.: Periodic sequences of the maximum linear complexity simply obtained form an m-sequence, submitted to the IEEE Trans. on Information Theory.


Koolen, J.H.: A new condition for distance-regular graphs, submitted to the European Journal of Combinato-rics. Koolen, J.H.: On Subgraphs in distance-regular graphs, submitted to the Journal of Algebraic Combinatorics. Lambeck, E.W.: Some Elementary Inequalities for Distance Regular Graphs, preprint 1 p. Matsufuji, S., Imamura, K.: Balanced binary pseudorandom sequences of period 2n - 1, n even, with low periodic correlation properties, submitted to the IEEE Trans. on Information Theory. Matsufuji, S.; Imamura, K.: Balanced quadriphase sequences with optimum periodic correlation properties constructed by real-valued bent functions, submittes to the IEEE Trans. on Information Theory. Imamura, K.; Xiao, G.: On periodic sequences of maximum linear complexity and m-sequences, sept. 1991, unpublished. Pellikaan, G.R.; Porter, S.C.; Shen, B.: On decoding geometric Goppa codes using an extra palce, submitted to IEEE Trans. Inform. Theory. Pellikaan, G.R.: On the gonality of curves, abundant codes and decoding, preprint sept. 1991. Pellikaan, G.R.; Munuera, C.: Isometry and equality of codes, preprint nov. 1991. Shen, B.: Subresultant sequences on Weierstrass algebra and an application to decoding geometric Goppa codes, preprint. Shen, B.: Codes from Hermitian curves and an iterative decoding algorithm, submitted to IEEE Trans. Inform. Theory. Shen, B.: On encoding and decoding of the codes from Hermitian curves, submitted to the proceedings of the third IMA conference on cryptography and coding, UK.

Shen, B.: A Justesen construction of binary concatenated codes which asymptotically meet Zyablov bound for low rates, submitted to IEEE Trans. Inform. Theory. Seidel, J.J.: Distance matrices and Lorentz space. Workshop Vladimir, 1991, to appear, pp.2. Seidel, J.J.: Introduction to Association Schemes. Publ. IRMA Strasbourg , S26, Seminaire Lotharingen, to appear, pp.15. Seidel,J.J.; Cameron, P.J.; Tsaranov, S.V.: Signed graphs Root Lattices and Coxeter Groups, to be published, pp.30. Seidel, J.J.; A note on path-zero graphs, to be published, pp.4. Seidel, J.J.: Discrete Non-Euclidean Geometry. Chapter in: Handbook of Geometry, 75 p., to appear (1992) Seidel, J.J.; Neumaier, A.: Measures of strength 2e and optimal designs of degree e. Sankhyã, to appear. Voordrachten Blokhuis, A.: - Irregular weighting of hypergraphs, Budapest

(Hongarije), jan. 91. - Extremal problems in Finite Geometries,

Visegrad (Hongarije), jun. 91. - An improvement of Redei's Theorem, Szeged

(Hongarije), sept. 91. - An improvement of Redei's Theorem, Budapest

(Hongarije), okt. 91. Brouwer, A.E.: - Designs in klassieke afstandsreguliere grafen,

Seminarium Computer Algebra, CWI Amster-dam, maart 91.

- Geometries induced by the far objects, Gruppen und Geometrieen, Oberwolfach, Duitsland, juli/aug. 91.

- Nice subjects of distance-regular graphs, International Conference on algebraic combinatories, Vladimir, S.U., aug. 91.

Bruijn, N.G. de: - Vlakvullingen van Escher en Penrose,

Wintersymposium Wiskundig Genootschap, Amersfoort, jan. 1991.

- Wiskundige theorie van quasi-kristallen, Univ. Twente, Enschede, jan. 1991.


- Wiskunde en machine, Afscheidssymposium

dr.ir. H. Bosma, Philips Natuurkundig Laboratorium, Eindhoven, febr. 1991.

- Machinale verificatie van redeneringen, RU Utrecht, Utrecht, febr. 1991.

- Relation between Ammann grids and pentagrids, The geometry of quasicrystals, Bielefeld, Duitsland, maart 1991.

- Algorithmic correctness check for the Delta-Lambda calculus, Workshop Logical frameworks, Edingburgh, Groot Brittanië, mei 1991.

- Can people think, LICS conference, Amsterdam, juli 1991.

- Modellen voor het denken, Uitreiking AKZO prijs, Arnhem, okt. 1991

- Automath, Turijn, Italië, apr./mei 1991 - Mathematical Vernacular, Turijn, Italië, apr./mei

1991 - Delta-Lambda calculus, Turijn, Italië, apr./mei

1991 - Automath, Pisa, Italië, apr./mei 1991 - Delta-Lambda calculus, Pisa, Italië, apr./mei

1991 - Automath, Rome, Italië, apr./mei 1991 - Quasicrystals, Rome, Italië, apr./mei 1991 - Quasicrystals, Univ. Waterloo, Ontario, Canada,

nov./dec. 1991 - Automath, Univ. Waterloo, Ontario, Canada,

nov./dec. 1991 - Mathematical Vernacular, McMasters Univ.,

Hamilton, Ontario, Canada, nov./dec. 1991 - Automath, McMasters Univ., Hamilton, Ontario,

Canada, nov./dec. 1991 - Quasicrystals, McMasters Univ., Hamilton,

Ontario, Canada, nov./dec. 1991 - Mathematical Vernacular, Carnegy Mellon

Univ., Pittsburgh, Pensilvania, VS, nov./dec. 1991

- Quasicrystals, Carnegy Mellon Univ., Pittsburgh, Pensilvania, VS, nov./dec. 1991

- Delta-Lambda calculus, Carnegy Mellon Univ., Pittsburgh, Pensilvania, VS, nov./dec. 1991

- Quasicrystals, Univ. of Pittsburgh, Pittsburgh, Pensilvania, VS, nov./dec. 1991

- Mathematical Vernacular, Cornell Univ., Ithaca, N.Y., VS, nov./dec. 1991

Cuypers, F.G.M.T.: - Groups generated by 3-transpostions, TU

Twente, Enschede, jan. 1991 - Symplectic geometries and groups, Univ. of

Giessen, Giessen, Duitsland, jun. 1991 - Groups generated by 3-transpositions, Groups

and geometrices, Oberwolfach, Duitsland, aug. 1991

Duursma, I.M.: - Algebraic decoding using special divisors,

AGCT-3 workshop, Luminy, Frankrijk, jun. 1991

Eupen, M.J.M.: - On the minimum Distance of Ternary Cyclic

Codes, International Winter Meeting on Coding and Information Theory, Essen, Duitsland, dec. 1991.

Fang, G.: - Some new results on binary asymmetric error-

correcting codes, IEEE International Symposi-um on Information Theory, Budapest, Hongarije, jun. 1991.

- Weakly perfect binary block codes for correcting asymmetric errors, presented in International Symposium on communications, Tainan, Taiwan, dec. 1991.

Koolen, J.H.: - Uniformly geodetic graphs, British

Combinatorial Conference, juli 1991. Lambeck, E.W.: - Convexe deelgrafen van klassieke grafen, 27e

Nederlands Mathematisch Congres, Rotterdam, april 1991.

Lint, J.H. van: - Computer memories with restrictions, 4th

Auburn Combinatorial Conference, Auburn, Alabama, USA, maart 1991.

- What is discrete mathematics and how should we teach it ?, Univ. of the Orange Free State, Zuid Afrika, juli 1991.

- Combinatorial problems from computing science, Univ. of the Orange Free State, Zuid-Afrika, juli 1991.

- Structuring discrete mathematics, Rhodes, Univ., Zuid-Afrika, juli 1991.

- Structuring discrete mathematics, Univ. of South Africa, juli 1991.

- Coding and algebraic geometry, Univ. of Pretoria, Zuid-Afrika, juli 1991.

- Goppa codes and cryptology, Univ. of Pretoria, Zuid-Afrika, juli 1991.

- Coding and algebraic geometry, Witwatersrand Univ., Zuid-Afrika, juli 1991.

- Coding and algebraic geometry: a survey for non-experts, Univ. of the North, Zuid-Afrika, aug. 1991

- On cyclic codes: an introduction, Potchefstroom Univ., Zuid-Afrika, aug. 1991.

- What is discrete mathematics and how should we teach it ?, Univ. of Stellenbosch, Zuid-Afrika, aug. 1991.

- Error correcting codes, Univ. of Stellenbosch, Zuid-Afrika, aug. 1991.

- What is discrete mathematics and how should we teach it ?, Univ. of Cape Town, Zuid-Afrika, aug. 1991.

- Algebraic geometry codes, Univ. of Cape Town, Zuid-Afrika, aug. 1991.


- Codes and designs: a survey for non-experts, Univ.

of Port Elizabeth, Zuid-Afrika, aug. 1991. - What is discrete mathematics and how should we

teach it ?, Univ. of Durban-Westville, Zuid-Afrika, aug. 1991

- Error correcting codes, Univ. of Natal, Zuid-Afrika, aug. 1991.

- Goppa codes and cryptology, Univ. of Natal, Zuid-Afrika, aug. 1991.

- Structuring discrete mathematics, Rand Afrikaans Univ., Zuid-Afrika, aug. 1991.

- Error correcting codes, Rand Afrikaans Univ., Zuid-Afrika, aug. 1991.

- Mathematik und Technik, Univ. Essen, Duitsland, okt. 1991.

- Discrete Wiskunde en Computer Geheugens, Wiskundig Genootschap Amsterdam, okt. 1991

- Penrose betegelingen en Quasikristallen, AKZO, Arnhem, okt. 1991

Pellikaan, G.R.: - On an improvement of the Tsfasman-Vl_du_-Zink

bound, Algebraïsch-geometrische Codes, das Institut für experimentelle Mathematik und der universität-Gesamthochschule Essen, mei 1991.

- On the gonality of curves, abundant codes and decoding, Algebraic geometry and Coding theory 3, C.I.R.M. Luminy, Marseille, jun. 1991.

- Which linear codes are algebraic-geometric ?, Universidad Complutense, Madrid, sept. 1991.

- On the decoding of algebraic-geometric codes, Universidad de Valladolid, Valladolid, Spanje, sept. 1991.

- On decoding algebraic-geometric codes upto half the designed minimum distance, seminar van H. Stichtenoth, Essen, Duitsland, nov. 1991.

- Isometry and equality of geometric Goppa codes, seminar van H. Stichtenoth, Essen, Duitsland, dec. 1991.

Shen, B.: - On Porter's decoding algorithm of algebraic-

geometric codes, IEEE International symposium on information theory, Budapest, Hongarije, jun. 1991.

- Encoding and iterative decoding of codes from Hermitian curves, Third IMA conference on cryptography and coding, Cirencester, UK, dec. 1991.

- Algebraic Geometric Codes, University of Essen, Duitsland, 1991.

Simons, F.H.: - Using Computers to Teach Calculus, University

of Birmingham, sept. 1991. - Teaching Mathematics to Engineering Students

with a Computer, Chalmer's University of Technology, Gothenburg, nov. 1991

- Wiskunde en koppen drukken, studiedag voor

docenten wiskunde van de Vereniging Ons Middelbaar Onderwijs, Motel Nuland, nov. 1991.

Tilborg, H.C.A. van: - Some new results on binary asymmetric error-

correcting codes, IEEE Int. Symp. on Inf. Theory, Budapest, Hongarije, jun. 1991.

- On maximum likelihood soft decision decoding of binary Hamming codes, IEEE Int. Symp. on Inf. Theory, Budapest, Hongarije, jun. 1991.

- Error-correcting codes with bounded digital sum, IEEE Int. Symp. on Inf. Theory, Budapest, Hongarije, jun. 1991.

- On the existence of optimum cyclic burst-correcting codes, Universität-Gesamthochschule, Duisburg, Duitsland, juli 1991.

- The Dutch Open University and its mathematics curriculum, University of South Africa, Pretoria, Zuid Afrika, aug. 1991.

- Burst correcting codes; a survey, Randse Afrikaanse Universiteit, Johannesburg, Zuid Afrika, aug. 1991.

- Combined coding and modulation} (keynote address), COMSIG 1991 (organized by South African Chapter of IEEE), Pretoria, Zuid Afrika, aug. 1991.

- Burst correcting codes; a survey, Universiteit van Pretoria, faculteit Elektronische Ingenieurs-wese, Pretoria, Zuid Afrika, sept. 1991.

- Onverwagte verbande in Discrete Wiskunde, Universiteit van Pretoria, Departement Wiskunde en Toegepaste Wiskunde, Pretoria, Zuid Afrika, okt. 1991.

- Error-correcting codes with bounded digital sum, The Fourth International Colloquium on Coding Theory, Dilijan, Armenië, okt. 1991.

- An overview of recent results in the theory of burst-correcting codes, International Winter-meeting on Coding and Information Theory, Essen, Duitsland, dec. 1991.

- Hoe deel je een geheim ?, Reünistendag, Eindhoven, april 1991.

- Hoe deel je een geheim ?, Symposium Gegevensbeveiliging in de Industrie, Eindhoven, juni 1991

- Hoe deel je een geheim ?, Studiedag Ou studiebegeleiders, Utrecht, juni 1991.

Overige vakpublicaties Asperdt, MJ.M.M.; Royakkers, .A.W; Verslag symposium Gegevensbeveiliging in de Industrie, Eindhoven, aug. 1991, pp. 12. Nienhuys, J.W.: Schuiven met officieren. Dagblad Trouw, 4 sept. 1991, p. 19.


Nienhuys, J.W.: De abt en de statistici. Dagblad Trouw, 2 okt. 1991, p. 19. Nienhuys, J.W.: De Belgen zijn beter. Dagblad Trouw, 27 nov. 1991, p. 19. Nienhuys, J.W.: In het spoor van de gokker. Dagblad Trouw, 30 okt. 1991, p. 19. Afstudeerverslagen studierichting wiskunde Francke, J.: Secure multi-Party Computations (A survey, extended with some own results), 21-02-1991. Meijers, J.J.H. : The Rao-Nam Private-key Cryptosystem, a Generalization and Attacks, 25-04-1991. Peeters, M.J.P.: The Frequency Assignment Problem as a Weighted Graph Coloring Problem, 27-06-1991. Eijl, C.A. van mw.: On the p-rank of the adjacency matrices of strongly regular graphs, 24-10-1991. Veugen, P.J.M.: Some mathematical and computational aspects of electronic cash, 19-12-1991.

3.4.3 VAKGROEP ANALYSE Dissertaties - Wetenschappelijke publicaties Brekelmans, W.A.M.; Janssen, J.D., Ven, A.A.F. van de; With, G. de: An Eulerian approach for die compaction processes. Int. J. for Numerical Methods in Engineering, 31, 1991, pp. 509-524. Brands, J.J.A.M.: Tubes; Contributed paper in Proceedings of the Fith European Conference on Mathematics in Industry, ECMI 7, 1991, pp. 151-154. Doelder, P.J. de; On some series containing ψ(x) - ψ(y) and [ψ(x) - ψ(y)]2 for certain values of x and y. Journal of Comp. and Applied Mathematics, 37, 1991, pp. 125-142. Molenaar, J.; The spectrum of an inhomogeneous membrane. Contributed paper in Proceedings of the Fith European Conference on Mathematics in Industry, ECMI 7, 1991, pp. 297-302. Molenaar, J.: Oud, J.H.L.; Optimality and initialisation of the Kalman filter. Kwantitatieve methoden, 38, okt.1991, pp. 45-52. Rienstra, S.W.; The coupling of acoustical membrane and cavity vibrations, Contributed paper in Proceedings of the Fith European Conference on Mathematics in Industry, ECMI 7, 1991, pp. 339-344. Vakpublicaties Boersma, J.; Solutions to problem 818 from Nw. Arch. v. Wisk. (4), 9, no. 2, 1991, pp. 229-230. Schurer, F.: De Bibliotheek. Gedenkboek Technische Universiteit Eindhoven 1956-1991, TUE/De Kempen, 1991, pp. 77-88.


Schurer, F.: Het Rekencentrum. Gedenkboek Technische Universiteit Eindhoven 1956 - 1991, TUE/De Kempen, 1991, pp. 91-103. Nagekomen publicatie: Boersma, J.; Solutions to problem 813 from Nw. Arch. v. Wisk. juli 1990, p. 222. Boekbesprekingen Berkel, C.A.M. van: Boekbespreking van Robert, A.: Advanced calculus for users: Med. Wisk. Gen., 34, 1991, pp. 113. Hofer, H.J.: Boekbespreking van Usmani, R.A.: Applied linear algebra in: Med. Wisk. Gen., 34, 1991, pp. 249-250. Lieshout, P.H. van: Boekbespreking van M. Lunn: A first course in mechanics. In: Med. Wisk. Gen., 34, 1991, pp. 312-313. Walt van Praag, C.R. van: Boekbespreking van Stewart I.: Galois Theory. In: Med. Wisk. Gen., 34, 1991, pp. 338. Overige producten van wetenschappelijke activiteit Interne rapporten Molenaar, J.; The modeling of polymer flow instabilities. Part 1: A heuristic approach. IWDE 91-05, pp. 27. Rienstra, S.W.; Akoestisch sorteren van mosselen IWDE 91-03, pp.10. Rienstra, S.W.; A note on the Kutta condition in Glauert's solution of the thin aerofoil problem. IWDE 91-04, pp.11. Preprints Boersma, J.; Danicki, E.: On the solution of an integral equation arising in potential problems for circular and elliptic disks, dec. 1991. preprint.

Boom, A.van den; Brown, A.; Dumortier, F.; Geurts, A.; Hammarling, S.; Kool, R.; Vanbegin, M.; Dooren, P.van; Huffel, S.van: SLICOT, a subroutine library in control and systems theory. in: Computer Aided Design in Control Systems, IFAC Symposium, Swansea, UK 15-17 july 1991, pre-print, pp. 89-94. Kramer, M.E.; Mattheij, R.M.M. Application of global methods in parallel shooting. Submitted for publication. RANA report 91-06, 1991, pp.20. Molenaar, J.; The optimal Collar. Accepted for publication in the proceedings of the 6th ECMI Conference, Limerick 1991.2 Molenaar, J.: Visser, H.; Estimating trends and stochastic response functions in dendro-ecologicy with an application to fir decline. Accepted for publication in Forest Science. Reusken, A.A.: Multigrid applied to two-dimensional exponential fitting for drift-diffusion models. (accepted for publication in Proceedings of the IMACS Int. Symp. on Interative methods in Linear Algebra). RANA report 91-02, 1991, pp.13. Reusken, A.A.: On maximum norm convergence of multigrid methods for two-point boundary value problems. (submitted to SIAM J. Numer. Anal.), RANA 91-09, 1991, pp.13 Rienstra, S.W.; A note on the Kutta condition in Glauert's solution of the thin aerofoil problem. Accepted for publication in JEM, vol 26-1, 1992. Smits, J.G.M.M. ; Rijpkema, J.J.M.: Experiences with PC-MATLAB in a linear algebra course. Proceedings of the 4th International Conference on Technology in Collegiate Mathematics, Portland, Oregon, nov. 1991, pre-print. Voordrachten Boersma, J.: - Bouwkamps proefschrift: Theoretische en

numerieke behandeling van de buiging door een ronde opening. Colloquium ter ere van prof.dr. C.J. Bouwkamp ter gelegenheid van zijn 50-jarig doctorsjubileum, jan. 1991.

- Ontwerp van de schouder van een


verpakkingsmachine - een probleem uit de industriële wiskunde. Reünistendag fac. Wiskunde en Informatica, TUE, Eindhoven, april 1991.

Cijsouw, P.L.: - The educational system of ECMI, Dept. of Math.,

Chalmers Univ., Göteborg, Zweden, nov. 1991. - Na-doctorale vervolgopleidingen, 27e

Nederlands Mathematisch Congres, Rotterdam, april 1991.

Graaf, J. de: - Cursus Motion of viscous fluids under the

influence of surface tension. Univ. van Florence, mei 1991.

- Mathematical addenda to Hopper's theory on the shape evolution of a could of viscous matter driven by capillarity on the free surface, Univ. van Florence, mei 1991.

- Mathematical aspects of Hopper's Equations, Rijksuniv. Gent, seminarium Clifford Analyse, nov. 1991.

Kaasschieter, E.F.: - Mixed finite elements for groundwater flow

problems, Conference on Mathematical Problem in Environmental Protection and Ecology, Trento, Italië, dec. 1991

Kuiken, H.K.: - Mathematical modelling of etching processes,

Cambridge, juli 1991 - Asymptotische behandeling van de Elenbaas-

Heller vergelijking voor een hogedrukontladings-lamp, Faculteitscolloquium Natuurkunde, TUE, Eindhoven, nov. 1991.

Meer, J.C. van der: - Degenerate Hamiltonian Hopf bifurcations, Univ.

of Warwick, UK, sept. 1991 Morsche, H.G. ter; - Spine approximation. Gadt-docent University of

Strathclyde, Glasgow, Schotland, aprol 1991. Reusken, A.A.: - Multigrid and two-dimensional exponential

fitting for a class of convection-diffusion problems, Univ. Zürich, Zwitserland, febr. 1991.

- Multigrid and two-dimensional exponential fitting for a class of convection-diffusion problems, Univ. Heidelberg, Duitsland, febr. 1991.

- Multigrid and two-dimensional exponential fitting for a class of convection-diffusion problems, IMACS International symposium on interative methods in linear algebra, Brussels, België, april 1991

- A new lemma for proving the 'Smoothing property', 6. Mehrgitterseminar, Technische Univ. Chemnitz, mei 1991

- Some new results in multigrid convergence theory, Ruhr-Univ. Bochum, Duitsland, juli 1991

- Convergentie van meerroostermethoden, werkseminarium, TUE, okt. 1991.

Smits, J.G.M.M.: - Experiences with PC-MATLAB in a linear-

algebra course, 4th International Conference on Technology in Collegiate Mathematics, Portland, Oregon, nov. 1991.

- Een eerstejaars cursus lineaire algebra met MATLAB, ervaringen in Eindhoven, vierde Inter-TU Studiedag, Delft, juni 1991.

- Using MAT-LAB to teach Mathematics, Computer in Teaching Initiative, University of Birmingham, Engeland, maart 1991.

- Cursus Mathematica Hogeschool Utrecht, 22-25 okt 1991.

Thije Boonkamp, J.H.M. ten: - Device simulatie, gastcollege Univ. Wuppertal,

Duitsland, juli 1991. Ven, A.A.F. van de: - Magneto-elastic buckling of superconducting

coils, 13th IMACS-congress, Dublin, Ireland, juli 1991.

Afstudeerverslagen studierichting wiskunde Wijckmans, P.M.E.J. Etsen onder invloed van natuurlijke convectie. Bertram, D.J. Oplossen van hypo-elastoplastische en hyper-elastoplastische materiaalmodellen. Leeuwe, F.O. van Analytische oplossing voor enkele men.


3.4.4 VAKGROEP BESLISKUNDE EN STOCHASTIEK (B&S) Dissertaties - Wetenschappelijke publicaties Rijpkema, J.: A first course on linear algebra with PC-MATLAB; experiences at Eindhoven University of Technology. Maths and stats, 2, 2, 1991, pp.14-15. Rijpkema, J.J.M.; Smits, J.G.M.M.: Mathematics and statistics courses with a PC: Experiences at TU Eindhoven. Proceedings of the 6th European Seminar on Mathematics in Engineering Education, Budapest, 1991, pp. 143-148. Rijpkema, J.J.M.; Simons, F.H.; Smits, J.G.M.M.: Mathematics courses with a PC . International Journal of Mathematical Education in Science and Technology, 22, 1991, p.791-798. Rijpkema, J.J.M; Smits, J.G.M.M.: Aspects of the use of PC in mathematics courses, illustrated from a linear algebra course with PC-MATLAB. Schriftenreihe Didaktik der Mathematik, 21 Wien, 1991, pp. 247-254. Vakpublicaties Boekbesprekingen Aarts, E.H.L.; Boekbespreking van R.G.Jeroslow; Logic-based decision support: mixed integer model formulation. Med. Wisk. Gen., 34, 1991, p 85. Geldrop, J.H. van: Boekbespreking van B. Kaper: Wiskundige methoden en technieken in de economie, analyse. Med. Wisk. Gen., 34, 1991, p.186. Laan, P. van der: Boekbespreking van: Richard. L. Scheaffer en James T. McClave: Probability and Statistics for Engineers, PWS-Kent Publishing Company, Boston, 1990, third ed., pp. 696. Kwantitatieve Methoden, 37, 1991.

Laan, P. van der: Boekbespreking van: D.J. Saville en G.R. Wood: Statistical Methods: The Geometric Approach. Springer-Verlag, New York, Barcelona. Metrika, 1991. Overdijk, D.A.; Boekbespreking van L. Lojasiewecz: An Introduction to the Theory of Real Functions. Med. Wisk. Gen., 34, 1991, p. 187. Wessels, J.; Boekbespreking van: Güth, W. and B. Kalkofen, Unique solutions for strategic games, Med. Wisk. Gen., 1991 p.207. Wessels, J.; Boekbespreking van Delaney, W. and E. Vaccari, Dynamic models and discrete event simulation, Med. Wisk. Gen., 1991, p. 237. Withagen, C.A.A.M.: Boekspreking van F. Schweppe et al.: Spot pricing of electricity, (Kluwer, Boston, 1988, pp. 335). European Journal of Political Economy 6, 1991, pp. 591-593. Technische rapporten Wijnen, J.Th.M.: Taguchi methods. Memorandum COSOR 91-31, EUT, Eindhoven, 1991, pp. 8. Withagen, C.A.A.M.; Groot, F.; Zeeuw, A. de: Note on the open-loop van Stackelberg equilibrium in the cartel versus fringe model, intern rapport, pp.8. Withagen, C.A.A.M.; Levhari, D.: Optimal management of renewable resources, intern rapport, pp. 15. Overige producten van wetenschappelijke activiteit Preprints Adan, I.J.B.F.; Houtum, G.J. van; Wessels, J.; Zijm, W.H.M.: A compensation procedure for multiprogramming queues. Memorandum 91-13, 1991, pp. 22. Submitted for publication.


Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Matrix-geometric analysis of the shortest queue problem with threshold jockeying. Memorandum 91-24, 1991, pp. 7. Submitted for publication. Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Analysing multiprogramming queues by generating functions. Memorandum 91-25, 1991, pp. 8. to appear in SIAM Journal of Applied Math. Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: A compensation approach for two-dimensional Markov processes. Memorandum COSOR 91-28, 1991, pp. 30. Submitted for publication. Einmahl, J.; Haan, L. de, Huang Xin: Estimating a multidimensional extreme-value distribution. Report 9129A, Econometric Institute, Erasmus University, Rotterdam, pp. 17. preprint. Einmahl, J.; Deheuvels, P.: Approximations and two-sample tests based on P-P and Q-Q plots of the Kaplan-Meier estimators of lifetime distributions. Memorandum COSOR 91-16, EUT, Eindhoven, 1991, pp. 20. preprint. Huijberts, H.J.C.; Withagen, C.: Local asymptotic stability of optimal steady states. Intern rapport, nov. 1991, pp. 10. Laan, P. van der: A new look at the rank-transform procedure in reference to some multivariate repeated measures designs by M.G. Akritas and S.F. Arnold. Submitted for publ. to the J. Amer. Statist. Assoc.. Nemhauser, G.L.; Savelsbergh, M.W.P.: A cutting plane algorithm for the single machine scheduling problem with release times. Memorandum COSOR 91-05, EUT, Eindhoven, 1991, pp. 21. Zal verschijnen in S. Tufecki (ed.). New Frontiers in the Theory and Practice of Combinatorial Optimization, Springer Verlag. Praagman, C.; Soethoudt, J.M.: A note on finite memory in locally square integrable systems, 1991, pp. 8. Accepted by System and Control letters.

Savelsbergh, M.W.P.: The vehicle routing problem with time windows: minimizing route duration. Memorandum COSOR 91-03, EUT, Eindhoven, 1991, pp. 15. Accepted by ORSA Journ. on Computing. Stoorvogel, A.A.; Trentelman, H.L.: The mixed H2 and H∞ control problem. Te verschijnen in Proc. Workshop on Robust Control, Tokyo, 1991. Stoorvogel, A.A.; Saberi, A.; Chen, B.M.: Characterization of all closed-loop transfer function matrices in H∞-optimization. The verschijnen in Proc. 1991 Allerton Conf. on Communication, Control and Computing, jul. 1991. Stoorvogel, A.A.; Saberi, A.; Chen, B.M.: Full and reduced order observer based controller design for H2-optimization, ingediend voor public. mei 1991. Stoorvogel, A.A., Weeren, A.J.T.M.: The discrete time Riccati equation related to the H∞ control problem, ingediend voor publicatie, sept. 1991. Voordrachten Einmahl, J.: - Estimating a multidimensional extreme value

distribution, 23e Journées de Statistique Strasbourg, Strasbourg, Frankrijk, mei 1991.

- Quantiles and quantile processes based on multivariate observations, Eight International Conference on Probability on Banach Spaces, Brunswick, Maine, USA, juli 1991.

Geldrop, J.H. van: - Lyapunov stability and convergence of trade

curves in a pure exchange economy, Mathemati-cal Economics Seminar on Dynamic Processes in Economics and Stability, CORE, Louvain-la-Neuve, België

- Existence of general equilibria in infinite horizon economies with exhaustible resources. The continuous-time case. Econometric Society European Meeting, Cambridge, UK.

Habets, L.C.G.J.M.: - Robust stabilization in the Gap-topology.

Voordracht in de serie colloquia in de "Graduate School of Systems and Control' van het Netwerk Systeem- en Regeltheorie, maart 1991.

Hoesel, C.P.M. van: - Linear description of the discrete lot sizing and

scheduling problem, CORE, Louvain-la-Neuve, dec. 1991.


Hoogeveen, J.A.: - Complexity of single-machine bicriteria

scheduling, Workshop NP-completeness, the first 20 years, Erice, Italië, juni 1991.

- New upper and lower bounds for scheduling around a small common due date, EURO XI-conferentie, Aken, Duitsland, juli 1991.

- Complexity of single-machine bicriteria scheduling, Fourteenth Intern. Symp. on Math. Programming, Amsterdam, aug. 1991

Huijberts, H.J.C.; - Dynamic feedback in non-linear synthesis

problems, Systeemtheoriedag, U.T., juni 1991. Hurkens, C.: - Nasty TSP-instances for classical insertion

heuristics, 14th International Symposium on Mathematical Programming, Amsterdam, aug. 1991.

Laan, P. van der: - Distribution theory for selection from logistic

populations, Symposium on Biostatistics and statistics in honour of Charles W. Dunnett, McMaster Univ., Hamilton, Ontario, Canada, mei/juni 1991.

- The efficiency of subset selection of an almost best treatment, 19th European Meeting of Statisticians, Barcelona, Spanje, sept. 1991.

- Statistische selectie: een manier van denken ?, KUB , Tilburg, nov. 1991.

Lenstra, J.K.: - Local search for routing problems with side

constraints, Conference on Combinatorial Optimization, Oberwolfach, Duitsland, jan. 1991

- A short course in deterministic machine scheduling, Dipartimento di Elettronica, Informatica e Sistemistica, Univ. di Bologna, Bologna, Italië, mei 1991.

- An introduction to local search, Second National Workshop Landelijk Netwerk Mathematische Besliskunde, Technische Univ. Eindhoven, Eindhoven, juni 1991.

- Job shop scheduling, Siebenter Berliner Algoritmen-Tag, Techn. Univ. Berlin, Berlijn, Duitsland, juli 1991.

- Parallel computing in combinatorial optimi-zation, EURO XI, Aken, Duitsland, juli 1991.

- Local search for routing problems with side constraints, 14th Intern. Symposium on Mathematical Programming, Amsterdam, aug. 1991.

- Combinatorische optimalisering in de praktijk, Najaarssymposium van het Wiskundig Genoot-schap, CWI, Amsterdam, okt. 1991.

- Approximation algorithms for scheduling unrelated parallel machines, Institute for Industrial and Systems Engineering, Georgia

Institute of Techn., Atlanta, USA, nov. 1991. - Complexity of approximation, Second

Symposium on Combinatorial Optimization, Rijksuniv. Groningen, Groningen, dec. 1991.

Rijpkema, J.J.M.: - Postersessie 6th European Seminar on

Mathematics in Engineering Education, Budapest, april 1991.

- Using MATLAB to teach mathematics; University of Birmingham, maart, 1991.

Savelsbergh, M.W.P.: - MINTO, a Mixed INTeger Optimizer. IBM

Thomas J. Watson Research Center, Yorktown Heights, USA, juni 1991

- MINTO, a Mixed INTeger Optimizer. 14th Mathematical Programming Symposium, Amsterdam, aug. 1991.

Steutel, F.W.: - Blocking times and the exponential distribution,

Conf. on Stochastic Processes, Naharyia, Israël, juni 1991.

- Applications of probability in analysis, Stuttgart, Duitsland, juni 1991.

Stoorvogel, A.A.: - Robust stabilization and the singular H2 control

problem, College of Engineering Control Seminar, Univ. of Michigan, febr. 1991.

- The robust H2 control problem: a worst case design, Dept. of Electrical and Computer Engineering Seminar, Wayne State Univ., apr. 1991.

- The robust H2 control problem: a worst case design, Boeing Rivertec, Seattle, WA, mei 1991.

- Robust stabilization and the singular H∞ control problem, Control Sciences Seminar, Univ. of Washington, mei 1991.

- Robust stabilization of systems with multiplicative perturbations, Intern. symp. on the mathematical theory of networks and systems, Kobe, Japan, jun. 1991.

- Robust stabilization and the singular H ∞ control problem, Dept. of Electr. Eng., Chiba Univ., Chiba, Japan, jun. 1991.

- The mixed H2 and H∞ control problem, Workshop on Robust Control, Tokyo, Japan, jun. 1991

- The singular min. entropy H∞ control problem, ICIAM 1991, conf., Washington DC, USA, jul. 1991

- A reduced-order observer-based controller design for H∞ optimization, AIAA Conf. on Guidance, Navigation and Control, New Orleans, LA, USA, aug. 1991.

- The robust H2 control problem: a worst case design, Dept. of Electr. Eng., Texas A&M Univ. College Station, TX, Nov. 1991

- The singular H∞ control problem with


applications to robust stabilization, Dept. of Electr. Eng., Rice Univ., Houston, TX, nov. 1991

- The robust H2 control problem: a worst case design, CDC conference, Brighton, England, dec. 1991.

Wal, J. van der: - Flexible capacity, 20. DGOR Tagung,

Hohenheim, Duitsland, sept. 1991 - Floor tile manufacturing, 16. Symposium on

Operations Research, Univ. Trier, Duitsland, sept. 1991

Wessels, J.; - Kwantitatieve methoden voor logistieke

problemen, Geleen, januari 1991. - Logistic Informaton Systems, Verona, feb. 1991. - Decision Support Systems, Rotterdam, april

1991. - Methodology of Decision Analysis, Laxenburg,

Oostenrijk, april 1991. - Tools for the Interfacing between Dynamical

Problems and Models within Decision Support Systems. Laxenburg, Oostenrijk, juli 1991.

- A Compensation Approach for Two-dimensional Random Walks, Wenen, okt.1991.

- On System Analytic Tools for Supporting International Negotiations, Laxenburg, Oostenrijk, okt. 1991.

Withagen, C.A.A.M.: - General equilibrium and international trade with

exhaustible resources, Congres European Assoc. of Environmental and Resource Economists, Stockholm, Zweden, juni 1991.

- Pollution control and the Ramsey problem, Congres European Assoc. of Environmental and Resource Economists, Stockholm, Zweden, juni 1991.

Zwietering, P.J.: - Combinatorische optimalisering met neurale

netwerken, Statistische Dag, Utrecht, maart 1991.

- Neural networks and production planning, Neuro-Nimes '91: Fourth International Conference on Neural Networks & Their Applications, Nimes, Frankrijk, nov. 1991.

- Neural networks and production planning, SDS Guest Seminar at IIASA, Laxenburg, Oostenrijk, dec. 1991.

- Parallel Boltzmann machines and combinatorial optimization, Instituut voor Statistiek en Informatica, Univ. Wenen, Wenen, Oostenrijk, dec. 1991.

Afstudeerverslagen studierichting wiskunde Aert, A.J.A. van Analysis of a cyclic filling system subject to disturbances. 21-02-1991 Blois, C.J. de Analysis of the number drawing system like one can find in travel agencies. 21-02-1991 Engelen, S. mw. Een methode om de invloed van psychotrope stoffen op het EEG-patroon bij ratten na te gaan. 25-04-1991 Opstraat, J.E.M. mw. Proefopzetten bij Spectra verkregen dooor Computersimulatie. 25-04-1991 Rijntjes, R.A.N. Learning in Neural Networks: An experimental study. 25-04-1991 Weeren, A.J.T.M. Solving Discrete Time Algebraic Riccati Equations. 25-04-1991 Geraerdts, R.J.H. Evaluation of seven pairwise Multiple Comparison Procedures. 27-06-1991 Hamers, F.M.C.J. Multi server queues under preemptive resume and non preemptive priorities. 27-06-1991 Helvoort, P.E.M. van mw. Simulatieonderzoek voor de schoenenindustrie. 27-06-1991 Kraaij, M.J.A.L. van Het gebruik van neurale netwerken voor seriegrootte-bepaling. 27-06-1991 Reuvers, G.C.G.M. Simulatieonderzoek voor de schoenenindustrie. 27-06-1991 Schaap, K.I. mw. OPTSEL: A program to support the selection of a suitable optimization package and method. 27-06-1991 Waarsenburg, W.A. van de mw. The statinary state distribution of multi-server queueing systems with Erlangian distributed service times. 27-06-1991 Blaakman, E. Solution for a class of singular Linear-Quadratic Control Problems in MATLAB. 30-08-1991


Diederen, M.J.H. Periodic Scheduling wit Slack. 30-08-1991 Dongen, R.C.A. van Mapping for Video Signal Processors: Models and Algorithms. 30-08-1991 Gast, A.J. de Produktiebesturing onder beperkte besturingsmogelijkheden een op orderproducerend systeem. 30-08-1991 Gelder, P.H.A.J.M. H∞-Control Design on a Spraydryer Process. 30-08-1991 Gruisen, A.A.M. van The Design and Implementation of an Interactive ring Program for Visualizing Optimization Problems. 30-08-1991 Heemskerk, M.W. Een twee-laags voertuigroutingsprobleem. 30-08-1991 Janssen, W.J.M. Proefopzetten met SAS/QC software. 30-08-1991 Pernot, M.J.M. Logistiek onderzoek van het snelbrandovenproces in de vloertegelfabriek van Koninklijke MOSA B.V. 30-08-1991 Puschmann, E.T. Periodieke storingen. 30-08-1991 Speck, C.J. Analyse van multi-echelon lijnsystemen met eindige capaciteiten. 30-08-1991 Verkooijen, W.J.M. Job-shop scheduling by an interactive implementation of the shifting bottleneck procedure. 30-08-1991 Coevering, E.A.J. van de mw. Waarheidskansen bij het Behrens-Fisherprobleem. 24-10-1991 Wijnen, R.A.J. Simulation of a converter of self-adhesive products. 24-10-1991 Jansen, M.M. mw. Semi-markov beslissingsprocessen bij voorraadbeheersing van serviceparts. 19-12-1991 Man, C.F.M. de mw. De invloed van afzetverwachtingen bij hoge omsteltijden. 19-12-1991

Odijk, M.A. ITPN-analysis of ExSpect specifications with respect to production logistics. 19-12-1991 Rhoen, M.H.H. mw. Knooppunten zonder knelpunten "Performance-analyse van het Rabobank Tele- communicatie Netwerk". 19-12-1991


3.4.5 VAKGROEP INFORMATICA (I) Dissertaties - Wetenschappelijke publicaties Abstracts. - Vakpublicaties. Technische rapporten. Boekbesprekingen. Bijlsma, A.: Boekbespreking van Graham, R.L.; Knuth, D.E.; Patashnik, O.: Concrete mathematics: a foundation for computer science. Mededelingen van het Wiskundig Genootschap, 34, 1991, pp. 71-72. Hooman, J.J.M.: Boekbespreking van J.S. Ostroff: Temporal Logic for Real-Time Systems. Science of Computer Programming, 16(1), Elsevier, 1991, pp. 93-95. Overige producten van wetenschappelijke activiteit. Overige publicaties. Akkerman, G.J.: Baeten J.C.M.: Term rewriting analysis in process algebra. To appear in CWI Quarterly. Backhouse, R.C.: Polynomial Relators, extended Abstract. Preprint, mei 1991, pp. 28. Baeten, J.C.M.: Bergstra, J.A.: - Process algebra with signals and conditions. To appear in Proc.NATO summer School, Markt-oberdorf 1990 (M.Broyd, ed.), Springer Verlag. - The state operator in real time process algebra. To appear in Proc. REX Workshop on Real Time: Theory in Practice, Mook 1991. (J.W. de Bakker, W.P. de Roever & G. Rozenberg, eds.), Springer LNCS. - Asynchronous communication in real space process algebra. To appear in Proc. Chalmers Workshop on Concurrency, Bastad 1991.

Bijlsma, A.: - Transformation of funcional programs into logic programs. Memorandum AB27, 5 maart 1991, pp. 6. - Opklimmende getallenrijen. Memorandum P36, 10 juni 1991, pp. 7. - Evaluatie van postfixexpressies. Memorandum P35a, 24 juni 1991, pp. 9. - Two logic programs for the subset relation. Memorandum AB29, 22 november 1991, pp. 4. Boer, F.S. de: Hooman, J.: The Real-Time Behaviour of Asynchronously Communicating Processes. Preprint; to appear in: Proceedings Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, 1992, pp. 451-472. Claus, C.: Interne projectrapporten Esprit Project 5342 PROOFS. - TUE-TR-0010-V1.0-WP4 t/m TUE-TR-0016-V1.0-WP4, Introduction to data modelling + case studies + evaluation, 17.09.1991 en 23.09.1991. - TUE-TR-0019-V1.0-WP4, PROOFS pormotion material, 15.11.1991. - TUE-TR-0023-V1.0-WP4, Blueprint for developing course programs, 02.12.1991. Coenen, J.: Specifying Fault-Tolerant Programs in Deontic Logic. Preprint; to appear in: Proceeding of the 1st International Workshop on Deontic Logic in Computer Science, 1992, pp. 164-178. Coenen, J.: Hooman, J.: A Compositional Semantics for Fault-Tolerant Real-Time Systems. Preprint; to appear in: Proceedings Symposium Formal Techniques in Real-Time Systems and Fault-Tolrant Systems, LNCS 571, 1992, pp. 33-51. Dams, D.R.: Bottum-up Abstract Interpretations of Logic Programs ('90). Submitted for publication. Also appeared in dissertation of M. Codish, Weizmann Institute of Science, Rehovot, Israel, January 1991. Eijnde, J.P.H.W. van der: - Set Algorithmic Language. Memorandum JvdE, 91/9, mei 1991, pp. 27. - Algorithmics on acyclic graphs. Memorandum JvdE, 91/14, november 1991, pp. 20. Feijen, W.H.J.: - An introduction into the relational calculus. Memorandum WF140/AvG92, maart 1991, pp. 33. - Around the so-called Cone Axiom. Memorandum WF141, februari 1991, pp. 7.


- Two crisper proofs for two theorems on monotypes. Memorandum WF142, februari 1991 1991, pp. 3. - A notational observation by RC Backhouse. Memorandum WF144, maart 1991, pp. 2. - A terribly complicated formula? (of the relational calculus). Memorandum WF146, oktober 1991, pp. 3. - Designing a proof for R.S. Bird's theorem on pre-orders. Memorandum WF147, november 1991, pp. 24. - One down for the relational calculus (whether you like it or not). Memorandum WF148, november 1991, pp. 8. Feijen, W.H.J.; Gasteren, A.J.M. van: - On [x; (y^z) = x;y^z]. Memorandum WF143/AvG95, maart 1991, pp. 4. Gasteren, A.J.M. van: - On the calculational format. Memorandum AvG91, jan. 1991, pp. 11. - (>I)> = I ? Memorandum AvG93, feb. 1991, pp. 6. - On presenting parameterized types. Memorandum AvG94, feb. 1991, pp. 6. - Notation and calculation. Memorandum AvG97a, august 1991, pp. 4. Hammer, D.K.: - Bespreking boek van Tangney, B. and O'Mhony, D., LAN, Prentice Hall. In: Mededelingen van het Wiskundig genootschap, 35(2), 1992, pp. 96-97. Hee, K.M. van; Verkoulen, P.A.C.: Data, Process and Behaviour Modelling in an Integrated Specification Framework. To appear in: Proceedings 2nd International Conference on Dynamic Modelling of Information Systems, Washington, D.C., USA, 1992, pp. 129-153. Hoogerwoord, R.R.: - Functional programming by calculation. Memorandum rh153, 1991, pp. 17. - A solution to an examination exercise. Memorandum rh155, 1991, pp. 5. - Leibniz Cantor Penrose. Memorandum rh156, 1991, pp. 9. - Ter gelegenheid van de 10-de verjaardag van de studierichting Informatica. Memorandum rh159, 1991, pp. 2. - Just a caveat. Memorandum rh160, 1991, pp. 2. Hooman, J.: Compositional Verification of Real-Time Systems using Extended Hoare Triples, Proceedings REX Workshop on Real-Time: Theory in Practice. Preprint; to appear in LNCS, 1992, pp. 39.

Hooman, J.; Ramesh, S.; Roever, W.P. de: Compositional Axiomatization of Statecharts. Preprint; to appear in Theoretical Computer Science Part B (Logic, semantics, and theory of programming), tentatively: Volume 102, 1992. Hooman, J.; Roever, W.P. de: An introduction to compositional methods for concurrency and their application to real-time. To appear in: Special Issue of the Indian Academy of Science, pp. 48. Preprint; a revised version will appear in: Springer-Fachbericht "Formale Beschreibungstechniken für verteilte Systeme", 1992, pp. 44. Josephs, M.B.: Mak, R.H.: Udding, J.T.: Verhoeff, T.: Jantchev, J.T.: High Level Design of an Asychronous Packet-Routing Chips. Submitted to DCC 92 and accepted. pp. 15. Luit, E.J.; Mombarg, V.A.P.: Prototype DEDOS on-line scheduler. (software) Documentatie: User Manual for the DEDOS Hard Real-Time On-line Scheduler (intern rapport). Overveld, C.W.A.M. van: Beyond Bump Maps: an application of non-linear mappings in computer graphics. Submitted and accepted for publication in Computer Aided Design (1991). To appear in 1992. Overveld, C.W.A.M. van; Loon, E. van: Hanging cloths and dangling rods: a undified approach to contraints in computer animation. Submitted and accepted for publication in The Visual Computer (1991). To appear in 1992. Overveld, C.W.A.M. van: Building Blocks for Goal Directed Motion. International Workshop on computer animation in Vienna (Austria), september 1991. To appear in the Proceedings of the Workshop, 1992. Overveld, C.W.A.M. van: The application of morphological filters to tackle discretisation artefacts. Submitted and accepted for publication in The Visual Computer (1991). To appear in 1992. Paredaens, J.; Andries, M.; Gemis, M.; Thyssens, I.; Bussche, J. van den: Concepts for graph-oriented object-manipulation. To appear in EDBT92, Proceedings International Conference Extending Database Technology, Wien, 1992.


Paredaens, J.; Thyssens, I.; Bussche, J. van den; Gucht, D. van: A Graph-Oriented Object Database Model. Submitted to IEEE Transactions on Knowledge and Data Engineering, 1991, Paredaens, J.; Peelman, P.: On Fundamental Aspects of Graphical Interfaces. Submitted to La Revue des Sciences et Technologies, 1991. Roosmalen, O. van; Stok, P. van der: An object oriented approach to dependable responsive systems. Submitted to M. Malek and G. le Lann (eds), Proceedings of the First international workshop on responsive computer systems, INRIA, Le Chesnay Cedex, to be published. Schols, H.M.J.L.: Korst, M. van de: Peeters, A. (eds.): Proceedings Workshop on Design and Implementation of Asynchronous Circuits, (draft version; final version to appear in 1992). Schols, H.M.J.L.: Draft hoofdstukken van proefschrift "Delay-insensitive communication": 1 Formalism and notation, pp. 15. 2 Communication model, pp. 39. 3 Computation interference hazard, pp. 17. 4 Communicating delay-safely, pp. 37. 6 Composition, pp. 19. Appendix B, pp. 22. References, pp. 16. Somers, L.J.A.M.: - ExSpect release 3.0. Uitgebracht 13.06.1991. - ExSpect release 3.1. Uitgebracht 11.11.1991. Verhoeff, T.: - Factorizations in Process Domains. Technical

Note, March 1991, pp. 6. - Sharing LaTex-Related Files. Internal Memorandum, June 1991, pp. 5. - A Beautiful Characterization of Equivalence

Relations. Technical Note, July 1991, pp. 1. - An Application of the Life Theorem. Technical

Note, August 1991, pp. 4. - Some Theorems of Trace Theory and Their

Proofs. Technical Note, September 1991, pp. 7. Verhoosel, J.: A Fromal Scheduling Model for DEDOS. Intern rapport, november 1991, pp. 26.

Zhou, P.: Compositional Verification of Real-Time Ssytems with Explicit Clock Temporal Logic. Submitted to IEEE Transactions on Software Engineering - Special Issue on Specification and Analysis of Real-Time Systems. Zwiers, J.; Coenen, J.; Roever, W.P. de: A Note on Compositional Refinement. Preprint; to appear in: Proceedings of the 5th BCS-FACS Refinement Workshop. Voordrachten. Aarts, E.H.L.: - Local search algorithms.

Uitwisselingsprogramma GEWIS, TUE, Eindhoven, 28.03.1991.

- Neural networks 1. Workshop LNMB, TUE, Eindhoven, 18.06.1991.

- Neural netowrks 2. Workshop LNMB, TUE, Eindhoven, 19.06.1991.

- Combinatorial optimization and VLSI design. Universität zu Köln, 15.04.1991.

- Combinatorial optimization and VLSI design. Philips Nat.Lab. Groep Beenker, Eindhoven, 08.05.1991.

- Local search. EURO XI, Aachen, 19.07.1991. - Local search. International Symposium on

Mathematical Programming, Amsterdam, 09.08.1991.

Aerts, A.T.M.: - Transforming Functional Database Schemes to

Relational Representations. Glasgow, 4 juli 1991.

Andries, M.; Paredaens, J.: - A language for generic graph transformations.

17th International Workshop on Graph-Theoretic Concepts in Computer Science WG91, Richterheim Frischbachau, BRD, 17-19.06.1991.

Backhouse, R.C.: - A Proof-editor system. Logical Foundations of

Program construction, Dagstuhl, BRD, 25-28.02.1991.

- A Relational Theory of Datatypes. Logical Foundations of Program construction, Dagstuhl, BRD, 25-28.02.1991.

- Wiskunde van het Programmeren. Reunistendag, TUE, 18.04.1991.

- Polynomial Relators. 2nd conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25.05.1991.

- Calculating a path algorithm. Cal Tech, USA, 20.05.1991.

- Naturality Properties. GMD Karlsruhe, 13.09.1991.

- A Relational theory of Datatypes. STOP workshop, Nijmegen, 16-17.12.1991.


- A Relational theory of Datatypes. Colloquium TUE, 22.03.1991.

Baeten, J.C.M.: - Discrete time process algebra, pre-REACT

Workshop, Kiel, BRD, 19-22.11.1991. - Process algebra: an introduction and some time,

Concurrency Colloquium, Eindhoven, 13.12.1991.

Borghuis, V.A.J.: - Modal natural deduction in type theory.

Zuidelijk Interuniversitair Colloquium, TUE, 15.01.1991.

- Modale natuurlijke deductie in typentheorie. Seminar on intensional logic, UvA, Amsterdam, 15.02.1991.

- Modal logic in the propositions-as-types interprentations. Lambda intercity colloquium, RUU, 15.03.1991.

Bra, P. de: - Hypertext aan de Vrije Universteit Brussel.

Seminarie Informatica, Brussel, 28.02.1991. - Hypertext reference models. Euregio workshop,

TU Aachen, 04-05.05.1991. - The GOOD Based Hypertext Reference Model.

Hypertext workshop, KUN, Nijmegen, 13.06.1991.

Bussche, J. van den; Paredaens, J.: - The Expressive Power of Structured Values in

Pure OODB's. Tneth ACM SIGACT-SIGMOD-SIGART Symposium of Database Systems, Denver, USA, 29-31.05.1991.

Coenen, J.: - Assertional Data Reification Proofs: Survey and

Perspective. BCS-FACS Fourth refinement workshop, Wolfson College, Cambridge, UK, 09.01.1991.

- Specifying Fault-Tolerant Programs in Deontic Logic. SION/STW Fault Tolerance workshop, Plasmolen, 03.05.1991.

- Specifying Fault-Tolerant Programs: Or what Deontic Logic can do for Computer Science. Institut für Informatik und Praktische Mathematik II, Kiel, BRD, 10.06.1991.

- Assertional Data Reification Proofs: Survey and Perspective. 6th Plennary Meeting Esprit Project 3096, Sigtuna, Sweden, 02.09.1991.

- How to Deal with Lazy Programmers in Deontic Logic. SION/STW Fault Tolerance workshop, Plasmolen, 30.10.1991.

- Specifying Fault-Tolerant Programs in Deontic Logic. DEON '91, First International Workshop on Deontic Logic in Computer Science, Amsterdam, 12.12.1991.

Dams, D.R. - Derivation and Safety of an Abstract

Unification Algorithm for Groundness and Aliasing Analysis, International Conference on Logic Programming, Parijs, 26.06.1991.

Eiben, A.E.: - Search Based Planning for Decision Support.

Optimization-Based Computer Aided Modelling and Design Symposium, Den Haag, april 1991.

- A General Search Procedure: Theoretical and Practical Issues. Bar-Ilan Symposium on the Foundations of Artificial Intelligence, Tel Aviv, june 1991.

- A New Concept for Operational Decision Support Systems. Decision Support Systems workshop, Noordwijkerhout, june 1991.

- Genetic Algorithms and Simulated Annealing. Werkgroep Artificial Intelligence VU Amster-dam, september 1991.

- Heuristic Search for Planning Problems. Workshop on Data, Expert Knowledge and Decision, Ulm, september 1991.

Geldrop, R. van: - Transformational Query Solving. CWI

Amsterdam, 16-18.10.1991. Gerth, R.: - Verifying Self Modifying Code. Zuidelijk

Interuniversitair Colloquium, TUE, Eindhoven, 29.01.1991.

- Interface Refinement Dagstuhl seminar on "Concurrent Systems: Sematics, Specification and Synthesis", Dagstuhl, Duitsland, 10-15.03.1991.

- Abstract Shared Resources, REX Workshop 'Real-Time: Theory in Practice', Mook, 03-08.06.1991.

- Abstract Shared Resources, SPEC-ONR workshop on concurrency, Auch, Frankrijk, 04-06.07.1991.

- Formal Verification of Self Modifying Code, Internat. Conf. for Young Computer Scientists, Beijing, China, 18-20.08.1991.

- Interface Refinement SPEC-REACT pre-workshop, Kiel, Duitsland, 19-23.11.1991.

Hammer, D.K.: - Meervoudig kijken naar informatie en

communicatie, gericht omgaan met informatietechnologie. Vrije Hogeschool, Driebergen, 22.02.1991.

- DEDOS. Philips Nat.Lab., Waalre, 16.10.1991. - DEDOS, Philips BCS, Hilversum, 04.09.1991. - Gericht omgaan met Informatie Techniek. Vrije

Hogeschool, Driebergen, 21.06.1991. - The use of a Distributed Operating System (DOS)

for the construction of automatic production environments. BIBA congres, Bremen, BRD, 11-14.11.1991.


Hee, K.M. van: - Specificeren met ExSpect. KUN, Nijmegen,

27.03.1991. - Executable specifications with ExSpect.

McMaster University Hamilton, Ontario, Canada, 25.09.1991.

- ExSpect a formalism and tool to specify distributed systems. University of Waterloo, Ontario, Canada, 06.11.1991.

- Formal approaches to systems analysis. University of Waterloo, Ontario, Canada, 03.12.1991.

Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: - Modelling Systems with ExSpect. First Working

Conference of IFIP-TC WG 7.6 on Optimization-Based Computer-Aided Modelling and Design, Den Haag, 02-04.04.1991.

Hoogerwoord, R.R.: - Functional Programming by Calculation.

University of Waterloo, Canada, 16.02-16.03.1991.

- Functional Programming by Calculation. University of Calgary, Canada, 04-06.03.1991.

Hooman, J.: - Specification and Compositional Verification of

Real-Time Systems using Metric Temporal Logic. Dagstuhl-seminar on Concurrent Systems: Semantics, Specification and Synthesis, Dagstuhl, BRD, 11.03.1991.

- Compositional Verification of Real-Time Systems using Extended Hoare Tripels. REX Workshop Real-Time: Theory and Practice, Plasmolen, 04.06.1991.

- A Denotational Real-Time Semantics for Shared Processors. Parle '91, Parallel Architectures and Languages Europe, Veldhoven, 11.06.1991.

- Compositional Verification of Real-Time Systems using Extended Hoare Tripels. Informatica colloquium, TUE, Eindhoven, 21.06.1991.

- Specification and Verification of Real-Time Systems using Metric Temporal Logic. ICYCS '91 Towards The Future, Beijing, China, 20.07.1991.

- Compositional Verification of Real-Time Systems. Universiteit Oldenburg, BRD, 04.11.1991.

- Using Metric Temporal Logic to Verify Real-Time Systems. Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 12.11.1991.

Houben, G.-J.; Paredaens, J.: - The GOOD based hypertext model. Euregio

Database Days, Aachen, BRD, 04-05.04.1991

Huizing, C.: - A formalism for real-time reactive systems.

REX Workshop on Real-Time: Theory and Practice, Plasmolen, 03-07.06.1991.

- Semantics of Statext and Activitycharts. Preperatory Meeting of North European Partners for BRA 2 project REACT, Kiel, BRD, 19-22.11.1991.

Kaldewaij, A.: - Rank order filters and priority queues. Philips

Research Laboratories Eindhoven, sept. 1991. Kuiper, R.: - Interface Refinement. University of Manchester,

UK, 29.02.1991. - Interface Refinement. Rex-dag, Amsterdam,

25.10.1991 - Interface Refinement. Dagstuhl-seminar on

Concurrent Systems: Semantics, Specification and Synthesis, Dagstuhl, BRD, 10-15.03.1991.

- Compositionality Reconsidered. GMB, Bonn, BRD, 05.06.1991.

- Compositionality Reconsidered. Warsaw University, Polen, 06.11.1991.

- Comparing Modal Logics and Equivalences. Preperatory Meeting of North European Partners for BRA 2 project REACT, Kiel, BRD, 22.11.1991.

- Comparing Modal Logics and Equivalences. Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 10.12.1991.

Mulder, J.; Overveld, C.W.A.M. van; Stoffels, S.: - A transputer implementation of a Discrete

Bilinear Blending Algorithm Poster session held at the ISPRA workshop, Milano, Italy, 05.12.1991.

Nederpelt, R.P.: - The structure of terms in typed lambda calculi,

Lambda-Intercity Colloquium, Utrecht, 18.01.1991.

- Getypeerde lambda-calculus met ingebouwde subtitutie en segmentdefinities, Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 09.04.1991.

- De Kracht van de wiskundige taal, Vereninging voor Wijsbegeerte te s'-Gravenhage/Alg. Ned. Vereniging voor Wijsbegeerte, den Haag, 25.05.1991.

- Deriving strong normalization from weak normalization in typed lambda calculus, Lambda-Intercity Colloquium, Utrecht, 21.06.1991.

- Strong normalization, Lambda-Intercity Colloquium, Utrecht 20.09.1991.


Overveld, C.W.A.M. van: - Dynamics simulation en motion control for

computer animation. Een invited lecture in het kader van het computer graphics colloquium van de Ecole Normale Superieure in Parijs, 04.12.1991.

Paredaens, J.: - Grafical interfaces for Object Oriented Database

Systems. Politechnico di Milano, Italy, 05.08.1991.

- Grafische interfaces voor Object georienteerde Gegevensbanken. Vrije Universiteit Brussel, Belgie, 21.03.1991.

- The Expressive Power of Structured Values in Pure OODB's. Euregio Database Days, Aachen, BRD, 04-05.04.1991.

- Presentation of two projects: MODEM and GOOD. Flanders Technology, Belgium, 20-28.04.1991.

Paredaens, J.; Bussche, J. van den; Thyssens, I.;

Gemis, M.; Andries, M.: - Concepts for graph oriented object

manupilation. Meeting on Data Base Engineering, Contact Group NFWO-FNRS on Computer Systems, 18.11.1991.

Peelman, P.; Paredaens, J.: - G-LOG, een graaf georienteerde specificatie

taal. Databasedag, Twente, 16.05.1991. Schols, M.J.L.: - Symposium Wiskunde van de Industie. TUE,

07.06.1991. Somers, L.J.A.M.: - Z and high-level Petri nets. VDM'91, Formal

Software Development Methods, 21-25.10.1991 - The ExSpect tool. VDM'91, Formal Software

Development Methods, 21-25.10.1991. - Demonstration ExSpect. VDM'91, Formal

Software Development Methods, 21-25.10.1991. - ExSpect. XII-th International Conference on

Application and Theory of Petri nets, Gjern, Denmark, 24-28.06.1991.

- Demonstration ExSpect. XII-th International Conference on Application and Theory of Petri nets, Gjern, Denmark, 24-28.06.1991.

Stok, P. van der: - Shared data concepts for DEDOS. Tenth IFAC

Workshop on Ditributed Computer Control Systems, Semmering, Austria, 09-11.09.1991.

- Object Oriented approach to dependable responsive systems. First International Workshop on Responsive Computer Systems, Golfe Juan, France, 03-04.10.1991.

- An overview of DEDOS. Software

colloquium TU Delft, Delft, 29.04.1991. Verhoeff, T.: - Causal Nets and Trace Sets, Oxford University,

Computing Laboratory, 18.01.1991. for Programming Research Group.

- Factorisatie in procesdomeinen, Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 18.03.1991.

- Asynchronous Design of a Router, ProRISC/IEEE conferece presentation, 04.04.1991.

- Chipontwerp en programmeren, Reunistendag TUE, Eindhoven, 18.04.1991.

- Factorization in process domains, Dept. of Computer Science, Univ. of Waterloo, Ontario, Canada, 23.10.1991.

Verkoulen, P.A.C.: - Integration of a Data Model and Petri Nets.

Sligos, Paris, France, 16.04.1991. - Towards Integrating Data and Process

Modelling: The L2 Model. ISDF workshop, De Lutte, 28.05.1991.

- An Integrated Approach to Modelling Structural and Behavioral Aspects of Complex Objects. Thirth International Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, 24.09.1991.

- Integrated Modelling of Structural and Behavioral Aspects of Complex Objects. Computing Science in the Netherlands, Utrecht, 08.11.1991.

- Integrated Modelling of Structural and Behavioral Aspects of Complex Objects. 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, 26-28.06.1991.

- Data, Process and Behaviour Modelling in an Integrated Specification Framework. Second International Conference on Dynamic Modelling of Information Systems, Washington, D.C., USA, 18.07.1991.

- Data, Process and Behaviour Modelling in an Integrated Specification Framework. International Workshop on the Next Generation of CASE Tools, Trondheim, Norway, may 1991.

- Two Case Studies in ExSpect. International Workshop on the Next Generation of CASE Tools, Trondheim, Norway, may 1991.

Vet, A.C.F.M. de: - Modelleren van Planningsomgevingen en

Planningsproblemen. DSS workshop, Noordwijkerhout, 26-27.06.1991.

- A Method and Tool for Constructing Decision Support Systems. IFIP TC8/WG8.3/WG8.4 Working Conference on Support Functionality in the Office Environment, Canterbury, Kent, U.K., 9-12.09.1991.


Voermans, T.S.: - Pers as types, Inductive Types and Types with

Laws. Phoenix Seminar and Workshop, Sasbachwalden, BRD, 18-22.11.1991.

- Pers as types an Inductive types with laws and restricions. University of Oxford, UK, 5-11.05.1991.

- Pers as types an Inductive types with laws and restricions. Glasgow University, UK, 11-24.05.1991.

- Demonstratie Proof-Editor. Manchester University, UK, 24-25.05.1991.

Woude, J.C.S.P. van der: - C4. Eurics Workshop, Ameland, 22-27.09.1991. - Relational Tupling. Eurics Workshop, Ameland,

22-27.09.1991. ♦

Date post:	23-Mar-2018
Category:	Documents
Upload:	vuonghanh
View:	214 times
Download:	2 times

Lotgevallen W&I 1991 – p - Faculteit Wiskunde en · PDF file ·...

Documents