Electronic Notes in Theoretical Computer Science

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

Scopus rating (2022): CiteScore 2.7 SJR 0.341 SNIP 0.958

Journal

Journal Metrics

Research Output

  1. 2007
  2. Published

    A Petri Net Based Method for Refining Object Oriented System Specifications

    Cheung, K. S. & Chow, K. O., 15 Jul 2007, In: Electronic Notes in Theoretical Computer Science. 187, p. 161-172

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Scopus citations: 1
    Check@CityULib
  3. 2006
  4. Opportunities and challenges in process-algebraic verification of asynchronous circuit designs

    Wang, X., Kwiatkowska, M., Theodoropoulos, G. & Zhang, Q., 26 Jan 2006, In: Electronic Notes in Theoretical Computer Science. 146, 2, p. 189-206

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)22_Publication in policy or professional journal

    Scopus citations: 5
    Check@CityULib
  5. 2005
  6. Towards a unifying CSP approach to hierarchical verification of asynchronous hardware

    Wang, X., Kwiatkowska, M., Theodoropoulos, G. & Zhang, Q., 23 May 2005, In: Electronic Notes in Theoretical Computer Science. 128, 6, p. 231-246

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)22_Publication in policy or professional journal

    Scopus citations: 9
    Check@CityULib
  7. 2003
  8. Published

    Safe recursion over an arbitrary structure: PAR, PH and DPH

    Bournez, O., Cucker, F., De Naurois, P. J. & Marion, J., 28 Nov 2003, In: Electronic Notes in Theoretical Computer Science. 90, p. 3-14

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)22_Publication in policy or professional journal

    Scopus citations: 2
    Check@CityULib
  9. 2002
  10. Published

    On sparseness and Turing reducibility over the reals

    Cucker, F., Oct 2002, In: Electronic Notes in Theoretical Computer Science. 67, p. 9-16

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)22_Publication in policy or professional journal

    Check@CityULib