Springer, 0-387

Central database

Publisher

  1. Research › Article in proceedings
  2. 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

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

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

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

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

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

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

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

  10. Published

    Cryptanalysis of MDC-2. / Knudsen, Lars Ramkilde; Mendel, Florian; Rechberger, Christian; Thomsen, Søren Steffen.

    Advances in Cryptology - EUROCRYPT 2009: 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings.. ed. / Antoine Joux. Berlin / Heidelberg : Springer, 2009. p. 106-120 (Lecture Notes in Computer Science; No. 5479).

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

  11. Published

    PRINTcipher: A Block Cipher for IC-Printing. / Knudsen, Lars Ramkilde; Leander, Gregor.

    Cryptographic Hardware and Embedded Systems, CHES 2010: 12th International Workshop, Santa Barbara, CA, USA, August 17-20, 2010. ed. / Stefan Mangard; Francois-Xavier Standaert. Springer, 2010. p. 16-32 (Lecture notes in computer science; No. 6225).

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

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