Springer

Central database

Publisher

  1. 2016
  2. Published

    A Parametric Abstract Domain for Lattice-Valued Regular Expressions. / Midtgaard, Jan; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 23rd International Symposium on Static Analysis (SAS 2016). ed. / Xavier Rival. Springer, 2016. p. 338-360 (Lecture Notes in Computer Science, Vol. 9837).

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

  3. Published

    A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service. / Chauhan, Muhammad Aufeef; Babar, Muhammad Ali; Probst, Christian W.

    Proceedings of the 17th International Conference on Product-Focused Software Process Improvement (PROFES 2016). Springer, 2016. p. 111-126 (Lecture Notes in Computer Science, Vol. 10027).

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

  4. Published

    Assessing Levels of Attention Using Low Cost Eye Tracking. / Bækgaard, Per; Petersen, Michael Kai; Larsen, Jakob Eg.

    Proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction (UAHCI 2016): Part I. Springer, 2016. p. 409-420 (Lecture Notes in Computer Science, Vol. 9737).

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

  5. Published

    Atomic-AES: A compact implementation of the AES encryption/decryption core. / Banik, Subhadeep; Bogdanov, Andrey; Regazzoni, Francesco.

    Progress in Cryptology – INDOCRYPT 2016: Proceedings of the 17th International Conference on Cryptology in India. Springer, 2016. p. 173-190 (Lecture Notes in Computer Science, Vol. 10095).

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

  6. 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

  7. Published

    A Weighted K-AP Query Method for RSSI based Indoor Positioning. / Huo, Huan; Liu, Xiufeng; Li, Jifeng; Yang, Huhu; Peng, Dunlu ; Chen, Qingkui .

    Databases Theory and Applications. ADC 2016. Springer, 2016. p. 150-163 (Lecture Notes in Computer Science, Vol. 9877).

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

  8. 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

  9. 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

  10. 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

  11. 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

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