Douglas Renaux

RTX-Parlog: Real-Time Extended Parlog

Douglas Renaux, Paul P. Dasiewicz, 1993, Fifth Euromicro Workshop on Real-Time Systems.

Efficient Monitoring of Embedded Real-Time Systems

Douglas Renaux, João Cadamuro Junior, 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

A clause indexing unit for prolog

Douglas Renaux, Paul P. Dasiewicz, 1992, Microprocess. Microprogramming.