Research areas

  1. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  2. Published

    Chvátal-Gomory Rank-1 Cuts used in a Dantzig-Wolfe Decomposition of the Vehicle Routing Problem with Time Windows

    Petersen, B., Pisinger, D. & Spoorendonk, S., 2008, The Vehicle Routing Problem: Latest Advances and New Challenges. Golden, B., Raghavan, S. & Wasil, E. (eds.). New York, N.Y.: Springer, p. 397-420 24 p. (Operations Research/Computer Science Interfaces Series; No. 43).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  3. Published

    An Efficient Algorithm for Modelling Duration in Hidden Markov Models, with a Dramatic Application

    Hauberg, S. & Sloth, J., 2008, In: Journal of Mathematical Imaging and Vision. 31, 2-3, p. 165-170 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

    Burgy, L., Reveillere, L., Lawall, J. L. & Muller, G., 2007, 26th IEEE International Symposium on Reliable Distributed Systems: (SRDS 2007). IEEE Signal Processing Society, p. 149-158

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Valvaeodinium hymenosynypha (Morbey) comb. nov., a dinoflagellate cyst from the uppermost Triassic and lowermost Jurassic (Rhaetian and Hettangian) of Europe

    Lindström, Sofie, 2023, In: Palynology. 47, 4, 8 p., 2252482.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    Terminalia (Combretaceae) in northern tropical Africa: Priority and typification of T. schimperiana and T. glaucescens; typification of other synonyms of T. schimperiana and of T. avicennioides

    Friis, Ib & Demissew, S., 2020, In: Taxon. 69, 2, p. 372-380

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    Spitzer spectral line mapping of the HH211 outflow

    Dionatos, O., Nisini, B., Cabrit, S., Kristensen, L. & Pienau des Forêts, G., 2010, In: Astronomy & Astrophysics. 521, 12 p., A7.

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

    Spinoloricus cinziae (Phylum Loricifera), a new species from a hypersaline anoxic deep basin in the Mediterranean Sea

    Neves, R. C., Gambi, C., Danovaro, R. & Kristensen, Reinhardt Møbjerg, 2014, In: Systematics and Biodiversity. 12, 4, p. 489-502 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Salsola sp. A of Flora Zambesiaca from the coast of Mozambique is Caroxylon littoralis (Amaranthaceae subfam. Salsoloideae), hitherto only known from Madagascar

    Friis, Ib & Holt, S., 2017, In: Webbia. 72, 1, p. 63-69 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Rhynchostegium megapolitanum (Web. et Mohr) B.S.G.-A rare bryophyte in dune ecosystems of Zealand, Denmark

    Johnsen, I., 2014, In: American Journal of Plant Sciences. 5, 9, p. 1378-1383 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review