Springer

Central database

Publisher

  1. 2015
  2. Published

    Access, Rank, and Select in Grammar-compressed Strings. / Belazzougui, Djamal ; Cording, Patrick Hagge; Puglisi, Simon J. ; Tabei, Yasuo .

    Proceedings of the 23rd Annual European Symposium on Algorithms – ESA 2015. ed. / Nikhil Bansal; Irene Finocchi. Springer, 2015. p. 142-154 (Lecture Notes in Computer Science, Vol. 9294).

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

  3. Published

    A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

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

  4. Published

    A Framework for Sustainable Design of Algal Biorefineries: Economic Aspects and Life Cycle Analysis. / Cheali, Peam; Loureiro da Costa Lira Gargalo, Carina; Gernaey, Krist; Sin, Gürkan.

    Algal Biorefineries: Volume 2: Products and Refinery Design. ed. / Aleš Prokop ; Rakesh K. Bajpai; Mark E. Zappi. Vol. 2 Springer, 2015. p. 511-535.

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

  5. Published

    Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures. / Santos, Gabriel; Pinto, Tiago; Gomes, Luis; Silva, Marco; Morais, Hugo; Vale, Zita; Praca, Isabel.

    Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection: International Workshops of PAAMS 2015, Salamanca, Spain, June 3-4, 2015. Proceedings. Springer, 2015. p. 283-295 (Communications in Computer and Information Science, Vol. 524).

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

  6. Published

    Alice and Bob: Reconciling Formal Models and Implementation. / Almousa, Omar; Mödersheim, Sebastian Alexander; Viganò, Luca.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Springer, 2015. p. 66-85 (Lecture Notes in Computer Science, Vol. 9465).

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

  7. Published

    A Matheuristic for the Liner Shipping Network Design Problem with Transit Time Restrictions. / Brouer, Berit Dangaard; Desaulniers, Guy; Karsten, Christian Vad; Pisinger, David.

    Computational Logistics: Proceedings of the 6th International Conference, ICCL 2015. Springer, 2015. p. 195-208 (Lecture Notes in Computer Science, Vol. 9335).

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

  8. Published

    Amniotic fluid and colostrum as potential diets in the critical care of preterm infants. / Støy, Ann Cathrine Findal; Viberg Østergaard, Mette; Torp Sangild, Per .

    Diet and Nutrition in Critical Care. ed. / Rajkumar Rajendram; Victor R. Preedy; Vinood B. Patel. Springer, 2015. p. 1109-1121.

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

  9. Published

    Analyzing Permutations for AES-like Ciphers: Understanding ShiftRows. / Beierle, Christof ; Jovanovic, Philipp ; Lauridsen, Martin Mehl; Leander, Gregor; Rechberger, Christian.

    Topics in Cryptology – CT-RSA 2015: Proceedings of the Cryptographers’ Track at the RSA Conference 2015. ed. / Kaisa Nyberg. Springer, 2015. p. 37-58 (Lecture Notes in Computer Science, Vol. 9048).

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

  10. Published

    An Ensemble of 2D Convolutional Neural Networks for Tumor Segmentation. / Lyksborg, Mark; Puonti, Oula; Agn, Mikael; Larsen, Rasmus.

    Proceedings of the 19th Scandinavian Conference on Image Analysis, SCIA 2015. Springer, 2015. p. 201-211 (Lecture Notes in Computer Science, Vol. 9127).

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

  11. Published

    An institution for object-z with inheritance and polymorphism. / Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M'hamed.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 134-154 (Lecture Notes in Computer Science, Vol. 8950).

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

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