Springer, 0-387

Central database

Publisher

  1. In press

    Optimal Sceduling of Stochastic Production Processes Through Model Checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Modelling and Management of Engineering Processes. ed. / Michael Schabacker; Kilian Gericke; Nikoletta Szélig; Sándor Vajna. Springer, 2015. p. 187-202.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  2. Published

    Advanced Topology Optimization Methods for Conceptual Architectural Design. / Aage, Niels; Amir, Oded; Clausen, Anders; Hadar, Lior ; Maier, Dana ; Søndergaard, Asbjørn .

    Advances in Architectural Geometry 2014. ed. / P. Block; J. Knippers; N.J. Mitra; W. Wang. Springer, 2014.

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

  3. Published

    Polymers for Fuel Cells. / Aili, David; Jensen, Jens Oluf; Li, Qingfeng.

    Encyclopedia of Polymeric Nanomaterials. Springer, 2014.

    Publication: Research - peer-reviewEncyclopedia chapter – Annual report year: 2014

  4. Published

    Cryptanalysis of SIMON Variants with Connections. / Alizadeh, Javad; Alkhzaimi, Hoda A.; Aref, Mohammad Reza; Bagheri, Nasour; Gauravaram, Praveen; Kumar, Abhishek; Lauridsen, Martin Mehl; Sanadhya, Somitra Kumar.

    Proceedings of the 10th International Workshop on Radio Frequency Identification Security and Privacy Issues, RFIDSec 2014: Revised Selected Papers. ed. / Nitesh Saxena; Ahmad-Reza Sadeghi. Springer, 2014. p. 90-107 (Lecture Notes in Computer Science; No. 8651).

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

  5. Published

    Domain Theory, Its Models and Concepts. / Andreasen, Mogens Myrup; Howard, Thomas J.; Bruun, Hans Peter Lomholt.

    An Anthology of Theories and Models of Design: Philosophy, Approaches and Empirical Explorations. ed. / A. Chakrabarti; L.T.M. Blessing. Springer, 2014. p. 173-195.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  6. Published

    How to Securely Release Unverified Plaintext in Authenticated Encryption. / Andreeva, Elena; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Mouha, Nicky; Yasuda, Kan.

    Advances in Cryptology – ASIACRYPT 2014: Proceedings of the 20th International Conference on the Theory and Application of Cryptology and Information Security - Part I. ed. / Palash Sarkar; Tetsu Iwata. Springer, 2014. p. 105-125 (Lecture Notes in Computer Science; No. 8873).

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

  7. Published

    Indium Tin Oxide-Free Polymer Solar Cells: Toward Commercial Reality. / Angmo, Dechan; Espinosa Martinez, Nieves; Krebs, Frederik C.

    Low-cost Nanomaterials : Toward Greener and More Efficient Energy Applications. ed. / Z. Lin; J. Wang. Springer, 2014. p. 189-225 (Green Energy and Technology).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  8. Published

    The Dual Half-Arc data structure: towards the universal B-rep data structure. / Anton, François; Bugoslawski, P.; Mioc, Darka.

    Geoinformation for Informed Decisions. Springer, 2014. (Lecture notes in geoinformation and Cartography).

    Publication: Research - peer-reviewReport chapter – Annual report year: 2014

  9. Published

    Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?. / Arrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto.

    Revised Selected Papers of the 10th International Workshop on Rewriting Logic and Its Applications, WRLA 2014. ed. / Santiago Escobar. Springer, 2014. p. 21-41 (Lecture Notes in Computer Science, Vol. 8663).

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

  10. Published

    Pareto Efficient Solutions of Attack Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 279-280 (Lecture Notes in Computer Science; No. 8788).

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

Previous 1 2 3 4 5 6 7 8 ...93 Next
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