| 2017 | Concurrency for the Masses: The Paradigm of Software Transactional Memory. | Panagiota Fatourou |
| 2017 | Formalization and Closedness of Finite Dimensional Subspaces. | Florian Faissole |
| 2017 | Ensuring Domain Consistency in an Adaptive Framework with Distributed Topology for Fluid Flow Simulations. | Christoph Ertl, Ralf-Peter Mundani |
| 2017 | Numerically Optimizing Weights for Monte Carlo Integration on Smooth Compact Manifolds. | Martin Ehler, Manuel Grf |
| 2017 | Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data. | Adriana Dinis, Todor Ivascu, Viorel Negru |
| 2017 | WARP: Efficient Automatic Web Service Composition. | Paul Diac |
| 2017 | Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File Infectors. | Doina Cosovan, Catalin-Valeriu Lita |
| 2017 | Outliers Detection in Analysis of Cognitive Emotion Regulation Questionnaire for Teenagers. | Adriana Mihaela Coroiu |
| 2017 | A Home Based Health-Care Solution for Older Adults Using Kinect. | Ioana Andra Codreanu, Adina Magda Florea, Irina Mocanu |
| 2017 | Abstract Continuation Semantics for Asynchronous Concurrency. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2017 | A Bio-inspired Method for Generating Healthy Meals for Seniors. | Viorica Rozina Chifu, Emil Stefan Chifu, Cristina Bianca Pop, Ioan Salomie, Madalina Lupu |
| 2017 | Towards a Clausal Analysis of Proof Schemata. | David M. Cerna, Michael Peter Lettmann |
| 2017 | Measuring and Visualizing the Scrappiness Level of a Website. | Darius Bufnea, Diana Sotropa |
| 2017 | Grbner Bases Computation and Macaulay Matrices. | Bruno Buchberger |
| 2017 | Defect Detection in Porcelain Industry Based on Deep Learning Techniques. | Adriana Birlutiu, Adrian Burlacu, Manuella Kadar, Daniela Onita |
| 2017 | Challenges in Verifying Arithmetic Circuits Using Computer Algebra. | Armin Biere, Manuel Kauers, Daniela Ritirc |
| 2017 | Existence of Gaps on the Path of Equilibriums in Case of Longitudinal Flight with Constant Forward Velocity. | Agneta Maria Balint, Stefan Balint |
| 2017 | Integration of Jason Reinforcement Learning Agents into an Interactive Application. | Costin Badica, Alex Becheru, Samuel Felton |
| 2017 | Road Traffic Segments Characterization. | Cristian-Nicolae Babau, Raul Razvan Suditu, Marius Marcu, Vladimir-Ioan Cretu |
| 2017 | Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope Equation. | Emmanuel Audusse, Olivier D. Lafitte, Agns Leroy, Benjamin Melinand, Chi-Tuan Pham, Pierrick Quemar |
| 2017 | A Certified Procedure for RL Verification. | Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu |
| 2017 | A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. | Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu |
| 2017 | Volume Estimation in Point Cloud using Multi-Agent System. | Victor Artigues |
| 2017 | Color Grading with Neural Network. | Victor Artigues |
| 2017 | An Adaptive Penalty Function Method for Constrained Continuous Optimization in Population-Based Meta-Heuristic Optimization Methods. | George Anescu |