| 2015 | Identifiability and Noise Robustness for l1-Analysis Regularizations in Compressive Sensing. | Marc Nicodeme, Flavius Turcu, Charles Dossal |
| 2015 | Extensions over OpenCL for Latency Reduction and Critical Applications. | Grigore Lupescu, Emil-Ioan Slusanschi, Nicolae Tapus |
| 2015 | vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. | Roland Lezuo, Ioan Dragan, Gerg Barany, Andreas Krall |
| 2015 | Optimal Window and Lattice in Gabor Transform. Application to Audio Analysis. | Hlne Lachambre, Benjamin Ricaud, Guillaume Stempfel, Bruno Torrsani, Christoph Wiesmeyr, Darian Onchis-Moaca |
| 2015 | Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. | Gbor Kusper, Csaba Bir |
| 2015 | Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. | Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram |
| 2015 | GPU Solver for Systems of Linear Equations with Infinite Precision. | Jiri Khun, Ivan Simecek, Rbert Lrencz |
| 2015 | Creative Telescoping via Hermite Reduction. | Manuel Kauers |
| 2015 | Lagrange Inversion and Lambert W. | David J. Jeffrey, G. A. Kalugin, Nick Murdoch |
| 2015 | A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders. | Todor Ivascu, Bogdan Manate, Viorel Negru |
| 2015 | An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring. | Todor Ivascu |
| 2015 | An Overview of Monitoring Tools for Big Data and Cloud Applications. | Gabriel Iuhasz, Ioan Dragan |
| 2015 | Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud. | Bogdan-Constantin Irimie, Dana Petcu |
| 2015 | Computation of Stirling Numbers and Generalizations. | Silvana Ilie, David J. Jeffrey, Robert M. Corless, X. Zhang |
| 2015 | Comparative Analysis of Existing Architectures for General Game Agents. | Ionel-Alexandru Hosu, Andreea Urzica |
| 2015 | Forecasting Techniques for Time Series from Sensor Data. | Adriana Horelu, Catalin Adrian Leordeanu, Elena Apostol, Dan Huru, Mariana Mocanu, Valentin Cristea |
| 2015 | Web Application Security Using JSFlow. | Daniel Hedin, Andrei Sabelfeld |
| 2015 | Algorithmic Logic-Based Verification with SeaHorn. | Arie Gurfinkel |
| 2015 | A Model-Driven DevOps Framework for QoS-Aware Cloud Applications. | Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco, Danilo Ardagna |
| 2015 | Modeling Design Flaw Evolution Using Complex Systems. | George Ganea, Radu Marinescu |
| 2015 | Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures. | Jrme Frisch, Ralf-Peter Mundani |
| 2015 | Numerical Investigations of Equilibriums in a Flight with High Angle of Attack. | Alexandra Emilia Fortis, Stefan Balint |
| 2015 | The Flow in a Viscous Fluid over an Unsteady Stretching Surface. | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
| 2015 | Lambda Calculus with Regular Types. | Besik Dundua, Mrio Florido, Temur Kutsia |
| 2015 | Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |