Lijun Zhang

  1. Annual Symposium on Logic in Computer Science

    ISSNs: 1043-6871

    I E E E Computer Society, United States

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

    Central database

    Journal

  2. European Journal of Control

    ISSNs: 0947-3580

    ISSNs (Electronic): 1435-5671

    Lavoisier, France

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

    Central database

    Journal

  3. Information and Computation

    ISSNs: 0890-5401

    ISSNs (Electronic): 1090-2651

    Academic Press, United States

    ISI indexed (2013): yes, FI (2013): 2

    Central database

    Journal

  4. Information Processing Letters

    ISSNs: 0020-0190, 00200190

    ISSNs (Electronic): 1872-6119

    Elsevier BV, Netherlands

    ISI indexed (2013): yes, FI (2013): 2

    Central database

    Journal

  5. International Journal on Software Tools for Technology Transfer

    ISSNs: 1433-2779

    ISSNs (Electronic): 1433-2787

    Springer, Germany

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

    Central database

    Journal

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

  7. Logical Methods in Computer Science

    ISSNs: 1860-5974

    International Federation for Computational Logic, Germany

    ISI indexed (2013): yes, FI (2013): 2

    Central database

    Journal

Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word