Lecture Notes in Computer Science

ISSNs: 0302-9743, 0302-9743, 03029743

ISSNs (Electronic): 1611-3349

Springer, Germany

ISI indexed (2013): no, FI (2013): 1

Central database

Journal

  1. 2014
  2. Published

    40 years of formal methods. / Bjørner, Dines; Havelund, Klaus.

    In: Lecture Notes in Computer Science, Vol. 8442, 2014, p. 42-61.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

  3. Published

    ALE: AES-based lightweight authenticated encryption. / Bogdanov, Andrey; Mendel, Florian; Regazzoni, Francesco; Rijmen, Vincent; Tischhauser, Elmar.

    In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8424, 2014, p. 447-466.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  4. Published

    Applied Bounded Model Checking for Interlocking System Designs. / Haxthausen, Anne Elisabeth; Peleska, Jan; Pinger, Ralf.

    In: Lecture Notes in Computer Science, Vol. 8368, 2014, p. 205–220.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  5. Published

    A Practical Approach for Parameter Identification with Limited Information. / Zeni, Lorenzo; Yang, Guangya; Tarnowski, Germán Claudio; Østergaard, Jacob.

    In: Lecture Notes in Computer Science, Vol. 8482, 2014, p. 177–188.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

  6. Published

    A Synthesizable Multicore Platform for Microwave Imaging. / Schleuniger, Pascal; Karlsson, Sven .

    In: Lecture Notes in Computer Science, Vol. 8405, 2014, p. 197-204.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

  7. Published

    LTE Micro-cell Deployment for High-Density Railway Areas. / Sniady, Aleksander; Kassab, Mohamed; Soler, José; Berbineau, Marion.

    In: Lecture Notes in Computer Science, Vol. 8435, 2014, p. 143-155.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  8. Published

    Metrics and Evaluation Models for Accessible Television. / Li, Dongxiao ; Looms, Peter Olaf.

    In: Lecture Notes in Computer Science, Vol. 8516, 2014, p. 564–571.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

  9. Published

    On the Efficacy of Solving LWE by Reduction to Unique-SVP. / Albrecht, Martin Roland; Fitzpatrick, Robert; Göpfert, Florian .

    In: Lecture Notes in Computer Science, Vol. 8565, 2014, p. 293–310.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

  10. Published

    On the Wrong Key Randomisation and Key Equivalence Hypotheses in Matsui’s Algorithm 2. / Bogdanov, Andrey; Tischhauser, Elmar.

    In: Lecture Notes in Computer Science, Vol. 8424, 2014, p. 19-38.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

  11. Published

    Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. / Cerrito, Serenella ; David, Amelie ; Goranko, Valentin.

    In: Lecture Notes in Computer Science, Vol. 8562, 2014, p. 277–291.

    Publication: Research - peer-reviewConference article – Annual report year: 2014

Previous 1 2 3 4 5 6 7 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