IMM Publications - 1988

Journal papers

• Conradsen, K., Ersbøll, B. K., Determination of material properties by means of the GOP 300, Materialenyt, pp. 73-88, 1988 [full] [bibtex]
  
  
• Hansen, M. R., Algebraic Optimization of Recursive Database Queries, INFOR, vol. 26(4), pp. 286-298, 1988 [full] [bibtex]
  
  
• Juel, H., Love, R. F., A localization property for facility location problems with arbitrary norms, Naval Research Logistics, vol. 35, pp. 203-207, 1988 [full] [bibtex]
  
  
• Nielson, F., Strictness Analysis and Denotational Abstract Interpretation, Information and Computation, vol. 76(1), pp. 29-92, 1988 [full] [bibtex]
  
  
• Nielson, F., Riis Nielson, H., Two-Level Semantics and Code Generation, Theoretical Computer Science, vol. 56, pp. 59-133, 1988 [full] [bibtex]
  
  
• Ravn, A. P., Rischel, H., Løvengreen, H. H., A Design Method for Embedded Software Systems, BIT, vol. 28(3), pp. 427-438, 1988 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Automatic Binding Time Analysis for a Typed Lambda-Calculus, Science of Computer Programming, vol. 10, pp. 139-176, 1988 [full] [bibtex]
  
  
• Vibholm, S., Thyregod, P., A study of the up and down method for nonnormal distribution functions, IEEE transactions EI, vol. EI-23, pp. 357-364, 1988 [full] [bibtex]
  
  
• Vidal, V. V., Frandsen, B. S., An analysis of a distribution system of a brewery, OMEGA, vol. 16(6), pp. 509-512, 1988 [full] [bibtex]
  
  
• Vidal, V. V., A graphical method to select the optimal target value of a process, Engineering Optimization, vol. 13, pp. 285-291, 1988 [full] [bibtex]
  
  
• Vidal, V. V., Optimization of production planning models, Investigacion Operacional (Cuba), vol. ix(3), pp. 27-36, 1988 [full] [bibtex]
  
  
• Zlatev, Z., Nielsen, H. B., Solving Large and Sparse Linear Least-Squares Problems by Conjugate Gradient Algorithms, Comput. Math. Applic., vol. 15(2), pp. 185-202, 1988 [full] [bibtex]
  
  

• Løvengreen, H. H., Ravn, A. P., Rischel, H., Konstruktion af programmel til formålsbundne systemer, CUBUS, no. 4, Dansk Datamatik Center, 1988 [full] [bibtex]
  
  

Conference papers

• Andersen, A. C., Madsen, J., Madsen, J. R., Pallisgaard, H., A Dynamic Environment for VLSI Design Tools, Proceedings of the 3rd NORSILC/NORCHIP seminar, pp. 3.0-3.26, 1988 [full] [bibtex]
  
  
• Haxthausen, A. E., Mutually Recursive Algebraic Domain Equation, Proceedings of VDM'88, vol. 328, Springer-Verlag, 1988 [full] [bibtex]
  
  
• Holst, H., Multivariabel lineær kalibrering med mange variable. Et eksempel fra foderstofindustrien, Symposium i Anvendt Statistik, pp. 31-58, UNI*C, 1988 [full] [bibtex]
  
  
• Nielsen, B. F., Service Protection by Time-in, ITC-12 Teletraffic Sciences for New Cost Effective Systems, pp. 5.4B.6.1-5., North-Holland, 1988 [full] [bibtex]
  
  
• Nielson, F., A Formal Type System for Comparing Partial Evaluators, Proc. Partial Evaluation and Mixed Computation, pp. 349-384, North-Holland, 1988 [full] [bibtex]
  
  
• Nielson, F., Nielson, H. R., 2-Level Lambda-Lifting, Proc. CAAP & ESOP '88, vol. 300, pp. 328-343, Springer-Verlag, 1988 [full] [bibtex]
  
  
• Poulsen, N. K., Holst, J., Simultanous Estimation of Innovations variance and States in a Dynamic System, Identification and System Parameter Estimation, Beijing, China, vol. 2, pp. 1263-1269, 1988 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Automatic Binding Time Analysis for a Typed Lambda-Calculus (Extended Abstract), Proc. ACM Conference on Principles of Programming Languages (POPL'88), pp. 98-106, 1988 [full] [bibtex]
  
  
• Vibholm, S., Thyregod, P., On the Analysis of the Up and Down Test for Sample Sizes up to 30, IXth International Conference on Gas Discharges and their Applications, pp. 523-526, 1988 [full] [bibtex]
  
  
• Vidal, V. V., Larsen, I., An information system for industrial solid waste management, Proceedings of ISWA 88, Copenhagen, pp. 301-308, Academic Press, 1988 [full] [bibtex]
  
  

Books

• Vidal, V. V., Bentsen, J., Teknologi og kvalifikationer, metodisk overvejelser (in Danish), pp. 144, IMSOR, DTH, 1988 [full] [bibtex]
  
  

• Ershov, A. P., Bjørner, D., Futamura, Y., Furukawa, K., Haraldson, A., Scherlis, W., Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed Computation, 1987, New Generation Computing, vol. 6(2-3), Ohmsha Ltd. and Springer-Verlag, 1988 [full] [bibtex]
  
  

• Bjørner, D., Conceptual Threads of Datalogy, Informatics and Information Technology, Children in the Information Age: Opportunities for Creativity, Innovation and New Activities, pp. 19-36, 1988 [full] [bibtex]
  
  

Master's theses

• Carstensen, J. M., Stochastic Texture Models, Institue of Mathematical Statistics and Operations Research, Technical University of Denmark, 1988 [full] [bibtex]
  
  

Ph.D. theses

• Haxthausen, A. E., Structuring Mechanisms in Formal Specification Languages, Department of Computer Science, Technical University of Denmark, 1988 [full] [bibtex]
  
  
• Holst, H., Statitisk behandling af nærinfrarøde reflektionsmålinger, no. 52, pp. 340, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1988 [full] [bibtex]
  
  
• Nielsen, B. F., Modelling of Multiple Access Systems with Phase Type Distributions, IMSOR, DTU, Denmark, 1988 [full] [bibtex]
  
  
• Olsen, K. J., Texture analysis of ultrasound images of livers, pp. 162 pp., IMSOR, Technical University of Denmark, DTU, 1988 [full] [bibtex]
  
  

Technical reports

• Iversen, V. B., Kragh, A. L., Nielsen, B. F., The exact evaluation of the {M/D/1/n, no. 10/1988, IMSOR, 1988 [full] [bibtex]