Theoretical Computer Science

ISSNs: 0304-3975, 03043975

Elsevier BV, Netherlands

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

Central database

Journal

  1. Published

    A Framework for Security Analysis of Mobile Wireless Networks. / Nanz, Sebastian; Hankin, Chris.

    In: Theoretical Computer Science, Vol. 367, No. 1-2, 2006, p. 203-227.

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

  2. A Logic for Application Level QoS. / Hirsch, Dan; Lluch Lafuente, Alberto; Tuosto, Emilio.

    In: Theoretical Computer Science, Vol. 153, No. 2, 2006, p. 135-159.

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

  3. Published

    Analysis of an iterated local search algorithm for vertex cover in sparse random graphs. / Witt, Carsten.

    In: Theoretical Computer Science, Vol. 425, 2012, p. 117-125.

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

  4. Published

    Ant Colony Optimization and the minimum spanning tree problem. / Neumann, Frank; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 25, 2010, p. 2406-2413.

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

  5. Published

    Asymmetry in k-Center Variants. / Gørtz, Inge Li; Wirth, Anthony.

    In: Theoretical Computer Science, Vol. 361, No. 2-3, 2006, p. 188-199.

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

  6. Published

    Curves and surfaces represented by polynomial support functions. / Sir, Z.; Gravesen, Jens; Juttler, B.

    In: Theoretical Computer Science, Vol. 392, No. 1-3, 2008, p. 141-157.

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

  7. Published

    Finite Divergence. / Hansen, Michael Edberg; Pandya, P. K.; Chaochen, Zhou.

    In: Theoretical Computer Science, Vol. 138, No. 1, 1995, p. 113-139.

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

  8. Published

    From CML to its Process Algebra. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Theoretical Computer Science, Vol. 155, No. 1, 1996, p. 179-219.

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

  9. Published

    Functional completeness of the mixed λ-calculus and combinatory logic. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Theoretical Computer Science, Vol. 70, No. 1, 1990, p. 99-126.

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

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

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