Mario Reja

According to our database, Mario Reja authored at least 5 papers between 2014 and 2026.

Collaborative distances:

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

2026

Efficient Verification of Lingua Franca Programs.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

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