Efficient parallel automata construction for hybrid resource-impelled data-matching. - Ciprian-Petrisor Pungila; Mario Reja; Viorel Negru (Future Gener. Comput. Syst., 2014)

Towards real-time DNA biometrics using GPU-accelerated processing. - Mario Reja; Ciprian Pungila; Viorel Negru (Log. J. IGPL, 2021)

Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms. - Mario Reja (SYNASC, 2022)

Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic. - Mircea Marin; Peter Csaba Ölveczky; Mario Reja; Mikheil Rukhaia; Kyungmin Bae (Rebeca for Actor Analysis in Action, 2025)