A Characterization of Finite Ternary Algebras. - Janusz A. Brzozowski; J. J. Lou; Radu Negulescu (Int. J. Algebra Comput., 1997)

Event-Driven Verification of Switch-Level Correctness Concerns. - Radu Negulescu (ACSD, 1998)

Verification of Speed-Dependences in Single-Rail Handshake Circuits. - Radu Negulescu; Ad M. G. Peeters (ASYNC, 1998)

Relative Liveness: From Intuition to Automated Verification. - Radu Negulescu; Janusz A. Brzozowski (Formal Methods Syst. Des., 1998)

Process Spaces. - Radu Negulescu (CONCUR, 2000)

Design of divergence-free protocol converters using supervisory control techniques. - Hesham Hallal; Radu Negulescu; Alexandre Petrenko (ICECS, 2000)

An asynchronous FIFO with fights: case study in speed optimization. - Sébastien Laberge; Radu Negulescu (ICECS, 2000)

Automata of Asynchronous Behaviors. - Janusz A. Brzozowski; Radu Negulescu (Theor. Comput. Sci., 2000)

Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits. - Radu Negulescu; Xiaohua Kong (ACSD, 2001)

Formal verification of pulse-mode asynchronous circuits. - Xiaohua Kong; Radu Negulescu (ASP-DAC, 2001)

Partial-Order Correctness-Preserving Properties of Delay-Insensitive Circuits. - Robert Berks; Radu Negulescu (ASYNC, 2001)

Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip. - Xiaohua Kong; Radu Negulescu; Larry Weidong Ying (CHARME, 2001)

Formal Verification of Peephole Optimizations in Asynchronous Circuits. - Xiaohua Kong; Radu Negulescu (FORTE, 2001)

A single-rail handshake CDMA correlator. - Weiwen Zhu; Zeljko Zilic; Radu Negulescu (ICECS, 2002)

Generic Transforms on Incomplete Specifications of Asynchronous Interfaces. - Radu Negulescu (MFPS, 2003)

Refinement-based formal verification with heterogeneous timing. - Xiaohua Kong; Radu Negulescu; Larry Weidong Ying (Int. J. Softw. Tools Technol. Transf., 2003)

Bolstering Faith in GasP Circuits through Formal Verification. - Xiaohua Kong; Radu Negulescu (ASYNC, 2004)

General Testers for Asynchronous Circuits. - Radu Negulescu (ASYNC, 2004)

High-Speed Reduced Stack Dual Lock Circuits. - Nisrine Saadallah; Xiaohua Kong; Radu Negulescu (ASYNC, 2004)

Duality for Three: Ternary Symmetry in Process Spaces. - Janusz A. Brzozowski; Radu Negulescu (Theory Is Forever, 2004)

Semihiding operators and active-edge specification. - Xiaohua Kong; Radu Negulescu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Using Z3 to Verify Inferences in Fragments of Linear Logic. - Alen Docef; Radu Negulescu; Mihai Prunescu (FROM, 2023)