Dobkin D, Edelsbrunner H, Overmars M. Searching for empty convex polygons. Algorithmica. 1990;5(4):561-571. doi:10.1007/BF01840404

Barton NH, Clark A. Population structure and processes in evolution. In: Wöhrmann K, Jain S, eds. Population Biology: Ecological and Evolutionary Viewpoints. Springer; 1990:115-174. doi:10.1007/978-3-642-74474-7_5

Barton NH, Jones S. The language of the genes. Nature. 1990;346:415-416. doi:10.1038/346415a0

Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In: 10.1109/JCIT.1990.128356__Proceedings of the 5th Jerusalem Conference on Information Technology. IEEE; 1990:717-730. doi:10.1109/JCIT.1990.128356

Henzinger TA. Half-order modal logic: How to prove real-time properties. In: Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1990:281-296. doi:10.1145/93385.93429

Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 10.1109/LICS.1990.113764__5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi:10.1109/LICS.1990.113764