IMM Publications - 1987

Journal papers

• Juel, H., Love, R. F., Duality in constrained location problems, Operations Research Letters, vol. 6, pp. 281-284, 1987 [full] [bibtex]
  
  
• Riis Nielson, H., A Hoare-like Proof System for Run-time Analysis of Programs, Science of Computer Programming, vol. 9, pp. 107-136, 1987 [full] [bibtex]
  
  
• Vidal, V. V., Ferreira, J. S., A new algorithm for the economic lot-size problem, Control and Cybernetics, vol. 16, pp. 87-98, 1987 [full] [bibtex]
  
  
• Vidal, V. V., On the sufficiency of the linear maximum principle, Journal of Optimization Theory and applications, vol. 54, pp. 256-265, 1987 [full] [bibtex]
  
  
• Vidal, V. V., A simple solution to a family of simple allocation problems, IIE Transactions Industrial Engineering Research and Development, vol. 19(2), pp. 77-81, 1987 [full] [bibtex]
  
  

Conference papers

• Bjørner, D., On the Use of Formal Methods in Software Development, Proc. of 9th International Conf. on Software Engineering, Monterey, California, pp. 17-29, 1987 [full] [bibtex]
  
  
• Bjørner, D., Aspects of the Role of Theory in the Computation Sciences and Engineering, Bulletin, vol. 32, pp. 31-38, EATCS: European Assoc. f. Comp. Sci., 1987 [full] [bibtex]
  
  
• Bjørner, D., The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments, VDM'87, vol. 252, pp. 77-96, SV, 1987 [full] [bibtex]
  
  
• Conradsen, K., Ersbøll, B. K., Textural features useful i classification of digital images, The Second International Conference in Statistics, Tampere, pp. 143-159, 1987 [full] [bibtex]
  
  
• Dawids, U. G., Løvengreen, H. H., Rigorous Development of a Distributed Calendar System, PARLE Parallel Architectures and Languages Europe, Volume II: Parallel Languages, vol. 259, pp. 188-205, Springer-Verlag, 1987 [full] [bibtex]
  
  
• Frølich, A., Transbøl, I., Nielsen, B. F., Respective roles of PTH and substrate for the l-hydroxylation of vitamin D in primary hyperparathyroidism PHP, XX European Symposium on Calcifies Tissues, 1987 [full] [bibtex]
  
  
• Hansen, M. R., Algebraic Optimization of Recursive Database Queries, Intelligence Integration, pp. 223-230, Canadian Information Processing Society, 1987 [full] [bibtex]
  
  
• Jensen, M. N., Skov, M., Sparsø, J., Hardware Architecture of a Node for the LAN-DTH High Speed Token Ring, Proc. of EFOC/LAN'87 - Fifth Annual European Fibre Optic Communications and Local Aera Networks Conference, pp. 214-219, 1987 [full] [bibtex]
  
  
• Nielsen, B. F., A Service Protection Model, NTS-7, pp. IX.2.1-IX.2, 1987 [full] [bibtex]
  
  
• Nielson, F., Strictness Analysis and Denotational Abstract Interpretation (Extended Abstract), ACM Conference on Principles of Programming Languages POPL'87, pp. 120-131, 1987 [full] [bibtex]
  
  

• Juel, H., A localization property for facility location problems with arbitrary norms, 4th International Symposium on Locational Decisions, 1987 [full] [bibtex]
  
  

Books

• Clausen, J., EDB-Miniordbog, pp. 48, Fremad, 1987 [full] [bibtex]
  
  
• Vidal, V. V., Svensson, L., Offentlig teknologivurdering, pp. 150, 1987 [full] [bibtex]
  
  
• Vidal, V. V., Ravn, H., Nahorski, Z., Properties of upper boundary functions in discrete time optimal control, pp. 200, IMSOR, DTH, 1987 [full] [bibtex]
  
  

• Bjørner, D., Jones, C., Airchinnigh, M. M., Neuhold, E. J., VDM - A Formal Method at Work, Springer, 1987 [full] [bibtex]
  
  

• Nielson, F., Towards a Denotational Theory of Abstract Interpretation, Abstract Interpretation of Declarative Languages, pp. 219-245, 1987 [full] [bibtex]
  
  

Ph.D. theses

• Hansen, M. R., Non-Redundant Representation of Computations: The Integration of Equations and Relations, Department of Computer Science, 1987 [full] [bibtex]
  
  

Technical reports

• Juel, H., Love, R. F., Duality in constrained location problems, Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1987 [full] [bibtex]
  
  
• Juel, H., Love, R. F., A localization property for facility location problems with arbitrary norms, Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1987 [full] [bibtex]
  
  
• Nørgaard, J., Madsen, T. L., Nielsen, A. A., Kirkevarmeanlæg, Thermal Insulation Laboratory, Technical University of Denmark, DTU, 1987 [full] [bibtex] [pdf]
  
  
• Vidal, V. V., An analytical solution to a simple transport problem, pp. 7, IMSOR, DTH, 1987 [full] [bibtex]
  
  
• Vidal, V. V., What is a DSS?, pp. 14, IMSOR, DTH, 1987 [full] [bibtex]
  
  
• Vidal, V. V., Teknologivurderings organisering i DK - et historisk rids, pp. 19, IMSOR, DTH, 1987 [full] [bibtex]
  
  
• Vidal, V. V., Vurdering af teknologisk udvikling inden for levnedsmiddelsektoren, pp. 16, IMSOR, DTH, 1987 [full] [bibtex]