共 50 条
- [31] Inferring Physical Units in B Models SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 137 - 151
- [32] Towards quantifying complexity with quantum mechanics EUROPEAN PHYSICAL JOURNAL PLUS, 2014, 129 (09):
- [34] Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), 2022, : 61 - 64
- [35] On symmetry, aesthetics and quantifying symmetrical complexity Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10198 LNCS : 17 - 32
- [39] Quantifying habitat complexity in aquatic ecosystems FRESHWATER BIOLOGY, 2007, 52 (06) : 1065 - 1076