_id,doi,title
14362,10.1016/j.tcs.2023.114129,Weakly weighted generalised quasi-metric spaces and semilattices
12566,10.1016/j.tcs.2023.113733,Wait-free approximate agreement on graphs
9647,10.1016/j.tcs.2021.05.023,Long lived transients in gene regulation
9827,10.1016/j.tcs.2021.06.041,Concurrent linearizable nearest neighbour search in LockFree-kD-tree
11898,10.1016/j.tcs.2019.01.043,New amortized cell-probe lower bounds for dynamic problems
5804,10.1016/j.tcs.2015.11.018,From prima quadraginta octant to lattice sphere through primitive integer operations
5807,10.1016/j.tcs.2015.09.003,On different topological classes of spherical geodesic paths and circles inZ3
11901,10.1016/j.tcs.2015.01.033,Truthful unit-demand auctions with budgets revisited
11902,10.1016/j.tcs.2013.01.030,Bidder optimal assignments for general utilities
4407,10.1016/S0304-3975(00)00308-X,Axioms for real-time logics
4442,10.1016/S0304-3975(99)00038-9,Discrete-time control for rectangular hybrid automata
4613,10.1016/0304-3975(94)00202-T,The algorithmic analysis of hybrid systems
4047,10.1016/0304-3975(92)90319-B,"Arrangements of curves in the plane - topology, combinatorics, and algorithms"
4052,10.1016/0304-3975(91)90261-Y,A singly exponential stratification scheme for real semi-algebraic varieties and its applications
4084,10.1016/0304-3975(89)90133-3,Testing the necklace condition for shortest tours and optimal factors in the plane
4116,10.1016/0304-3975(85)90005-2,Finding Transversals for Sets of Simple Geometric-Figures
4133,10.1016/0304-3975(81)90103-1,A space-optimal solution of general region location
