The following pages link to Peter van Rossum (Q549172):
Displayed 14 items.
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- The stable equivalence and cancellation problems (Q1881554) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
- (Q2704369) (← links)
- A class of counterexamples to the Cancellation Problem for arbitrary rings (Q2724121) (← links)
- Triangular derivations related to problems on affine 𝑛-space (Q2781288) (← links)
- Safe Equivalences for Security Properties (Q3163873) (← links)
- Coordinates in two variables over a $\mathbb {Q}$-algebra (Q4452258) (← links)
- Triangular 𝐺ₐ actions on 𝐂⁴ (Q4813704) (← links)
- Conditional Probabilities over Probabilistic and Nondeterministic Systems (Q5458326) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703769) (← links)
- Computer Aided Verification (Q5716575) (← links)