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

Central database

Publisher

  1. 2015
  2. Published

    A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

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

  3. Published

    An institution for object-z with inheritance and polymorphism. / Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M'hamed.

    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. 134-154 (Lecture Notes in Computer Science, Vol. 8950).

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

  4. Published

    APE: Authenticated Permutation-Based Encryption for Lightweight Cryptography. / Andreeva, Elena; Bilgin, Begül; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Mouha, Nicky; Yasuda, Kan.

    Revised Selected Papers of the 21st International Workshop Fast Software Encryption (FSE 2014). ed. / Carlos Cid; Christian Rechberger. Springer, 2015. p. 168-186 (Lecture Notes in Computer Science, Vol. 8540).

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

  5. Published

    A white box perspective on behavioural adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    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. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

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

  6. Published

    Bunker Purchasing in Liner Shipping. / Plum, Christian Edinger Munk; Pisinger, David; Neergaard Jensen, Peter.

    Handbook of Ocean Container Transport Logistics: Making Global Supply Chains Effective. ed. / Chung-Yee Lee; Qiang Meng. Springer, 2015. p. 251-278 (International Series in Operations Research and Management Science, Vol. 220).

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

  7. Published

    Carbon Nanotube-Based Separation Columns for Microchip Electrochromatography. / Mogensen, Klaus Bo; Delacourt, B.; Kutter, Jörg Peter.

    Microchip Capillary Electrophoresis Protocols . Springer, 2015. (Methods in Molecular Biology, Vol. 1274).

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

  8. Published

    Compressed Data Structures for Range Searching. / Bille, Philip; Gørtz, Inge Li; Vind, Søren Juhl.

    Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). ed. / Adrian-Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe. Springer, 2015. p. 577-586 (Lecture Notes in Computer Science, Vol. 8977).

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

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

  10. Hybrid and Nano-composite Carbon Sensing Platforms. / Beliatis, Michail; Rozanski, Lynn J.; Jayawardena, K. D. G. Imalka; Rhodes, Rhys; Anguita, J.V.; Mills, Christopher A.; Silva, S. Ravi P.

    Carbon for Sensing Devices. ed. / Danilo Demarchi; Alberto Tagliaferro. Springer, 2015. p. 105-132.

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

  11. Accepted

    Integrating Attributes into Role-Based Access Control. / Mahmood Rajpoot, Qasim; Jensen, Christian D.; Krishnan, Ram .

    Proceedings of the 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (2015). ed. / Sushil Jajodia; Pierangela Samarati. Springer, 2015. (Lecture Notes in Computer Science).

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

Previous 1 2 3 4 5 6 7 8 ...100 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word