Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. Research › Article in proceedings
  2. Published

    Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth (Invited author); Bliguet, Marie Le (Invited author); Kjær, Andreas (Invited author).

    Foundations of Computer Software: Future Trends and Techniques for Development.. ed. / Christine Choppy; Oleg Sokolsky. Springer, 2010. p. 141-153 (Lecture Notes in Computer Science; No. 6028).

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

  3. Published

    Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth.

    Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, 2011. p. 176-192 (Lecture Notes in Computer Science; No. 6662).

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

  4. Published

    The Influence of Face Sheet Wrinkle Defects on the Performance of FRP Sandwich Structures. / Hayman, Brian; Berggreen, Carl Christian; Pettersson, Robert.

    Sandwich Structures 7: Advancing with Sandwich. O. T. Thomsen, E. Bozhevolnaya and A. Lyckegaard. ed. Netherlands : Springer, 2005. p. 1-1034.

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

  5. Published

    Playful Interaction with Voice Sensing Modular Robots. / Heesche, Bjarke; MacDonald, Ewen; Fogh, Rune; Pacheco, Moises; Christensen, David Johan.

    Proceedings of ICSR 2013. Springer, 2013. p. 180–189 (Lecture Notes in Artificial Intelligence, Vol. 8239).

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

  6. Published

    GOCE Data for Local Geoid Enhancement. / Herceg, Matija; Knudsen, Per; Tscherning, Carl Christian.

    Gravity, Geoid and Height Systems: Proceedings of the IAG Symposium GGHS2012. ed. / Urs Marti. Vol. 141 Springer, 2014. p. 133-142 (Gravity, Geoid and Heigh Systems).

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

  7. Published

    Active Shape Analysis of Mandibular Growth. / Hilger, Klaus Baggesen; Larsen, Rasmus; Kreiborg, Sven; Krarup, Søren; Darvann, Tron Andre; Marsh, Jeffrey.

    Medical Image Computing and Computer-Assisted Intervention - MICCAI. Springer, 2003.

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

  8. Published

    A Noise Robust Statistical Texture Model. / Hilger, Klaus Baggesen; Stegmann, Mikkel Bille; Larsen, Rasmus; Dohi, T. (Editor).

    Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th Int. Conference, Tokyo, Japan. Springer, 2002. p. 444-451.

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

  9. Published

    Decoding Hermitian Codes with Sudan's Algorithm. / Høholdt, Tom; Nielsen, Rasmus Refslund.

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Proceedings. Berlin : Springer, 1999. p. 260-270 (Lecture Notes in Computer Science, Vol. 1719).

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

  10. Published

    Decoding Reed-Solomon Codes beyond half the minimum distance. / Høholdt, Tom; Nielsen, Rasmus Refslund.

    Coding Theory, Cryptography and Related Areas. Berlin : Springer, 1999. p. 221-236.

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

  11. Published

    Optimal Bipartitet Ramanujan Graphs from Balanced Incomplete Block Designs: Their Characterization and Applications to Expander/LDPC Codes.. / Høholdt, Tom (Invited author); Janwa, Heeralal (Invited author).

    Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes: Springer Lecture Notes in Computer Science. Vol. 5527 Berlin : Springer, 2009. p. 53-65.

    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.