Springer, 0-387

Central database

Publisher

  1. Research › Article in proceedings
  2. Published

    Iterative Specialisation of Horn Clauses. / Nielsen, Christoffer Rosenkilde; Nielson, Flemming; Nielson, Hanne Riis.

    Lecture Notes in Computer Science. Vol. Volume 4960 Springer, 2008. p. 131-145.

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

  3. Published

    Jet-Based Local Image Descriptors. / Larsen, Anders Boesen Lindbo; Darkner, Sune; Dahl, Anders Lindbjerg; Pedersen, Kim Steenstrup.

    Computer Vision – ECCV 2012: Workshops and Demonstrations, Part III. Springer, 2012. p. 638-650 (Lecture Notes in Computer Science, Vol. 7584).

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

  4. Published

    Kernel based subspace projection of near infrared hyperspectral images of maize kernels. / Larsen, Rasmus; Arngren, Morten; Hansen, Per Waaben; Nielsen, Allan Aasbjerg.

    Proceedings on the 16th Scandinavian Conference on Image Analysis. ed. / Arnt-Børre Salberg. New York : Springer, 2009. (Lecture Notes in Computer Science).

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

  5. Published

    Key-Alternating Ciphers in a Provable Setting: Encryption Using a Small Number of Public Permutations (Extended Abstract). / Bogdanov, Andrey; Knudsen, L.R.; Leander, Gregor; Standaert, Francois-Xavier; Steinberger, John; Tischhauser, E.

    Advances in Cryptology – CRYPTO 2012: 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. Vol. 7417 Springer, 2012. p. 45-62 (Lecture Notes in Computer Science, Vol. 7417).

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

  6. Published

    Key Recovery Attacks on Recent Authenticated Ciphers. / Bogdanov, Andrey; Dobraunig, Christoph; Eichlseder, Maria; Lauridsen, Martin Mehl; Mendel, Florian; Schläffer, Martin; Tischhauser, Elmar Wolfgang.

    3rd International Conference on Cryptology and Information Security in Latin America. Springer, 2014. p. 274-287 (Lecture Notes in Computer Science, Vol. 8895).

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

  7. Published

    Labelled Natural Deduction for Interval Logics. / Rasmussen, Thomas Marthedal.

    Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings: Lecture Notes in Computer Science, 2142. Springer, 2001. p. 308-323.

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

  8. Large scale dynamic model reconstruction for the central carbon metabolism of escherichia coli. / Costa, Rafael S.; Machado, Daniel; Rocha, Isabel; Ferreira, EugénioC.

    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. 1079-1083 (Lecture Notes in Computer Science, Vol. 5518).

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

  9. Published

    Large-scale methods in image deblurring. / Hansen, Per Christian (Invited author).

    Applied Parallel Computing: State of the Art in Scientific Computing. ed. / Bo Kågström; Erik Elmroth; Jack J. Dongarra; Jerzy Wasniewski. Springer, 2007. p. 24-35 (Lecture Notes in Computer Science; No. 4699).

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

  10. Published

    Laser based measurements of profiles of wind and momentum flux over a canopy. / Mann, Jakob; Bingöl, Ferhat; Dellwik, Ebba; Rathmann, Ole.

    Advances in turbulence 9. Proceedings. ed. / J.M.L.M. Palma; A.S. Lopes. Vol. 117 Berlin : Springer, 2007. p. 688-690 (Springer Proceedings in Physics, 117).

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

  11. Published

    Lazy Mobile Intruders. / Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Principles of Security and Trust: Second International Conference, POST 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. 147-166 (Logical Methods in Computer Science, Vol. 7796).

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

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word