Springer

Central database

Publisher

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

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

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

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

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

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

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

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

  11. Published

    A Mechanism for Identity Delegation at Authentication Level. / Ahmed, Naveed; Jensen, Christian D.

    Identity and Privacy in the Internet Age, Proceedings: Lecture Notes in Computer Science. Vol. 5838 Springer, 2009. p. 148-162.

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

  12. Published

    Analysis of gait using a treadmill and a Time-of-flight camera. / Jensen, Rasmus Ramsbøl; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

    Dynamic 3D Imaging. Heidelberg : Springer, 2009. p. 154-166.

    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.