Richard Blair

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Computationally Expensive

Communication Systems

Top Venues

Publications

Dietmar Bruckner, Marius-Petru Stanica, Richard Blair, Sebastian Schriegel, Stephan Kehrer, Maik G. Seewald, Thilo Sauter
An Introduction to OPC UA TSN for Industrial Communication Systems. Proc. IEEE 107 (6) (2019)
Denis Firsov, Richard Blair, Aaron Stump
Efficient Mendler-Style Lambda-Encodings in Cedille. CoRR (2018)
Denis Firsov, Richard Blair, Aaron Stump
Efficient Mendler-Style Lambda-Encodings in Cedille. ITP (2018)