IMM Publications - 1989

Journal papers

• Bjørner, D., Facets of Software Development: Computer Science & Programming, Engineering & Management, J. of Comput. Sci. & Techn., vol. 4(3), pp. 193-203, Academia Sinica, 1989 [full] [bibtex]
  
  
• Hansen, M. R., Hansen, B. S., Lucas, P., Integrating Relational Databases and Constraint Languages, Computer Languages, vol. 14(2), pp. 63-82, 1989 [full] [bibtex]
  
  
• Nielsen, H. B., Methods for Analyzing Pipe Networks, ASCE Journal Hydraulic Engineering, vol. 115(2), pp. 139-157, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 1989 [full] [bibtex]
  
  
• Nielson, F., Two-Level Semantics and Abstract Interpretation, Theoretical Computer Science -- Fundamental Studies, vol. 69, pp. 117-242, 1989 [full] [bibtex]
  
  
• Steensgaard-Madsen, J., Typed Representation of Objects by Functions, ACM Transactions on Programming Languages and Systems, vol. 11(1), pp. 67-89, 1989 [full] [bibtex]
  
  
• Vidal, V. V., Madsen, O. G., Booking control increases profit at SAS, Interfaces, vol. 19(4), pp. 10-19, 1989 [full] [bibtex]
  
  
• Vidal, V. V., Lagrange relaxation and Dantzig-Wolfe decomposition, Control and Cybernetics, vol. 18(3-4), pp. 43-48, 1989 [full] [bibtex]
  
  

Conference papers

