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

Central database

Publisher

  1. 2015
  2. Published

    Effective and efficient model clone detection. / Störrle, Harald.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 440-457 (Lecture Notes in Computer Science, Vol. 8950).

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

  3. Published

    ¿El Caballo Viejo? Latin Genre Recognition with Deep Learning and Spectral Periodicity. / Sturm, Bob L.; Kereliuk, Corey Mose; Larsen, Jan.

    Proceedings of the 5th International Conference Mathematics and Computation in Music, MCM 2015. ed. / Tom Collins; David Meredith; Anja Volk. Springer, 2015. p. 335-346 (Lecture Notes in Computer Science, Vol. 9110).

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

  4. Published

    Energy-Efficient Optical Signal Processing Using Optical Time Lenses : Data Communication and Storage Applications. / Oxenløwe, Leif Katsuo; Galili, Michael; Mulvad, Hans Christian Hansen; Hu, Hao; Guan, Pengyu; Palushani, Evarist; Lillieholm, Mads; Clausen, Anders.

    All-Optical Signal Processing. ed. / Stefan Wabnitz; Benjamin J. Eggleton. Vol. 194 Springer, 2015. p. 261-289 (Springer Series in Optical Sciences).

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

  5. Published

    Factorization of Behavioral Integrity. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015: Part 2. ed. / Günther Pernul; Peter Y A Ryan; Edgar Weippl. Springer, 2015. p. 500-519 (Lecture Notes in Computer Science, Vol. 9327).

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

  6. Published

    Fault Detection in WSNs - An Energy Efficiency Perspective Towards Human-Centric WSNs. / Orfanidis, Charalampos; Zhang, Yue; Dragoni, Nicola.

    Proceedings of the 9th KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2015). ed. / Gordan Jezic; Robert J. Howlett; Lakhmi C. Jain. Springer, 2015. p. 285-300 (Smart Innovation, Systems and Technologies, Vol. 38).

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

  7. Published

    Fault diagnosis based on controller modification. / Niemann, Hans Henrik.

    Advanced and Intelligent Computations in Diagnosis and Control. Springer, 2015. p. 3-18 (Advances in Intelligent Systems and Computing, Vol. 386).

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

  8. Published

    Fault-Tolerant Digital Microfluidic Biochips: Compilation and Synthesis. / Pop, Paul (Editor); Alistar, Mirela (Editor); Stuart, Elena (Editor); Madsen, Jan (Editor).

    Springer, 2015. 234 p.

    Publication: ResearchBook – Annual report year: 2015

  9. Published

    Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. / Vu, Linh Hong; Haxthausen, Anne Elisabeth; Peleska, Jan.

    Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014). ed. / Cyrille Artho; Peter Csaba Ölveczky. Springer, 2015. p. 223-238 (Communications in Computer and Information Science, Vol. 476).

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

  10. Published

    Hoare Logic for Disjunctive Information Flow. / Nielson, Hanne Riis; Nielson, Flemming; Li, Ximeng.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. ed. / Chiara Bodei; Gian-Luigi Ferrari; Corrado Priami. Springer, 2015. p. 47-65 (Lecture Notes in Computer Science, Vol. 9465).

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

  11. Published

    How Not to Combine RC4 States. / Banik, Subhadeep; Jha, Sonu.

    Proceedings of the 5th International Conference on Security, Privacy, and Applied Cryptography Engineering (SPACE 2015). ed. / Rajat Subhra Chakraborty; Peter Schwabe; Jon Solworth. Springer, 2015. p. 95-112 (Lecture Notes in Computer Science, Vol. 9354).

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

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