Department of Informatics and Mathematical Modeling
- Published
Rigorous Development of a Distributed Calendar System. / Dawids, Ulla Gamwell; Løvengreen, Hans Henrik; de Bakker, J.W. (Editor); Nijman, A.J. (Editor); Treleaven, P.C. (Editor).
In: Parallel Architectures and Languages Europe: Parallel Languages on PARLE. Vol. II London, UK : Springer-Verlag, 1987. p. 188-205.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
Respective roles of PTH and substrate for the l-hydroxylation of vitamin D in primary hyperparathyroidism PHP. / Frølich, Anne; Transbøl, Ib; Nielsen, Bo Friis.
In: XX European Symposium on Calcifies Tissues. 1987.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
Algebraic Optimization of Recursive Database Queries. / Hansen, Michael Reichhardt.
In: Intelligence Integration. Canadian Information Processing Society, 1987. p. 223-230.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
Non-Redundant Representation of Computations: The Integration of Equations and Relations. / Hansen, Michael Reichhardt.
1987.Publication: Research › Ph.d. thesis – Annual report year: 1987
- Published
Hardware Architecture of a Node for the LAN-DTH High Speed Token Ring. / Jensen, Mogens Nordberg; Skov, Morten; Sparsø, Jens.
In: Proc. of EFOC/LAN'87 - Fifth Annual European Fibre Optic Communications and Local Aera Networks Conference. 1987. p. 214-219.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
A localization property for facility location problems with arbitrary norms. / Juel, Henrik; Love, Robert F.
Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1987.Publication: Research - peer-review › Report – Annual report year: 1987
- Published
A localization property for facility location problems with arbitrary norms. / Juel, Henrik.
In: 4th International Symposium on Locational Decisions. 1987.Publication: Research › Article in proceedings – Annual report year: 1987
- Published
Duality in constrained location problems. / Juel, Henrik; Love, Robert F.
Institute of Mathematical Statistics and Operations Research, Technical University of Denmark, 1987.Publication: Research - peer-review › Report – Annual report year: 1987
- Published
A Service Protection Model. / Nielsen, Bo Friis.
In: NTS-7. 1987.Publication: Research - peer-review › Article in proceedings – Annual report year: 1987
- Published
A Hoare-like proof system for analysing the computation time of programs. / Nielson, Hanne Riis.
In: Science of Computer Programming, Vol. 9, No. 2, 1987, p. 107-136.Publication: Research - peer-review › Journal article – Annual report year: 1987