| 1999 | DATE | Formally Verified Redundancy Removal. | Stefan Hendricx, Luc J. M. Claesen |
| 1997 | DATE | A symbolic core approach to the formal verification of integrated mixed-mode applications. | Stefan Hendricx, Luc J. M. Claesen |
| 1997 | ICDAR | Dynamic Programming Optimisation for On-line Signature Verificatio. | Ronny Martens, Luc J. M. Claesen |
| 1997 | ICDAR | On-line Signature Verification: Discrimination Emphasised. | Ronny Martens, Luc J. M. Claesen |
| 1996 | ICCD | A formal verification technique for embedded software. | Olivier Thiry, Luc J. M. Claesen |
| 1996 | ICPR | On-line signature verification by dynamic time-warping. | Ronny Martens, Luc J. M. Claesen |
| 1994 | ICCD | A Parallel Method for Functional Verification of Medium and High Throughput DSP Synthesis. | Mark Genoe, Luc J. M. Claesen, Hugo De Man |
| 1993 | ICCD | Subterranean: A 600 Mbit/Sec Cryptographic VLSI Chip. | Luc J. M. Claesen, Joan Daemen, Mark Genoe, G. Peeters |
| 1991 | ICCD | Illustration of the SFG-Tracing Multi-Level Behavioral Verification Methodology, by the Correctness Proof of a High to Low Level Synthesis Application in CATHEDRAL-II. | Mark Genoe, Luc J. M. Claesen, Eric Verlind, Frank Proesmans, Hugo De Man |
| 1990 | ICCD | Derivation of signal flow direction in MOS VLSI: an alternative. | W. De Rammelaere, Ivo Bolsens, Luc J. M. Claesen, Hugo De Man |
| 1989 | DAC | Electrical Debugging of Synchronous MOS VLSI Circuits Exploiting Analysis of the Intended Logic Behaviour. | Ivo Bolsens, W. De Rammelaere, Luc J. M. Claesen, Hugo De Man |
| 1989 | DAC | Feedback Loops and Large Subcircuits in the Multiprocessor Implementation of a Relaxation Based Circuit Simulator. | Patrick Odent, Luc J. M. Claesen, Hugo De Man |
| 1989 | DAC | Static Timing Analysis of Dynamically Sensitizable Paths. | S. Perremans, Luc J. M. Claesen, Hugo De Man |
| 1989 | ICCD | Correctness verification of VLSI modules supported by a very efficient Boolean prover. | P. Lammens, Luc J. M. Claesen, Hugo De Man |
| 1986 | DAC | An intelligent module generator environment. | Paul Six, Luc J. M. Claesen, Jan M. Rabaey, Hugo De Man |
| 1985 | ICASSP | CAD Tools for the optimized design of custom VLSI wave digital filters. | Rajeev Jain, Gert Goossens, Luc J. M. Claesen, Joos Vandewalle, Hugo De Man, L. Gazsi, Alfred Fettweis |