IMM Publications - 1982

Journal papers

• Juel, H., A note on solving multifacility location problems involving Euclidean distances, Naval Research Logistics Quarterly, vol. 29, pp. 179-180, 1982 [full] [bibtex]
  
  
• Juel, H., Love, R. F., Properties and solution methods for large location-allocation problems, The Journal of the Operational Research Society, vol. 33, pp. 443-452, 1982 [full] [bibtex]
  
  
• Nielson, F., A Denotational Framework for Data Flow Analysis, Acta Informatica, vol. 18, pp. 265-287, 1982 [full] [bibtex]
  
  
• Poulsen, N. K., Holst, J., Robust Self Tuning Controllers in Non Stationary Situations, Recerche di Automatica, vol. 13(2), pp. 197-217, 1982 [full] [bibtex]
  
  
• Steensgaard-Madsen, J., Technical Correspondence: Steensgaard-Madsen's reply, ACM Transactions on Programming Languages and Systems, vol. 4(1), pp. 122-123, 1982 [full] [bibtex]
  
  

• Vidal, V. V., Jespersen, P. H., Edb, matematiske modeller og industrille produktion, Naturkampen, pp. 8, 1982 [full] [bibtex]
  
  

Conference papers

• Bjørner, D., Løvengreen, H. H., Formalization of Database Systems -- and a Formal Definition of {IMS}, Eigth International Conference on Very Large Data Bases, pp. 334-347, 1982 [full] [bibtex]
  
  
• Bjørner, D., Løvengreen, H. H., Formal Semantics of Data Base, 8th Int'l. Very Large Data Base Conf., 1982 [full] [bibtex]
  
  
• Poulsen, N. K., Hols, J., Robust Self Tuning Controllers in Non Stationary Situations, Workshop on Adaptive Control, Florence, Italy, pp. 257-279, 1982 [full] [bibtex]
  
  

Books

• Bjørner, D., Jones, C., Formal Specification and Software Development, 1982 [full] [bibtex]
  
  
• Bjørner, D., Formal Description of Programming Concepts (II), IFIP TC-2 Work.Conf., Garmisch-Partkirschen, 1982 [full] [bibtex]
  
  

• Bjørner, D., Løvengreen, H. H., Formalization of Database Models, Formal Specification and Software Development, pp. 379-442, 1982 [full] [bibtex]
  
  
• Bjørner, D., Realization of Database Management Systems, pp. 443-456, 1982 [full] [bibtex]
  
  

Master's theses

• Hansen, M. R., Hansen, B. S., A Generic Application Programming System, Department of Computer Science, 1982 [full] [bibtex]
  
  
• Nielsen, T., Analyse af bispektre, Danmarks Tekniske Universitet, Instituttet for Matematisk Statistik og Operationsanalyse, 1982 [full] [bibtex] [pdf]
  
  
• Poulsen, N. K., Adaptiv regulering af ikkestationære processer, del 1, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1982 [full] [bibtex]
  
  
• Poulsen, N. K., Adaptiv regulering af ikkestationære processer, del 2, Institute of Mathematical Statistics and Operations Research (IMSOR), The Technical University of Denmark, 1982 [full] [bibtex]