Mario Reja

According to our database, Mario Reja authored at least 4 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.

Mircea Marin, Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae

Proceedings of the Rebeca for Actor Analysis in Action, 2025

2022

Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms.

Mario Reja

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

2021

Towards real-time DNA biometrics using GPU-accelerated processing.

Mario Reja, Ciprian Pungila, Viorel Negru

Log. J. IGPL, 2021

2014

Efficient parallel automata construction for hybrid resource-impelled data-matching.

Ciprian-Petrisor Pungila, Mario Reja, Viorel Negru

Future Gener. Comput. Syst., 2014