Springer

Central database

Publisher

  1. 2016
  2. Published

    Environmental Impacts—Marine Ecosystems. / Brander, Keith ; Ottersen, Geir; Bakker, J.P.; Beaugrand, Gregory ; Herr, Helena ; Garthe, Stefan; Gilles, Anita; Kenny, Andrew; Siebert, Ursula; Skjoldal, Hein Rune ; Tulp, Ingrid.

    North Sea Region Climate Change Assessment. ed. / M. Quante ; F. Colijn. Springer, 2016. p. 241-274 (Regional climate studies).

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

  3. Published

    Evaluation of Professional Cloud Password Management Tools. / Schougaard, Daniel; Dragoni, Nicola; Spognardi, Angelo.

    Current Trends in Web Engineering : Revised Selected Papers of the ICWE 2016 International Workshops DUI, TELERISE, SoWeMine, and Liquid Web. Springer, 2016. p. 16-28 (Lecture Notes in Computer Science, Vol. 9881).

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

  4. Published

    Experimental Design Research : Approaches, Perspectives, Applications. / Cash, Philip (Editor); Stanković, Tino (Editor); Štorga, Mario (Editor).

    Springer, 2016. 270 p.

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

  5. Published

    Experimental Measures of News Personalization in Google News. / Cozza, Vittoria; Hoang, Van Tien; Petrocchi, Marinella; Spognardi, Angelo.

    Current Trends in Web Engineering: Revised Selected Papers from the ICWE 2016 International Workshops DUI, TELERISE, SoWeMine, and Liquid Web. Springer, 2016. p. 93-104 (Lecture Notes in Computer Science, Vol. 9881).

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

  6. Published

    Exploring Energy Efficiency of Lightweight Block Ciphers. / Banik, Subhadeep; Bogdanov, Andrey; Regazzoni, Francesco .

    22nd International Conference on Selected Areas in Cryptography (SAC 2015): Revised Selected Papers. ed. / Orr Dunkelman; Liam Keliher. Springer, 2016. p. 178-194 (Lecture Notes in Computer Science, Vol. 9566).

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

  7. Published

    Fast and Memory-Efficient Key Recovery in Side-Channel Attacks. / Bogdanov, Andrey; Kizhvatov, Ilya ; Manzoor, Kamran ; Tischhauser, Elmar Wolfgang; Witteman, Marc .

    22nd International Conference on Selected Areas in Cryptography (SAC 2015): Revised Selected Papers. ed. / Orr Dunkelman; Liam Keliher. Springer, 2016. p. 310-327 (Lecture Notes in Computer Science, Vol. 9566).

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

  8. Published

    Fibre Bragg Grating as a Multi-Stage Structure Health Monitoring Sensor. / Pereira, Gilmar Ferreira.

    MARE-WINT. New Materials and Reliability in Offshore Wind Turbine Technology. ed. / Wiesław Ostachowicz ; Malcolm McGugan; Jens-Uwe Schröder-Hinrichs; Marcin Luczak. Springer, 2016. p. 53-66.

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

  9. Published

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). ed. / Jasmin Christian Blanchette; Stephan Merz. Springer, 2016. p. 341-357 (Lecture Notes in Computer Science, Vol. 9807).

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

  10. Published

    Formal Methods and Safety Certification: Challenges in the Railways Domain. / Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania.

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

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

  11. Published

    Formal modelling and analysis of socio-technical systems. / Probst, Christian W.; Kammüller, Florian; Hansen, Rene Rydhof.

    Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. ed. / Christian W. Probst; Chris Hankin; René Rydhof Hansen. Springer, 2016. p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

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

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