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

Central database

Publisher

  1. Published

    Incorporation of Different Fly Ashes from MSWI as Substitute for Cement in Mortar : An Overview of the Suitability of Electrodialytic Pre-treatment. / Magro, Cátia C.; Guedes, Paula R.; Kirkelund, Gunvor Marie; Jensen, Pernille Erland; Ottosen, Lisbeth M.; Ribeiro, Alexandra B.

    Electrokinetics Across Disciplines and Continents: New Strategies for Sustainable Development. Springer, 2016. p. 225-247.

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

  2. Published

    General Momentum Theory for Horizontal Axis Wind Turbines. / Sørensen, Jens Nørkær.

    Springer, 2016. 194 p. (Research Topics in Wind Energy, Vol. 4).

    Publication: ResearchDoctoral thesis – Annual report year: 2015

  3. Published

    Synthesis of Polybenzimidazoles. / Yang, Jingshuai; He, Ronghuan; Aili, David.

    High Temperature Polymer Electrolyte Membrane Fuel Cells: Approaches, Status, and Perspectives. ed. / Qingfeng Li; David Aili; Hans Aage Hjuler; Jens Oluf Jensen. Switzerland : Springer, 2016. p. 151-167.

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

  4. Published

    Improved Linear Cryptanalysis of Reduced-Round SIMON-32 and SIMON-48. / Abdelraheem, Mohamed Ahmed; Alizadeh, Javad; Alkhzaimi, Hoda A.; Aref, Mohammad Reza; Bagheri, Nasour; Gauravaram, Praveen.

    Progress in Cryptology – INDOCRYPT 2015: Proceedings of the 16th International Conference on Cryptology in India. ed. / Alex Biryukov; Vipul Goyal. Springer, 2015. p. 153-179 (Lecture Notes in Computer Science, Vol. 9462).

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

  5. Published

    Twisted Polynomials and Forgery Attacks on GCM. / Abdelraheem, Mohamed Ahmed A. M. A.; Beelen, Peter ; Bogdanov, Andrey; Tischhauser, Elmar Wolfgang.

    Advances in Cryptology – EUROCRYPT 2015: Proceedings of the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Part 1. ed. / Elisabeth v; Marc Fischlin. Springer, 2015. p. 762-786 (Lecture Notes in Computer Science, Vol. 9056).

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

  6. Tools for Ensemble Design and Runtime. / Abeywickrama, Dhaminda B. ; Combaz, Jacques ; Horký, Vojtech ; Keznikl, Jaroslav ; Kofron, Jan ; Lluch Lafuente, Alberto; Loreti, Michele ; Andrea Margheri, Andrea; Mayer, Philip; Monreale, Valentina ; Montanari, Ugo ; Pinciroli, Carlo ; Tuma, Petr ; Vandin, Andrea ; Vassev, Emil .

    Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Springer, 2015. p. 429-448 (Lecture Notes in Computer Science, Vol. 8998).

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

  7. Published

    Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool. / Acretoaie, Vlad; Störrle, Harald; Strüber, Daniel .

    Theory and Practice of Model Transformations: Proceedings of the 8th International Conference on Model Transformation, ICMT 2015. ed. / Dimitris Kolovos; Manuel Wimmer. Springer, 2015. p. 121-130 (Lecture Notes in Computer Science, Vol. 9152).

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

  8. Published

    Tailoring Macroscale Response of Mechanical and Heat Transfer Systems by Topology Optimization of Microstructural Details. / Alexandersen, Joe; Lazarov, Boyan Stefanov.

    Engineering and Applied Sciences Optimization: Dedicated to the Memory of Professor M.G. Karlaftis. ed. / Nikos D. Lagaros ; Manolis Papadrakakis. Vol. 38 Springer, 2015. p. 267-288 (Computational Methods in Applied Sciences).

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

  9. Published

    Alice and Bob: Reconciling Formal Models and Implementation. / Almousa, Omar; Mödersheim, Sebastian Alexander; Viganò, Luca.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Springer, 2015. p. 66-85 (Lecture Notes in Computer Science, Vol. 9465).

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

  10. Published

    Typing and compositionality for security protocols: A generalization to the geometric fragment. / Almousa, Omar; Mödersheim, Sebastian Alexander; Modesti, Paolo; Viganò, Luca.

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

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

Previous 1 2 3 4 5 6 7 8 ...112 Next
Download list: To download, please limit the number of search results to 1,000 or less.