Search results for: Clare Dixon
Journal of Child Psychology and Psychiatry > 62 > 3 > 270 - 276
Journal of Child Psychology and Psychiatry > 60 > 8 > 875 - 884
Journal of Traumatic Stress > 31 > 5 > 643 - 653
Journal of Child Psychology and Psychiatry > 59 > 7 > 773 - 780
Journal of Child Psychology and Psychiatry > 58 > 5 > 623 - 633
Depression and Anxiety > 34 > 4 > 348 - 355
British Journal of Learning Disabilities > 45 > 1 > 56 - 63
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Verifying Agent’s Mental States > 33-47
Journal of Child Psychology and Psychiatry > 57 > 11 > 1308 - 1316
Journal of Traumatic Stress > 29 > 3 > 253 - 258
Lecture Notes in Computer Science > Temporal Logic > 415-429
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 7. Resolution-Based Systems for Non-classical Logics > 245-260
Lecture Notes in Computer Science > Towards Autonomous Robotic Systems > A Cricket-Controlled Robot Orienting towards a Sound Source > 336-347
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 163-177
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Model Checking > 137-148
Lecture Notes in Computer Science > KI 2002: Advances in Artificial Intelligence > Logic Programming - Theorem Proving - Model Checking > 235-249
Lecture Notes in Computer Science > Swarm Intelligence > Short Papers > 440-447