Theoretical Computer Science

ISSNs: 0304-3975, 03043975

Elsevier BV, Netherlands

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

Central database

Journal

  1. Hierachical Design Rewriting with Maude. / Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo.

    In: Theoretical Computer Science, Vol. 238, No. 3, 2009, p. 45-62.

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

  2. On Symbolic Semantics for Namedecorated Contexts. / Bracciali, Andrea; Bruni, Roberto; Lluch Lafuente, Alberto.

    In: Theoretical Computer Science, Vol. 229, No. 3, 2009, p. 37-58.

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

  3. Published

    On the runtime analysis of the Simple Genetic Algorithm. / Oliveto, Pietro S.; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 545, 2014, p. 2-19.

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

  4. Published

    Order-sorted Algebraic Specifications with Higher-order. / Haxthausen, Anne Elisabeth.

    In: Theoretical Computer Science, Vol. 183, No. 2, 1997, p. 157-185.

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

  5. Published

    PAC-Learning from General Examples. / Fischer, Paul; Hoeffgen, K.- U.; Lefmann, H.

    In: Theoretical Computer Science, Vol. 172, No. 1-2, 1997, p. 43-65.

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

  6. Quantitative mu-calculus and CTL defined over constraint semirings. / Lluch Lafuente, Alberto; Montanari, Ugo.

    In: Theoretical Computer Science, Vol. 346, No. 1, 2005, p. 135-160.

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

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

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

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

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

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