Forskningsområder

  1. Udgivet

    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, s. 149-158

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    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. (red.). New York, N.Y.: Springer, s. 397-420 24 s. (Operations Research/Computer Science Interfaces Series; Nr. 43).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  4. Udgivet

    Compositional specification of commercial contracts

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    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, s. 637

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

    Hydrolysis of Toxic Natural Glucosides Catalyzed by Cyclodextrin Dicyanohydrins

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    Index Seminum, Hortus Universitatis Hauniensis, Anno 2000

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

    Publikation: Bog/antologi/afhandling/rapportBogForskning

  8. Udgivet

    Methanol improves methane uptake in starved methanotrophic microorganisms

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    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, I: Atmospheric Chemistry and Physics. 4, s. 281-292 12 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

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

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning