Department of Computer Science

  1. Published

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesis

  2. Published

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 Oct 2012, 466 p.

    Research output: Book/ReportPh.D. thesis

  3. Published

    Analysis of synchrotron X-ray tomographic data: Reconstruction and application

    Borg, L., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/ReportPh.D. thesis

  4. Published

    Design of Reversible Computing Systems: Logic, Languages, and Circuits

    Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 p.

    Research output: Book/ReportPh.D. thesis

  5. Published

    Classification in Medical Imaging: Features, Metrics and Insights into Classifiers

    Chen, C., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

    Research output: Book/ReportPh.D. thesis

  6. Published

    Stable, Robust, and Versatile Multibody Dynamics Animation

    Erleben, Kenny, 2005, Department of Computer Science, University of Copenhagen (DIKU).

    Research output: Book/ReportPh.D. thesis

  7. Published

    Shapes related to longitudinal studies of disease

    Erleben, L. L., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 90 p.

    Research output: Book/ReportPh.D. thesis

  8. Published

    Training Restricted Boltzmann Machines

    Fischer, A., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen. 212 p.

    Research output: Book/ReportPh.D. thesis

  9. Published

    Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry

    Flachs, S. H., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 111 p.

    Research output: Book/ReportPh.D. thesis

  10. Published

    Towards Human-Centered Natural Language Processing

    Gonzalez, Ana Valeria, 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 219 p.

    Research output: Book/ReportPh.D. thesis

Previous 1 2 3 4 5 6 Next