1. Melanie Achatz, Scott McCallum, and Volker Weispfenning. 2008. Deciding polynomial–exponential problems. In Proc. 33rd International Symposium on Symbolic and Algebraic Computation, ISSAC 2008. ACM Press, New York, 215–222.
2. Quantum bit escrow
3. Marco Antoniotti and Bud Mishra. 1995. Descrete events models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. In Proc. 1995 International Conference on Robotics and Automation. IEEE Computer Society, Washington, 1441–1446.
4. On Schanuel's Conjectures
5. Verifying continuous time Markov chains