DOI,IST REx ID,Title of publication
10.1016/j.tcs.2006.07.032,4550,Games with secure equilibria
10.1016/j.tcs.2005.11.015,4451,On the universal and existential fragments of the mu-calculus
10.1016/j.tcs.2005.07.033,4625,Model checking discounted temporal properties
10.1016/0304-3975(91)90261-Y,4052,A singly exponential stratification scheme for real semi-algebraic varieties and its applications
10.1016/0304-3975(89)90133-3,4084,Testing the necklace condition for shortest tours and optimal factors in the plane