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

    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

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

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

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

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

  8. Published

    Topology Optimization Using Multiscale Finite Element Method for High-Contrast Media. / Lazarov, Boyan Stefanov.

    In: Lecture Notes in Computer Science, Vol. 8353, 2014, p. 339–346.

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

  9. 2013
  10. Published

    Improved cryptanalysis of the block cipher KASUMI. / Jia, Keting; Li, Leibo; Rechberger, Christian; Chen, Jiazhe; Wang, Xiaoyun.

    In: Lecture Notes in Computer Science, Vol. 7707, 2013, p. 222-233.

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

  11. Published

    Performance of LTE in High Speed Railway Scenarios. / Sniady, Aleksander; Soler, José.

    In: Lecture Notes in Computer Science, Vol. 7865, 2013, p. 211-222.

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

  12. Published

    Predictive Modeling of Expressed Emotions in Music Using Pairwise Comparisons. / Madsen, Jens; Jensen, Bjørn Sand; Larsen, Jan.

    In: Lecture Notes in Computer Science, Vol. 7900, 2013, p. 253-277.

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

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