DOI,IST REx ID,Research Group,Title of publication
10.1109/tpami.2023.3308391,14739,HeEd,A survey of vectorization methods in topological data analysis
10.1145/3585391,14778,KrCh,On lexicographic proof rules for probabilistic termination
10.1007/s00236-021-00412-y,10602,KrCh,Index appearance record with preorders
10.1088/2632-2153/ac4d11,12128,BiCh,BenchML: An extensible pipelining framework for benchmarking representations of materials and molecules at scale
10.1038/s42256-022-00556-7,12147,ToHe,Closed-form continuous-time neural networks
10.1007/s11067-021-09517-w,9234,VlKo,New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity
10.1007/978-3-030-88494-9_12,10108,ToHe,Differential monitoring
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.15479/AT:ISTA:9946,9946,ToHe,Differential monitoring
10.1007/s10009-020-00582-z,10861,ToHe,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction
10.1515/bmt-2013-4181,10396,PeJo,Stimfit: A fast visualization and analysis environment for cellular neurophysiology