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

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

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

  5. Published

    Modelling and Analysing Access Control Policies in XACML 3.0. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis (Supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 217 p. (DTU Compute PHD-2015; No. 364).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  6. Published

    Modelling and Analysing Socio-Technical Systems. / Aslanyan, Zaruhi; Ivanova, Marieta Georgieva; Nielson, Flemming; Probst, Christian W.

    Proceedings of the 1st International Workshop on Socio-Technical Perspective in IS Development (STPIS'15). ed. / Stewart Kowalski; Peter Bednar; Ilia Bider. 2015. p. 121-124 (CEUR Workshop Proceedings; No. urn:nbn:de:0074-1374-8, Vol. 1374).

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

  7. Published

    Modelling Social-Technical Attacks with Timed Automata. / David, Nicolas ; David, Alexandre; Hansen, Rene Rydhof; Larsen, Kim G.; Legay, Axel; Olesen, Mads Christian; Probst, Christian W.

    Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats (ACM MIST '15). Association for Computing Machinery, 2015. p. 21-28.

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

  8. Published

    Pareto Efficient Solutions of Attack-Defence Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

    Principles of Security and Trust: Proceedings of the 4th International Conference, POST 2015. ed. / Riccardo Focardi; Andrew Myers. Springer, 2015. p. 95-114 (Lecture Notes in Computer Science, Vol. 9036).

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

  9. Published

    Preface. / Lluch Lafuente, Alberto; Tuosto, Emilio.

    In: Service Oriented Computing and Applications, Vol. 9, No. 3-4, 2015, p. 211.

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

  10. Published

    Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems. / ter Beek, Maurice H. (Editor); Lluch Lafuente, Alberto (Editor).

    2015. (Electronic Proceedings in Theoretical Computer Science).

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

  11. Published

    Proceedings 8th Interaction and Concurrency Experience. / Knight, Sophia (Editor); Lanese, Ivan (Editor); Lluch Lafuente, Alberto (Editor); Torres Vieira, Hugo (Editor).

    2015. (Electronic Proceedings in Theoretical Computer Science).

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

Previous 1...3 4 5 6 7 8 9 10 ...16 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