Springer, 0-387

Central database

Publisher

  1. Published

    Formal Security Analysis of the MaCAN Protocol.. / Bruni, Alessandro; Sojka, Michal; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014. ed. / Elvira Albert; Emil Sekerinski. Springer, 2014. p. 241-255 (Lecture Notes in Computer Science, Vol. 8739).

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

  2. Published

    Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus. / Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 281-282 (Lecture Notes in Computer Science; No. 8788).

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

  3. Methods for service life prediction in refractory materials. / Cannio, M.; Boccaccini, Dino; Boccaccini, A.R.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3008-3018.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  4. Microstructural tailoring of thermal shock resistance in refractory materials. / Cannio, M.; Boccaccini, Dino; Leonelli, C.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3042-3056.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  5. New Methods for the Assessment of Thermal Shock Resistance in Refractory Materials. / Cannio, M.; Boccaccini, Dino; Romagnoli, M.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3293-3307.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  6. Published

    ICT-powered Health Care Processes. / Carbone, Marco; Christensen, Anders Skovbo; Nielson, Flemming; Nielson, Hanne Riis; Hildebrandt, Thomas; Sølvkjær, Martin.

    Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Springer, 2014. p. 59-68 (Lecture Notes in Computer Science, Vol. 8315).

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

  7. Published

    The Guided System Development Framework: Modeling and Verifying Communication Systems. / Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming.

    Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2014. p. 509-523 (Lecture Notes in Computer Science, Vol. 8803).

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

  8. Published

    Patient-Specific Simulation of Implant Placement and Function for Cochlear Implantation Surgery Planning. / Ceresa, Mario; Mangado Lopez, Nerea; Dejea Velardo, Hector; Herrezuelo, Noemi Carranza ; Mistrik, Pavel; Kjer, Hans Martin; Vera, Sergio; Paulsen, Rasmus Reinhold; González Ballester, Miguel Angel.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014: Proceedings of the 17th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Part II. ed. / Polina Golland; Nobuhiko Hata; Christian Barillot; joachim Hornegger; Robert Howe. Springer, 2014. p. 49-56 (Lecture Notes in Computer Science, Vol. 8674).

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

  9. Published

    Application and Theory of Petri Nets and Concurrency : Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014. / Ciardo, Gianfranco (Editor); Kindler, Ekkart (Editor).

    Springer, 2014. 395 p. (Lecture Notes in Computer Science, Vol. 8489).

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

  10. Published

    Four Data Visualization Heuristics to Facilitate Reflection in Personal Informatics. / Cuttone, Andrea; Petersen, Michael Kai; Larsen, Jakob Eg.

    Proceedings of the 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014: Design for All and Accessibility Practice. ed. / Constantine Stephanidis; Margherita Antona . Springer, 2014. p. 541-552 (Lecture Notes in Computer Science; No. 8516).

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

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