Springer

Central database

Publisher

  1. 2010
  2. Published

    String Matching with Variable Length Gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010. Springer, 2010. p. 385-394 (Lecture Notes in Computer Science; No. 6393).

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

  3. Published

    Terrestrial Water Storage from GRACE and Satellite Altimetry in the Okavango Delta (Botswana). / Andersen, Ole Baltazar; Krogh, Pernille Engelbredt; Bauer-Gottwein, Peter; Leiriao, S.; Smith, R.; Berry, Philippa.

    Gravity, Geoid and Earth Observation. ed. / S. P. Mertikas. Vol. 135/ 7 Springer, 2010. p. 521-526.

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

  4. Published

    The Genome Atlas Resource. / Azam Qureshi, Matloob; Rotenberg, Eva; Stærfeldt, Hans Henrik; Hansson, Lena; Ussery, David.

    International Conference on Computational Systems-Biology and Bioinformatics, Proceedings. Vol. 115 Springer, 2010. p. 149-158.

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

  5. Published

    The Impact of CAS Use in Introductory Engineering Mathematics. / Schmidt, Karsten (Invited author); Rattleff, Pernille (Invited author); Hussmann, Peter Munkebo (Invited author).

    Progress in Industrial Mathematics at ECMI 2008. Springer, 2010.

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

  6. Published

    The Risk of Risk Analysis. / Probst, Christian W.; Hunker, Jeffrey.

    Economics of Information Security and Privacy. Springer, 2010. p. 279-299.

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

  7. Published

    Worst-case analysis of heap allocations. / Puffitsch, Wolfgang; Huber, Benedikt; Schoeberl, Martin.

    Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium On Leveraging Applications (ISoLA 2010). Vol. 2 1. ed. Springer, 2010. p. 464-478 (Lecture Notes in Computer Science; No. 6416).

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

  8. 2009
  9. Published

    A Cache Timing Analysis of HC-256. / Zenner, Erik.

    Selected Areas in Cryptography: Workshop Proceedings. ed. / R. Avanzi; L. Keliher; F. Sica. Springer, 2009. p. 199-213 (Springer Lecture Notes in Computer Science (LNCS); No. 5381).

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

  10. A critical review on modelling formalisms and simulation tools in computational biosystems. / Machado, Daniel; Costa, Rafael S.; Rocha, Miguel; Rocha, Isabel; Tidor, Bruce; Ferreira, Eugénio C.

    Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings. Vol. 2 Springer, 2009. p. 1063-1070 (Lecture Notes in Computer Science, Vol. 5518).

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

  11. Published

    A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

    Computer Safety, Reliability, and Security. ed. / Buth; Rabe; Seyfarth. Vol. 5775 Berlin / Heidelberg : Springer, 2009. p. 1-3 (Lecture Notes in Computer Science).

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

  12. Published

    A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way. / Dragoni, Nicola; Mazzara, Manuel.

    6th International Workshop on Web Services and Formal Methods (WS-FM'09). Springer, 2009. (LNCS).

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

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