Computer Science and Engineering

  1. 2012
  2. Published

    A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.

    In: Lecture Notes in Computer Science, Vol. 7465, 2012, p. 624-638.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  3. Published

    Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor).

    College Publications, 2012. 592 p.

    Publication: ResearchBook – Annual report year: 2012

  4. Published

    A Light-Weight Statically Scheduled Network-on-Chip. / Sørensen, Rasmus Bo; Schoeberl, Martin; Sparsø, Jens.

    2012 NORCHIP. IEEE, 2012.

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

  5. Published

    A Move in the Security Measurement Stalemate: Elo-Style Ratings to Quantify Vulnerability. / Pieters, Wolter; van der Ven, Sanne H.G.; Probst, Christian W.

    Proceedings of the 2012 workshop on New security paradigms. Association for Computing Machinery, 2012. p. 1-14.

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

  6. Published

    An ECNO semantics for Petri nets. / Kindler, Ekkart.

    In: Petri Net Newsletter, No. 81, 2012, p. 3–16.

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

  7. Published

    Architectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Blaga, Felician Stefan.

    CASES '12: Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems . Association for Computing Machinery, 2012. p. 181-190.

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

  8. Published

    A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. / Schoeberl, Martin; Brandner, Florian; Sparsø, Jens; Kasapaki, Evangelia.

    2012 Sixth IEEE/ACM International Symposium on Networks on Chip (NoCS). IEEE, 2012. p. 152-160 .

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

  9. Published

    A Succinct Approach to Static Analysis and Model Checking. / Filipiuk, Piotr; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).

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

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

  10. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

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

  11. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).

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

Previous 1 2 3 4 5 6 7 8 ...62 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