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