- SToUT: Symbolic Computation Techniques for Unranked Terms. Funded by the
- Constraint Logic Programming over Unranked Terms and Hedges with Description Operators. Funded by the
Rustaveli NSF. 2012-2015.
- LogicGuard: The Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security. Funded by the FFG BRIDGE program. 2012-2015.
- SCIEnce: Symbolic Computation Infrastructure for Europe. Funded by the European Commission Sixth Framework Programme. 2006-2011.
- Theorema. Funded by the FWF. 2001-2006.
- MathSoft and ForMI projects at the SCCH. 2000-2001.
- Proving and Solving over the Reals. Funded by the FWF. 1999.