Springer

Central database

Publisher

  1. 2016
  2. 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

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

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

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

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

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

  8. Published

    Diagnosis for Control and Decision Support for Autonomous Vehicles. / Blanke, Mogens; Hansen, Søren; Rufus Blas, Morten.

    Complex Systems: Relationships between Control, Communications and Computing. ed. / Georgi M. Dimirovski. Springer, 2016. p. 3-37 (Studies in Systems, Decision and Control, Vol. 55).

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

  9. Published

    Disjunctive Information Flow for Communicating Processes. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis; Feng, Xinyu.

    Revised Selected Papers of the 10th International Symposium on Trustworthy Global Computing (TGC 2015). ed. / Pierre Ganty; Michele Loreti. Springer, 2016. p. 95-111 (Lecture Notes in Computer Science, Vol. 9533).

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

  10. Published

    Durability Issues and Status of PBI-Based Fuel Cells. / Jakobsen, Mark Tonny Dalsgaard; Jensen, Jens Oluf; Cleemann, Lars Nilausen; Li, Qingfeng.

    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. 487-509.

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

  11. Published

    Dynamic and approximate pattern matching in 2D. / Clifford, Raphaël; Fontaine, Allyx ; Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

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

    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.