1. 2015
  2. Published

    Developing merged CDIO based curricula for diploma (B.Eng.) IT study programs at DTU. / Nyborg, Mads; Probst, Christian W.; Stassen, Flemming.

    Proceedings of the 11th International CDIO Conference. CDIO, 2015.

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

  3. Published

    Discretionary Information Flow Control for Interaction-Oriented Specifications. / Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Springer, 2015. p. 427-450 (Lecture Notes in Computer Science, Vol. 9200).

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

  4. Published

    Experiences with Compiler Support for Processors with Exposed Pipelines. / Jensen, Nicklas Bo; Schleuniger, Pascal; Hindborg, Andreas Erik; Walter, Maxwell; Karlsson, Sven .

    Proceedings of the 29th International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2015). IEEE, 2015. p. 137-143.

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

  5. Published

    Factorization of Behavioral Integrity. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015: Part 2. ed. / Günther Pernul; Peter Y A Ryan; Edgar Weippl. Springer, 2015. p. 500-519 (Lecture Notes in Computer Science, Vol. 9327).

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

  6. Published

    Hardware Transactional Memory Optimization Guidelines, Applied to Ordered Maps. / Bonnichsen, Lars Frydendal; Probst, Christian W.; Karlsson, Sven .

    Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). Vol. 3 IEEE, 2015. p. 124-131.

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

  7. Published

    Hoare Logic for Disjunctive Information Flow. / Nielson, Hanne Riis; Nielson, Flemming; Li, Ximeng.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. ed. / Chiara Bodei; Gian-Luigi Ferrari; Corrado Priami. Springer, 2015. p. 47-65 (Lecture Notes in Computer Science, Vol. 9465).

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

  8. Published

    How to Trust the Re-use of Data. / Karafili, Erisa; Nielson, Hanne Riis; Nielson, Flemming.

    Proceedings of the 11th International Workshop on Security and Trust Management (STM 2015). ed. / Sara Foresti. Springer, 2015. p. 72-88 (Lecture Notes in Computer Science, Vol. 9331).

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

  9. Published

    Improving Energy Saving Techniques by Ambient Intelligence Scheduling. / Cristani, Matteo; Karafili, Erisa; Tomazzoli, Claudio.

    Proceedings of the Proceedings IEEE 29th International Conference on Advanced Information Networking and Applications (AINA 2015). ed. / Leonard Barolli; Makoto Takizawa; Fatos Xhafa; Tomoya Enokido; Jong Hyuk Park. IEEE, 2015. p. 324-331.

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

  10. Published

    Klaim-DB: A Modeling Language for Distributed Database Applications. / Wu, Xi; Li, Ximeng; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 197-212 (Lecture Notes in Computer Science, Vol. 9037).

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

  11. Published

    Meta-Logical Reasoning in Higher-Order Logic. / Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor.

    2015. Poster session presented at LOGICA 2015 - 29th Annual International Symposia Devoted to Logic, Hejnice, Czech Republic.

    Publication: Research - peer-reviewPoster – Annual report year: 2015

Previous 12 3 4 5 6 7 8 9 ...15 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word