Springer, 0-387

Central database

Publisher

  1. Research › Article in proceedings
  2. Published

    Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 Family. / Khovratovich, Dmitry; Rechberger, Christian; Savelieva, Alexandra.

    Fast Software Encryption: 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers. Springer, 2012. p. 244-263 (Lecture Notes in Computer Science, Vol. 7549).

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

  3. Published

    Rotational Rebound Attacks on Reduced Skein. / Khovratovich, Dmitry; Nikolic, Ivica; Rechberger, Christian.

    Advances in Cryptology - ASIACRYPT 2010: 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings. ed. / Masayuki Abe. Springer, 2010. p. 1-19 (Lecture Notes in Computer Science, Vol. 6477).

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

  4. Published

    On Stabilization in Herman’s Algorithm. / Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun.

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 466-477 (Lecture Notes in Computer Science; No. 6756).

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

  5. Published

    The ePNK: An Extensible Petri Net Tool for PNML. / Kindler, Ekkart.

    Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, 2011. p. 318-327 (Lecture Notes in Computer Science; No. 6709).

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

  6. Published

    Towards a Standard for Modular Petri Nets : A Formalisation. / Kindler, Ekkart; Petrucci, Laure.

    Proceedings of the Application and Theory of Petri Nets: 30th International Conference. ed. / Giuliana Franceschinis; Karsten Wolf. Springer, 2009. p. 43-62 (Lecture Notes in Computer Science; No. 5606).

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

  7. Testing Library Specifications by Verifying Conformance Tests. / Kiniry, Joseph; Zimmerman, Daniel M.; Hyland, Ralph.

    Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Springer, 2012. p. 51-66 (Lecture Notes in Computer Science, Vol. 7305).

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

  8. Evaluation of Mesoscale Model Profiles Against Consecutive Radiosounding Data During the Sofia 2003 Experiment. / Kirova, H.; Batchvarova, Ekaterina; Nikolov, Valeri .

    Air Pollution Modeling and its Application XXIII. ed. / Douw Steyn; Rohit Mathur. Springer, 2014. p. 531-534 (Springer Proceedings in Complexity).

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

  9. Published

    The influence of plant lectins on immune response. / Kjær, Tanja M Rosenkilde; Mikkelsen, Thomas; Tonsgaard, Maria Camilla; Rossen, Mette; Sørensen, Susanne; Frøkiær, Hanne.

    Plant Proteins from European Crops. Food and non-Food Applications. Berlin : Springer, 1998. p. 198-202.

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

  10. Published

    Singlet Ground-State Dimer Systems Cs3Cr2Br9 and Cs3Cr2Cl9. / Kjems, Jørgen; Petitgrand, D.; Feile, R; Leuenberger, B.; Güdel, H.U.

    Magnetic Excitations and Fluctuations. Proceedings of an International Workshop. ed. / S.W. Lovesey. Springer, 1984. p. 189-194 (Springer Series in Solid-State Sciences; No. 54).

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

  11. Published

    Analysis of RMAC. / Knudsen, Lars Ramkilde; Kohno, T.

    Fast Software Encryption. 2887. ed. Berlin Heidelberg : Springer, 2003. p. 182-191 (Lecture Notes in Computer Science).

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

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