Springer

Central database

Publisher

  1. 2013
  2. Published

    Targeted Metabolic Engineering Guided by Computational Analysis of Single-Nucleotide Polymorphisms (SNPs). / Udatha, D B R K Gupta; Rasmussen, Simon; Sicheritz-Pontén, Thomas; Panagiotou, Gianni.

    Systems Metabolic Engineering : Methods and Protocols. Springer, 2013. p. 409-428 (Methods in Molecular Biology, Vol. 985).

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

  3. Published

    Terahertz Spectroscopy of Crystalline and Non-Crystalline Solids. / Parrott, Edward P. J.; Fischer, Bernd M.; Gladden, Lynn F.; Zeitler, J. Axel; Jepsen, Peter Uhd.

    Terahertz Spectroscopy and Imaging. Springer, 2013. p. 191-227 (Springer Series in Optical Sciences, Vol. 171).

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

  4. Published

    The Quest for Minimal Quotients for Probabilistic Automata. / Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun.

    Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 16-31 (Lecture Notes in Computer Science, Vol. 7795).

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

  5. Published

    Time-Space Trade-Offs for the Longest Common Substring Problem. / Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings. Springer, 2013. p. 223-234 (Lecture Notes in Computer Science, Vol. 7922).

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

  6. Published

    Timing and Targeting of PSS Methods and Tools: An Empirical Study amongst Academic Contributors. / Nøhr Hinz, Hector; Bey, Niki; McAloone, Tim C.

    Product-Service Integration for Sustainable Solutions. Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems. ed. / Horst Meier. Springer, 2013. p. 131–139 (Lecture Notes in Production Engineering).

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

  7. Published

    Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. / Simonsen, Kent Inge; Kristensen, Lars Michael.

    Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Springer, 2013. p. 106-125 (Lecture Notes in Computer Science, Vol. 7706).

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

  8. Published

    Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages. / Störrle, Harald; Fish, Andrew.

    Model-Driven Engineering Languages and Systems. Springer, 2013. p. 104-120 (Lecture Notes in Computer Science, Vol. 8107).

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

  9. Published

    Tree compression with top trees. / Bille, Philip; Gørtz, Inge Li; Landau, Gad M.; Weimann, Oren.

    Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Springer, 2013. p. 160-171 (Lecture Notes in Computer Science, Vol. 7965).

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

  10. Upper Ontology for Multi-Agent Energy Systems’ Applications. / Santos, Gabriel; Pinto, Tiago; Vale, Zita; Morais, Hugo; Praca, Isabel.

    Distributed Computing and Artificial Intelligence: Advances in Intelligent Systems and Computing. ed. / Sigeru Omatu; Jose Neves. Vol. 217 Springer, 2013. p. 617-624.

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

  11. Published

    What Genes Tell about Iris Appearance. / Harder, Stine; Christoffersen, Susanne R.; Johansen, Peter; Børsting, Claus; Morling, Niels; Andersen, Jeppe D.; Dahl, Anders Lindbjerg; Paulsen, Rasmus Reinhold.

    Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2013. p. 244-253 (Lecture Notes in Computer Science, Vol. 7766).

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

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