DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2023.114353,14820,"KrCh,KrPi",Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
10.1016/j.tcs.2023.114129,14362,HeEd,Weakly weighted generalised quasi-metric spaces and semilattices
10.1016/j.tcs.2023.113733,12566,DaAl,Wait-free approximate agreement on graphs
10.1016/j.tcs.2021.05.023,9647,"ToHe,CaGu",Long lived transients in gene regulation
10.1016/j.tcs.2021.06.041,9827,DaAl,Concurrent linearizable nearest neighbour search in LockFree-kD-tree
10.1016/j.tcs.2019.06.031,6761,ToHe,Dynamic resource allocation games
10.1016/j.tcs.2019.01.043,11898,,New amortized cell-probe lower bounds for dynamic problems
10.1016/j.tcs.2015.01.033,11901,,Truthful unit-demand auctions with budgets revisited
10.1016/j.tcs.2015.11.018,5804,,From prima quadraginta octant to lattice sphere through primitive integer operations
10.1016/j.tcs.2015.09.003,5807,,On different topological classes of spherical geodesic paths and circles inZ3
10.1016/j.tcs.2013.11.032,2246,KrCh,Alternating traps in Muller and parity games
10.1016/j.tcs.2013.01.030,11902,,Bidder optimal assignments for general utilities
10.1016/S0304-3975(00)00308-X,4407,,Axioms for real-time logics
10.1016/S0304-3975(99)00038-9,4442,,Discrete-time control for rectangular hybrid automata
10.1016/0304-3975(94)00202-T,4613,,The algorithmic analysis of hybrid systems
10.1016/0304-3975(92)90319-B,4047,,"Arrangements of curves in the plane - topology, combinatorics, and algorithms"
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
10.1016/0304-3975(85)90005-2,4116,,Finding Transversals for Sets of Simple Geometric-Figures
10.1016/0304-3975(81)90103-1,4133,,A space-optimal solution of general region location