Theoretical Computer Science

ISSNs: 0304-3975, 03043975

Elsevier BV, Netherlands

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

Central database

Journal

  1. Published

    Runtime analysis of a binary particle swarm optimizer. / Sudholt, Dirk; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 21, 2010, p. 2084-2100.

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

  2. Published

    Runtime analysis of the 1-ANT ant colony optimizer. / Doerr, Benjamin; Neumann, Frank; Sudholt, Dirk; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 412, No. 17, 2011, p. 1629-1644.

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

  3. Published

    String matching with variable length gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    In: Theoretical Computer Science, Vol. 443, 2012, p. 25-34.

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

  4. Published

    The complexity of computing the MCD-estimator. / Bernholt, T.; Fischer, Paul.

    In: Theoretical Computer Science, Vol. 326, No. 1-3, 2004, p. 383-398.

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

  5. Published

    Theoretical Computer Science. / Fischer, Paul (Editor); Simon, H. (Editor); Smith, C. (Editor).

    In: Theoretical Computer Science, Vol. 284, No. 1, 2002.

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

  6. Published

    Towards optimal packed string matching. / Ben-Kiki, Oren; Bille, Philip; Breslauer, Dany; Ga̧sieniec, Leszek; Grossi, Roberto; Weimann, Oren.

    In: Theoretical Computer Science, Vol. 525, 2014, p. 111-129.

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

  7. Published

    Two-Level Semantics and Abstract Interpretation. / Nielson, Flemming.

    In: Theoretical Computer Science -- Fundamental Studies, Vol. 69, No. 2, 1989, p. 117-242.

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

  8. Published

    Two-Level Semantics and Code Generation. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Theoretical Computer Science, Vol. 56, No. 1, 1988, p. 59-133.

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

  9. Published

    Validating Firewalls using Flow Logics. / Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof.

    In: Theoretical Computer Science, Vol. 283, No. 2, 2002, p. 381-418.

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

Previous 1 2 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