DOI,IST REx ID,Title of publication
10.1109/9.664156 ,4491,Algorithmic analysis of nonlinear hybrid systems
10.1109/38.511855,4024,Viewing geometric protein structures from inside a CAVE
10.1109/LICS.1996.561320,4588,Reactive modules
10.1109/32.489079,4611,Automatic symbolic verification of embedded systems
10.1109/LICS.1994.316087 ,4586,Finitary fairness
10.1109/SFCS.1989.63473,4596,A really temporal logic
10.1109/TIT.1983.1056714 ,4128,On the shape of a set of points in the plane