QBF-Based Boolean Function Bi-Decomposition
Qualitative Analysis of Partially-observable Markov Decision Processes
Qualitative Logics and Equivalences for Probabilistic Systems
Quanta: a Language for Modeling and Manipulating Information Structures
Quantified Propositional Logspace Reasoning
Quantifier Elimination by Dependency Sequents
Quantifier elimination for the reals with a predicate for the powers of two
Quantifier-Free Interpolation of a Theory of Arrays
Quantitative classical realizability
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