1. 2013
  2. Published

    Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. / Nielson, Hanne Riis (Editor); Gollmann, Dieter (Editor).

    Springer, 2013. (Lecture Notes in Computer Science, Vol. 8208).

    Publication: ResearchBook – Annual report year: 2013

  3. Published

    Security Games for Cyber-Physical Systems. / Vigo, Roberto; Bruni, Alessandro; Yuksel, Ender.

    Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Springer, 2013. p. 17-32 (Lecture Notes in Computer Science, Vol. 8208).

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

  4. Published

    Spatio temporal media components for neurofeedback. / Jensen, Camilla Birgitte Falk; Petersen, Michael Kai; Larsen, Jakob Eg; Stopczynski, Arkadiusz; Stahlhut, Carsten; Ivanova, Marieta Georgieva; Andersen, Tobias; Hansen, Lars Kai.

    2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW). IEEE, 2013.

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

  5. Published

    The Quest for Minimal Quotients for Probabilistic Automata. / Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun.

    Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 16-31 (Lecture Notes in Computer Science, Vol. 7795).

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

  6. Published

    XACML 3.0 in Answer Set Programming. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer, 2013. p. 89-105 (Lecture Notes in Computer Science, Vol. 7844).

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

  7. 2012
  8. Published

    Logics and Models for Stochastic Analysis Beyond Markov Chains. / Zeng, Kebin; Nielsen, Bo Friis (Main supervisor); Nielson, Flemming (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 132 p. (IMM-PHD-2012; No. 282).

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

  9. Published

    Safety Verification for Probabilistic Hybrid Systems. / Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz.

    In: European Journal of Control, Vol. 18, No. 6, 2012, p. 572-587.

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

  10. Published

    Smart Grid Security A Smart Meter-Centric Perspective. / Vigo, Roberto; Yuksel, Ender; Ramli, Carroline Dewi Puspa Kencana.

    2012 20th Telecommunications Forum (TELFOR). IEEE, 2012. p. 127-130.

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

Previous 1...11 12 13 14 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