Peter van Rossum

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Information hiding in probabilistic concurrent systems Theoretical Computer Science	2011-07-07	Paper
Safe equivalences for security properties IFIP Advances in Information and Communication Technology	2010-10-27	Paper
Sound and complete computational interpretation of symbolic hashes in the standard model Theoretical Computer Science	2008-04-15	Paper
Conditional Probabilities over Probabilistic and Nondeterministic Systems Tools and Algorithms for the Construction and Analysis of Systems	2008-04-11	Paper
M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures Journal of Automated Reasoning	2007-01-24	Paper
Efficient theory combination via Boolean search Information and Computation	2006-10-25	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
The stable equivalence and cancellation problems Commentarii Mathematici Helvetici	2004-10-05	Paper
Triangular 𝐺ₐ actions on 𝐂⁴ Proceedings of the American Mathematical Society	2004-08-13	Paper
Coordinates in two variables over a $\mathbb {Q}$-algebra Transactions of the American Mathematical Society	2004-02-12	Paper
Triangular derivations related to problems on affine n-space Proceedings of the American Mathematical Society	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 Annales Polonici Mathematici	2001-07-09	Paper

Research outcomes over time

This page was built for person: Peter van Rossum