Alexandru Militaru

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 2

Top Topics

Messages Exchanged

Asynchronous Communication

Denotational Semantics

Top Venues

Publications

Constantin-Eduard Staniloiu, Alexandru Militaru, Razvan Nitu, Razvan Deaconescu
Safer Linux Kernel Modules Using the D Programming Language. IEEE Access 10 (2022)
Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
Communication-Closed Asynchronous Protocols. CAV (2) (2019)