DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2021.06.041,9827,DaAl,Concurrent linearizable nearest neighbour search in LockFree-kD-tree
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes