Springer

Central database

Publisher

  1. 2015
  2. 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

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

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

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

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

  7. Published

    Fungal Morphology in Industrial Enzyme Production - Modelling and Monitoring. / Quintanilla, D.; Hagemann, T.; Hansen, K.; Gernaey, K. V.

    Filaments in Bioprocesses. ed. / Rainer Krull ; Thomas Bley. Vol. 149 Springer, 2015. p. 29-54 (Advances in Biochemical Engineering / Biotechnology, Vol. 149).

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

  8. Published

    Gabor Analysis for Imaging. / Christensen, Ole; Feichtinger, Hans G. ; Paukner, Stephan.

    Handbook of Mathematical Methods in Imaging. ed. / Otmar Scherzer. Vol. 1 2. ed. Springer, 2015. p. 1717-1757.

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

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

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

  11. Published

    How to Trust the Re-use of Data. / Karafili, Erisa; Nielson, Hanne Riis; Nielson, Flemming.

    Proceedings of the 11th International Workshop on Security and Trust Management (STM 2015). ed. / Sara Foresti. Springer, 2015. p. 72-88 (Lecture Notes in Computer Science, Vol. 9331).

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

Previous 1...4 5 6 7 8 9 10 11 ...115 Next
Download list: To download, please limit the number of search results to 1,000 or less.