Journal: Int. J. Software and Informatics

Volume 10, Issue 4

0 -- 0Kaiqiang Jiang, Ping Huang, Hui Zan, Dehui Du. AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning
0 -- 0Leila Samimi-Dehkordi, Alireza Khalilian 0001, Bahman Zamani. Applying Programming Language Evaluation Criteria for Model Transformation Languages
0 -- 0Jianhua Zhao, Xuandong Li. Formal Verification of 'Programming to Interfaces' Programs
0 -- 0Gang Chen. Second Order Bounded Quantification with If-Expression

Volume 10, Issue 3

0 -- 0Le Wang, Yue Zhang 0004, Lei Shi 0002. Hyperbolic Dependency Tree Visualization for Parser Evaluation
0 -- 0Shuai Qi, Guihua Shan, Dong Tian, Shuang Xia, Jun Liu 0059. Frequent Pattern Mining on Personal Trajectory from Telecom Base Stations
0 -- 0Jared Bond, Christan Grant, Josh Imbriani, Erik Holbrook. A Framework for Interactive t-SNE Clustering
0 -- 0Ian Turk, Matthew Sinda, Xin'an Zhou, Jun Tao 0002, Chaoli Wang 0001, Qi Liao 0002. Exploration of Linked Anomalies in Sensor Data for Suspicious Behavior Detection
0 -- 0Biao Zhu, Wei Chen 0001. Performance Histogram Curve: Abstractive Visualization and Analysis of NBA Games
0 -- 0Kai Sun 0008, Yuhua Liu, Zongchao Guo, Changbo Wang. Visualization for Knowledge Graph Based on Education Data