Department of Applied Mathematics and Computer Science

  1. 2017
  2. E-pub ahead of print

    A proof of the Barát-Thomassen conjecture. / Bensmail, Julien; Harutyunyan, Ararat; Le, Tien Nam; Merker, Martin; Thomassé, Stéphan.

    In: Journal of Combinatorial Theory. Series B, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  3. Published

    A pseudo-Voigt component model for high-resolution recovery of constituent spectra in Raman spectroscopy. / Alstrøm, Tommy Sonne; Schmidt, Mikkel Nørgaard; Rindzevicius, Tomas; Boisen, Anja; Larsen, Jan.

    Proceedings of the 42nd IEEE International Conference on Acostics, Speech and Signal Processing. IEEE, 2017. p. 2317-21.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  4. Published

    Architecturally Significant Requirements Identification, Classification and Change Management for Multi-tenant Cloud-Based Systems. / Chauhan, Muhammad Aufeef; Probst, Christian W.

    Requirements Engineering for Service and Cloud Computing. Springer, 2017. p. 181-205 (Requirements Engineering for Service and Cloud Computing).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2017

  5. Published
  6. Published
  7. Published

    Artifacts and Visible Singularities in Limited Data X-Ray Tomography. / Quinto, Todd.

    In: Sensing and Imaging, Vol. 18, No. 1, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  8. Published

    A Runtime Analysis of Parallel Evolutionary Algorithms in Dynamic Optimization. / Lissovoi, Andrei; Witt, Carsten.

    In: Algorithmica, Vol. 78, No. 2, 2017, p. 641–659.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  9. Published

    Atomistic Galois insertions for flow sensitive integrity. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Computer Languages, Systems and Structures, Vol. 50, 2017, p. 82-107.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  10. Published

    A Top-down Approach to Genetic Circuit Synthesis and Optimized Technology Mapping. / Baig, Hasan; Madsen, Jan.

    Proceedings of 9th International Workshop on Bio-Design Automation. 2017.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  11. Published

    Augmented Reality Interfaces for Additive Manufacturing. / Eiríksson, Eyþór Rúnar; Pedersen, David Bue; Frisvad, Jeppe Revall; Skovmand, Linda; Heun, Valentin; Maes, Pattie; Aanæs, Henrik.

    Scandinavian Conference on Image Analysis. Springer, 2017. p. 515-525 (Lecture Notes in Computer Science, Vol. 10269).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

Download list: To download, please limit the number of search results to 1,000 or less.