Springer

Local database

Publisher

  1. 2016
  2. Published

    Attack tree analysis for insider threats on the IoT using isabelle. / Kammüller, Florian; Nurse, Jason R. C.; Probst, Christian W.

    Human Aspects of Information Security, Privacy, and Trust: 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. ed. / Theo Tryfonas. Vol. 9750 Springer, 2016. p. 234-246 (Lecture Notes in Computer Science).

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

  3. Published

    Bioinformatics Tools for the Discovery of New Nonribosomal Peptides. / Leclère, Valérie; Weber, Tilmann; Jacques, Philippe; Pupin, Maude.

    Nonribosomal Peptide and Polyketide Biosynthesis: Methods and Protocols. Vol. 1401 Springer, 2016. p. 209-232 (Methods in Molecular Biology).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2016

  4. Published

    Bookmarks in Grammar-Compressed Strings. / Cording, Patrick Hagge; Gawrychowski, Pawel; Weimann, Oren.

    Proceedings of the 23rd International Symposium on String Processing and Information Retrieval (SPIRE 2016). ed. / Shunsuke Inenaga; Kunihiko Sadakane; Tetsuya Sakai. Springer, 2016. p. 153-159 (Lecture Notes in Computer Science, Vol. 9954).

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

  5. Published

    Brain Tumor Segmentation Using a Generative Model with an RBM Prior on Tumor Shape. / Agn, Mikael; Puonti, Oula; Rosenschöld, Per Munck af; Law, Ian; Van Leemput, Koen.

    1st International Workshop on Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries (Brainles 2015): Revised Selected Papers. Springer, 2016. p. 168-180 (Lecture Notes in Computer Science, Vol. 9556).

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

  6. Published

    Climate Change Risks – Methodological Framework and Case Study of Damages from Extreme Events in Cambodia. / Halsnæs, Kirsten; Kaspersen, Per Skougaard; Trærup, Sara Lærke Meltofte.

    Sustainable Development and Disaster Risk Reduction. ed. / Juha I. Uitto; Rajib Shaw. Springer, 2016. p. 71-85.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2016

  7. Published

    Comparing formal verification approaches of interlocking systems. / Haxthausen, Anne Elisabeth; Nguyen, Hoang Nga; Roggenbach, Markus.

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016 Paris, France, June 28–30, 2016 Proceedings. Vol. 9707 Springer, 2016. p. 160-177 (Lecture Notes in Computer Science).

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

  8. Published

    Complex-Valued ABCD Matrices and Speckle Metrology. / Hanson, Steen Grüner; Jakobsen, Michael Linde; Yura, Harold T.

    Linear Canonical Transforms: Theory and Applications. ed. / J. J. Healey; M. A. Kutay; J. T. Sheridan. Springer, 2016. p. 397-428 (Springer Series in Optical Sciences, Vol. 198).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  9. Published

    Compositional Verification of Multi-Station Interlocking Systems. / Macedo, Hugo Daniel dos Santos; Fantechi, Alessandro; Haxthausen, Anne Elisabeth.

    Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016): Discussion, Dissemination, Applications - Part II. Springer, 2016. p. 279-293 (Lecture Notes in Computer Science, Vol. 9953).

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

  10. Published

    Cryptanalysis of the full Spritz stream cipher. / Banik, Subhadeep; Isobe, Takanori.

    Revised Selected Papers of the 23rd International Conference on Fast Software Encryption (FSE 2016). Springer, 2016. p. 63-77 (Lecture Notes in Computer Science, Vol. 9783).

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

  11. Published

    Damping characteristics of a footbridge: Mysteries and truths. / Cantieni, Reto; Bajric, Anela; Brincker, Rune.

    Dynamics of Coupled Structures: Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016. ed. / Matt Allen; Randall L. Mayes ; Daniel Rixen . Vol. 4 Springer, 2016. p. 283-292 (Conference Proceedings of the Society for Experimental Mechanics Series).

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

Previous 1 2 3 4 5 6 7 8 ...120 Next
Download list: To download, please limit the number of search results to 1,000 or less.