• Andersen, A., Madsen, J., Madsen, R., Pallisgaard, H., Automatic Synthesis of Multilevel Combinational Logic, Proceedings of the 4th NORSILC/NORCHIP seminar, 1989 [full] [bibtex]
  
  
• Barker, V. A., Nielsen, B. F., The analysis of service protection methods in service integrated networks by large scale Markov processes, OR31, 1989 [full] [bibtex]
  
  
• Bjørner, D., Specification and Transformation: Methodology Aspects of the Vienna Development Method, TAPSOFT'89, pp. 1-35, SV, 1989 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Robotvision. Robotteknik: Anvendelser og udvikling, Seminar, Institut for styreteknik, pp. 10.1-10.10, 1989 [full] [bibtex]
  
  
• Ersbøll, B. K., Opbygning af et vision-system til industriel kvalitetskontrol. Kompendium., Visiondage på IMSOR, pp. 42-74, 1989 [full] [bibtex]
  
  
• Haxthausen, A. E., Recursive Algebraic Specifications and their Semantics, Proceedings of the IFIP'89, North-Holland, 1989 [full] [bibtex]
  
  
• Haxthausen, A. E., Parameterized Algebraic Domain Equation, Proceedings of Categorical Methods in Computer Science, vol. 393, Springer-Verlag, 1989 [full] [bibtex]
  
  
• Iversen, V. B., Kragh, A. L., Nielsen, B. F., The exact evaluation of the {M/D/1/n, NTS-8, pp. III.2.1-III, 1989 [full] [bibtex]
  
  
• Jørgensen, H. N., Paaske, E., Pedersen, S., Sparsø, J., Design and implementation of a full-custom single chip Viterbi decoder, Proc. of NORCHIP/NORSILC seminar, Stockholm, October 23-24, pp. 13.0-13.9, 1989 [full] [bibtex]
  
  
• Madsen, H., Nielsen, B. F., Estimation of traffic models for a packet-switched network, NTS-8, pp. V.4.1-V.4.1, 1989 [full] [bibtex]
  
  
• Madsen, J., A New Approach to Optimal Cell Synthesis, Proceedings of the IEEE International Conference on Computer-Aided Design, ICCAD-89, pp. 336 - 340, 1989 [full] [bibtex]
  
  
• Nielsen, B. F., A Tool for Performance Analysis of Product Form Queueing Networks - ANQUEUE, NTS-8, pp. III.1.1-III, 1989 [full] [bibtex]
  
  
• Nielson, F., The Typed Lambda-calculus with First-Class Processes, Proc. PARLE'89, vol. 366, pp. 357-373, Springer-Verlag, 1989 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., The Mixed Lambda-Calculus and Combinatory Logic (an overview), Computing and Information 1989, pp. 39-45, North-Holland, 1989 [full] [bibtex]
  
  
• Riis Nielson, H., Nielson, F., Transformations on Higher-order Functions, Proc. FPCA'89, pp. 129-143, ACM Press, 1989 [full] [bibtex]
  
  
• Sparsø, J., Jørgensen, H. N., Paaske, E., Pedersen, S., Rübner-Petersen, T., A Fully Parallel VLSI-implementation of the Viterbi Decoding Algorithm, Proc. of ESSIRC'89, 15th European Solid State Circuits Conference, Vienna, 20-22 September, pp. 232-235, 1989 [full] [bibtex]
  
  
• Vidal, V. V., OR-technology, OR and the Social Sciences, pp. 157-164, Plenum, NY, 1989 [full] [bibtex]
  
  

• Carstensen, J. M., Conradsen, K., Teksturanalyse, Visiondag på DTU, pp. 28-41, 1989 [full] [bibtex]
  
  
• Holst, H., Beskrivende statistik, ATV-møde: Statistiske metoders anvendelse ved forureningsundersøgelser, pp. 1-10, ATV, 1989 [full] [bibtex]
  
  
• Holst, H., Principal komponent analyse: En metode til reduktion af store datamængder, ATV-møde: Statistiske metoders anvendelse ved forureningsundersøgelser, ATV, 1989 [full] [bibtex]
  
  
• Vidal, V. V., Computerized Management of Industrial Solid Waste, Conference on the system analysis approach to environmental and natural resources management in the Baltic region, Poland, pp. 259-274, 1989 [full] [bibtex]
  
  
• Vidal, V. V., The Role of Systems Analysis in environmental and natural Resources Management, Conference on the Systems Analysis Approach to Environmental and Natural Resources Management, Poland, pp. 11-21, 1989 [full] [bibtex]
  
  

Books

• Vidal, V. V., Et informationssystem til registrering og vurdering af fast affald fra erhversvirksomheder (raporter for Miljøkontrol i Københavns Kommune), pp. 277, IMSOR, DTH, 1989 [full] [bibtex]
  
  

Ph.D. theses

• Nielsen, B. K., Transformations and Classifications of Remotely Sensed Data - Theory and Geological Cases, pp. 297 pp., IMSOR, Technical University of Denmark, DTU, 1989 [full] [bibtex] [pdf]
  
  

Technical reports

• Bjørner, D., A PrCoS Project Description, DTU-ID, 1989 [full] [bibtex]
  
  
• Nielsen, B. F., Anvendelse af kønetværk til produktionsstyring, IMSOR, 1989 [full] [bibtex]
  
  
• Sparsø, J., Jørgensen, H. N., Paaske, E., Pedersen, S., Rübner-Petersen, T., A Fully Parallel VLSI-implementation of the Viterbi Decoding Algorithm, pp. 1-9, Department of Computer Science, Technical University of Denmark, 1989 [full] [bibtex]
  
  
• Vidal, V. V., An anlytical solution to a simple distribution problem, pp. 6, IMSOR, DTH, 1989 [full] [bibtex]
  
  
• Vidal, V. V., The generalized maximum principle: an introduction, pp. 19, IMSOR, DTH, 1989 [full] [bibtex]
  
  

Lecture notes

• Vidal, V. V., Lagrange multiplicatorer - en introduktion, pp. 18, IMSOR, DTH, 1989 [full] [bibtex]
  
  
• Vidal, V. V., Production scheduling in a steel mill, pp. 20, IMSOR, DTH, 1989 [full] [bibtex]