IMM Publications - 1980

Journal papers

• Juel, H., Love, R. F., Sufficient conditions for optimal facility locations to coincide, Transportation Science, vol. 14, pp. 125-129, 1980 [full] [bibtex]
  
  
• Juel, H., A note on bounds on the Weber problem solution under conditions of uncertainty, Journal of Regional Science, vol. 20, pp. 523-524, 1980 [full] [bibtex]
  
  
• Vidal, V. V., de Werra, D., Silver, E., A Tutorial on Heuristic Methods, European Journal of Operational Research, vol. 5, pp. 153-162, 1980 [full] [bibtex]
  
  

Conference papers

• Løvengreen, H. H., Bjørner, D., On a Formal Model of the Tasking Concepts of Ada, ACM SIGPLAN Symposium on the Ada Programming Language, pp. 213-222, 1980 [full] [bibtex]
  
  

• Juel, H., Om kontinuerte lokaliseringsmodeller, Dansk Selskab for Operationsanalyse, 1980 [full] [bibtex]
  
  
• Juel, H., Fixed point optimality criteria for the Weber problem with arbitrary norms, The Institute of Management Sciences - Operations Research Society of America, 1980 [full] [bibtex]
  
  
• Vidal, V. V., Lyngvig, J., Planning theories, NOAS'80, Island, pp. 30, 1980 [full] [bibtex]
  
  

Books

• Bjørner, D., Abstract Software Specifications, vol. 86, S, 1980 [full] [bibtex]
  
  
• Bjørner, D., Oest, O., Towards a Formal Description of Ada, vol. 98, S, 1980 [full] [bibtex]
  
  

• Bjørner, D., Formal Description of Programming Concepts: a Software Engineering Viewpoint, pp. 1-21, Springer, 1980 [full] [bibtex]
  
  
• Folkjær, P., Bjørner, D., A Formal Model of a Generalised CSP-like Language, Proc. IFIP'80, pp. 95-99, 1980 [full] [bibtex]
  
  
• Løvengreen, H. H., Parallelism In Ada, Towards a Formal Description of Ada, vol. 98, pp. 309-432, 1980 [full] [bibtex]
  
  

Master's theses

• Riis, H., Subclasses of Attribute Grammars, Computer Science Department, Aarhus University, 1980 [full] [bibtex]
  
  

Technical reports

• Juel, H., Solution of location-allocation problems with two new facilities using Euclidean distances, Virginia Polytechnic Institute and State University, 1980 [full] [bibtex]
  
  
• Juel, H., Comment on a note by Alperovich, Virginia Polytechnic Institute and State University, 1980 [full] [bibtex]
  
  
• Vidal, V. V., Lyngvig, J., Interviewteknik - en kritik, pp. 35, IMSOR, DTH, 1980 [full] [bibtex]
  
  
• Vidal, V. V., Solving an allocation problem, pp. 33, IMSOR, DTH, 1980 [full] [bibtex]
  
  
• Vidal, V. V., Systemvidenskaber og den industrielle produktion, pp. 22, IMSOR, DTH, 1980 [full] [bibtex]