L. Claesen

From MaRDI portal
Person:685097

Available identifiers

zbMath Open claesen.lucMaRDI QIDQ685097

List of research outcomes





PublicationDate of PublicationType
Modeling multi-rate DSP specification semantics for formal transformational design in HOL1994-09-26Paper
A proof of the nonrestoring division algorithm and its implementation on an ALU1994-03-03Paper
On the comparison of HOL and Boyer-Moore for formal hardware verification1993-09-30Paper
https://portal.mardi4nfdi.de/entity/Q40281581993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40281271993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40281411993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40283321993-03-28Paper
Efficient computer analysis of ideal switched‐capacitor circuits using matrix compaction techniques1983-01-01Paper

Research outcomes over time

This page was built for person: L. Claesen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:685097&oldid=6693207"
Powered by MediaWiki