Lecture Notes in Computer Science, 0302-9743

Journal

Publications

  1. Article › Research › Not peer-reviewed
  2. Published

    Model-based Parameter Recovery from Uncalibrated Optical Images

    Stephen Preece, Iain Styles, Ela Claridge, 1 Jan 2005, In: Lecture Notes in Computer Science. 3750, p. 509-516 8 p.

    Research output: Contribution to journalArticle

  3. Published

    On-the-Fly Techniques for Game-Based Software Model Checking

    Adam Bakewell & Dan Ghica, 1 Jan 2008, In: Lecture Notes in Computer Science. 4963, p. 78-92 15 p.

    Research output: Contribution to journalArticle

  4. Published

    Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software

    Mark Ryan, 1 Jan 2008, In: Lecture Notes in Computer Science. 4991, p. 233-247 15 p.

    Research output: Contribution to journalArticle

  5. Article › Research › Peer-reviewed
  6. Published

    A New Algorithm for Strategy Synthesis in LTL Games

    Aidan Harding, Mark Ryan, 1 Jan 2005, In: Lecture Notes in Computer Science. 3440, p. 477-492 16 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    A timing analysis of AODV

    Marta Kwiatkowska, 1 Jan 2005, In: Lecture Notes in Computer Science. 3535, p. 306-321 16 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    An MTBDD-based implementation of forward reachability for probabilistic timed automata

    Marta Kwiatkowska, 1 Jan 2005, In: Lecture Notes in Computer Science. 3707, p. 385-399 15 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Analysis of Probabilistic Contract Signing

    Gethin Norman, 1 Jan 2003, In: Lecture Notes in Computer Science. 2629, p. 81-96 16 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Analysis of an Electronic Voting Protocol in the Applied Pi Calculus

    Mark Ryan, 1 Jan 2005, In: Lecture Notes in Computer Science. 3444, p. 186-200 15 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Angelic semantics of fine-grained concurrency

    Dan Ghica, 1 Mar 2004, In: Lecture Notes in Computer Science. 2987, p. 211-225 15 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Application of fuzzy similarity to prediction of epileptic seizures using EEG signals

    Xiaoli Li & Xin Yao, 1 Jan 2005, In: Lecture Notes in Computer Science. 3613, p. 645-652 8 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 Next