Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. 2014
  2. Published

    ALE: AES-based lightweight authenticated encryption. / Bogdanov, Andrey; Mendel, Florian; Regazzoni, Francesco; Rijmen, Vincent; Tischhauser, Elmar.

    Fast Software Encryption. Revised Selected Papers. Vol. 8424 Springer, 2014. p. 447-466 (Lecture Notes in Computer Science, Vol. 8424).

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

  3. Published

    Algorithm Theory - SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings.. / Ravi, R. (Editor); Gørtz, Inge Li (Editor).

    Springer, 2014. 391 p. (Lecture Notes in Computer Science, Vol. 8503).

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

  4. Published

    Analyzing Social Interactions: Promises and Challenges of Cross Recurrence Quantification Analysis. / Fusaroli, Riccardo; Konvalinka, Ivana; Wallot, Sebastian.

    Translational Recurrences: From Mathematical Theory to Real-World Applications. ed. / N. Marwan; M. Riley; A. Giuliani; C. L. Webber Jr.Springer, 2014. p. 137-155 (Springer Proceedings in Mathematics & Statistics, Vol. 103).

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

  5. Published

    An Inference Language for Imaging. / Pedemonte, Stefano ; Catana, Ciprian; Van Leemput, Koen.

    Revised Selected Papers of the 1st International Workshop on Bayesian and grAphical Models for Biomedical Imaging (BAMBI 2014). Springer, 2014. p. 61-72 (Lecture Notes in Computer Science, Vol. 8677).

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

  6. Published

    An Institution for Imperative RSL Specifications. / Haxthausen, Anne Elisabeth.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 441-464 (Lecture Notes in Computer Science, Vol. 8373).

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

  7. Published

    Application and Theory of Petri Nets and Concurrency : Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014. / Ciardo, Gianfranco (Editor); Kindler, Ekkart (Editor).

    Springer, 2014. 395 p. (Lecture Notes in Computer Science, Vol. 8489).

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

  8. Published

    Applied Bounded Model Checking for Interlocking System Designs. / Haxthausen, Anne Elisabeth; Peleska, Jan; Pinger, Ralf.

    Software Engineering and Formal Methods. Revised Selected Papers. Vol. 8368 Springer, 2014. p. 205–220 (Lecture Notes in Computer Science, Vol. 8368).

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

  9. Published

    A Practical Approach for Parameter Identification with Limited Information. / Zeni, Lorenzo; Yang, Guangya; Tarnowski, Germán Claudio; Østergaard, Jacob.

    Modern Advances in Applied Intelligence. Proceedings, Part II. Springer, 2014. p. 177–188 (Lecture Notes in Computer Science, Vol. 8482).

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

  10. Published

    A Synthesizable Multicore Platform for Microwave Imaging. / Schleuniger, Pascal; Karlsson, Sven .

    Reconfigurable Computing: Architectures, Tools, and Applications. Proceedings. Springer, 2014. p. 197-204 (Lecture Notes in Computer Science, Vol. 8405).

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

  11. Published

    A System for Computing Conceptual Pathways in Bio-medical Text Models. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Jensen, Per Anker.

    Foundations of Intelligent Systems. ed. / Troels Andreasen; Henning Christiansen; Juan-Carlos Cubero; Zbigniew W. Ras. Springer, 2014. p. 264-273 (Lecture Notes in Computer Science, Vol. 8502).

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

Download list: To download, please limit the number of search results to 1,000 or less.