Cathedral-II: A silicon compiler for digital signal processing H De Man, J Rabaey, P Six, L Claesen IEEE Design & Test of Computers 3 (6), 13-25, 1986 | 295 | 1986 |
A review on the applications of virtual reality, augmented reality and mixed reality in surgical simulation: an extension to different kinds of surgery AJ Lungu, W Swinkels, L Claesen, P Tu, J Egger, X Chen Expert review of medical devices 18 (1), 47-62, 2021 | 192 | 2021 |
On-line signature verification by dynamic time-warping R Martens, L Claesen Proceedings of 13th International Conference on Pattern Recognition 3, 38-42, 1996 | 185 | 1996 |
Timing verification using statically sensitizable paths J Benkoski, EV Meersch, LJM Claesen, H De Man IEEE transactions on computer-aided design of integrated circuits and …, 1990 | 146 | 1990 |
Efficient algorithms for solving the false path problem in timing verification J Benkoski Proc. of ICCAD, 44-47, 1987 | 132 | 1987 |
Static timing analysis of dynamically sensitizable paths S Perremans, L Claesen, H De Man 26th ACM/IEEE Design Automation Conference, 568-573, 1989 | 125 | 1989 |
Custom design of a VLSI PCM-FDM transmultiplexer from system specifications to circuit layout using a computer-aided design system R Jain, F Catthoor, J Vanhoof, BJS De Loore, G Goossens, NF Goncalvez, ... IEEE journal of solid-state circuits 21 (1), 73-85, 1986 | 91 | 1986 |
IntuPaint: Bridging the gap between physical and digital painting P Vandoren, T Van Laerhoven, L Claesen, J Taelman, C Raymaekers, ... 2008 3rd IEEE International Workshop on Horizontal Interactive Human …, 2008 | 89 | 2008 |
Dynamic programming optimisation for on-line signature verification R Martens, L Claesen Proceedings of the Fourth International Conference on Document Analysis and …, 1997 | 89 | 1997 |
FluidPaint: an interactive digital painting system using real wet brushes P Vandoren, L Claesen, T Van Laerhoven, J Taelman, C Raymaekers, ... Proceedings of the ACM International Conference on Interactive Tabletops and …, 2009 | 68 | 2009 |
An efficient object-oriented variation of the statecharts formalism for distributed real-time systems B Selic Computer Hardware Description Languages and their Applications, 335-344, 1993 | 58 | 1993 |
SFG-Tracing: A methodology for the automatic verification of MOS transistor level implementations from high level behavioral specifications L Claesen, F Proesmans, E Verlind, H De Man Proc. ACM-SIGDA International Workshop on Formal Methods in VLSI Design, 1991 | 41 | 1991 |
VLSI Design Methods, Vol. I: Formal VLSI Specification and Synthesis: Vol. II: Formal VLSI Correctness Verification: Proceedings of the IFIP Wg10. 2 Wg10. 5 International … LJM Claesen Elsevier Science Inc., 1990 | 41* | 1990 |
CATHEDRAL-II—a computer-aided synthesis system for digital signal processing VLSI systems H De Man, J Rabaey, J Vanhoof, G Goossens, P Six, L Claesen Computer-Aided Engineering Journal 5 (2), 55-66, 1988 | 40 | 1988 |
Dip-it: digital infrared painting on an interactive table P Vandoren, T Van Laerhoven, L Claesen, J Taelman, F Di Fiore, ... CHI'08 Extended Abstracts on Human Factors in Computing Systems, 2901-2906, 2008 | 37 | 2008 |
On-line signature verification: Discrimination emphasised R Martens, L Claesen Proceedings of the Fourth International Conference on Document Analysis and …, 1997 | 37 | 1997 |
Automatic synthesis of signal processing benchmark using the CATHEDRAL silicon compilers L Claesen, F Catthoor, D Lanneer, G Goosens, S Note, J Van Meerbergen, ... Proceedings of the IEEE 1988 Custom Integrated Circuits Conference, 14.7/1 …, 1988 | 37 | 1988 |
A proof of the nonrestoring division algorithm and its implementation on an ALU D Verkest, L Claesen, H De Man Formal Methods in System Design 4, 5-31, 1994 | 35 | 1994 |
SLOCOP: A timing verification tool for synchronous CMOS logic EV Meersch, L Claesen, H De Man ESSCIRC'86: Twelfth European Solid-State Circuits Conference, 205-207, 1986 | 34 | 1986 |
An intelligent module generator environment P Six, L Claesen, J Rabaey, H De Man 23rd ACM/IEEE Design Automation Conference, 730-735, 1986 | 33 | 1986 |