OSEK-based gateway algorithm for multi-domain CAN systems. - Florin Catalin Braescu; Lavinia Ferariu; Andrei Nacu (ICCP, 2011)

Towards a type-based abstract semantics for Python. - Andrei Nacu (J. Log. Algebraic Methods Program., 2025)