Department of Informatics and Mathematical Modeling

  1. Published

    Abstraction and Model Checking in the PEPA Plug-in for Eclipse. / Smith, Michael James Andrew.

    Proceedings of the 7th International Conference on Quantitative Evaluation of Systems (QEST 2010). IEEE Computer Society Press, 2010. p. 155-156.

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

  2. Published

    Abstraction by Set-Membership : Verifying Security Protocols and Web Services with Databases. / Mödersheim, Sebastian Alexander.

    Proceedings of the 17th ACM Conference on Computer and Communications Security. New York : Association for Computing Machinery, 2010. p. 351-360.

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

  3. Published

    Abstract RTOS Modelling for Multiprocessor System-on-Chip. / Madsen, Jan; Virk, Kashif Munir; Gonzalez, Mercury Jair.

    International Symposium on System-on-Chip. IEEE, 2003. p. 147-150.

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

  4. Published

    Abstract RTOS modelling in SystemC. / Madsen, Jan; Gonzalez, Mercury Jair; Blaickner et al., A. (Editor).

    2nd Workshop on SoC and SystemC. 2002.

    Publication: ResearchArticle in proceedings – Annual report year: 2002

  5. Published

    Abstract RTOS modelling in SystemC. / Gonzales, Mercury; Madsen, Jan.

    Proceedings of NORCHIP 2002. 2002. p. 43-49.

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

  6. Published

    Abstracts from 1st international conference on Surrogate Modelling and Space Mapping for Engineering Optimization. / Nielsen, Hans Bruun.

    Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2000.

    Publication: Research - peer-reviewReport – Annual report year: 2000

  7. Published

    Abstract System-on-Chip modelling in SystemC. / Madsen, Jan; Virk, Kashif M.; Mahadevan, Shankar.

    European SystemC Users Group Meeting (DATE 2004). 2004.

    Publication: ResearchArticle in proceedings – Annual report year: 2004

  8. Published

    A Calculus for Control Flow Analysis of Security Protocols. / Buchholtz, Mikael; Nielson, Hanne Riis; Nielson, Flemming.

    In: International Journal of Information Security, Vol. 2, No. 3-4, 2004, p. 145-167.

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

  9. Published

    A CART extension using Quadratic Decision Borders. / Hartelius, Karsten.

    Proceedings from The 11th Danish Conference on Image Analysis. 1999. p. 777-783.

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

  10. Published

    A CART extention using Quadratic Decision Borders. / Hartelius, Karsten.

    Proceedings from The 8th Danish Conference on Pattern Recognition and Image Analysis. Copenhagen : DIKU TRYK, 1999. p. 67-73.

    Publication: ResearchArticle in proceedings – Annual report year: 1999

Download list: To download, please limit the number of search results to 1,000 or less.