| 2018 | Compositional Taylor Model Based Validated Integration. | Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger |
| 2018 | An Adaptive Recommender System for Human Resource Allocation in Software Projects - Initial Results on an Agent-Based Simulation. | Mihaela Ilie, Sorin Ilie, Ionut Muraretu |
| 2018 | Dual Criteria Determination of the Number of Clusters in Data. | Kaixun Hua, Dan A. Simovici |
| 2018 | The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. | Flavio Ferrarotti, Senn Gonzlez, Klaus-Dieter Schewe, Jos Maria Turull Torres |
| 2018 | An Architecture for a Management Agency for Cloud Resources. | Madalina Erascu, Gabriel Iuhasz, Flavia Micota |
| 2018 | Evolving Cellular Automata for Two-Stage Edge Detection. | Alina Enescu, Anca Andreica, Laura Diosan |
| 2018 | Extremal Graphs with Respect to the Modified First Zagreb Connection Index. | Guillaume Ducoffe, Ruxandra Marinescu-Ghemeci, Camelia Obreja, Alexandru Popa, Rozica Maria Tache |
| 2018 | Toward on-Line Predictive Models for Forecasting Workload in Clouds. | Dong Nguyen Doan |
| 2018 | A Self Developing System for Medical Data Analysis. | Adriana Dinis, Todor Ivascu, Viorel Negru |
| 2018 | GPaR: A Parallel Graph Rewriting Tool. | Stphane Despraux, Aude Maignan |
| 2018 | Inferring, Learning and Modelling Complex Systems with Bayesian Networks. A Tutorial. | Enachescu Denis, Enachescu Cornelia |
| 2018 | The Rle of Benchmarking in Symbolic Computation (Position Paper). | James H. Davenport |
| 2018 | Towards Compiling Region Types Into RTSJ-Compliant Java Code. | Florin Craciun, Gabriel Glodean |
| 2018 | Rational Householder Transformations. | Ana Carolina Camargos Couto, David J. Jeffrey |
| 2018 | Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. | Rodica Condurache |
| 2018 | On the Abstractness of Continuation Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2018 | Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2018 | A Symmetric Nets Emulator for Adaptive P/T Nets. | Lorenzo Capra, Matteo Camilli |
| 2018 | Cheap Non-Standard Analysis and Computability: Some Applications. | Olivier Bournez, Sabrina Ouazzani |
| 2018 | Ordinary Differential Equations & Computability. | Olivier Bournez |
| 2018 | The Verified Polyhedron Library: an Overview. | Sylvain Boulm, Alexandre Marchal, David Monniaux, Michal Prin, Hang Yu |
| 2018 | A CiteSeerX-Based Dataset for Record Linkage and Metadata Extraction. | Zaln Bod |
| 2018 | Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based Systems. | Mihai Bica, Dorian Gorgan |
| 2018 | Using Recommender Systems to Support Navigation in Concept Lattices. | Flaviu Berbecariu, Christian Sacarea, Diana-Florina Sotropa |
| 2018 | An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method. | Agneta M. Balint, Stefan Balint, Loredana Tanasie |