IMM Publications - 1983

Journal papers

• Juel, H., Coincident optima for two-facility Weber problems, Transportation Science, vol. 17, pp. 110-113, 1983 [full] [bibtex]
  
  
• Juel, H., Love, R. F., A note on fixed point optimality criteria for the location problem with arbitrary norms: Reply, The Journal of the Operational Research Society, vol. 34, pp. 165, 1983 [full] [bibtex]
  
  
• Juel, H., Love, R. F., Hull properties in location problems, European Journal of Operational Research, vol. 12, pp. 262-265, 1983 [full] [bibtex]
  
  
• Juel, H., Love, R. F., The solution of location problems with certain existing facility structures, Canadian Journal of Operational Research and Information Processing, vol. 21, pp. 145-150, 1983 [full] [bibtex]
  
  
• Riis Nielson, H., Computation Sequences: A Way to Characterize Classes of Attribute Grammars, Acta Informatica, vol. 19, pp. 255-268, 1983 [full] [bibtex]
  
  
• Saxhof, B., Nielsen, A. A., Maisons consommant peu d'énergie: isolation et étanchéité à l'air/Low-Energy Houses: Insulation and Airtightness, Bâtiment International/Building Research and Practice, vol. 11(3), pp. 142-153, International Council for Building Research, Studies and Documentation, 1983 [full] [bibtex] [pdf]
  
  
• Spliid, H., A fast estimation method for the Vector autoregressive moving average model with exogenous variables, Journal of the American Statistical Association, vol. 78(384), pp. 843-849, 1983 [full] [bibtex]
  
  
• Thyregod, P., Comments on S. Johansens paper: Regression, Scandinavian Journal of Statistics, vol. 10, pp. 190-191, 1983 [full] [bibtex]
  
  
• Vidal, V. V., Ferreira, J. S., Optimizing a Pump-Pipe System, Investigacao Operational (Portugal), vol. 3(1), pp. 16-30, 1983 [full] [bibtex]
  
  
• Vidal, V. V., Ravn, H., The Discrete-Time Maximum Principle - a survey and some new results, International Journal of Control, vol. 40(3), pp. 135-152, 1983 [full] [bibtex]
  
  

Conference papers

• Mycroft, A., Nielson, F., Strong Abstract Interpretation using Power Domains, Proc. ICALP'83, vol. 154, pp. 536-547, Springer-Verlag, 1983 [full] [bibtex]
  
  
• Nielson, F., Towards Viewing Nondeterminism as Abstract Interpretation, Proc. Foundations of Software Technology and Theoretical Computer Science, 1983 [full] [bibtex]
  
  
• Pistor, P., Hansen, B. S., Hansen, M. R., Eine SEQUELARTIGE Sprachschnittstelle Für das NF2-Modell, Sprachen Für Datenbanken, no. 72, Springer-Verlag, 1983 [full] [bibtex]
  
  
• Riis Nielson, H., Proof Systems for Computation Time, Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science, 1983 [full] [bibtex]
  
  

• Juel, H., Optimalitetsbetingelser for Weber-problemer, Dansk Selskab for Operationsanalyse, 1983 [full] [bibtex]
  
  
• Thyregod, P., On the application of cost-optimal Bayesian acceptance sampling plans, Transactions seminar on computer aided sampling inspection., pp. 7-14, 1983 [full] [bibtex]
  
  

Books

• Vidal, V. V., Ravn, H., Nahorski, Z., Optimization of Discrete Time Systems - the upper boundary approach, Spriger Verlag, 1983 [full] [bibtex]
  
  
• Vidal, V. V., Petersen, K., Peru, Fiskeindustri, Imperialisme (in Danish), RUC forlag, 1983 [full] [bibtex]
  
  
• Vidal, V. V., et al, Vurdering af teknologisk udvikling indenfor levnedsmiddelsektoren (8 rapporter), pp. 996, 1983 [full] [bibtex]
  
  

• Bjørner, D., Prehn, S., Software Engineering Aspects of {VDM}}, Theory and Practice of Software Technology, 1983 [full] [bibtex]
  
  

Technical reports

• Juel, H., On a rational stopping rule for facilities location algorithms, Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1983 [full] [bibtex]