| 2013 | Should We Beware the Exceptions? An Empirical Study on the Eclipse Project. | Cristina Marinescu |
| 2013 | On Computing Non-negative Loop-Free Edge-Bipartite Graphs. | Grzegorz Marczak, Daniel Simson, Katarzyna Zajac |
| 2013 | Parallel Data Acquisition for Visualization of Very Large Sparse Matrices. | Daniel Langr, Ivan Simecek, Pavel Tvrdk, Toms Dytrych |
| 2013 | Optimization and Parallelization of Emedge3D on Shared Memory Architecture. | Matthieu Kuhn, Guillaume Latu, Stphane Genaud, Nicolas Crouseilles |
| 2013 | Software Implementation of Numerical Algorithms in Arbitrary Precision. | Zinovi L. Krougly, David J. Jeffrey, Dina Tsarapkina |
| 2013 | Fast Computing of Non-uniform Sampling Positions for Real Signals. | Peter Kovacs, Viktor Vad |
| 2013 | MPI-Based Asynchronous Simulation of Spiking Neural Networks on the Grid. | Marius Joldos, Octavian Vinteler, Radu Ioan Peter, Ioan Lucian Muntean |
| 2013 | MDMP: Managed Data Message Passing. | Adrian Jackson, Pr Strand |
| 2013 | Optimised Hybrid Parallelisation of a CFD Code on Many Core Architectures. | Adrian Jackson, M. Sergio Campobasso |
| 2013 | Stepping Up. | Adrian Jackson |
| 2013 | Evolutionary Approach to Negotiation in Game AI. | Gabriel Iuhasz, Victor Ion Munteanu, Viorel Negru |
| 2013 | Local Rank Distance. | Radu Tudor Ionescu |
| 2013 | Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. | Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi |
| 2013 | Identifying Features via Homotopy on Handwritten Mathematical Symbols. | Rui Hu, Stephen M. Watt |
| 2013 | Deciding Conjugacy in Thompson's Group F in Linear Time. | Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci |
| 2013 | Efficient Computation of the Isotropy Group of a Finite Graph: A Combinatorial Approach. | Marcin Gasiorek |
| 2013 | Adaptive Distributed Data Structure Management for Parallel CFD Applications. | Jrme Frisch, Ralf-Peter Mundani, Ernst Rank |
| 2013 | Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3. | Cristian Frasinaru, Florentin Olariu |
| 2013 | Dependence of the Oscillatory Movements of an Unmanned Aerial Vehicle on the Forward Velocity. | Alexandra Emilia Fortis, Stefan Balint, Teodor-Florin Fortis |
| 2013 | On Ladder Operators for Little q-Jacobi Polynomials and Their Generalizations. | Galina Filipuk, Maciej Haneczok |
| 2013 | Planar Stretching Flows with Partial Slip. | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
| 2013 | An Efficient Computational Framework for Studying Dynamical Systems. | Islam A. Elshaarawy, Walid Gomaa |
| 2013 | Online-Scheduling on Identical Machines with Bounded Migration. | Thorsten Ehlers, Klaus Jansen |
| 2013 | Bound Propagation for Arithmetic Reasoning in Vampire. | Ioan Dragan, Konstantin Korovin, Laura Kovcs, Andrei Voronkov |
| 2013 | Token Free Bounded Delay Codes and Hash Iteration. | Sebastian Codrin Ditu |