Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Software and Informatics, Volume 10
Volume 10, Number 3, 2016
- Kai Sun, Yuhua Liu, Zongchao Guo, Changbo Wang:
Visualization for Knowledge Graph Based on Education Data. - Ian Turk, Matthew Sinda, Xin'an Zhou, Jun Tao, Chaoli Wang, Qi Liao:
Exploration of Linked Anomalies in Sensor Data for Suspicious Behavior Detection. - Shuai Qi, Guihua Shan, Dong Tian, Shuang Xia, Jun Liu:
Frequent Pattern Mining on Personal Trajectory from Telecom Base Stations. - Jared Bond, Christan Grant, Josh Imbriani, Erik Holbrook:
A Framework for Interactive t-SNE Clustering. - Biao Zhu, Wei Chen:
Performance Histogram Curve: Abstractive Visualization and Analysis of NBA Games. - Le Wang, Yue Zhang, Lei Shi:
Hyperbolic Dependency Tree Visualization for Parser Evaluation.
Volume 10, Number 4, 2016
- Jianhua Zhao, Xuandong Li:
Formal Verification of 'Programming to Interfaces' Programs. - Kaiqiang Jiang, Ping Huang, Hui Zan, Dehui Du:
AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning. - Gang Chen:
Second Order Bounded Quantification with If-Expression. - Leila Samimi-Dehkordi, Alireza Khalilian
, Bahman Zamani:
Applying Programming Language Evaluation Criteria for Model Transformation Languages.
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
