Language-Based Technology

  1. 2011
  2. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

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

  3. Published

    Characteristics of Key Update Strategies for Wireless Sensor Networks. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming.

    Proceedings of the International Conference on Network Communication and Computer (ICNCC 2011). 2011. p. 132-136.

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

  4. Published

    Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. / Yang, Fan; Aotani, Tomoyuki; Masuhara, Hidehiko; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 - Proceedings. Vol. 6721 Springer, 2011. p. 202-218 (Lecture Notes in Computer Science).

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

  5. Published

    Compositional abstractions for long-run properties of stochastic systems. / Smith, Michael James Andrew.

    2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. p. 223-232.

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

  6. Published

    Controlling Modelling Artifacts. / Smith, Michael James Andrew; Nielson, Flemming; Nielson, Hanne Riis.

    2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. p. 171-180.

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

  7. Published
  8. Published

    Diffie-Hellman without Difficulty. / Mödersheim, Sebastian Alexander.

    Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011. ed. / Gilles Barthe; Anupam Datta; Sandro Etalle . Springer, 2011. p. 214-229 (Lecture Notes in Computer Science).

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

  9. Published

    Efficient Approximation of Optimal Control for Markov Games. / Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun.

    Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. 2011.

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

  10. Published

    From Concurrency Models to Numbers : Performancd and Dependability. / Hermanns, Holger; Zhang, Lijun.

    NATO Science for Peace and Security Series: D: Information and Communication Security. Vol. 30 IOS Press, 2011. p. 182-210.

    Publication: ResearchBook chapter – Annual report year: 2011

  11. Published

    Galois Connections for Flow Algebras. / Filipiuk, Piotr; Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.

    Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings. Springer, 2011. p. 138-152 (Lecture Notes in Computer Science; No. 6722).

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

Previous 1 2 3 4 5 6 7 8 ...17 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word