Springer

Local database

Publisher

  1. 2017
  2. Published

    The Limits of Logic-Based Inherent Safety of Social Robots. / Bentzen, Martin Mose.

    Philosophy and Engineering: Exploring Boundaries, Expanding Connections. ed. / Diane P. Michelfelder; Byron Newberry; Qin Zhu. Springer, 2017. p. 229-240 (Philosophy of Engineering and Technology, Vol. 26).

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

  3. 2016
  4. Published

    Acid–Base Chemistry and Proton Conductivity. / Li, Qingfeng; Aili, David; Savinell, Robert F.; Jensen, Jens Oluf.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 37-57.

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

  5. Published

    AIF-ω: Set-Based Protocol Abstraction with Countable Families. / Mödersheim, Sebastian Alexander; Bruni, Alessandro.

    Proceedings of the 5th International Conference on Principles of Security and Trust (POST 2016): Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016). ed. / Frank Piessens; Luca Viganò. Springer, 2016. p. 233-253 (Lecture Notes in Computer Science, Vol. 9635).

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

  6. Published

    A MAC Mode for Lightweight Block Ciphers. / Luykx, Atul; Preneel, Bart; Tischhauser, Elmar Wolfgang; Yasuda, Kan.

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

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

  7. Published

    An Introduction to Experimental Design Research. / Cash, Philip; Stanković, Tino; Štorga, Mario.

    Experimental Design Research: Approaches, Perspectives, Applications. ed. / Philip Cash; Tino Stanković; Mario Štorga. Springer, 2016. p. 3-12.

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

  8. Published

    An Overview of Offshore Wind Farm Design. / Giebel, Gregor; Hasager, Charlotte Bay.

    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. 337-346.

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

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

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

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

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

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.