| 2012 | Issues in Handling Complex Data Structures with NoSQL Databases. | Santo Lombardo, Elisabetta Di Nitto, Danilo Ardagna |
| 2012 | Solving, Reasoning, and Programming in Common Logic. | Temur Kutsia, Mircea Marin |
| 2012 | Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. | Laura Kovcs, Bla Palncz, Levente Kovcs |
| 2012 | A Computational Framework for the Study of Partition Functions and Graph Polynomials. | Tomer Kotek, Johann A. Makowsky, Elena V. Ravve |
| 2012 | The Flexiformalist Manifesto. | Michael Kohlhase |
| 2012 | Experiences in Symbolic Computations for Matrix Problems. | Stanislaw Kasjan, Andrzej Mrz |
| 2012 | Neural Network Predictions of Stock Price Fluctuations. | Gabriel Iuhasz, Monica Tirea, Viorel Negru |
| 2012 | Interactive vs. Automated Proofs in Computational Origami. | Tetsuo Ida |
| 2012 | Synthesis from Examples: Interaction Models and Algorithms. | Sumit Gulwani |
| 2012 | Optimized Zero False Positives Perceptron Training for Malware Detection. | Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu |
| 2012 | Practical Optimizations for Perceptron Algorithms in Large Malware Dataset. | Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu |
| 2012 | On Coxeter Spectral Study of Posets and a Digraph Isomorphism Problem. | Marcin Gasiorek, Daniel Simson, Katarzyna Zajac |
| 2012 | Towards Interactive Steering of a Very Large Floating Structure Code by Using HPC Parallelisation Strategies. | Jrme Frisch, Ruiping Gao, Ralf-Peter Mundani, Chien-Ming Wang, Ernst Rank |
| 2012 | Minimizing Resource Rent Loss while Maximizing User Availability in Cloud Applications through Online Switching of the Scaling Method. | Marc Frncu, Adrian F. Spataru |
| 2012 | Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 Clouds. | Filippo Lorenzo Ferraris, Davide Franceschelli, Mario Pio Gioiosa, Donato Lucia, Danilo Ardagna, Elisabetta Di Nitto, Tabassum Sharif |
| 2012 | On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin Diagrams. | Mariusz Felisiak, Daniel Simson |
| 2012 | Trust Model Engines in Cloud Computing. | Marcela Roxana Farcasescu |
| 2012 | Soundness of a Logic-Based Verification Method for Imperative Loops. | Madalina Erascu, Tudor Jebelean |
| 2012 | Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity. | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea, Bogdan Caruntu |
| 2012 | Automated Synthesis of Some Algorithms on Finite Sets. | Isabela Dramnesc, Tudor Jebelean |
| 2012 | Ant Colony Optimisation for Automatically Populating Ontologies with Individuals. | Mihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu |
| 2012 | Labelled Tableaux for Temporal Logic with Cardinality Constraints. | Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky |
| 2012 | A Rank-Based Approach of Cosine Similarity with Applications in Automatic Classification. | Liviu P. Dinu, Radu Tudor Ionescu |
| 2012 | Clustering Methods Based on Closest String via Rank Distance. | Liviu P. Dinu, Radu Tudor Ionescu |
| 2012 | Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. | James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson |