Theoretical Computer Science

ISSNs: 0304-3975, 03043975

Elsevier BV, Netherlands

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

Central database

Journal

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

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

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

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

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

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

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

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

  9. Trail-Directed Model Checking. / Edelkamp, Stefan; Lluch Lafuente, Alberto; Leue, Stefan.

    In: Theoretical Computer Science, Vol. 55, No. 3, 2001, p. 343-356.

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

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

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