Publications, sorted by keyword

Some of these lists are incomplete. You may want to perform a keyword search to find more publications. If you cannot find a specific publication, then please contact the author.

• Artificial Intelligence
• Computational Number Theory
• Computer Architecture
• Computer Vision
• Cryptography
• Declarative Systems
• Design Verification
• Functional Programming
• Graphics
• Image Databases
• Logic Programming
• Machine Learning
• Mobile Software
• Networking
• Optimisation
• Parallel Processing
• Predictable Computing
• Program Analysis
• Program Transformation
• Quality of Service
• Quantum Computing
• Quantum Information Theory
• Safety Critical Systems
• Speech Synthesis
• Video Compression
• Wearables
• Web Protocols
• the Data Diffusion Machine