Peter van Rossum

Available identifiers

Publication	Date of Publication	Type
Information hiding in probabilistic concurrent systems	2011-07-07	Paper
Safe equivalences for security properties	2010-10-27	Paper
Sound and complete computational interpretation of symbolic hashes in the standard model	2008-04-15	Paper
Conditional Probabilities over Probabilistic and Nondeterministic Systems	2008-04-11	Paper
M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures	2007-01-24	Paper
Efficient theory combination via Boolean search	2006-10-25	Paper
Computer Aided Verification	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
The stable equivalence and cancellation problems	2004-10-05	Paper
Triangular 𝐺ₐ actions on 𝐂⁴	2004-08-13	Paper
Coordinates in two variables over a $\mathbb {Q}$-algebra	2004-02-12	Paper
Triangular derivations related to problems on affine $n$-space	2002-03-19	Paper
A note on possible counterexamples to the Abhyankar-Sathaye conjecture contructed by Shpilrain and Yu.	2001-11-07	Paper
A class of counterexamples to the Cancellation Problem for arbitrary rings	2001-07-09	Paper

This page was built for person: Peter van Rossum