Information and Computation, 0890-5401

Journal

Publications

  1. Published

    Parameterized complexity of the anchored k-core problem for directed graphs

    Rajesh Chitnis, 1 Apr 2016, In : Information and Computation. 247, p. 11-22

    Research output: Contribution to journalArticle

  2. Published

    Operational domain theory and topology of sequential programming languages

    Martin Escardo, 1 Mar 2009, In : Information and Computation. 207, 3, p. 411-437 27 p.

    Research output: Contribution to journalArticle

  3. Published

    On the call-by-value CPS transform and its semantics

    Hayo Thielecke, 1 Jan 2004, In : Information and Computation. 188, 2, p. 241-283 43 p.

    Research output: Contribution to journalArticle

  4. Published

    Symbolic model checking for probabilistic timed automata

    Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 1 Jul 2007, In : Information and Computation. 205, 7, p. 1027-1077 51 p.

    Research output: Contribution to journalArticle

  5. Published
  6. Published

    Modelling Environments in Call-by-value Programming Languages

    Paul Levy & Hayo Thielecke, 15 Sep 2003, In : Information and Computation. 185, p. 182-210 29 p.

    Research output: Contribution to journalArticle

  7. Published

    Fair multi-party contract signing using private contract signatures

    Aybek Mukhamedov & Mark Ryan, 1 Feb 2008, In : Information and Computation. 206, 2-4, p. 272-290 19 p.

    Research output: Contribution to journalArticle

  8. Published

    Objects and Classes in Algol-like Languages

    Uday Reddy, 10 Jan 2002, In : Information and Computation. 172, 1, p. 63-97 35 p.

    Research output: Contribution to journalArticle