Springer, 0-387

Central database

Publisher

  1. Published

    Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    Combinatorial Pattern Matching: Proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014 . ed. / Alexander S. Kulikov; Sergei O. Kuznetsov; Pavel Pevzner. Springer, 2014. p. 40-49 (Lecture Notes in Computer Science, Vol. 8486).

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

  2. Published

    Domain Endurants: An Analysis and Description Process Model. / Bjørner, Dines.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. ed. / Shusaku Iida; José Meseguer; Kazuhiro Ogata. Springer, 2014. p. 1-34 (Lecture Notes in Computer Science, Vol. 8373).

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

  3. Published

    On the (In)Equivalence of Impossible Differential and Zero-Correlation Distinguishers for Feistel- and Skipjack-Type Ciphers. / Blondeau, Celine; Bogdanov, Andrey; Wang, Meiqin.

    Applied Cryptography and Network Security. Springer, 2014. (Lecture Notes in Computer Science, Vol. 8479).

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

  4. Published

    Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. / Braunstein, Cécile; Haxthausen, Anne Elisabeth; Huang, Wen-ling; Hübner, Felix; Peleska, Jan; Schulze, Uwe; Vu, Linh Hong.

    Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014. Springer, 2014. p. 380-395 (Lecture Notes in Computer Science, Vol. 8829).

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

  5. Published

    Library Support for Resource Constrained Accelerators. / Brock-Nannestad, Laust; Karlsson, Sven .

    Using and Improving OpenMP for Devices, Tasks, and More: Proceedings of the 10th International Workshop on OpenMP, IWOMP 2014. ed. / Luiz DeRose; Bronis R. de Supinski; Stephen L. Olivier; Barbara M. Chapman; Matthias S. Müller. Springer, 2014. p. 187-201 (Lecture Notes in Computer Science; No. 8766).

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

  6. Published

    Formal Security Analysis of the MaCAN Protocol.. / Bruni, Alessandro; Sojka, Michal; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014. ed. / Elvira Albert; Emil Sekerinski. Springer, 2014. p. 241-255 (Lecture Notes in Computer Science, Vol. 8739).

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

  7. Published

    Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus. / Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 281-282 (Lecture Notes in Computer Science; No. 8788).

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

  8. Methods for service life prediction in refractory materials. / Cannio, M.; Boccaccini, Dino; Boccaccini, A.R.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3008-3018.

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

  9. Microstructural tailoring of thermal shock resistance in refractory materials. / Cannio, M.; Boccaccini, Dino; Leonelli, C.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3042-3056.

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

  10. New Methods for the Assessment of Thermal Shock Resistance in Refractory Materials. / Cannio, M.; Boccaccini, Dino; Romagnoli, M.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3293-3307.

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

Previous 1 2 3 4 5 6 7 8 ...92 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word