共 50 条
- [25] VERTEX-TO-EDGE CENTERS W.R.T. D-DISTANCE ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2015, (35): : 101 - 108
- [26] Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely STATIC ANALYSIS, 2010, 6337 : 271 - +
- [27] Using van der Put basis to determine if a 2-adic function is measure-preserving or ergodic w.r.t. Haar measure ADVANCES IN NON-ARCHIMEDEAN ANALYSIS, 2011, 551 : 33 - 38
- [28] Punctured vs. Multidimensional TCM - A Comparison w.r.t. Complexity 2014 GLOBECOM WORKSHOPS (GC WKSHPS), 2014, : 1408 - 1413
- [29] Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies SEMANTIC WEB - ISWC 2020, PT I, 2020, 12506 : 3 - 20