Theoretical Computer Science

ISSNs: 0304-3975, 0304-3975

Elsevier BV, Netherlands

BFI (2015): BFI-level 2, ISI indexed (2013): ISI indexed yes

Central database

Journal

  1. 2015
  2. Published

    Improved time complexity analysis of the Simple Genetic Algorithm. / Oliveto, Pietro S.; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 605, 2015, p. 21-41.

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

  3. Published

    Runtime analysis of ant colony optimization on dynamic shortest path problems. / Lissovoi, Andrei; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 561, No. Part A, 2015, p. 73-85.

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

  4. 2014
  5. Published

    Compact q-gram profiling of compressed strings. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    In: Theoretical Computer Science, Vol. 550, 2014, p. 51-58.

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

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

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

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

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

  11. 2011
  12. 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

  13. 2010
  14. 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

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

  16. 2009
  17. 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

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

  19. 2008
  20. 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

  21. 2006
  22. 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

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

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

  25. 2005
  26. 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

  27. 2004
  28. 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

  29. 2002
  30. 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

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

  32. 2001
  33. 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

  34. 1997
  35. 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

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

  37. 1996
  38. 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

  39. 1995
  40. 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

  41. 1990
  42. 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

  43. 1989
  44. 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

  45. 1988
  46. 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

Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word