Theoretical Computer Science

ISSNs: 0304-3975, 03043975

Elsevier BV, Netherlands

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

Central database

Journal

All
|Research

11 - 18 out of 18Page size: 10

RSS feed of this list

Sort by: Type and 1st author

Research › Journal article
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-review › Journal article – Annual report year: 1990
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-review › Journal article – Annual report year: 1989
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-review › Journal article – Annual report year: 1988
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-review › Journal article – Annual report year: 2002
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-review › Journal article – Annual report year: 2008
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-review › Journal article – Annual report year: 2010
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-review › Journal article – Annual report year: 2012
Research › Conference article
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-review › Conference article – Annual report year: 2002

Previous 1 2 Next