Lecture Notes in Computer Science, 0302-9743
Journal
Publications
- 2014
- Published
Dynamic selection of evolutionary algorithm operators based on online learning and fitness landscape metrics
Leandro Minku & Xin Yao, 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8886, p. 359-370 12 p.Research output: Contribution to journal › Article › peer-review
- 2008
- Published
Normalization Issues in Mathematical Representations
Manfred Kerber, 1 Jan 2008, In: Lecture Notes in Computer Science. 5144, p. 494-503 10 p.Research output: Contribution to journal › Article › peer-review
- 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 journal › Article
- 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 journal › Article
- Published
Unimanual and bimanual weight discrimination in a desktop setup
Christos Giachritsis & Alan Wing, 1 Jan 2008, In: Lecture Notes in Computer Science. 5024, p. 378-382 5 p.Research output: Contribution to journal › Article › peer-review
- Published
Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol
Mark Ryan, 1 Jan 2008, In: Lecture Notes in Computer Science. 4991, p. 1-13 13 p.Research output: Contribution to journal › Article › peer-review
- Published
Virtual Forced Splitting, Demotion and the BV-Tree
Alan Sexton, 1 Jan 2008, In: Lecture Notes in Computer Science. 5071, p. 139-152 14 p.Research output: Contribution to journal › Article › peer-review
- 2005
- 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