Research areas

  1. 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

  2. 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

  3. 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

  4. 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

  5. Published

    Database tuning: principles, experiments, and troubleshooting techniques (tutorial)

    Shasha, D. & Bonnet, Philippe, 2002, Proceedings of the 2002 ACM SIGMOD international conference on Management of data. Association for Computing Machinery, p. 637

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

  6. Published

    Hydrolysis of Toxic Natural Glucosides Catalyzed by Cyclodextrin Dicyanohydrins

    Bjerre, J., Nielsen, E. H. & Bols, Mikael, 2008, In: European Journal of Organic Chemistry. p. 745-752 8 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    Index Seminum, Hortus Universitatis Hauniensis, Anno 2000

    Arnklit, F., 2001, København: Museum Tusculanum.

    Research output: Book/ReportBookResearch

  8. Published

    Methanol improves methane uptake in starved methanotrophic microorganisms

    Priemé, Anders, Bakken, L. R. & Jensen, S., 1998, In: Applied and Environmental Microbiology. 64, p. 1143-1146 4 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Particle size distribution and particle mass measurements at urban, near-city and rural level in the Copenhagen area and Southern Sweden.

    Ketzel, M., Wåhlin, P., Kristensson, A., Swietlicki, E., Berkowicz, R., Nielsen, Ole John & Palmgren, F., 2004, In: Atmospheric Chemistry and Physics. 4, p. 281-292 12 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Searching for the missing mantles of disrupted asteroids: evidence from an olivine-rich clast in the Vaca Muerta mesosiderite

    Greenwood, R. C., Haack, H., Buchanan, P. C., Franchi, I. A., Smith, C. L., Johnson, D. & Burbine, T. H., 2009. 2 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearch