Quantitative Models and Implicit Complexity
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
Quantitative testing semantics for non-interleaving
Quantum entanglement analysis based on abstract interpretation
Quantum Fuzzy Sets: Blending Fuzzy Set Theory and Quantum Computation
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
Query strategy for sequential ontology debugging
Queue-Dispatch Asynchronous Systems
Ramified Structural Recursion and Corecursion
Randomisation and Derandomisation in Descriptive Complexity Theory
Ranking and Unranking of Hereditarily Finite Functions and Permutations
Ranking Functions for Size-Change Termination II
Rational streams coalgebraically
Rational Synthesis
Reachability problems for communicating finite state machines
Reactive Turing Machines
Reactive Valuations
Read Operators and their Expressiveness in Process Algebras
Real Analytic Machines and Degrees
Real Computational Universality: The Word Problem for a class of groups with infinite presentation