Springer

Central database

Publisher

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

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

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

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

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

  7. Published

    Analyzing Gait Using a Time-of-Flight Camera. / Jensen, Rasmus Ramsbøl; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

    Proceedings of the Scandinavian Conference on Image Analysis. Heidelberg : Springer, 2009.

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

  8. Published

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. / Bras-Amorós, Maria (Editor); Høholdt, Tom (Editor).

    Berlin : Springer, 2009. 243 p. (Lecture Notes in Computer Science; No. 5527).

    Publication: Research - peer-reviewBook – Annual report year: 2009

  9. Published

    A Practical Key Recovery Attack on Basic TCHo. / Leander, Gregor; Herrmann, Mathias.

    Public Key Cryptography - PKC 2009: 12th International Conference on Practice and Theory in Public Key Cryptography. Springer, 2009. p. 411-424 (Lecture Notes in Computer Science; No. 5443).

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

  10. Published

    Bioprocess Modelling for Learning Model Predictive Control (L-MPC). / Alvarez Villanueva, Maria Antonieta; Stocks, Stuart M.; Jørgensen, Sten Bay.

    Computational Intelligence Techniques for Bioprocess Modelling, Supervision and Control: M.C.Nicoletti and L.C. Jain (Eds.), Studies in Computational Intelligence. Vol. Chapter 9 Germany : Springer, 2009. p. 237-280.

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

  11. Published

    Bivium as a Mixed Integer Programming Problem. / Borghoff, Julia; Knudsen, Lars Ramkilde; Stolpe, Mathias.

    Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009 Cirencester, UK, DEcenber 2009. ed. / Matthew G. Parker. Springer, 2009. p. 133-152 (Lecture Notes of Computer Science; No. 5921).

    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.