| 2016 | Modular Verification of Termination and Execution Time Bounds Using Separation Logic. | Jafar Hamin, Bart Jacobs |
| 2016 | Query-Driven Sampling for Collective Entity Resolution. | Christan Earl Grant, Daisy Zhe Wang, Michael L. Wick |
| 2016 | Clustering Web Pages Based on Structure and Style Similarity (Application Paper). | Thamme Gowda, Chris A. Mattmann |
| 2016 | Investigating the Variation of Ensemble Size on Bagging-Based Classifier Performance in Imbalanced Bioinformatics Datasets. | Alireza Fazelpour, Taghi M. Khoshgoftaar, David J. Dittman, Amri Napolitano |
| 2016 | A Formal Language for Writing Contracts. | William M. Farmer, Qian Hu |
| 2016 | ARM: Authenticated Approximate Record Matching for Outsourced Databases. | Boxiang Dong, Wendy Hui Wang |
| 2016 | A Study on Machine Learning for Imbalanced Datasets with Answer Validation of Question Answering. | Min-Yuh Day, Cheng-Chia Tsai |
| 2016 | Tracked Robot over a Slope Path: Dynamic Stability Control. | Daniela D'Auria, Gianluca Ristorto, Gallo Raimondo, Fabrizio Mazzetto |
| 2016 | Mining of Learning Interaction Patterns in MOOCs Forums. | Kuo-Chung Chu, C.-S. Wang, J.-H. Kuo |
| 2016 | Improving the Selection Error Recognition in a Chinese Grammar Error Detection System. | Po-Lin Chen, Shih-Hung Wu, Liang-Pu Chen, Ping-Che Yang |
| 2016 | Identification of Power Line Outages Based on PMU Measurements and Sparse Overcomplete Representation. | Long Cheng, Chenyu You, Liguo Chen |
| 2016 | Discovering News Frames: Exploring Text, Content, and Concepts in Online News Sources to Address Water Insecurity in the Southwest Region. | Loretta H. Cheeks, Tracy L. Stepien, Dara M. Wald |
| 2016 | BHive: Towards Behaviour-Driven Development Supported by B-Method. | John D. Carter, William B. Gardner |
| 2016 | An Approach to Ontology Integration for Ontology Reuse. | Enrico Giacinto Caldarola, Antonio Maria Rinaldi |
| 2016 | Intrusion Detection Using a Multiple-Detector Set Artificial Immune System. | James Brown, Mohd Anwar, Gerry V. Dozier |
| 2016 | Knowledge Induction Based on Randomization in Case-Based Reasoning. | Thouraya Bouabana-Tebibel, Stuart H. Rubin, Asmaa Chebba, Sofiane Bediar, Syphax Iskounen |
| 2016 | A Novel Method for Fraudulent Medicare Claims Detection from Expected Payment Deviations (Application Paper). | Richard A. Bauder, Taghi M. Khoshgoftaar |
| 2016 | GeoTeCS: Exploiting Geographical, Temporal, Categorical and Social Aspects for Personalized POI Recommendation (Invited Paper). | Ramesh Baral, Dingding Wang, Tao Li, Shu-Ching Chen |
| 2016 | Development of Efficient Obstacle Avoidance for a Mobile Robot Using Fuzzy Petri Nets. | Philip D. Baldoni, Yilin Yang, Seung-Yun Kim |
| 2016 | Improving the Utility of Anonymized Datasets through Dynamic Evaluation of Generalization Hierarchies. | Vanessa Ayala-Rivera, Thomas Cerqueus, Liam Murphy, Christina Thorpe |
| 2016 | Ensemble Classifier for Imbalanced Streaming Data Using Partial Labeling. | Elaheh Arabmakki, Mehmed M. Kantardzic, Tegjyot Singh Sethi |
| 2016 | A Computational Model for Dyadic Relationships (Invited Paper). | Clio Andris |
| 2016 | A Comparison Between Supervised and Unsupervised Models for Identify a Large Number of Categories. | Patricia Andrade, Marcelo Ladeira, Rommel N. Carvalho |
| 2016 | Reusing Software Libraries Using Semantic Graphs. | Awny Alnusair, Majdi Rawashdeh, Mohammed F. Alhamid, M. Anwar Hossain, Ghulam Muhammad |
| 2016 | Toward Bringing Distributed System Design upon Rigorous Footing. | Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman |