Springer, 0-387

Central database

Publisher

  1. Research › Article in proceedings
  2. Published

    DXRD and Its Applications Leading to New Modelling. / Juul Jensen, Dorte.

    Microstructure and Texture in Steels and other Materials. ed. / A. Haldar; S. Suwas; D. Bhattacharjee. London : Springer, 2009. p. 247-254.

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

  3. Published

    Application of the method of auxiliary sources in optical diffraction microscopy. / Karamehmedovic, Mirza; Sørensen, Mads Peter; Hansen, Poul-Erik; Lavrinenko, Andrei.

    Progress in Industrial Mathematics at ECMI 2008. 1. ed. Heidelberg, Dordrecht, London, New York : Springer, 2010. p. 899-905.

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

  4. Published

    Enabling multimode wireless access networks using remote radio heads. / Kardaras, Georgios; Soler, José; Dittmann, Lars.

    7th International ICST Conference on Broadband Communications, Networks, and Systems. Springer, 2012. p. 429-434 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).

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

  5. Published

    The role of simulation in designing for universal access. / Keates, Simeon; Looms, Peter.

    Universal Access in Human-Computer Interaction. Design and Development Methods for Universal Access: 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I. ed. / Stephanidis Constantine ; Antona Margherita . Vol. 8513 Springer, 2014. p. 54-63 (Lecture Notes in Computer Science).

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

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

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

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

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

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

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

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