IMM Publications - 1981

Journal papers

• Conradsen, K., Spliid, H., A seanonal filter for use in Box Jenkins analysis of time series, Journal Roy. Stat. Soc., ser. C, vol. 30(2), 1981 [full] [bibtex]
  
  
• Hansson, H., Steensgaard-Madsen, J., Document Preparation Systems, Software - Practice and Experience, vol. 11(9), pp. 983-977, 1981 [full] [bibtex]
  
  
• Juel, H., Bounds in the location-allocation problem, Journal of Regional Science, vol. 21, pp. 277-282, 1981 [full] [bibtex]
  
  
• Juel, H., Love, R. F., Fixed point optimality criteria for the location problem with arbitrary norms, The Journal of the Operational Research Society, vol. 32, pp. 891-897, 1981 [full] [bibtex]
  
  
• Juel, H., Love, R. F., On the dual of the linearly constrained multi-facility location problem with arbitrary norms, Transportation Science, vol. 15, pp. 329-337, 1981 [full] [bibtex]
  
  
• Juel, H., Bounds in the generalized Weber problem under locational uncertainty, Operations Research, vol. 29, pp. 1219-1227, 1981 [full] [bibtex]
  
  
• Riis, H., Skyum, S., k-visit Attribute Grammars, Mathematical Systems Theory, vol. 15, pp. 17-28, 1981 [full] [bibtex]
  
  
• Steensgaard-Madsen, J., Modular Programming with Pascal, Software - Practice and Experience, vol. 11(12), pp. 1331-1337, 1981 [full] [bibtex]
  
  
• Steensgaard-Madsen, J., A Statement-Oriented Approach to Data Abstraction, ACM Transactions on Programming Languages and Systems, vol. 3(1), pp. 1-10, 1981 [full] [bibtex]
  
  
• Vidal, V. V., Un teorema sobre el modelo del tamaño optimo de lote, Investigacion Operacional (Cuba), pp. 45-50, 1981 [full] [bibtex]
  
  
• Vidal, V. V., Un metodo grafico para resolver una familia de problemas de optimizacion, Journal of the International Institute of Energy (Mexico), vol. 5(11), pp. 11-16, 1981 [full] [bibtex]
  
  

Conference papers

• Bjørner, D., The VDM Principles of Software Specification and Program Design, TC2 Work.Conf. on Formalisation of Programming Concepts, Peniscola, Spain, pp. 44-74, Springer, 1981 [full] [bibtex]
  
  
• Dayananda, R., Thyregod, P., Some examples of mathing variable and attribute acceptance sampling plans, Frontiers in Statistical Quality Control, vol. 2, pp. 45-53, 1981 [full] [bibtex]
  
  
• Vidal, V. V., Import Planning in Developing Countries - a cybernetical approach, 5th World Congress on Cybernetics, Mexico, pp. 78-85, Pergamon Press, 1981 [full] [bibtex]
  
  

• Juel, H., Hull properties in location problems, 2nd International Symposium on Locational Decisions, 1981 [full] [bibtex]
  
  
• Juel, H., Bounds in the generalized Weber problem with arbitrary norms, 2nd International Symposium on Locational Decisions, 1981 [full] [bibtex]
  
  
• Løvengreen, H. H., Parbst, F., KOMET - en beskrivelse af systemkonstruktionsmetoder, NordDATA 81, vol. 2, pp. 43-48, Dansk Databehandlingsforening, 1981 [full] [bibtex]
  
  
• Vidal, V. V., Ravn, H., Optimal Control of Servomechanisms, International Conference on Applied Modelling and Simulation, Lyon, France, pp. 231-260, 1981 [full] [bibtex]
  
  
• Vidal, V. V., Olsen, N. O., Solving a non-convex power generator problem, International Conference on Applied Modelling and Simulation, pp. 182-192, 1981 [full] [bibtex]
  
  
• Vidal, V. V., Elert, C., The development of the Danish butchery trade, Conference on regional development, Uppsala, Sweden, pp. 75-99, 1981 [full] [bibtex]
  
  

Books

• Zlatev, Z., Wasniewski, J., Schaumburg, K., Y12M, Solution of Large and Sparse Systems of Linear Algebraic Euations, vol. 121, LNCS, Springer -Verlag, 1981 [full] [bibtex]
  
  

• Nielsen, A. A., Om at holde hus med energien, Energihåndbogen, OVE, Organisationen for Vedvarende Energi, 1981 [full] [bibtex] [pdf]
  
  

Master's theses

• Nielson, F., Semantic Foundations of Data Flow Analysis, Aarhus University, 1981 [full] [bibtex]
  
  

Technical reports

• Løvengreen, H. H., Bjorner, D., Molich, R., Parbst, F., Pedersen, G. S., Pedersen, J. S., Metodikker og værktøjer til konstruktion af programmel (KOMET), Dansk Datamatik Center, 1981 [full] [bibtex]