DOI,IST REx ID,Title of publication
10.1007/BF02574700,4062,Points and triangles in the plane and halving planes in space
10.1145/99583.99629,4508,Temporal proof methodologies for real-time systems
null,4516,The temporal specification and verification of real-time systems 
null,4592,Time for logic
10.1145/227595.227602,4621,The benefits of relaxing punctuality