| 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 | 291 | 1986 |
| On-line signature verification by dynamic time-warping R Martens, L Claesen Proceedings of 13th International Conference on Pattern Recognition 3, 38-42, 1996 | 180 | 1996 |
| 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 | 160 | 2021 |
| 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 | 145 | 1990 |
| EFFICIENT ALGORITHMS FOR SOLVING THE FALSE PATH PROBLEM IN TIMING VERIFICATION. J Benkoski, E Vanden Meersch, L Claesen, H De Man | 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 | 92 | 1986 |
| 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 |
| 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 | 87 | 2008 |
| 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 | 66 | 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 | 59 | 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 | 42 | 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 | 40* | 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 | 39 | 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 |
| 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 |
| On-line signature verification: Discrimination emphasised R Martens, L Claesen Proceedings of the Fourth International Conference on Document Analysis and …, 1997 | 36 | 1997 |
| 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 | 35 | 1986 |
| An intelligent module generator environment P Six, L Claesen, J Rabaey, H De Man 23rd ACM/IEEE Design Automation Conference, 730-735, 1986 | 34 | 1986 |
| 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 | 31 | 1994 |
Joos VandewalleProfessor at Electrical Engineering Dept (ESAT-Stadius) KULeuvenVerified email at esat.kuleuven.be
