| 2016 | Lowering Evolved Artificial Neural Network Overfitting through High-Probability Mutation. | Nicolae-Eugen Croitoru |
| 2016 | The Time Yards Model - Rethinking the Way to Look at Texts. | Dan Cristea |
| 2016 | Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2016 | Parallel Experiments with RARE-BLAS. | Chemseddine Chohra, Philippe Langlois, David Parello |
| 2016 | Hybrid Immune Based Method for Generating Healthy Meals for Older Adults. | Viorica Rozina Chifu, Ioan Salomie, Laura Petrisor, Emil St. Chifu, Dorin Moldovan |
| 2016 | A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems. | Changbo Chen, Wenyuan Wu |
| 2016 | Combinatorics of Hybrid Sets. | Shaoshi Chen, Stephen M. Watt |
| 2016 | Parallel Integer Polynomial Multiplication. | Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie |
| 2016 | Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
| 2016 | Gesture Recognition on Kinect Time Series Data Using Dynamic Time Warping and Hidden Markov Models. | Alina Delia Calin |
| 2016 | Malware Classification Based on Dynamic Behavior. | George Cabau, Magda Buhu, Ciprian Pavel Oprisa |
| 2016 | Bridging Two Communities to Solve Real Problems. | Christopher W. Brown |
| 2016 | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | Algebraic Techniques in Software Verification : Challenges and Opportunities. | Martin Brain, Daniel Kroening, Ryan McCleeary |
| 2016 | Convergence Acceleration of Iterative Methods for Inverting Real Matrices Using Frobenius Norm Minimization. | Ajinkya Borle, Samuel J. Lomonaco |
| 2016 | Satisfaction Meets Practice and Confidence. | Tom Bienmller, Tino Teige |
| 2016 | Partial Finitely Generated Bi-Ideals. | Raivis Bets, Janis Buls |
| 2016 | Parallel Simulations for Fractional-Order Systems. | Andrada Baban, Cosmin Bonchis, Alexandru Fikl, Florin Rosu |
| 2016 | A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment. | Ehsan Ataie, Eugenio Gianniti, Danilo Ardagna, Ali Movaghar |
| 2016 | Parameterized Cellular Automata in Image Segmentation. | Anca Andreica, Laura Diosan, Irina Voiculescu |
| 2016 | Symbolic Computation Techniques in Satisfiability Checking. | Erika brahm |
| 2016 | CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. | John Abbott, Anna Maria Bigatti |
| 2015 | A Surrogate-Based Strategy for Multi-objective Tolerance Analysis in Electrical Machine Design. | Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Susanne Saminger-Platz |
| 2015 | Dynamic Programming on Tree Decompositions in Practice - Some Lessons Learned. | Stefan Woltran |
| 2015 | Feature Extraction Using Genetic Programming with Applications in Malware Detection. | Cristina Vatamanu, Dragos Gavrilut, Razvan Benchea, Henri Luchian |