Publications
Export 179 results:
"Reasoning about quantum knowledge", Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 3821: Springer Berlin / Heidelberg, pp. 553–564, 2005.
, "The computational power of the W and GHZ states", Journal on Quantum Information & Computation, vol. 6, no. 2, pp. 173–183, 2005.
, "Towards Abstract Interpretation for Recovering Design Information", Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL05), May, 2005.
, Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering: Vrije Universiteit Brussel, 2004.
,