Lecture Notes in Computer Science, 0302-9743
Journal
Publications
- 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 journal › Article › peer-review
- 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 journal › Article › peer-review
- 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 journal › Article › peer-review
- 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 journal › Article › peer-review
- 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 journal › Article › peer-review
- 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 journal › Article › peer-review
- 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 journal › Article › peer-review
- Published
Between Two Extremes: Examining Decompositions of the Ensemble Objective Function
Jeremy Wyatt & Ping Sun, 1 Jan 2005, In: Lecture Notes in Computer Science. 3541, p. 296-305 10 p.Research output: Contribution to journal › Article › peer-review
- Published
Can a higher-order and a first-order theorem prover cooperate?
Volker Sorge, Mateja Jamnik & Manfred Kerber, 1 Jan 2005, In: Lecture Notes in Computer Science. 3452, p. 415-431 17 p.Research output: Contribution to journal › Article › peer-review
- Published
Coarse-graining selection and mutation
Jon Rowe, 1 Jan 2005, In: Lecture Notes in Computer Science. 3469, p. 176-191 16 p.Research output: Contribution to journal › Article › peer-review