Springer

Central database

Publisher

  1. 2016
  2. Published

    Discounted Duration Calculus. / Ody, Heinrich ; Fränzle, Martin; Hansen, Michael Reichhardt.

    Proceedings of the 21st International Symposium on Formal Methods (FM 2016). Springer, 2016. p. 577-592 (Lecture Notes in Computer Science, Vol. 9995).

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

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

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

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

  6. Published

    Electricity Markets Ontology to Support MASCEM's Simulations. / Santos, Gabriel; Pinto, Tiago; Vale, Zita; Praca, Isabel; Morais, Hugo.

    Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection: International Workshops of PAAMS 2016. ed. / J. Bajo. Vol. 616 Springer, 2016. p. 393-404 (Communications in Computer and Information Science, Vol. 616).

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

  7. Published

    Electro-desalination of Buildings Suffering from Salt Weathering. / Ottosen, Lisbeth M.; Hansen, H.K.

    Electrokinetics Across Disciplines and Continents: New Strategies for Sustainable Development. Springer, 2016. p. 205-224.

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

  8. Published

    Electrokinetic Remediation of Copper Mine Tailings : Evaluating Different Alternatives for the Electric Field. / Hansen, H.K.; Rojo, Adrián; Gutiérrez, Claudia; Jensen, Pernille Erland; Ottosen, Lisbeth M.

    Electrokinetics Across Disciplines and Continents: New Strategies for Sustainable Development. Springer, 2016. p. 143-159.

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

  9. Published

    Electrokinetic Soil Remediation : An Overview. / Hansen, H.K.; Ottosen, Lisbeth M.; Ribeiro, A.B.

    Electrokinetics Across Disciplines and Continents: New Strategies for Sustainable Development. Springer, 2016. p. 3-18.

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

  10. Published

    Enforcing Availability in Failure-Aware Communicating Systems. / López-Acosta, Hugo-Andrés; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016). ed. / Elvira Albert; Ivan Lanese. Springer, 2016. p. 195-211 (Lecture Notes in Computer Science, Vol. 9688).

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

  11. Accepted/In press

    Engineer medium and feed for modulating N-glycosylation of recombinant protein production in CHO cell culture. / Fan, Yuzhou; Kildegaard, Helene Faustrup; Andersen, Mikael Rørdam.

    Heterologous Protein Production in CHO cells. Springer, 2016.

    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.