| 517 | -- | 528 | Prodromos Chatziagorakis, Georgios Ch. Sirakoulis. Cellular automata simulation of saltwater intrusion in coastal aquifer |
| 529 | -- | 542 | Martin Bauer, Florian Schornbaum, Christian Godenschwager, Matthias Markl, Daniela Anderl, Harald Köstler, Ulrich Rüde. A Python extension for the massively parallel multiphysics simulation framework waLBerla |
| 543 | -- | 561 | Faizal Riaz-ud-Din, Wanlei Zhou, Robin Doss. Query verification schemes for cloud-hosted databases: a brief survey |
| 562 | -- | 590 | Stephen Abell, Nhan Do, John Jaehwan Lee. GPU-LMDDA: a bit-vector GPU-based deadlock detection algorithm for multi-unit resource systems |